runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1425 MiB free)
memory of node 1: 16384 MiB (8970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292083-1532274517/watcher-4292083-1532274517 -o /tmp/evaluation-result-4292083-1532274517/solver-4292083-1532274517 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532260671-3379 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4292083-1532274517.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5467, runsolver pid=5464
Current StackSize limit: 8192 KiB
[startup+0.100144 s]*
/proc/loadavg: 1.92 2.01 2.18 2/221 5482
/proc/meminfo: memFree=10627740/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10659012 memory=30868 CPUtime=0.13 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 6787 0 0 0 11 2 0 0 20 0 15 0 45014866 10914828288 7717 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2664753 7717 2845 1 0 2627263 0
[pid=5467/tid=5469] ppid=5464 vsize=10659012 memory=-8392275909630850240 CPUtime=0.09 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 4628 0 0 0 8 1 0 0 20 0 15 0 45014866 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871648888608 139871644685469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871203349408 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871202296816 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0.02 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) R 5464 5467 3347 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871198087920 139871644684890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 7717 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30868 KiB
[startup+0.210872 s]*
/proc/loadavg: 1.92 2.01 2.18 4/221 5482
/proc/meminfo: memFree=10617340/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10659012 memory=41880 CPUtime=0.33 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 8094 0 0 0 30 3 0 0 20 0 15 0 45014866 10914828288 10470 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2664753 10470 2995 1 0 2627263 0
[pid=5467/tid=5469] ppid=5464 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 5042 0 0 0 18 2 0 0 20 0 15 0 45014866 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871648899808 139871644685469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10659012 memory=139752958922914 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014867 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871203349408 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45014869 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871202296816 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0.07 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 687 0 0 0 7 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10659012 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014872 10914828288 10470 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41880 KiB
[startup+0.312549 s]*
/proc/loadavg: 1.92 2.01 2.18 6/221 5482
/proc/meminfo: memFree=10610020/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10659088 memory=47312 CPUtime=0.54 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 8929 0 0 0 51 3 0 0 20 0 15 0 45014866 10914906112 11828 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2664772 11828 3047 1 0 2627263 0
[pid=5467/tid=5469] ppid=5464 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 5625 0 0 0 28 2 0 0 20 0 15 0 45014866 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871648898960 139871628744030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10659088 memory=290763875203416087 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10659088 memory=13703552626898584 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10659088 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871203349408 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871202296816 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) R 5464 5467 3347 0 -1 4202560 670 0 0 0 5 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871200193008 139871628131455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) R 5464 5467 3347 0 -1 4202560 500 0 0 0 5 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871199140464 139871628048393 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10659088 memory=139752958899840 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) R 5464 5467 3347 0 -1 1077944384 770 0 0 0 12 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871198083872 139871644673749 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10659088 memory=139752958899840 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 11828 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47312 KiB
[startup+0.700844 s]
/proc/loadavg: 1.92 2.01 2.18 5/221 5482
/proc/meminfo: memFree=10587632/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10659088 memory=148344 CPUtime=1.65 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 13364 0 0 0 160 5 0 0 20 0 15 0 45014866 10914906112 37086 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2664772 37086 3109 1 0 2627263 0
[pid=5467/tid=5469] ppid=5464 vsize=10659088 memory=1844 CPUtime=0.68 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 6077 0 0 0 64 4 0 0 20 0 15 0 45014866 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871648894288 139871267319357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10659088 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10659088 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10659088 memory=12984 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10659088 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45014867 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10659088 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10659088 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871203349408 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10659088 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45014869 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871202296816 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10659088 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10659088 memory=7739276948478455658 CPUtime=0.31 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) R 5464 5467 3347 0 -1 4202560 2083 0 0 0 31 0 0 0 20 0 15 0 45014872 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871200174024 139871623920118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10659088 memory=7079773312675500112 CPUtime=0.32 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) R 5464 5467 3347 0 -1 4202560 2281 0 0 0 32 0 0 0 20 0 15 0 45014872 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871199121480 139871628074358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10659088 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 1551 0 0 0 31 0 0 0 20 0 15 0 45014872 10914906112 37086 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 37152 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45014872 10914906112 37152 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 148344 KiB
[startup+1.50081 s]
/proc/loadavg: 1.92 2.01 2.18 5/222 5483
/proc/meminfo: memFree=10438948/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10727700 memory=224252 CPUtime=3.79 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 20371 0 0 0 372 7 0 0 20 0 16 0 45014866 10985164800 56063 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2681925 56063 3135 1 0 2644416 0
[pid=5467/tid=5469] ppid=5464 vsize=10727700 memory=1 CPUtime=1.44 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 6199 0 0 0 140 4 0 0 20 0 16 0 45014866 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871648898624 139871268891601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10727700 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 45014867 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45014867 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10727700 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 16 0 45014867 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10727700 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 16 0 45014867 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 45014869 10985164800 56063 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
################
# More data... #
################
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 2362 0 0 0 62 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 3434 0 0 0 62 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.84 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2905 0 0 0 64 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 6856 0 0 0 9 3 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871203349472 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10727700 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871202296832 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10727700 memory=1037008 CPUtime=1.39 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 9572 0 0 0 138 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10727700 memory=7380 CPUtime=1.74 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 12771 0 0 0 173 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10727700 memory=840 CPUtime=0.5 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 4533 0 0 0 49 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10727700 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10727700 memory=15316 CPUtime=1.26 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 2094 0 0 0 59 67 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5483] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5483/stat : 5483 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45014958 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871192830768 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 2389.64 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1037008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.7 s]
/proc/loadavg: 2.03 2.02 2.05 3/222 5667
/proc/meminfo: memFree=15510532/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10727700 memory=1037008 CPUtime=2400.04 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 74335 0 0 0 239852 152 0 0 20 0 16 0 45014866 10985164800 259252 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2681925 259252 3179 1 0 2644416 0
[pid=5467/tid=5469] ppid=5464 vsize=10727700 memory=1037008 CPUtime=2391.62 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) R 5464 5467 3347 0 -1 4202560 24440 0 0 0 239154 8 0 0 20 0 16 0 45014866 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871648902496 139871264253738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 3937 0 0 0 63 19 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10727700 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 2362 0 0 0 62 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 3434 0 0 0 62 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.84 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2905 0 0 0 64 20 0 0 20 0 16 0 45014867 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 6856 0 0 0 9 3 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871203349472 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 45014869 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871202296832 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10727700 memory=2336 CPUtime=1.39 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 9572 0 0 0 138 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10727700 memory=1037008 CPUtime=1.74 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 12771 0 0 0 173 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10727700 memory=3053511329498284128 CPUtime=0.5 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 4533 0 0 0 49 1 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10727700 memory=2244 CPUtime=1.26 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 2094 0 0 0 59 67 0 0 20 0 16 0 45014872 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5483] ppid=5464 vsize=10727700 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5483/stat : 5483 (java) S 5464 5467 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45014958 10985164800 259252 33554432000 4194304 4196468 140735775922528 139871192830768 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1037008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.92 s]
# the end of solver process 5467 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.64 s, system=1.52614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.81 s]
/proc/loadavg: 2.03 2.02 2.05 3/222 5667
/proc/meminfo: memFree=15510532/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10927392 memory=1037272 CPUtime=2400.14 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 75118 0 0 0 239862 152 0 0 20 0 17 0 45014866 11189649408 259318 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2731848 259318 3183 1 0 2694339 0
[pid=5467/tid=5469] ppid=5464 vsize=10927392 memory=8112282956445269571 CPUtime=2391.68 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5464 5467 3347 0 -1 1077944384 24558 0 0 0 239160 8 0 0 20 0 17 0 45014866 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871648906416 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10927392 memory=4620 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 3937 0 0 0 63 19 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10927392 memory=1424 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 2362 0 0 0 62 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10927392 memory=1232 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 3434 0 0 0 62 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10927392 memory=8112282956445269571 CPUtime=0.84 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2905 0 0 0 64 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10927392 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 6856 0 0 0 9 3 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10927392 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871203349472 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10927392 memory=7512114578044973668 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871202296832 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10927392 memory=1236 CPUtime=1.42 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 9690 0 0 0 141 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10927392 memory=9548 CPUtime=1.74 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 12792 0 0 0 173 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10927392 memory=1788 CPUtime=0.51 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 4745 0 0 0 50 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10927392 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10927392 memory=1572 CPUtime=1.26 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 2094 0 0 0 59 67 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1037272 KiB
[startup+2392.9 s]
/proc/loadavg: 2.03 2.02 2.05 3/222 5667
/proc/meminfo: memFree=15510532/32770624 swapFree=67108860/67108860
[pid=5467] ppid=5464 vsize=10927392 memory=1037272 CPUtime=2400.14 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5464 5467 3347 0 -1 1077944320 75118 0 0 0 239862 152 0 0 20 0 17 0 45014866 11189649408 259318 33554432000 4194304 4196468 140735775922528 140735775905072 139871644663543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
/proc/5467/statm: 2731848 259318 3183 1 0 2694339 0
[pid=5467/tid=5469] ppid=5464 vsize=10927392 memory=1037008 CPUtime=2391.68 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5464 5467 3347 0 -1 1077944384 24558 0 0 0 239160 8 0 0 20 0 17 0 45014866 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871648906416 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5470] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5464 5467 3347 0 -1 1077944384 3937 0 0 0 63 19 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871586667280 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5471] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5464 5467 3347 0 -1 1077944384 2362 0 0 0 62 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871585614736 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5472] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.82 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5464 5467 3347 0 -1 1077944384 3434 0 0 0 62 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871584562192 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5473] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.84 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5464 5467 3347 0 -1 1077944384 2905 0 0 0 64 20 0 0 20 0 17 0 45014867 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871247981712 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5474] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5464 5467 3347 0 -1 1077944384 6856 0 0 0 9 3 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871204403184 139871644674690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5475] ppid=5464 vsize=10927392 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5464 5467 3347 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871203349472 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5476] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5464 5467 3347 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 45014869 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871202296832 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5477] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5464 5467 3347 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871201245392 139871644682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5478] ppid=5464 vsize=10927392 memory=1037008 CPUtime=1.42 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5464 5467 3347 0 -1 1077944384 9690 0 0 0 141 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871200193008 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5479] ppid=5464 vsize=10927392 memory=2336 CPUtime=1.74 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5464 5467 3347 0 -1 1077944384 12792 0 0 0 173 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871199140464 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5480] ppid=5464 vsize=10927392 memory=1037008 CPUtime=0.51 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5464 5467 3347 0 -1 1077944384 4745 0 0 0 50 1 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871198087920 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5481] ppid=5464 vsize=10927392 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5464 5467 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871197035616 139871644673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
[pid=5467/tid=5482] ppid=5464 vsize=10927392 memory=1037008 CPUtime=1.26 cores=1,3,5,7
/proc/5467/task/5482/stat : 5482 (java) S 5464 5467 3347 0 -1 1077944384 2094 0 0 0 59 67 0 0 20 0 17 0 45014872 11189649408 259318 33554432000 4194304 4196468 140735775922528 139871195982128 139871644674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24080384 140735775929457 140735775929609 140735775929609 140735775932367 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1037272 KiB
Child status: 143
Real time (s): 2392.92
CPU time (s): 2400.16
CPU user time (s): 2398.64
CPU system time (s): 1.52614
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1048204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.64
system time used= 1.52614
maximum resident set size= 1048268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54596
involuntary context switches= 1596
# summary of solver processes directly reported to runsolver:
# pid: 5467
# total CPU time (s): 2400.16
# total CPU user time (s): 2398.64
# total CPU system time (s): 1.52614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5237 second user time and 19.6005 second system time
The end