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-3688728-1337879485/watcher-3688728-1337879485 -o /tmp/evaluation-result-3688728-1337879485/solver-3688728-1337879485 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688728-1337879485.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: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3574/stat : 3574 (java) D 3572 3574 718 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254073966 9515008 182 33554432000 1073741824 1073778376 140735184653840 140735184644872 229355896501 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3574/statm: 2323 182 140 9 0 71 0
[startup+0.00894392 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=20596 CPUtime=0 cores=0,2,4,6
/proc/3574/stat : 3574 (java) R 3572 3574 718 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 254073966 21090304 189 33554432000 1073741824 1073778376 140733825665216 140733825654280 229346733351 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 5165 196 152 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596
[startup+0.100153 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 4201 0 1 0 8 0 0 0 20 0 18 0 254073966 9787813888 5406 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2389603 5406 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300164 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 5648 0 1 0 43 0 0 0 20 0 18 0 254073966 9787813888 8090 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2389603 8090 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412
[startup+0.700172 s]
/proc/loadavg: 3.78 4.01 3.93 3/195 3574
/proc/meminfo: memFree=27344480/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 14661 0 1 0 176 2 0 0 20 0 22 0 254073966 10060460032 19361 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 19361 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824668
[startup+1.50061 s]
/proc/loadavg: 3.78 4.01 3.93 7/217 3599
/proc/meminfo: memFree=27248272/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=2.27 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 14697 0 1 0 220 7 0 0 20 0 22 0 254073966 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 27551 2253 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254073969 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 5109 0 0 0 53 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 5756 0 0 0 54 2 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 27551 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9824668
[startup+3.10078 s]
/proc/loadavg: 3.78 4.01 3.93 7/217 3605
/proc/meminfo: memFree=27202776/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=4.99 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 23253 0 1 0 485 14 0 0 20 0 22 0 254073966 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 50335 2273 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254073968 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 254073969 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 7025 0 0 0 95 1 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 12216 0 0 0 101 2 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 50335 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 9824668
[startup+6.30079 s]
/proc/loadavg: 3.80 4.01 3.93 5/217 3608
/proc/meminfo: memFree=26745628/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=10.93 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 24617 0 1 0 1069 24 0 0 20 0 22 0 254073966 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 156577 2287 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2501 0 1 0 43 0 0 0 20 0 22 0 254073967 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254073968 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 480 0 0 0 19 0 0 0 20 0 22 0 254073969 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 7028 0 0 0 108 1 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.25 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 12887 0 0 0 123 2 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 156577 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 9824668
[startup+12.7009 s]
################
# More data... #
################
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 150 3 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 159 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.43 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 140 3 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 151 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 140 4 0 0 20 0 22 0 254073968 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=57.1 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2372 0 0 0 5699 11 0 0 20 0 22 0 254073969 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 48 0 0 0 15 17 0 0 20 0 22 0 254073973 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=679.92 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 7 0 0 0 67982 10 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987292012712 139987417425725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=679.72 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1072 0 0 0 67938 34 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987290960992 139987416961050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 796012 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1591.11
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.05 3.26 3.58 5/216 4005
/proc/meminfo: memFree=24558856/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1708.22 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 38908 0 1 0 170700 122 0 0 20 0 22 0 254073966 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 797978 2288 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2526 0 1 0 45 3 0 0 20 0 22 0 254073967 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 512 0 0 0 178 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 642 0 0 0 163 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 513 0 0 0 152 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 158 3 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 170 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 148 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 163 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.53 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 149 4 0 0 20 0 22 0 254073968 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=60.41 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2380 0 0 0 6030 11 0 0 20 0 22 0 254073969 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 22 0 254073973 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=736.22 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 7 0 0 0 73610 12 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987292013536 139987417357276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=736.01 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1079 0 0 0 73566 35 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987290960672 139987417270158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 797978 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1708.22
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+929.001 s]
/proc/loadavg: 2.90 3.19 3.54 4/216 4006
/proc/meminfo: memFree=24547988/32873852 swapFree=6848/6848
[pid=3574] ppid=3572 vsize=9824668 CPUtime=1799.92 cores=0,2,4,6
/proc/3574/stat : 3574 (java) S 3572 3574 718 0 -1 4202496 38923 0 1 0 179868 124 0 0 20 0 22 0 254073966 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 140733825656352 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3574/statm: 2456167 799516 2288 9 0 2446860 0
[pid=3574/tid=3576] ppid=3572 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/3574/task/3576/stat : 3576 (java) S 3572 3574 718 0 -1 4202560 2526 0 1 0 45 3 0 0 20 0 22 0 254073967 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987476820984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3577] ppid=3572 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/3574/task/3577/stat : 3577 (java) S 3572 3574 718 0 -1 4202560 512 0 0 0 185 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987415550248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3578] ppid=3572 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/3574/task/3578/stat : 3578 (java) S 3572 3574 718 0 -1 4202560 642 0 0 0 169 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987414497448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3579] ppid=3572 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/3574/task/3579/stat : 3579 (java) S 3572 3574 718 0 -1 4202560 513 0 0 0 158 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987317897768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3580] ppid=3572 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/3574/task/3580/stat : 3580 (java) S 3572 3574 718 0 -1 4202560 560 0 0 0 164 3 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987316844968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3581] ppid=3572 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/3574/task/3581/stat : 3581 (java) S 3572 3574 718 0 -1 4202560 461 0 0 0 176 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987315792680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3582] ppid=3572 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/3574/task/3582/stat : 3582 (java) S 3572 3574 718 0 -1 4202560 457 0 0 0 155 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987314739880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3583] ppid=3572 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/3574/task/3583/stat : 3583 (java) S 3572 3574 718 0 -1 4202560 623 0 0 0 171 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987313687592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3584] ppid=3572 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/3574/task/3584/stat : 3584 (java) S 3572 3574 718 0 -1 4202560 536 0 0 0 155 4 0 0 20 0 22 0 254073968 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987312634792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3585] ppid=3572 vsize=9824668 CPUtime=62.33 cores=0,2,4,6
/proc/3574/task/3585/stat : 3585 (java) S 3572 3574 718 0 -1 4202560 2387 0 0 0 6221 12 0 0 20 0 22 0 254073969 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987300436200 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3586] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3586/stat : 3586 (java) S 3572 3574 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987299382264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3587] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3587/stat : 3587 (java) S 3572 3574 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254073970 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987298329864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3588] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3588/stat : 3588 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987297278352 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3589] ppid=3572 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/3574/task/3589/stat : 3589 (java) S 3572 3574 718 0 -1 4202560 12581 0 0 0 172 2 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987296225976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3590] ppid=3572 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/3574/task/3590/stat : 3590 (java) S 3572 3574 718 0 -1 4202560 13836 0 0 0 153 2 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987295173176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3591] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3591/stat : 3591 (java) S 3572 3574 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987294121080 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3574/tid=3592] ppid=3572 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/3574/task/3592/stat : 3592 (java) S 3572 3574 718 0 -1 4202560 54 0 0 0 18 18 0 0 20 0 22 0 254073973 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987293068488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3595] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3595/stat : 3595 (java) S 3572 3574 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254074013 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987289908392 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3574/tid=3615] ppid=3572 vsize=9824668 CPUtime=780.7 cores=0,2,4,6
/proc/3574/task/3615/stat : 3615 (java) R 3572 3574 718 0 -1 4202560 8 0 0 0 78058 12 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987292013536 139987417245950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3574/tid=3616] ppid=3572 vsize=9824668 CPUtime=780.51 cores=0,2,4,6
/proc/3574/task/3616/stat : 3616 (java) R 3572 3574 718 0 -1 4202560 1082 0 0 0 78016 35 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987290960992 139987417405824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3574/tid=3617] ppid=3572 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/3574/task/3617/stat : 3617 (java) S 3572 3574 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254082636 10060460032 799516 33554432000 1073741824 1073778376 140733825665216 139987288855464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3574 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=430205
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=650749
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1799.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.220001
# lost CPU user time (s): 0.25
# lost CPU system time (s): -0.03
Real time (s): 929.038
CPU time (s): 1800.14
CPU user time (s): 1798.93
CPU system time (s): 1.21
CPU usage (%): 193.764
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 1.65075
maximum resident set size= 3198180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38956
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26995
involuntary context switches= 34598
runsolver used 3.07253 second user time and 8.65268 second system time
The end