runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459100-1307133981/watcher-3459100-1307133981 -o /tmp/evaluation-result-3459100-1307133981/solver-3459100-1307133981 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459100-1307133981.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.63 3.56 3.71 2/387 647
/proc/meminfo: memFree=23771060/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/647/stat : 647 (java) R 645 647 31984 0 -1 4202496 568 0 0 0 0 0 0 0 21 0 1 0 825000858 23580672 313 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/647/statm: 5757 327 251 9 0 124 0
[pid=647/tid=648] ppid=645 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 4540 0 1 0 0 0 0 0 23 0 2 0 825000858 13850947584 5356 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0843399 s]
/proc/loadavg: 2.63 3.56 3.71 2/387 647
/proc/meminfo: memFree=23771060/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13555520 CPUtime=0.07 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 14785 0 1 0 6 1 0 0 21 0 18 0 825000858 13880852480 14483 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3388880 14485 1916 9 0 3379614 0
[pid=647/tid=648] ppid=645 vsize=13555520 CPUtime=0.07 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 13388 0 1 0 6 1 0 0 22 0 18 0 825000858 13880852480 14487 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 47723125017427 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555520
[startup+0.100351 s]
/proc/loadavg: 2.63 3.56 3.71 2/387 647
/proc/meminfo: memFree=23771060/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13621896 CPUtime=0.1 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 15513 0 1 0 9 1 0 0 21 0 18 0 825000858 13948821504 15192 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3405474 15193 2093 9 0 3396208 0
[pid=647/tid=648] ppid=645 vsize=13621896 CPUtime=0.08 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 13613 0 1 0 7 1 0 0 18 0 18 0 825000858 13948821504 15194 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218370618053 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621896
[startup+0.300304 s]
/proc/loadavg: 2.63 3.56 3.71 2/387 647
/proc/meminfo: memFree=23771060/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13624544 CPUtime=0.55 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 18632 0 1 0 53 2 0 0 21 0 19 0 825000858 13951533056 17377 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406136 17377 2215 9 0 3396870 0
[pid=647/tid=648] ppid=645 vsize=13624544 CPUtime=0.28 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14217 0 1 0 27 1 0 0 19 0 19 0 825000858 13951533056 17377 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13624544
[startup+0.700196 s]
/proc/loadavg: 2.63 3.56 3.71 2/387 647
/proc/meminfo: memFree=23771060/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=1.05 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 19943 0 1 0 103 2 0 0 21 0 19 0 825000858 13952045056 18467 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18467 2247 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=0.65 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14429 0 1 0 64 1 0 0 19 0 19 0 825000858 13952045056 18467 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505529341 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625044
[startup+1.5011 s]
/proc/loadavg: 2.63 3.56 3.71 3/423 683
/proc/meminfo: memFree=23646488/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=1.88 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 20163 0 1 0 186 2 0 0 21 0 19 0 825000858 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18685 2248 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=1.42 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14429 0 1 0 141 1 0 0 20 0 19 0 825000858 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505545604 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=647/tid=658] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/658/stat : 658 (java) S 645 647 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=660] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/660/stat : 660 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=661] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/661/stat : 661 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=662] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/662/stat : 662 (java) S 645 647 31984 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=663] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/663/stat : 663 (java) S 645 647 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=664] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/664/stat : 664 (java) S 645 647 31984 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=665] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/665/stat : 665 (java) S 645 647 31984 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=666] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/666/stat : 666 (java) S 645 647 31984 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=669] ppid=645 vsize=13625044 CPUtime=0.05 cores=1,3,5,7
/proc/647/task/669/stat : 669 (java) S 645 647 31984 0 -1 4202560 400 0 0 0 5 0 0 0 15 0 19 0 825000861 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 0 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=670] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/670/stat : 670 (java) S 645 647 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=671] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/671/stat : 671 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=677] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/677/stat : 677 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825000864 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382780849 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=678] ppid=645 vsize=13625044 CPUtime=0.18 cores=1,3,5,7
/proc/647/task/678/stat : 678 (java) S 645 647 31984 0 -1 4202560 1668 0 0 0 18 0 0 0 15 0 19 0 825000864 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=679] ppid=645 vsize=13625044 CPUtime=0.2 cores=1,3,5,7
/proc/647/task/679/stat : 679 (java) S 645 647 31984 0 -1 4202560 1966 0 0 0 20 0 0 0 15 0 19 0 825000864 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=680] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/680/stat : 680 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825000864 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=681] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/681/stat : 681 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000864 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=682] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/682/stat : 682 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825000874 13952045056 18685 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625044
[startup+3.10081 s]
/proc/loadavg: 2.63 3.56 3.71 3/423 683
/proc/meminfo: memFree=23636512/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=3.49 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 20431 0 1 0 347 2 0 0 21 0 19 0 825000858 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18949 2248 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=2.96 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14433 0 1 0 295 1 0 0 24 0 19 0 825000858 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505612961 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=647/tid=658] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/658/stat : 658 (java) S 645 647 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=660] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/660/stat : 660 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=661] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/661/stat : 661 (java) S 645 647 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=662] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/662/stat : 662 (java) S 645 647 31984 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=663] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/663/stat : 663 (java) S 645 647 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=664] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/664/stat : 664 (java) S 645 647 31984 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=665] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/665/stat : 665 (java) S 645 647 31984 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=666] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/666/stat : 666 (java) S 645 647 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=669] ppid=645 vsize=13625044 CPUtime=0.1 cores=1,3,5,7
/proc/647/task/669/stat : 669 (java) S 645 647 31984 0 -1 4202560 613 0 0 0 10 0 0 0 16 0 19 0 825000861 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 0 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=670] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/670/stat : 670 (java) S 645 647 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=671] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/671/stat : 671 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=677] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/677/stat : 677 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825000864 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382780849 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=678] ppid=645 vsize=13625044 CPUtime=0.18 cores=1,3,5,7
/proc/647/task/678/stat : 678 (java) S 645 647 31984 0 -1 4202560 1668 0 0 0 18 0 0 0 15 0 19 0 825000864 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=679] ppid=645 vsize=13625044 CPUtime=0.2 cores=1,3,5,7
/proc/647/task/679/stat : 679 (java) S 645 647 31984 0 -1 4202560 1966 0 0 0 20 0 0 0 15 0 19 0 825000864 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=680] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/680/stat : 680 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825000864 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=681] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/681/stat : 681 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000864 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=682] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/682/stat : 682 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825000874 13952045056 18949 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13625044
[startup+6.30124 s]
/proc/loadavg: 2.58 3.54 3.70 3/423 684
/proc/meminfo: memFree=23630564/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=6.7 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 20506 0 1 0 668 2 0 0 21 0 19 0 825000858 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18990 2248 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=6.02 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14443 0 1 0 601 1 0 0 25 0 19 0 825000858 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505529302 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=647/tid=658] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/658/stat : 658 (java) S 645 647 31984 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=660] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/660/stat : 660 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=661] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/661/stat : 661 (java) S 645 647 31984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=662] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/662/stat : 662 (java) S 645 647 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=663] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/663/stat : 663 (java) S 645 647 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=664] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/664/stat : 664 (java) S 645 647 31984 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=665] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/665/stat : 665 (java) S 645 647 31984 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=666] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/666/stat : 666 (java) S 645 647 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=669] ppid=645 vsize=13625044 CPUtime=0.23 cores=1,3,5,7
/proc/647/task/669/stat : 669 (java) S 645 647 31984 0 -1 4202560 669 0 0 0 23 0 0 0 16 0 19 0 825000861 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 0 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=670] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/670/stat : 670 (java) S 645 647 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=671] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/671/stat : 671 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=677] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/677/stat : 677 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825000864 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382780849 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=678] ppid=645 vsize=13625044 CPUtime=0.18 cores=1,3,5,7
/proc/647/task/678/stat : 678 (java) S 645 647 31984 0 -1 4202560 1668 0 0 0 18 0 0 0 15 0 19 0 825000864 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=679] ppid=645 vsize=13625044 CPUtime=0.2 cores=1,3,5,7
/proc/647/task/679/stat : 679 (java) S 645 647 31984 0 -1 4202560 1966 0 0 0 20 0 0 0 15 0 19 0 825000864 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=680] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/680/stat : 680 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825000864 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=681] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/681/stat : 681 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000864 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=682] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/682/stat : 682 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825000874 13952045056 18990 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13625044
Solver just ended. Dumping a history of the last processes samples
[startup+7.1011 s]
/proc/loadavg: 2.58 3.54 3.70 3/423 684
/proc/meminfo: memFree=23627572/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=7.5 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 20515 0 1 0 748 2 0 0 21 0 19 0 825000858 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18997 2248 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=6.79 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14445 0 1 0 678 1 0 0 25 0 19 0 825000858 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505524199 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=647/tid=658] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/658/stat : 658 (java) S 645 647 31984 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=660] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/660/stat : 660 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=661] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/661/stat : 661 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=662] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/662/stat : 662 (java) S 645 647 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=663] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/663/stat : 663 (java) S 645 647 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=664] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/664/stat : 664 (java) S 645 647 31984 0 -1 4202560 79 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=665] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/665/stat : 665 (java) S 645 647 31984 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=666] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/666/stat : 666 (java) S 645 647 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=669] ppid=645 vsize=13625044 CPUtime=0.25 cores=1,3,5,7
/proc/647/task/669/stat : 669 (java) S 645 647 31984 0 -1 4202560 674 0 0 0 25 0 0 0 16 0 19 0 825000861 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 0 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=670] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/670/stat : 670 (java) S 645 647 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=671] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/671/stat : 671 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=677] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/677/stat : 677 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825000864 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382780849 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=678] ppid=645 vsize=13625044 CPUtime=0.18 cores=1,3,5,7
/proc/647/task/678/stat : 678 (java) S 645 647 31984 0 -1 4202560 1668 0 0 0 18 0 0 0 15 0 19 0 825000864 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=679] ppid=645 vsize=13625044 CPUtime=0.2 cores=1,3,5,7
/proc/647/task/679/stat : 679 (java) S 645 647 31984 0 -1 4202560 1966 0 0 0 20 0 0 0 15 0 19 0 825000864 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=680] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/680/stat : 680 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825000864 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=681] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/681/stat : 681 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000864 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=682] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/682/stat : 682 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825000874 13952045056 18997 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 13625044
[startup+7.30107 s]
/proc/loadavg: 2.58 3.54 3.70 3/423 684
/proc/meminfo: memFree=23627572/32951124 swapFree=49244120/67111528
[pid=647] ppid=645 vsize=13625044 CPUtime=7.71 cores=1,3,5,7
/proc/647/stat : 647 (java) S 645 647 31984 0 -1 4202496 20518 0 1 0 769 2 0 0 21 0 19 0 825000858 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 3406261 18999 2248 9 0 3396995 0
[pid=647/tid=648] ppid=645 vsize=13625044 CPUtime=6.97 cores=1,3,5,7
/proc/647/task/648/stat : 648 (java) R 645 647 31984 0 -1 4202560 14448 0 1 0 696 1 0 0 25 0 19 0 825000858 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 46912505612732 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=647/tid=658] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/658/stat : 658 (java) S 645 647 31984 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=660] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/660/stat : 660 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=661] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/661/stat : 661 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=662] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/662/stat : 662 (java) S 645 647 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=663] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/663/stat : 663 (java) S 645 647 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=664] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/664/stat : 664 (java) S 645 647 31984 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=665] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/665/stat : 665 (java) S 645 647 31984 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=666] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/666/stat : 666 (java) S 645 647 31984 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 825000860 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=669] ppid=645 vsize=13625044 CPUtime=0.27 cores=1,3,5,7
/proc/647/task/669/stat : 669 (java) S 645 647 31984 0 -1 4202560 674 0 0 0 27 0 0 0 16 0 19 0 825000861 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 0 0 16800975 18446604459396362368 0 0 -1 3 0 0 0
[pid=647/tid=670] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/670/stat : 670 (java) S 645 647 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=671] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/671/stat : 671 (java) S 645 647 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825000862 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=677] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/677/stat : 677 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825000864 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382780849 0 4 0 16800975 18446604459396362368 0 0 -1 7 0 0 0
[pid=647/tid=678] ppid=645 vsize=13625044 CPUtime=0.19 cores=1,3,5,7
/proc/647/task/678/stat : 678 (java) S 645 647 31984 0 -1 4202560 1668 0 0 0 19 0 0 0 15 0 19 0 825000864 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=679] ppid=645 vsize=13625044 CPUtime=0.2 cores=1,3,5,7
/proc/647/task/679/stat : 679 (java) S 645 647 31984 0 -1 4202560 1966 0 0 0 20 0 0 0 15 0 19 0 825000864 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=680] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/680/stat : 680 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 825000864 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773145 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
[pid=647/tid=681] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/681/stat : 681 (java) S 645 647 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825000864 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 1 0 0 0
[pid=647/tid=682] ppid=645 vsize=13625044 CPUtime=0 cores=1,3,5,7
/proc/647/task/682/stat : 682 (java) S 645 647 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825000874 13952045056 18999 33554432000 1073741824 1073778376 140733980152544 18446744073709551615 218382773760 0 4 0 16800975 18446604459396362368 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 13625044
Child status: 20
Real time (s): 7.32056
CPU time (s): 7.74482
CPU user time (s): 7.71583
CPU system time (s): 0.028995
CPU usage (%): 105.795
Max. virtual memory (cumulated for all children) (KiB): 13625044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.71583
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20547
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= 926
involuntary context switches= 355
runsolver used 0.034994 second user time and 0.065989 second system time
The end