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 (360 MiB free)
memory of node 1: 16384 MiB (9091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289989-1532221509/watcher-4289989-1532221509 -o /tmp/evaluation-result-4289989-1532221509/solver-4289989-1532221509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532208144-27126 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289989-1532221509.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=28898, runsolver pid=28895
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.13 3/217 28913
/proc/meminfo: memFree=9660048/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659012 memory=30636 CPUtime=0.12 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 6737 0 0 0 11 1 0 0 20 0 15 0 39714068 10914828288 7659 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664753 7659 2819 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659012 memory=-8773748148830376317 CPUtime=0.09 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) R 28895 28898 25074 0 -1 4202560 4566 0 0 0 8 1 0 0 20 0 15 0 39714068 10914828288 7659 33554432000 4194304 4196468 140721601568320 139722003409424 139721984617564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721935874960 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721934822160 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721933769872 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721932717072 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714070 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721491363952 139721999194754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39714071 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721490309920 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39714071 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721489257584 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721488205904 139721999202203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721487153776 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721486100976 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0.02 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 39714073 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721485048688 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714074 10914828288 7659 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30636 KiB
[startup+0.210694 s]*
/proc/loadavg: 2.00 2.01 2.13 4/217 28913
/proc/meminfo: memFree=9650208/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659012 memory=42092 CPUtime=0.33 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 8104 0 0 0 31 2 0 0 20 0 15 0 39714068 10914828288 10523 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664753 10523 3007 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) R 28895 28898 25074 0 -1 4202560 5024 0 0 0 19 1 0 0 20 0 15 0 39714068 10914828288 10523 33554432000 4194304 4196468 140721601568320 139722003419048 139721999205533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659012 memory=339 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721935874960 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659012 memory=140622499201398 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721934822160 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721933769872 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714069 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721932717072 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714070 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721491363952 139721999194754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39714071 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721490309920 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39714071 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721489257584 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721488205904 139721999202203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 737 0 0 0 2 0 0 0 20 0 15 0 39714073 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721487153776 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 39714073 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721486100976 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0.07 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) R 28895 28898 25074 0 -1 4202560 696 0 0 0 7 0 0 0 20 0 15 0 39714073 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721485048688 139721983264124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659012 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714074 10914828288 10523 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42092 KiB
[startup+0.310686 s]*
/proc/loadavg: 2.00 2.01 2.13 4/217 28913
/proc/meminfo: memFree=9642888/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=47296 CPUtime=0.53 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 8917 0 0 0 51 2 0 0 20 0 15 0 39714068 10914906112 11824 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 11824 3030 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) R 28895 28898 25074 0 -1 4202560 5597 0 0 0 28 1 0 0 20 0 15 0 39714068 10914906112 11824 33554432000 4194304 4196468 140721601568320 139722003420096 139721983227237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=4294976236 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721935874960 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=140622499201282 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721934822160 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721933769872 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721932717072 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714070 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721491363952 139721999194754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721490309920 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721489257584 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721488205904 139721999202203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) R 28895 28898 25074 0 -1 4202560 778 0 0 0 5 0 0 0 20 0 15 0 39714073 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721487153776 139721982683772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) R 28895 28898 25074 0 -1 1077944384 382 0 0 0 4 0 0 0 20 0 15 0 39714073 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721486100976 139721999194754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=140622499174016 CPUtime=0.13 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) R 28895 28898 25074 0 -1 4202560 794 0 0 0 13 0 0 0 20 0 15 0 39714073 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721485044416 139721992280443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=140622499174016 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714074 10914906112 11824 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47296 KiB
[startup+0.700864 s]
/proc/loadavg: 2.00 2.01 2.13 5/217 28913
/proc/meminfo: memFree=9607092/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=178168 CPUtime=1.7 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 12587 0 0 0 166 4 0 0 20 0 15 0 39714068 10914906112 44542 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 44542 3102 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) R 28895 28898 25074 0 -1 4202560 6038 0 0 0 64 3 0 0 20 0 15 0 39714068 10914906112 44542 33554432000 4194304 4196468 140721601568320 139722003394200 139721614433771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721935874960 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721934822160 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721933769872 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=264768426378312 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) S 28895 28898 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39714069 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721932717072 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=288230376151877798 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39714070 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721491363952 139721999194754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721490309920 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721489257584 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721488205904 139721999202203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 1741 0 0 0 38 0 0 0 20 0 15 0 39714073 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721487153776 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 1635 0 0 0 35 0 0 0 20 0 15 0 39714073 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721486100976 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=7307210966339464658 CPUtime=0.26 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 1802 0 0 0 26 0 0 0 20 0 15 0 39714073 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721485048688 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39714074 10914906112 44542 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 178168 KiB
[startup+1.50103 s]
/proc/loadavg: 2.00 2.01 2.13 6/217 28913
/proc/meminfo: memFree=9377144/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=573408 CPUtime=3.58 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 13715 0 0 0 317 41 0 0 20 0 15 0 39714068 10914906112 143352 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 143352 3131 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=2608 CPUtime=1.1 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) S 28895 28898 25074 0 -1 1077944384 6103 0 0 0 105 5 0 0 20 0 15 0 39714068 10914906112 143352 33554432000 4194304 4196468 140721601568320 139722003401616 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=56 CPUtime=0.35 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) R 28895 28898 25074 0 -1 4202560 210 0 0 0 27 8 0 0 20 0 15 0 39714069 10914906112 143352 33554432000 4194304 4196468 140721601568320 139721935874960 139721991811815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) R 28895 28898 25074 0 -1 4202560 206 0 0 0 27 8 0 0 20 0 15 0 39714069 10914906112 143352 33554432000 4194304 4196468 140721601568320 139721934822160 139721991811815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=56 CPUtime=0.35 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) R 28895 28898 25074 0 -1 4202560 216 0 0 0 27 8 0 0 20 0 15 0 39714069 10914906112 143352 33554432000 4194304 4196468 140721601568320 139721933769872 139721991811815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=9167 CPUtime=0.35 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) R 28895 28898 25074 0 -1 4202560 353 0 0 0 27 8 0 0 20 0 15 0 39714069 10914906112 143352 33554432000 4194304 4196468 140721601568320 139721932717272 139721980809615 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=21517 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39714070 10914906112 143352 33554432000 4194304 4196468 140721601568320 139721491362464 139721999193813 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
################
# More data... #
################
[startup+739.747 s]
# the end of solver process 28898 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.35 s, system=9.79683 s
Solver just ended.
Dumping a history of the last processes samples
[startup+738.401 s]
/proc/loadavg: 4.91 4.31 3.27 6/216 28976
/proc/meminfo: memFree=883380/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=8307320 CPUtime=2402.88 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 311947 0 0 0 239312 976 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 2076830 3157 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=4048 CPUtime=152.45 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) S 28895 28898 25074 0 -1 1077944384 19082 0 0 0 15235 10 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139722003418304 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=8307320 CPUtime=557.42 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) R 28895 28898 25074 0 -1 4202560 43046 0 0 0 55514 228 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721935874960 139721984180195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=3248 CPUtime=556.52 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) R 28895 28898 25074 0 -1 4202560 38079 0 0 0 55410 242 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721934822360 139721983641177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=4620 CPUtime=556.3 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) R 28895 28898 25074 0 -1 4202560 48797 0 0 0 55382 248 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721933770072 139721984180100 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=4872558044660077418 CPUtime=558.48 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) R 28895 28898 25074 0 -1 4202560 54458 0 0 0 55614 234 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721932716960 139721984180225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=3248 CPUtime=19.83 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 98258 0 0 0 1978 5 0 0 20 0 15 0 39714070 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721491362496 139721999193813 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721490309984 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721489257600 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721488205552 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=5524 CPUtime=0.47 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 2745 0 0 0 47 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721487153536 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=3248 CPUtime=0.45 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 2300 0 0 0 45 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721486101024 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=4620 CPUtime=0.31 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 2895 0 0 0 31 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721485048736 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=6791534058613427641 CPUtime=0.55 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 892 0 0 0 31 24 0 0 20 0 15 0 39714074 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 2402.88 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8307320 KiB
[startup+739.201 s]
/proc/loadavg: 4.99 4.34 3.28 6/216 28976
/proc/meminfo: memFree=883380/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=8307320 CPUtime=2406.07 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 311947 0 0 0 239631 976 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 2076830 3157 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=4140 CPUtime=152.45 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) S 28895 28898 25074 0 -1 1077944384 19082 0 0 0 15235 10 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139722003418304 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=8307320 CPUtime=558.22 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) R 28895 28898 25074 0 -1 4202560 43046 0 0 0 55594 228 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721935874960 139721983641002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=1296 CPUtime=557.32 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) R 28895 28898 25074 0 -1 4202560 38079 0 0 0 55490 242 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721934822360 139721984180008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=8307320 CPUtime=557.09 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) R 28895 28898 25074 0 -1 4202560 48797 0 0 0 55461 248 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721933770072 139721984180116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=960 CPUtime=559.28 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) R 28895 28898 25074 0 -1 4202560 54458 0 0 0 55694 234 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721932716960 139721983641147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=1240 CPUtime=19.83 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 98258 0 0 0 1978 5 0 0 20 0 15 0 39714070 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721491362496 139721999193813 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721490309984 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=13988 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721489257600 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721488205552 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=4132 CPUtime=0.47 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 2745 0 0 0 47 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721487153536 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=928 CPUtime=0.45 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 2300 0 0 0 45 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721486101024 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=1572 CPUtime=0.31 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 2895 0 0 0 31 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721485048736 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=2340 CPUtime=0.55 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 892 0 0 0 31 24 0 0 20 0 15 0 39714074 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 2406.07 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8307320 KiB
[startup+739.601 s]
/proc/loadavg: 4.99 4.34 3.28 6/216 28976
/proc/meminfo: memFree=883380/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=8307320 CPUtime=2407.66 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 311947 0 0 0 239790 976 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 2076830 3157 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=4872558044660077418 CPUtime=152.45 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) S 28895 28898 25074 0 -1 1077944384 19082 0 0 0 15235 10 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139722003418304 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=1224 CPUtime=558.62 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) R 28895 28898 25074 0 -1 4202560 43046 0 0 0 55634 228 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721935875160 139721983641147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=15872 CPUtime=557.72 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) R 28895 28898 25074 0 -1 4202560 38079 0 0 0 55530 242 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721934822360 139721983641075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=4048 CPUtime=557.48 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) R 28895 28898 25074 0 -1 4202560 48797 0 0 0 55500 248 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721933770072 139721984179974 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=6791534058613427641 CPUtime=559.68 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) R 28895 28898 25074 0 -1 4202560 54458 0 0 0 55734 234 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721932716960 139721984180011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=3248 CPUtime=19.83 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 98258 0 0 0 1978 5 0 0 20 0 15 0 39714070 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721491362496 139721999193813 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721490309984 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721489257600 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721488205552 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0.47 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 2745 0 0 0 47 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721487153536 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=14008 CPUtime=0.45 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 2300 0 0 0 45 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721486101024 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=1440 CPUtime=0.31 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 2895 0 0 0 31 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721485048736 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=8380 CPUtime=0.55 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 892 0 0 0 31 24 0 0 20 0 15 0 39714074 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 2407.66 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8307320 KiB
[startup+739.701 s]
/proc/loadavg: 4.99 4.34 3.28 6/216 28976
/proc/meminfo: memFree=883380/32770624 swapFree=67108860/67108860
[pid=28898] ppid=28895 vsize=10659088 memory=8307320 CPUtime=2408.06 cores=1,3,5,7
/proc/28898/stat : 28898 (java) S 28895 28898 25074 0 -1 1077944320 311947 0 0 0 239830 976 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 140721601550864 139721999183607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
/proc/28898/statm: 2664772 2076830 3157 1 0 2627263 0
[pid=28898/tid=28900] ppid=28895 vsize=10659088 memory=1924 CPUtime=152.45 cores=1,3,5,7
/proc/28898/task/28900/stat : 28900 (java) S 28895 28898 25074 0 -1 1077944384 19082 0 0 0 15235 10 0 0 20 0 15 0 39714068 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139722003418304 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28901] ppid=28895 vsize=10659088 memory=8307320 CPUtime=558.72 cores=1,3,5,7
/proc/28898/task/28901/stat : 28901 (java) R 28895 28898 25074 0 -1 4202560 43046 0 0 0 55644 228 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721935875160 139721984180011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28902] ppid=28895 vsize=10659088 memory=8307320 CPUtime=557.82 cores=1,3,5,7
/proc/28898/task/28902/stat : 28902 (java) R 28895 28898 25074 0 -1 4202560 38079 0 0 0 55540 242 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721934821968 139721991811815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28903] ppid=28895 vsize=10659088 memory=8307320 CPUtime=557.58 cores=1,3,5,7
/proc/28898/task/28903/stat : 28903 (java) R 28895 28898 25074 0 -1 4202560 48797 0 0 0 55510 248 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721933770072 139721984179988 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28904] ppid=28895 vsize=10659088 memory=8307308 CPUtime=559.78 cores=1,3,5,7
/proc/28898/task/28904/stat : 28904 (java) R 28895 28898 25074 0 -1 4202560 54458 0 0 0 55744 234 0 0 20 0 15 0 39714069 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721932716960 139721984180100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28905] ppid=28895 vsize=10659088 memory=8307308 CPUtime=19.83 cores=1,3,5,7
/proc/28898/task/28905/stat : 28905 (java) S 28895 28898 25074 0 -1 1077944384 98258 0 0 0 1978 5 0 0 20 0 15 0 39714070 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721491362496 139721999193813 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28906] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28906/stat : 28906 (java) S 28895 28898 25074 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721490309984 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28907] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28907/stat : 28907 (java) S 28895 28898 25074 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 39714071 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721489257600 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28908] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28908/stat : 28908 (java) S 28895 28898 25074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721488205552 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28909] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0.47 cores=1,3,5,7
/proc/28898/task/28909/stat : 28909 (java) S 28895 28898 25074 0 -1 1077944384 2745 0 0 0 47 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721487153536 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28910] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0.45 cores=1,3,5,7
/proc/28898/task/28910/stat : 28910 (java) S 28895 28898 25074 0 -1 1077944384 2300 0 0 0 45 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721486101024 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28911] ppid=28895 vsize=10659088 memory=8307308 CPUtime=0.31 cores=1,3,5,7
/proc/28898/task/28911/stat : 28911 (java) S 28895 28898 25074 0 -1 1077944384 2895 0 0 0 31 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721485048736 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28912] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0 cores=1,3,5,7
/proc/28898/task/28912/stat : 28912 (java) S 28895 28898 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39714073 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721483996128 139721999193813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
[pid=28898/tid=28913] ppid=28895 vsize=10659088 memory=8307320 CPUtime=0.55 cores=1,3,5,7
/proc/28898/task/28913/stat : 28913 (java) S 28895 28898 25074 0 -1 1077944384 892 0 0 0 31 24 0 0 20 0 15 0 39714074 10914906112 2076830 33554432000 4194304 4196468 140721601568320 139721482942896 139721999194754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39346176 140721601574001 140721601574153 140721601574153 140721601576911 0
Current children cumulated CPU time: 2408.06 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8307320 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 739.747
CPU time (s): 2408.15
CPU user time (s): 2398.35
CPU system time (s): 9.79683
CPU usage (%): 325.537
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8307320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.35
system time used= 9.79683
maximum resident set size= 8307588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43118
involuntary context switches= 24060
# summary of solver processes directly reported to runsolver:
# pid: 28898
# total CPU time (s): 2408.15
# total CPU user time (s): 2398.35
# total CPU system time (s): 9.79683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45983 second user time and 7.57623 second system time
The end