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 (6138 MiB free)
memory of node 1: 16384 MiB (4626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304921-1534057212/watcher-4304921-1534057212 -o /tmp/evaluation-result-4304921-1534057212/solver-4304921-1534057212 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=833213114 HOME/instance-4304921-1534057212.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=18472, runsolver pid=18469
[startup+0.101841 s]*
/proc/loadavg: 1.40 1.43 1.50 2/209 18529
/proc/meminfo: memFree=11014824/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=10005480 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 4356 13014 0 0 1 0 5 2 20 0 6 0 223284344 10245611520 4203 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2501370 4203 1934 1 0 2489808 0
[pid=18472/tid=18525] ppid=18469 vsize=10005480 memory=5852835220496416925 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 2164 13014 0 0 0 0 5 2 20 0 6 0 223284353 10245611520 4203 33554432000 4194304 4196468 140721403508608 139777195717200 139777223902365 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=10005480 memory=5793855803797125561 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 6 0 223284354 10245611520 4203 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=10005480 memory=140552787232384 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 6 0 223284354 10245611520 4203 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 6 0 223284354 10245611520 4203 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 6 0 223284354 10245611520 4203 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210056 s]*
/proc/loadavg: 1.40 1.43 1.50 3/218 18538
/proc/meminfo: memFree=10994532/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=10982696 memory=44604 CPUtime=0.25 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 8536 13014 0 0 16 2 5 2 20 0 15 0 223284344 11246280704 11151 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2745674 11151 2936 1 0 2708109 0
[pid=18472/tid=18525] ppid=18469 vsize=10982696 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 5076 13014 0 0 10 1 5 2 20 0 15 0 223284353 11246280704 11151 33554432000 4194304 4196468 140721403508608 139777195678096 139777204156226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=10982696 memory=4211974278992022922 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246280704 11151 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=10982696 memory=140552787232384 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284355 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776086762528 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246280704 11151 33554432000 4194304 4196468 140721403508608 139775885435760 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 375 13014 0 0 1 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 253 13014 0 0 1 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=10982696 memory=140552787232384 CPUtime=0.1 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 612 13014 0 0 3 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=10982696 memory=140552787232384 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246280704 11151 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44604 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.40 1.43 1.50 3/218 18538
/proc/meminfo: memFree=10982800/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=10983192 memory=55948 CPUtime=0.37 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 10556 13014 0 0 27 3 5 2 20 0 15 0 223284344 11246788608 13987 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2745798 13987 3068 1 0 2708109 0
[pid=18472/tid=18525] ppid=18469 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 7088 13014 0 0 18 2 5 2 20 0 15 0 223284353 11246788608 13987 33554432000 4194304 4196468 140721403508608 139777195692448 139777204156115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 13987 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=10983192 memory=140552787232383 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284355 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776086762528 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=10983192 memory=140552787232384 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246788608 13987 33554432000 4194304 4196468 140721403508608 139775885435760 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 375 13014 0 0 1 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 256 13014 0 0 1 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 617 13014 0 0 5 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 13987 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55948 KiB
[startup+0.700679 s]
/proc/loadavg: 1.40 1.43 1.50 4/218 18538
/proc/meminfo: memFree=10971636/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=10983192 memory=88776 CPUtime=0.99 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 16827 13014 0 0 87 5 5 2 20 0 15 0 223284344 11246788608 22194 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2745798 22194 3246 1 0 2708109 0
[pid=18472/tid=18525] ppid=18469 vsize=10983192 memory=60700 CPUtime=0.65 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 12370 13014 0 0 55 3 5 2 20 0 15 0 223284353 11246788608 22194 33554432000 4194304 4196468 140721403508608 139777195701264 139777207960926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=10983192 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 22194 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=10983192 memory=140552670847475 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=10983192 memory=140552804762507 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=10983192 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284354 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=10983192 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 5 13014 0 0 0 0 5 2 20 0 15 0 223284355 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=10983192 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 13 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776086762528 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=10983192 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284356 11246788608 22194 33554432000 4194304 4196468 140721403508608 139775885435760 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=10983192 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=10983192 memory=8326441112149131689 CPUtime=0.15 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 664 13014 0 0 8 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=10983192 memory=-7025452035940392864 CPUtime=0.16 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 890 13014 0 0 9 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=10983192 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) R 18469 18472 13534 0 -1 1077944384 681 13014 0 0 13 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=10983192 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284359 11246788608 22194 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88776 KiB
[startup+1.50123 s]
/proc/loadavg: 1.40 1.43 1.50 4/218 18538
/proc/meminfo: memFree=10923776/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=10993996 memory=231048 CPUtime=3.12 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 24185 13014 0 0 295 10 5 2 20 0 15 0 223284344 11257851904 57762 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2748499 57762 3451 1 0 2710157 0
[pid=18472/tid=18525] ppid=18469 vsize=10993996 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 15510 13014 0 0 130 7 5 2 20 0 15 0 223284353 11257851904 57762 33554432000 4194304 4196468 140721403508608 139777195715568 139777207960926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=10993996 memory=102848 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 63 13014 0 0 0 0 5 2 20 0 15 0 223284354 11257851904 57762 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=10993996 memory=5790086053191909267 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 267 13014 0 0 0 0 5 2 20 0 15 0 223284354 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284354 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 50 13014 0 0 0 0 5 2 20 0 15 0 223284354 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 24 13014 0 0 0 0 5 2 20 0 15 0 223284355 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=10993996 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 14 13014 0 0 0 0 5 2 20 0 15 0 223284356 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776086762528 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=10993996 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 2 13014 0 0 0 0 5 2 20 0 15 0 223284356 11257851904 57762 33554432000 4194304 4196468 140721403508608 139775885435760 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=10993996 memory=2192 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=10993996 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) R 18469 18472 13534 0 -1 4202560 1779 13014 0 0 52 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776648704720 139777208780724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=10993996 memory=220138414603905 CPUtime=0.62 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) R 18469 18472 13534 0 -1 4202560 2288 13014 0 0 55 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776647659984 139777205400114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=10993996 memory=1088950 CPUtime=0.61 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 1988 13014 0 0 54 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=10993996 memory=4638778406923096400 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=10993996 memory=4639059873309409376 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 1 13014 0 0 0 0 5 2 20 0 15 0 223284359 11257851904 57762 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
[startup+51.1103 s]
/proc/loadavg: 1.65 1.51 1.52 4/219 18561
/proc/meminfo: memFree=8694952/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=11014496 memory=2334204 CPUtime=68.6 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 104145 13014 0 0 6762 91 5 2 20 0 15 0 223284344 11278843904 583551 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2753624 583551 3533 1 0 2715277 0
[pid=18472/tid=18525] ppid=18469 vsize=11014496 memory=2334204 CPUtime=50.54 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 44612 13014 0 0 5008 39 5 2 20 0 15 0 223284353 11278843904 583551 33554432000 4194304 4196468 140721403508608 139777195714872 139776781147341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=11014496 memory=2334204 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1804 13014 0 0 29 10 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=11014496 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 2798 13014 0 0 30 8 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=11014496 memory=281105341417440 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 641 13014 0 0 30 9 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=11014496 memory=56 CPUtime=0.44 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 533 13014 0 0 29 8 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=11014496 memory=2323740 CPUtime=0.15 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 5182 13014 0 0 7 1 5 2 20 0 15 0 223284355 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=11014496 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 27 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776086762592 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=11014496 memory=79620103751785 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 17 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775885435776 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=11014496 memory=16098169607947841 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=11014496 memory=2163924 CPUtime=6.91 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 15384 13014 0 0 679 5 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=11014496 memory=2163924 CPUtime=6.74 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 14375 13014 0 0 665 2 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=11014496 memory=1827300 CPUtime=2.88 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 16495 13014 0 0 277 4 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=11014496 memory=2174228 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=11014496 memory=3560 CPUtime=0.09 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 79 13014 0 0 1 1 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 68.6 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2334204 KiB
[startup+51.7338 s]
# the end of solver process 18472 was just reported to runsolver
# cumulated CPU time of all completed processes: user=68.2887 s, system=0.965722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.201 s]
/proc/loadavg: 1.65 1.51 1.52 4/219 18561
/proc/meminfo: memFree=8694952/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=11014496 memory=2334204 CPUtime=68.69 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 104145 13014 0 0 6771 91 5 2 20 0 15 0 223284344 11278843904 583551 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2753624 583551 3533 1 0 2715277 0
[pid=18472/tid=18525] ppid=18469 vsize=11014496 memory=6791534058613427641 CPUtime=50.63 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 44612 13014 0 0 5017 39 5 2 20 0 15 0 223284353 11278843904 583551 33554432000 4194304 4196468 140721403508608 139777195714872 139776795702787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=11014496 memory=60708 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1804 13014 0 0 29 10 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=11014496 memory=1228 CPUtime=0.45 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 2798 13014 0 0 30 8 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=11014496 memory=2432 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 641 13014 0 0 30 9 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=11014496 memory=6791534058613427641 CPUtime=0.44 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 533 13014 0 0 29 8 5 2 20 0 15 0 223284354 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=11014496 memory=968 CPUtime=0.15 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 5182 13014 0 0 7 1 5 2 20 0 15 0 223284355 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=11014496 memory=12144 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 27 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776086762592 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=11014496 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 17 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775885435776 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=11014496 memory=8808 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=11014496 memory=12144 CPUtime=6.91 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 15384 13014 0 0 679 5 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=11014496 memory=1712 CPUtime=6.74 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 14375 13014 0 0 665 2 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=11014496 memory=8808 CPUtime=2.88 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 16495 13014 0 0 277 4 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=11014496 memory=4576 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=11014496 memory=15868 CPUtime=0.09 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 79 13014 0 0 1 1 5 2 20 0 15 0 223284359 11278843904 583551 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 68.69 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2334204 KiB
[startup+51.6008 s]
/proc/loadavg: 1.65 1.51 1.52 4/219 18561
/proc/meminfo: memFree=8694952/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=11014496 memory=2334208 CPUtime=69.1 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 105723 13014 0 0 6812 91 5 2 20 0 15 0 223284344 11278843904 583552 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2753624 583552 3533 1 0 2715277 0
[pid=18472/tid=18525] ppid=18469 vsize=11014496 memory=6791534058613427641 CPUtime=51.02 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 44622 13014 0 0 5056 39 5 2 20 0 15 0 223284353 11278843904 583552 33554432000 4194304 4196468 140721403508608 139777195714184 139776797137536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=11014496 memory=288230591722422566 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1804 13014 0 0 29 10 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=11014496 memory=304274665394929958 CPUtime=0.45 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 2798 13014 0 0 30 8 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=11014496 memory=16098169607947841 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 641 13014 0 0 30 9 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=11014496 memory=16098169607947841 CPUtime=0.44 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 533 13014 0 0 29 8 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=11014496 memory=23249 CPUtime=0.15 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 5182 13014 0 0 7 1 5 2 20 0 15 0 223284355 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=11014496 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 27 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776086762592 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=11014496 memory=664970774371476636 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 17 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775885435776 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=11014496 memory=655 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=11014496 memory=135 CPUtime=6.91 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 15384 13014 0 0 679 5 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=11014496 memory=159 CPUtime=6.74 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 14375 13014 0 0 665 2 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=11014496 memory=39070 CPUtime=2.88 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 18063 13014 0 0 277 4 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=11014496 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=11014496 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 79 13014 0 0 1 1 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 69.1 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2334208 KiB
[startup+51.7008 s]
/proc/loadavg: 1.65 1.51 1.52 4/219 18561
/proc/meminfo: memFree=8694952/32770624 swapFree=67108860/67108860
[pid=18472] ppid=18469 vsize=11014496 memory=2334208 CPUtime=69.2 cores=1,3,5,7
/proc/18472/stat : 18472 (java) S 18469 18472 13534 0 -1 1077944320 105823 13014 0 0 6822 91 5 2 20 0 15 0 223284344 11278843904 583552 33554432000 4194304 4196468 140721403508608 140721403491152 139777223880439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
/proc/18472/statm: 2753624 583552 3533 1 0 2715277 0
[pid=18472/tid=18525] ppid=18469 vsize=11014496 memory=2 CPUtime=51.12 cores=1,3,5,7
/proc/18472/task/18525/stat : 18525 (java) R 18469 18472 13534 0 -1 4202560 44623 13014 0 0 5066 39 5 2 20 0 15 0 223284353 11278843904 583552 33554432000 4194304 4196468 140721403508608 139777195714184 139776797142666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18526] ppid=18469 vsize=11014496 memory=34728 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18526/stat : 18526 (java) S 18469 18472 13534 0 -1 1077944384 1804 13014 0 0 29 10 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139777228123280 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18527] ppid=18469 vsize=11014496 memory=2334204 CPUtime=0.45 cores=1,3,5,7
/proc/18472/task/18527/stat : 18527 (java) S 18469 18472 13534 0 -1 1077944384 2798 13014 0 0 30 8 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776764013584 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18528] ppid=18469 vsize=11014496 memory=2334204 CPUtime=0.46 cores=1,3,5,7
/proc/18472/task/18528/stat : 18528 (java) S 18469 18472 13534 0 -1 1077944384 641 13014 0 0 30 9 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776762960784 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18529] ppid=18469 vsize=11014496 memory=2334208 CPUtime=0.44 cores=1,3,5,7
/proc/18472/task/18529/stat : 18529 (java) S 18469 18472 13534 0 -1 1077944384 533 13014 0 0 29 8 5 2 20 0 15 0 223284354 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776761907984 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18530] ppid=18469 vsize=11014496 memory=38 CPUtime=0.15 cores=1,3,5,7
/proc/18472/task/18530/stat : 18530 (java) S 18469 18472 13534 0 -1 1077944384 5182 13014 0 0 7 1 5 2 20 0 15 0 223284355 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776649775472 139777223891586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18531] ppid=18469 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18531/stat : 18531 (java) S 18469 18472 13534 0 -1 1077944384 27 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776086762592 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18532] ppid=18469 vsize=11014496 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18532/stat : 18532 (java) S 18469 18472 13534 0 -1 1077944384 17 13014 0 0 0 0 5 2 20 0 15 0 223284356 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775885435776 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18533] ppid=18469 vsize=11014496 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18533/stat : 18533 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775578036048 139777223899035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18534] ppid=18469 vsize=11014496 memory=34728 CPUtime=6.91 cores=1,3,5,7
/proc/18472/task/18534/stat : 18534 (java) S 18469 18472 13534 0 -1 1077944384 15384 13014 0 0 679 5 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776648723312 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18535] ppid=18469 vsize=11014496 memory=79620103751785 CPUtime=6.74 cores=1,3,5,7
/proc/18472/task/18535/stat : 18535 (java) S 18469 18472 13534 0 -1 1077944384 14375 13014 0 0 665 2 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776647670512 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18536] ppid=18469 vsize=11014496 memory=16098169607947841 CPUtime=2.88 cores=1,3,5,7
/proc/18472/task/18536/stat : 18536 (java) S 18469 18472 13534 0 -1 1077944384 18162 13014 0 0 277 4 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776646617712 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18537] ppid=18469 vsize=11014496 memory=2174228 CPUtime=0.07 cores=1,3,5,7
/proc/18472/task/18537/stat : 18537 (java) S 18469 18472 13534 0 -1 1077944384 3 13014 0 0 0 0 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139775147240160 139777223890645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
[pid=18472/tid=18538] ppid=18469 vsize=11014496 memory=3560 CPUtime=0.09 cores=1,3,5,7
/proc/18472/task/18538/stat : 18538 (java) S 18469 18472 13534 0 -1 1077944384 79 13014 0 0 1 1 5 2 20 0 15 0 223284359 11278843904 583552 33554432000 4194304 4196468 140721403508608 139776645565104 139777223891586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21110784 140721403513453 140721403516252 140721403516252 140721403518927 0
Current children cumulated CPU time: 69.2 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2334208 KiB
Child status: 0
Real time (s): 51.7338
CPU time (s): 69.2544
CPU user time (s): 68.2887
CPU system time (s): 0.965722
CPU usage (%): 133.867
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 2334208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.2887
system time used= 0.965722
maximum resident set size= 2336336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10927
involuntary context switches= 205
# summary of solver processes directly reported to runsolver:
# pid: 18472
# total CPU time (s): 69.2544
# total CPU user time (s): 68.2887
# total CPU system time (s): 0.965722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.361959 second user time and 0.508716 second system time
The end