runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744572-1338804107/watcher-3744572-1338804107 -o /tmp/evaluation-result-3744572-1338804107/solver-3744572-1338804107 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744572-1338804107.opb
running on 4 cores: 0,2,4,6
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.02 2.03 2.00 3/193 12544
/proc/meminfo: memFree=26289620/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 1203 0 0 0 0 0 0 0 20 0 2 0 346536589 94019584 913 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 22954 917 697 9 0 16769 0
[pid=12544/tid=12545] ppid=12542 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) D 12542 12544 9704 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 346536589 94019584 917 33554432000 1073741824 1073778376 140734802340368 140467438030376 273439354151 0 0 4096 0 18446744072100588836 0 0 -1 4 0 0 0 0 0
[startup+0.0358989 s]
/proc/loadavg: 2.02 2.03 2.00 3/193 12544
/proc/meminfo: memFree=26289620/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 3979 0 1 0 2 0 0 0 20 0 13 0 346536589 2686889984 4675 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 655979 4675 1697 9 0 646680 0
[pid=12544/tid=12545] ppid=12542 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 2796 0 1 0 1 0 0 0 20 0 13 0 346536589 2686889984 4675 33554432000 1073741824 1073778376 140734802340368 140467438031088 273451902221 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100382 s]
/proc/loadavg: 2.02 2.03 2.00 3/193 12544
/proc/meminfo: memFree=26289620/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 4985 0 1 0 9 1 0 0 20 0 18 0 346536589 3028844544 6694 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 739464 6694 2130 9 0 729885 0
[pid=12544/tid=12545] ppid=12542 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3061 0 1 0 7 0 0 0 20 0 18 0 346536589 3028844544 6694 33554432000 1073741824 1073778376 140734802340368 140467438028408 140467377802799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300195 s]
/proc/loadavg: 2.02 2.03 2.00 3/193 12544
/proc/meminfo: memFree=26289620/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=2958064 CPUtime=0.51 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 9053 0 1 0 49 2 0 0 20 0 18 0 346536589 3029057536 11486 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 739516 11486 2239 9 0 729937 0
[pid=12544/tid=12545] ppid=12542 vsize=2958064 CPUtime=0.27 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3102 0 1 0 27 0 0 0 20 0 18 0 346536589 3029057536 11486 33554432000 1073741824 1073778376 140734802340368 140467438033000 140467377817374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2958064
[startup+0.700186 s]
/proc/loadavg: 2.02 2.03 2.00 3/193 12544
/proc/meminfo: memFree=26289620/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=1.68 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17382 0 1 0 164 4 0 0 20 0 19 0 346536589 3097006080 22447 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 22447 2280 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3133 0 1 0 66 1 0 0 20 0 19 0 346536589 3097006080 22447 33554432000 1073741824 1073778376 140734802340368 140467438035560 140467378390903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 3024420
[startup+1.5008 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12567
/proc/meminfo: memFree=26123316/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=2.59 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17626 0 1 0 252 7 0 0 20 0 19 0 346536589 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 80317 2280 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3247 0 1 0 143 5 0 0 20 0 19 0 346536589 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467438033400 140467378380011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8717 0 0 0 51 2 0 0 20 0 19 0 346536594 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) S 12542 12544 9704 0 -1 4202560 4451 0 0 0 54 0 0 0 20 0 19 0 346536594 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467278649656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12567] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12567/stat : 12567 (java) S 12542 12544 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346536655 3097006080 80317 33554432000 1073741824 1073778376 140734802340368 140467274413224 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 3024420
[startup+3.10063 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12567
/proc/meminfo: memFree=25835232/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=4.27 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17749 0 1 0 417 10 0 0 20 0 19 0 346536589 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 115171 2294 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3317 0 1 0 300 7 0 0 20 0 19 0 346536589 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467438035560 140467378393130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8722 0 0 0 54 2 0 0 20 0 19 0 346536594 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) R 12542 12544 9704 0 -1 4202560 4462 0 0 0 59 0 0 0 20 0 19 0 346536594 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467278649832 140467440508292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 115171 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+3.90079 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12573
/proc/meminfo: memFree=25835108/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=5.1 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17775 0 1 0 499 11 0 0 20 0 19 0 346536589 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 117226 2294 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=3.86 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3318 0 1 0 379 7 0 0 20 0 19 0 346536589 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467438034280 140467378428215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8722 0 0 0 54 2 0 0 20 0 19 0 346536594 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) S 12542 12544 9704 0 -1 4202560 4469 0 0 0 60 0 0 0 20 0 19 0 346536594 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467278649656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12573] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12573/stat : 12573 (java) S 12542 12544 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346536906 3097006080 117226 33554432000 1073741824 1073778376 140734802340368 140467274413480 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 3024420
[startup+4.70079 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12573
/proc/meminfo: memFree=25826784/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=5.97 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17786 0 1 0 586 11 0 0 20 0 19 0 346536589 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 117236 2294 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=4.66 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3319 0 1 0 459 7 0 0 20 0 19 0 346536589 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467438033416 140467378419015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8727 0 0 0 58 2 0 0 20 0 19 0 346536594 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) S 12542 12544 9704 0 -1 4202560 4474 0 0 0 63 0 0 0 20 0 19 0 346536594 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467278649656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12573] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12573/stat : 12573 (java) S 12542 12544 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346536906 3097006080 117236 33554432000 1073741824 1073778376 140734802340368 140467274413480 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 3024420
[startup+5.1008 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12573
/proc/meminfo: memFree=25826784/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=6.37 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17787 0 1 0 626 11 0 0 20 0 19 0 346536589 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 116977 2294 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=5.06 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3320 0 1 0 499 7 0 0 20 0 19 0 346536589 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467438035512 140467377993559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8727 0 0 0 58 2 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) S 12542 12544 9704 0 -1 4202560 4474 0 0 0 63 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467278649656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12573] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12573/stat : 12573 (java) S 12542 12544 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346536906 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467274413480 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 3024420
[startup+5.20079 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12573
/proc/meminfo: memFree=25826784/32873852 swapFree=6856/6856
[pid=12544] ppid=12542 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/12544/stat : 12544 (java) S 12542 12544 9704 0 -1 4202496 17787 0 1 0 636 11 0 0 20 0 19 0 346536589 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140734802331504 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12544/statm: 756105 116977 2294 9 0 746526 0
[pid=12544/tid=12545] ppid=12542 vsize=3024420 CPUtime=5.16 cores=0,2,4,6
/proc/12544/task/12545/stat : 12545 (java) R 12542 12544 9704 0 -1 4202560 3320 0 1 0 509 7 0 0 20 0 19 0 346536589 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467438035512 140467378393414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12547] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12547/stat : 12547 (java) S 12542 12544 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467376765992 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12548] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12548/stat : 12548 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467302427560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12549] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12549/stat : 12549 (java) S 12542 12544 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467301374760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12550] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12550/stat : 12550 (java) S 12542 12544 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467300321960 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12551] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12551/stat : 12551 (java) S 12542 12544 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467299269160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12552] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12552/stat : 12552 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467298216360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12553] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12553/stat : 12553 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467297163560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12544/tid=12554] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12554/stat : 12554 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536590 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467296110760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12555] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12555/stat : 12555 (java) S 12542 12544 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346536591 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467283913704 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12556] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12556/stat : 12556 (java) S 12542 12544 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467282859768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12557] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12557/stat : 12557 (java) S 12542 12544 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346536592 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467281806856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12558] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12558/stat : 12558 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467280755344 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12559] ppid=12542 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12544/task/12559/stat : 12559 (java) S 12542 12544 9704 0 -1 4202560 8727 0 0 0 58 2 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467279702456 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12544/tid=12560] ppid=12542 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/12544/task/12560/stat : 12560 (java) S 12542 12544 9704 0 -1 4202560 4474 0 0 0 63 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467278649656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12561] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12561/stat : 12561 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467277597048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12544/tid=12562] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12562/stat : 12562 (java) S 12542 12544 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346536594 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467276544456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12544/tid=12573] ppid=12542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12544/task/12573/stat : 12573 (java) S 12542 12544 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346536906 3097006080 116977 33554432000 1073741824 1073778376 140734802340368 140467274413480 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 3024420
Child status: 30
Real time (s): 5.25701
CPU time (s): 6.544
CPU user time (s): 6.40003
CPU system time (s): 0.143978
CPU usage (%): 124.482
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.40003
system time used= 0.143978
maximum resident set size= 468944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17799
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 494
involuntary context switches= 51
runsolver used 0.011998 second user time and 0.054991 second system time
The end