runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.04 1.03 1.00 4/34 2869 /proc/meminfo: memFree=257216/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=11040 CPUtime=0 /proc/2869/stat : 2869 (java) R 2868 2868 22717 34817 22717 4202496 627 0 0 0 0 0 0 0 25 0 1 0 73530837 11304960 364 1283457024 134512640 134550932 4290235488 18446744073709551615 4159837922 0 0 0 0 0 0 0 17 0 0 0 0 /proc/2869/statm: 2760 364 175 10 0 1102 0 [startup+0.135295 s] /proc/loadavg: 1.04 1.03 1.00 4/34 2869 /proc/meminfo: memFree=257216/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=409920 CPUtime=0.13 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 3917 0 1 0 10 3 0 0 25 0 9 0 73530837 419758080 3345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102480 3345 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412488 [startup+0.205298 s] /proc/loadavg: 1.04 1.03 1.00 4/34 2869 /proc/meminfo: memFree=257216/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=409920 CPUtime=0.2 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 4069 0 1 0 17 3 0 0 25 0 9 0 73530837 419758080 3497 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102480 3497 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412488 [startup+0.305325 s] /proc/loadavg: 1.04 1.03 1.00 4/34 2869 /proc/meminfo: memFree=257216/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=410336 CPUtime=0.3 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 4410 0 1 0 27 3 0 0 25 0 9 0 73530837 420184064 3838 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102584 3838 1945 10 0 96732 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412904 [startup+0.705422 s] /proc/loadavg: 1.04 1.03 1.00 4/34 2869 /proc/meminfo: memFree=257216/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=410752 CPUtime=0.7 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 12686 0 1 0 66 4 0 0 25 0 9 0 73530837 420610048 11927 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102688 11927 2901 10 0 96836 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413320 [startup+1.50564 s] /proc/loadavg: 1.04 1.03 1.00 3/43 2878 /proc/meminfo: memFree=198356/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=410752 CPUtime=1.5 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 26258 0 1 0 143 7 0 0 25 0 9 0 73530837 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102688 25499 2901 10 0 96836 0 [pid=2869/tid=2871] ppid=2868 vsize=410752 CPUtime=0.83 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 6824 0 1 0 80 3 0 0 25 0 9 0 73530837 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=410752 CPUtime=0.63 /proc/2869/task/2872/stat : 2872 (java) R 2868 2868 22717 34817 22717 4202560 18046 0 0 0 60 3 0 0 18 0 9 0 73530838 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4151014304 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=410752 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73530838 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=410752 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73530838 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=410752 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=410752 CPUtime=0.02 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 448 0 0 0 2 0 0 0 17 0 9 0 73530839 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=410752 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=410752 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 420610048 25499 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10595 s] /proc/loadavg: 1.04 1.03 1.00 2/43 2878 /proc/meminfo: memFree=123708/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=410884 CPUtime=3.1 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 48108 0 1 0 298 12 0 0 25 0 9 0 73530837 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102721 47344 2902 10 0 96869 0 [pid=2869/tid=2871] ppid=2868 vsize=410884 CPUtime=1.49 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 13320 0 1 0 143 6 0 0 25 0 9 0 73530837 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4114470994 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=410884 CPUtime=1.57 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 33396 0 0 0 152 5 0 0 16 0 9 0 73530838 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=410884 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73530838 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=410884 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73530838 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=410884 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=410884 CPUtime=0.03 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 452 0 0 0 3 0 0 0 15 0 9 0 73530839 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=410884 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=410884 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 420745216 47344 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30677 s] /proc/loadavg: 1.12 1.05 1.01 2/44 2879 /proc/meminfo: memFree=9000/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411220 CPUtime=6.3 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 65768 0 1 0 607 23 0 0 25 0 10 0 73530837 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102805 64924 2928 10 0 96950 0 [pid=2869/tid=2871] ppid=2868 vsize=411220 CPUtime=4.14 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14555 0 1 0 407 7 0 0 25 0 10 0 73530837 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456529 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411220 CPUtime=2.04 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 49714 0 0 0 190 14 0 0 16 0 10 0 73530838 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73530838 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411220 CPUtime=0.09 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 555 0 0 0 9 0 0 0 15 0 10 0 73530839 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411220 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421089280 64924 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7082 s] /proc/loadavg: 1.11 1.04 1.00 2/44 2879 /proc/meminfo: memFree=5764/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=12.69 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67189 0 1 0 1245 24 0 0 25 0 10 0 73530837 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66336 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=9.81 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 974 7 0 0 25 0 10 0 73530837 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4115462596 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=2.76 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51129 0 0 0 261 15 0 0 15 0 10 0 73530838 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.09 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 560 0 0 0 9 0 0 0 15 0 10 0 73530839 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66336 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414448 [startup+25.5109 s] /proc/loadavg: 1.08 1.04 1.00 2/44 2879 /proc/meminfo: memFree=5640/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=25.48 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67191 0 1 0 2523 25 0 0 25 0 10 0 73530837 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66338 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=21.96 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 2188 8 0 0 25 0 10 0 73530837 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4115400142 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=3.41 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 326 15 0 0 15 0 10 0 73530838 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.09 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 561 0 0 0 9 0 0 0 15 0 10 0 73530839 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66338 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 414448 [startup+51.1071 s] /proc/loadavg: 1.05 1.04 1.00 2/44 2879 /proc/meminfo: memFree=5640/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=51.04 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67198 0 1 0 5078 26 0 0 25 0 10 0 73530837 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66345 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=47.21 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 4712 9 0 0 25 0 10 0 73530837 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456124 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=3.69 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 354 15 0 0 15 0 10 0 73530838 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.11 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 568 0 0 0 11 0 0 0 15 0 10 0 73530839 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66345 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 414448 [startup+102.309 s] /proc/loadavg: 1.02 1.03 1.00 2/44 2879 /proc/meminfo: memFree=5516/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=102.21 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67203 0 1 0 10193 28 0 0 25 0 10 0 73530837 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66350 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=97.98 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 9787 11 0 0 25 0 10 0 73530837 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456137 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=4.07 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 392 15 0 0 16 0 10 0 73530838 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.12 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 573 0 0 0 12 0 0 0 16 0 10 0 73530839 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66350 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 414448 [startup+162.312 s] /proc/loadavg: 1.01 1.02 1.00 3/46 2883 /proc/meminfo: memFree=5244/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=162.16 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67206 0 1 0 16187 29 0 0 25 0 10 0 73530837 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66353 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=157.54 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 15742 12 0 0 25 0 10 0 73530837 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456124 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=4.45 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 430 15 0 0 16 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 576 0 0 0 14 0 0 0 15 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 414448 [startup+222.307 s] /proc/loadavg: 1.00 1.02 1.00 2/46 2889 /proc/meminfo: memFree=6320/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=222.09 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67206 0 1 0 22180 29 0 0 25 0 10 0 73530837 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66353 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=217.1 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 21698 12 0 0 25 0 10 0 73530837 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456141 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=4.83 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 468 15 0 0 15 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 576 0 0 0 14 0 0 0 15 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66353 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 414448 [startup+282.304 s] /proc/loadavg: 1.00 1.01 1.00 2/45 2890 /proc/meminfo: memFree=6336/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=282.04 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67207 0 1 0 28174 30 0 0 25 0 10 0 73530837 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66354 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=276.73 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 27660 13 0 0 25 0 10 0 73530837 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4115456137 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.15 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 500 15 0 0 16 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 577 0 0 0 14 0 0 0 15 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.04 Current children cumulated vsize (KiB) 414448 Solver just ended. Dumping a history of the last processes samples [startup+284.506 s] /proc/loadavg: 1.00 1.01 1.00 2/45 2890 /proc/meminfo: memFree=6336/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=284.24 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67207 0 1 0 28394 30 0 0 25 0 10 0 73530837 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66354 2922 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=278.92 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 27879 13 0 0 25 0 10 0 73530837 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4115464709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.16 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 501 15 0 0 16 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73530838 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 577 0 0 0 14 0 0 0 15 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73530839 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2879] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2879/stat : 2879 (java) S 2868 2868 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73531266 421765120 66354 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.24 Current children cumulated vsize (KiB) 414448 [startup+286.106 s] /proc/loadavg: 1.00 1.01 1.00 2/44 2890 /proc/meminfo: memFree=6344/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=285.84 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67208 0 1 0 28554 30 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66355 2923 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=280.52 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 28039 13 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4115464709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.16 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 501 15 0 0 15 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 577 0 0 0 14 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.84 Current children cumulated vsize (KiB) 414448 [startup+286.907 s] /proc/loadavg: 1.00 1.01 1.00 2/44 2890 /proc/meminfo: memFree=6344/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=286.64 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67208 0 1 0 28634 30 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66355 2923 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=281.3 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 28117 13 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4115464709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.17 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 502 15 0 0 16 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 577 0 0 0 14 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.64 Current children cumulated vsize (KiB) 414448 [startup+287.107 s] /proc/loadavg: 1.00 1.01 1.00 2/44 2890 /proc/meminfo: memFree=6344/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=286.84 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67208 0 1 0 28654 30 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66355 2923 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=281.5 /proc/2869/task/2871/stat : 2871 (java) R 2868 2868 22717 34817 22717 4202560 14556 0 1 0 28137 13 0 0 25 0 9 0 73530837 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4115464709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.17 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 502 15 0 0 16 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73530838 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 577 0 0 0 14 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 421765120 66355 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.84 Current children cumulated vsize (KiB) 414448 [startup+287.203 s] /proc/loadavg: 1.00 1.01 1.00 2/44 2890 /proc/meminfo: memFree=6344/1048576 swapFree=0/0 [pid=2868] ppid=2867 vsize=2568 CPUtime=0 /proc/2868/stat : 2868 (gj-user-solver-) S 2867 2868 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73530836 2629632 269 1283457024 134512640 135304128 4293711952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2868/statm: 642 269 229 194 0 29 0 [pid=2869] ppid=2868 vsize=411880 CPUtime=286.88 /proc/2869/stat : 2869 (java) S 2868 2868 22717 34817 22717 4202496 67214 0 1 0 28658 30 0 0 25 0 9 0 73530837 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2869/statm: 102970 66361 2923 10 0 97115 0 [pid=2869/tid=2871] ppid=2868 vsize=411880 CPUtime=281.54 /proc/2869/task/2871/stat : 2871 (java) S 2868 2868 22717 34817 22717 4202560 14556 0 1 0 28141 13 0 0 25 0 9 0 73530837 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2872] ppid=2868 vsize=411880 CPUtime=5.17 /proc/2869/task/2872/stat : 2872 (java) S 2868 2868 22717 34817 22717 4202560 51130 0 0 0 502 15 0 0 16 0 9 0 73530838 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2873] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2873/stat : 2873 (java) S 2868 2868 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73530838 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2874] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2874/stat : 2874 (java) S 2868 2868 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73530838 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2875] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2875/stat : 2875 (java) S 2868 2868 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2876] ppid=2868 vsize=411880 CPUtime=0.14 /proc/2869/task/2876/stat : 2876 (java) S 2868 2868 22717 34817 22717 4202560 583 0 0 0 14 0 0 0 16 0 9 0 73530839 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2877] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2877/stat : 2877 (java) S 2868 2868 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73530839 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=2869/tid=2878] ppid=2868 vsize=411880 CPUtime=0 /proc/2869/task/2878/stat : 2878 (java) S 2868 2868 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73530839 421765120 66361 1283457024 134512640 134550932 4290235488 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.88 Current children cumulated vsize (KiB) 414448 Child status: 0 Real time (s): 287.229 CPU time (s): 286.906 CPU user time (s): 286.59 CPU system time (s): 0.316019 CPU usage (%): 99.8875 Max. virtual memory (cumulated for all children) (KiB): 414448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 286.59 system time used= 0.316019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67602 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6742 involuntary context switches= 10002 runsolver used 0.008 second user time and 0 second system time The end