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-3729043-1338678628/watcher-3729043-1338678628 -o /tmp/evaluation-result-3729043-1338678628/solver-3729043-1338678628 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729043-1338678628.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: 0.00 0.00 0.18 5/195 15632
/proc/meminfo: memFree=29040052/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 333987728 24780800 867 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 6050 867 654 9 0 385 0
[pid=15632/tid=15633] ppid=15629 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 2 0 333987729 91889664 883 33554432000 1073741824 1073778376 140733371854896 140733371843960 233220746917 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0118 s]
/proc/loadavg: 0.00 0.00 0.18 5/195 15632
/proc/meminfo: memFree=29040052/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 333987728 103964672 1052 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 25382 1052 806 9 0 16774 0
[pid=15632/tid=15633] ppid=15629 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) S 15629 15632 15565 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 2 0 333987729 103964672 1052 33554432000 1073741824 1073778376 140733371854896 140257119024656 233220964835 0 0 0 16784584 18446744071580425449 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100288 s]
/proc/loadavg: 0.00 0.00 0.18 5/195 15632
/proc/meminfo: memFree=29040052/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 4182 0 1 0 5 1 0 0 20 0 18 0 333987728 3028844544 5388 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 739464 5388 1791 9 0 729885 0
[pid=15632/tid=15633] ppid=15629 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 2971 0 1 0 4 1 0 0 20 0 18 0 333987729 3028844544 5388 33554432000 1073741824 1073778376 140733371854896 140257119015048 233224332557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300223 s]
/proc/loadavg: 0.00 0.00 0.18 5/195 15632
/proc/meminfo: memFree=29040052/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 8199 0 1 0 45 2 0 0 20 0 19 0 333987728 3097006080 9027 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 9027 2251 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3087 0 1 0 23 2 0 0 20 0 19 0 333987729 3097006080 9027 33554432000 1073741824 1073778376 140733371854896 140257119023824 140257122309015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 3024420
[startup+0.700339 s]
/proc/loadavg: 0.00 0.00 0.18 5/195 15632
/proc/meminfo: memFree=29040052/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 9584 0 1 0 107 4 0 0 20 0 19 0 333987728 3097006080 25526 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 25526 2257 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3119 0 1 0 62 3 0 0 20 0 19 0 333987729 3097006080 25526 33554432000 1073741824 1073778376 140733371854896 140257119023560 140257059266192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3024420
[startup+1.50087 s]
/proc/loadavg: 0.16 0.03 0.19 2/191 15675
/proc/meminfo: memFree=28941600/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 9641 0 1 0 189 6 0 0 20 0 19 0 333987728 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 51132 2259 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3170 0 1 0 141 4 0 0 20 0 19 0 333987729 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140257119023512 140257059181968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2308 0 0 0 21 0 0 0 20 0 19 0 333987736 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 51132 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 3024420
[startup+3.10088 s]
/proc/loadavg: 0.16 0.03 0.19 2/191 15675
/proc/meminfo: memFree=28818164/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=3.55 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 9717 0 1 0 346 9 0 0 20 0 19 0 333987728 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 89532 2259 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3246 0 1 0 297 7 0 0 20 0 19 0 333987729 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140257119021616 140257059310630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2308 0 0 0 21 0 0 0 20 0 19 0 333987736 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 89532 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 3024420
[startup+6.30082 s]
/proc/loadavg: 0.16 0.03 0.19 2/191 15675
/proc/meminfo: memFree=28618640/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=6.81 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 9820 0 1 0 668 13 0 0 20 0 19 0 333987728 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 116656 2273 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=6.21 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3292 0 1 0 612 9 0 0 20 0 19 0 333987729 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140257119022456 140257059191790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333987731 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2308 0 0 0 21 0 0 0 20 0 19 0 333987736 3097006080 116656 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 119 0 0 0 23 7 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 29 0 0 0 0 1 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2310 0 0 0 22 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 36 0 0 0 19 16 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 588.93
Current children cumulated vsize (KiB) 3024420
[startup+587.101 s]
/proc/loadavg: 2.04 1.69 0.99 3/214 16510
/proc/meminfo: memFree=27675488/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=589.73 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 10864 0 1 0 58892 81 0 0 20 0 19 0 333987728 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 214210 2273 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=584.87 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3305 0 1 0 58470 17 0 0 20 0 19 0 333987729 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257119022368 140257059192027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 125 0 0 0 20 5 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 141 0 0 0 35 8 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 166 0 0 0 25 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 105 0 0 0 18 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 121 0 0 0 19 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 112 0 0 0 26 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 146 0 0 0 27 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 119 0 0 0 23 7 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 29 0 0 0 0 1 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2310 0 0 0 22 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 36 0 0 0 19 16 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 589.73
Current children cumulated vsize (KiB) 3024420
[startup+587.501 s]
/proc/loadavg: 2.04 1.69 0.99 3/214 16510
/proc/meminfo: memFree=27675488/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=590.13 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 10864 0 1 0 58932 81 0 0 20 0 19 0 333987728 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 214210 2273 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=585.27 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3305 0 1 0 58510 17 0 0 20 0 19 0 333987729 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257119022368 140257059310630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 125 0 0 0 20 5 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 141 0 0 0 35 8 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 166 0 0 0 25 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 105 0 0 0 18 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 121 0 0 0 19 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 112 0 0 0 26 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 146 0 0 0 27 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 119 0 0 0 23 7 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 29 0 0 0 0 1 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2310 0 0 0 22 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 36 0 0 0 19 16 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 590.13
Current children cumulated vsize (KiB) 3024420
[startup+587.601 s]
/proc/loadavg: 2.04 1.69 0.99 3/214 16510
/proc/meminfo: memFree=27675488/32873844 swapFree=7120/7120
[pid=15632] ppid=15629 vsize=3024420 CPUtime=590.23 cores=1,3,5,7
/proc/15632/stat : 15632 (java) S 15629 15632 15565 0 -1 4202496 10864 0 1 0 58942 81 0 0 20 0 19 0 333987728 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140733371846032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 756105 214210 2273 9 0 746526 0
[pid=15632/tid=15633] ppid=15629 vsize=3024420 CPUtime=585.37 cores=1,3,5,7
/proc/15632/task/15633/stat : 15633 (java) R 15629 15632 15565 0 -1 4202560 3305 0 1 0 58520 17 0 0 20 0 19 0 333987729 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257119022368 140257059238213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15635] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15635/stat : 15635 (java) S 15629 15632 15565 0 -1 4202560 125 0 0 0 20 5 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140257057754152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15636] ppid=15629 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15632/task/15636/stat : 15636 (java) S 15629 15632 15565 0 -1 4202560 141 0 0 0 35 8 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256983247784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15637] ppid=15629 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/15632/task/15637/stat : 15637 (java) S 15629 15632 15565 0 -1 4202560 166 0 0 0 25 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256982194984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15638] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15638/stat : 15638 (java) S 15629 15632 15565 0 -1 4202560 105 0 0 0 18 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256981142184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15639] ppid=15629 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/15632/task/15639/stat : 15639 (java) S 15629 15632 15565 0 -1 4202560 121 0 0 0 19 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256980089384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15632/tid=15640] ppid=15629 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/15632/task/15640/stat : 15640 (java) S 15629 15632 15565 0 -1 4202560 112 0 0 0 26 6 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256979036584 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15641] ppid=15629 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15632/task/15641/stat : 15641 (java) S 15629 15632 15565 0 -1 4202560 146 0 0 0 27 9 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256977983784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15642] ppid=15629 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15632/task/15642/stat : 15642 (java) S 15629 15632 15565 0 -1 4202560 119 0 0 0 23 7 0 0 20 0 19 0 333987731 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256976930984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15643] ppid=15629 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/15632/task/15643/stat : 15643 (java) S 15629 15632 15565 0 -1 4202560 29 0 0 0 0 1 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256964733928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15644] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15644/stat : 15644 (java) S 15629 15632 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256963679992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15645] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15645/stat : 15645 (java) S 15629 15632 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333987732 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256962627080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15653] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15653/stat : 15653 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256961575568 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15654] ppid=15629 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/15632/task/15654/stat : 15654 (java) S 15629 15632 15565 0 -1 4202560 2967 0 0 0 24 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256960522680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15632/tid=15655] ppid=15629 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/15632/task/15655/stat : 15655 (java) S 15629 15632 15565 0 -1 4202560 2310 0 0 0 22 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256959469880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15656] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15656/stat : 15656 (java) S 15629 15632 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256958417272 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15632/tid=15657] ppid=15629 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/15632/task/15657/stat : 15657 (java) S 15629 15632 15565 0 -1 4202560 36 0 0 0 19 16 0 0 20 0 19 0 333987736 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256957364680 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15632/tid=15675] ppid=15629 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15632/task/15675/stat : 15675 (java) S 15629 15632 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333987751 3097006080 214210 33554432000 1073741824 1073778376 140733371854896 140256955233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 590.23
Current children cumulated vsize (KiB) 3024420
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15632 and gives
# childrusage.ru_utime.tv_sec=587
# childrusage.ru_utime.tv_usec=951617
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=31843
# CPU time returned by wait4() is 588.983
# while last known CPU time is 590.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 587.663
CPU time (s): 590.23
CPU user time (s): 589.42
CPU system time (s): 0.81
CPU usage (%): 100.437
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.952
system time used= 1.03184
maximum resident set size= 856844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10870
page faults= 1
swaps= 0
block input operations= 128
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12894
involuntary context switches= 2020
runsolver used 4.49432 second user time and 4.89926 second system time
The end