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 (15145 MiB free)
memory of node 1: 16384 MiB (15009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396443-1568393791/watcher-4396443-1568393791 -o /tmp/evaluation-result-4396443-1568393791/solver-4396443-1568393791 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568393751-13452 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1964696828 HOME/instance-4396443-1568393791.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=13477, runsolver pid=13473
Current StackSize limit: 8192 KiB
[startup+0.100013 s]*
/proc/loadavg: 1.67 1.92 2.01 3/210 13590
/proc/meminfo: memFree=30869876/32770624 swapFree=66967308/67108860
[pid=13477] ppid=13473 vsize=9972712 memory=16556 CPUtime=0.08 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 4398 13421 0 0 1 0 5 2 20 0 6 0 415628734 10212057088 4139 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2493178 4139 1933 1 0 2481616 0
[pid=13477/tid=13585] ppid=13473 vsize=9972712 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 2231 13421 0 0 1 0 5 2 20 0 6 0 415628744 10212057088 4205 33554432000 4194304 4196468 140736838446368 140167158997584 140167171241340 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 6 0 415628744 10212057088 4205 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=9972712 memory=140580668008064 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 6 0 415628744 10212057088 4205 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 6 0 415628744 10212057088 4205 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 6 0 415628744 10212057088 4205 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16556 KiB
[startup+0.212152 s]*
/proc/loadavg: 1.67 1.92 2.01 5/232 13612
/proc/meminfo: memFree=30824824/32770624 swapFree=66967308/67108860
[pid=13477] ppid=13473 vsize=10819664 memory=37112 CPUtime=0.26 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 7180 13421 0 0 17 2 5 2 20 0 15 0 415628734 11079335936 9278 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2704916 9278 3144 1 0 2667149 0
[pid=13477/tid=13585] ppid=13473 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 3681 13421 0 0 11 1 5 2 20 0 15 0 415628744 11079335936 9278 33554432000 4194304 4196468 140736838446368 140167158975664 140167187172758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10819664 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079335936 9278 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10819664 memory=3689207920396560032 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079335936 9278 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079335936 9278 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079335936 9278 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10819664 memory=140580668008064 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 33 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166389810848 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079335936 9278 33554432000 4194304 4196468 140736838446368 140165989262576 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11079335936 9278 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 582 13421 0 0 1 0 5 2 20 0 15 0 415628749 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 62 13421 0 0 0 0 5 2 20 0 15 0 415628749 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10819664 memory=140580668008064 CPUtime=0.1 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) R 13473 13477 10443 0 -1 4202560 608 13421 0 0 3 0 5 2 20 0 15 0 415628749 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166354147312 140167165827276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11079335936 9278 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10819664 memory=140580668008064 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628750 11079335936 9278 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37112 KiB
[startup+0.310421 s]*
/proc/loadavg: 1.67 1.92 2.01 5/232 13612
/proc/meminfo: memFree=30799468/32770624 swapFree=66967308/67108860
[pid=13477] ppid=13473 vsize=10820148 memory=48484 CPUtime=0.4 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 10877 13421 0 0 29 4 5 2 20 0 15 0 415628734 11079831552 12121 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2705037 12121 3299 1 0 2667149 0
[pid=13477/tid=13585] ppid=13473 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 7350 13421 0 0 18 3 5 2 20 0 15 0 415628744 11079831552 12121 33554432000 4194304 4196468 140736838446368 140167158960736 140167172529631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079831552 12121 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079831552 12121 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079831552 12121 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11079831552 12121 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 33 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166389810848 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628746 11079831552 12121 33554432000 4194304 4196468 140736838446368 140165989262576 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11079831552 12121 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 583 13421 0 0 2 0 5 2 20 0 15 0 415628749 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 71 13421 0 0 1 0 5 2 20 0 15 0 415628749 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10820148 memory=140580668008064 CPUtime=0.12 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 617 13421 0 0 5 0 5 2 20 0 15 0 415628749 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11079831552 12121 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10820148 memory=140580668008064 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628750 11079831552 12121 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48484 KiB
[startup+0.705146 s]
/proc/loadavg: 1.67 1.92 2.01 4/232 13612
/proc/meminfo: memFree=30771480/32770624 swapFree=66967308/67108860
[pid=13477] ppid=13473 vsize=10824360 memory=81400 CPUtime=1.1 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 15171 13421 0 0 98 5 5 2 20 0 15 0 415628734 11084144640 20350 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2706090 20350 3496 1 0 2668173 0
[pid=13477/tid=13585] ppid=13473 vsize=10824360 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 10341 13421 0 0 55 3 5 2 20 0 15 0 415628744 11084144640 20350 33554432000 4194304 4196468 140736838446368 140167158976816 140167172854173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11084144640 20350 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11084144640 20350 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10824360 memory=140580520866000 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628744 11084144640 20350 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10824360 memory=140582869533303 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 2 13421 0 0 0 0 5 2 20 0 15 0 415628744 11084144640 20350 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10824360 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 5 13421 0 0 0 0 5 2 20 0 15 0 415628746 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10824360 memory=7014751519600039505 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 33 13421 0 0 0 0 5 2 20 0 15 0 415628746 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166389810848 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10824360 memory=7668897153718703722 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628746 11084144640 20350 33554432000 4194304 4196468 140736838446368 140165989262576 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10824360 memory=2120 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11084144640 20350 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10824360 memory=13948 CPUtime=0.17 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 1026 13421 0 0 10 0 5 2 20 0 15 0 415628749 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10824360 memory=1564 CPUtime=0.21 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) R 13473 13477 10443 0 -1 4202560 639 13421 0 0 14 0 5 2 20 0 15 0 415628749 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166355200368 140167170657607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10824360 memory=500 CPUtime=0.24 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 906 13421 0 0 17 0 5 2 20 0 15 0 415628749 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10824360 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11084144640 20350 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10824360 memory=1424 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628750 11084144640 20350 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81400 KiB
[startup+1.5007 s]
/proc/loadavg: 1.67 1.92 2.01 3/232 13612
/proc/meminfo: memFree=30686728/32770624 swapFree=66967308/67108860
[pid=13477] ppid=13473 vsize=10834676 memory=171548 CPUtime=2.42 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 21976 13421 0 0 225 10 5 2 20 0 15 0 415628734 11094708224 42887 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2708669 42887 3578 1 0 2670733 0
[pid=13477/tid=13585] ppid=13473 vsize=10834676 memory=6791534058613427641 CPUtime=1.42 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 15338 13421 0 0 130 5 5 2 20 0 15 0 415628744 11094708224 42887 33554432000 4194304 4196468 140736838446368 140167158966896 140167187172758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10834676 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 364 13421 0 0 1 0 5 2 20 0 15 0 415628744 11094708224 42887 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10834676 memory=281161041764512 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 83 13421 0 0 0 0 5 2 20 0 15 0 415628744 11094708224 42887 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 20 13421 0 0 0 0 5 2 20 0 15 0 415628744 11094708224 42887 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 79 13421 0 0 1 0 5 2 20 0 15 0 415628744 11094708224 42887 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 159 13421 0 0 1 0 5 2 20 0 15 0 415628746 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 34 13421 0 0 0 0 5 2 20 0 15 0 415628746 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166389810912 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628746 11094708224 42887 33554432000 4194304 4196468 140736838446368 140165989262592 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10834676 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11094708224 42887 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10834676 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) R 13473 13477 10443 0 -1 1077944384 1085 13421 0 0 19 0 5 2 20 0 15 0 415628749 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10834676 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 885 13421 0 0 28 0 5 2 20 0 15 0 415628749 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10834676 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) R 13473 13477 10443 0 -1 4202560 1714 13421 0 0 41 0 5 2 20 0 15 0 415628749 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166354147312 140167166098774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10834676 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11094708224 42887 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10834676 memory=281161042008896 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1 13421 0 0 0 0 5 2 20 0 15 0 415628750 11094708224 42887 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 72916 13421 0 0 223987 48 5 2 20 0 15 0 415628744 11111518208 221965 33554432000 4194304 4196468 140736838446368 140167158995984 140166751496219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10851092 memory=887860 CPUtime=10.64 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 11179 13421 0 0 1010 47 5 2 20 0 15 0 415628744 11111518208 221965 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10851092 memory=0 CPUtime=10.59 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 14778 13421 0 0 1005 47 5 2 20 0 15 0 415628744 11111518208 221965 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10851092 memory=887860 CPUtime=10.6 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 8778 13421 0 0 999 54 5 2 20 0 15 0 415628744 11111518208 221965 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10851092 memory=887860 CPUtime=10.6 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 12847 13421 0 0 1008 45 5 2 20 0 15 0 415628744 11111518208 221965 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10851092 memory=887860 CPUtime=9.29 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 15177 13421 0 0 878 44 5 2 20 0 15 0 415628746 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10851092 memory=887860 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 45 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166389810912 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10851092 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 4 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 221965 33554432000 4194304 4196468 140736838446368 140165989262592 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10851092 memory=887860 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 221965 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10851092 memory=3624 CPUtime=6.33 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 27878 13421 0 0 621 5 5 2 20 0 15 0 415628749 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10851092 memory=887860 CPUtime=6.76 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 35935 13421 0 0 662 7 5 2 20 0 15 0 415628749 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10851092 memory=887860 CPUtime=4.5 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 33955 13421 0 0 435 8 5 2 20 0 15 0 415628749 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10851092 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 221965 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10851092 memory=16104758104558005 CPUtime=1.31 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1073 13421 0 0 60 64 5 2 20 0 15 0 415628750 11111518208 221965 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 2310.53 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 887860 KiB
[startup+2322.3 s]
/proc/loadavg: 1.45 1.37 1.41 3/232 13877
/proc/meminfo: memFree=29080352/32770624 swapFree=66967356/67108860
[pid=13477] ppid=13473 vsize=10851092 memory=889908 CPUtime=2371.41 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 238540 13421 0 0 236805 329 5 2 20 0 15 0 415628734 11111518208 222477 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2712773 222477 3633 1 0 2674829 0
[pid=13477/tid=13585] ppid=13473 vsize=10851092 memory=6791534058613427641 CPUtime=2299.84 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 73715 13421 0 0 229928 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167158995616 140166744581569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10851092 memory=889908 CPUtime=10.93 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 11238 13421 0 0 1037 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10851092 memory=889908 CPUtime=10.88 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 15088 13421 0 0 1033 48 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10851092 memory=889908 CPUtime=10.91 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 8821 13421 0 0 1028 56 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10851092 memory=22648 CPUtime=10.9 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 13146 13421 0 0 1037 46 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10851092 memory=889908 CPUtime=9.54 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 15406 13421 0 0 902 45 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 45 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166389810912 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 4 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165989262592 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.33 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 27880 13421 0 0 621 5 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.76 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 35937 13421 0 0 662 7 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10851092 memory=3624 CPUtime=4.5 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 33957 13421 0 0 435 8 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10851092 memory=716 CPUtime=1.35 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1090 13421 0 0 62 66 5 2 20 0 15 0 415628750 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 2371.41 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 889908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2350.5 s]
/proc/loadavg: 1.33 1.35 1.41 4/231 13911
/proc/meminfo: memFree=29970048/32770624 swapFree=66967356/67108860
[pid=13477] ppid=13473 vsize=10851092 memory=889908 CPUtime=2400.04 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 239940 13421 0 0 239664 333 5 2 20 0 15 0 415628734 11111518208 222477 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2712773 222477 3633 1 0 2674829 0
[pid=13477/tid=13585] ppid=13473 vsize=10851092 memory=889908 CPUtime=2327.75 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 74219 13421 0 0 232719 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167158996704 140166747745852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.08 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 11446 13421 0 0 1051 50 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.03 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 15161 13421 0 0 1047 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.04 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 9117 13421 0 0 1041 56 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.05 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 13230 13421 0 0 1051 47 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10851092 memory=889908 CPUtime=9.67 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 15621 13421 0 0 914 46 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 45 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166389810912 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 4 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165989262592 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.33 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 27882 13421 0 0 621 5 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.76 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 35939 13421 0 0 662 7 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10851092 memory=889908 CPUtime=4.5 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 33959 13421 0 0 435 8 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10851092 memory=3624 CPUtime=1.36 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1104 13421 0 0 62 67 5 2 20 0 15 0 415628750 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 889908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2350.53 s]
# the end of solver process 13477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.72 s, system=3.36798 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2350.5 s]
/proc/loadavg: 1.33 1.35 1.41 4/231 13911
/proc/meminfo: memFree=29970048/32770624 swapFree=66967356/67108860
[pid=13477] ppid=13473 vsize=10851092 memory=889908 CPUtime=2400.04 cores=1,3,5,7
/proc/13477/stat : 13477 (java) S 13473 13477 10443 0 -1 1077944320 239940 13421 0 0 239664 333 5 2 20 0 15 0 415628734 11111518208 222477 33554432000 4194304 4196468 140736838446368 140736838428912 140167187160823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
/proc/13477/statm: 2712773 222477 3633 1 0 2674829 0
[pid=13477/tid=13585] ppid=13473 vsize=10851092 memory=889908 CPUtime=2327.75 cores=1,3,5,7
/proc/13477/task/13585/stat : 13585 (java) R 13473 13477 10443 0 -1 4202560 74219 13421 0 0 232719 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167158996704 140166747745852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13587] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.08 cores=1,3,5,7
/proc/13477/task/13587/stat : 13587 (java) S 13473 13477 10443 0 -1 1077944384 11446 13421 0 0 1051 50 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167191403024 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13588] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.03 cores=1,3,5,7
/proc/13477/task/13588/stat : 13588 (java) S 13473 13477 10443 0 -1 1077944384 15161 13421 0 0 1047 49 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167079676560 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13589] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.04 cores=1,3,5,7
/proc/13477/task/13589/stat : 13589 (java) S 13473 13477 10443 0 -1 1077944384 9117 13421 0 0 1041 56 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167078623504 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13590] ppid=13473 vsize=10851092 memory=889908 CPUtime=11.05 cores=1,3,5,7
/proc/13477/task/13590/stat : 13590 (java) S 13473 13477 10443 0 -1 1077944384 13230 13421 0 0 1051 47 5 2 20 0 15 0 415628744 11111518208 222477 33554432000 4194304 4196468 140736838446368 140167077570960 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13595] ppid=13473 vsize=10851092 memory=889908 CPUtime=9.67 cores=1,3,5,7
/proc/13477/task/13595/stat : 13595 (java) S 13473 13477 10443 0 -1 1077944384 15621 13421 0 0 914 46 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166390864624 140167187171970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13597] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13597/stat : 13597 (java) S 13473 13477 10443 0 -1 1077944384 45 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166389810912 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13599] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13599/stat : 13599 (java) S 13473 13477 10443 0 -1 1077944384 4 13421 0 0 0 0 5 2 20 0 15 0 415628746 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165989262592 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13601] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13601/stat : 13601 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165748971984 140167187179419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13602] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.33 cores=1,3,5,7
/proc/13477/task/13602/stat : 13602 (java) S 13473 13477 10443 0 -1 1077944384 27882 13421 0 0 621 5 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166356252912 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13603] ppid=13473 vsize=10851092 memory=889908 CPUtime=6.76 cores=1,3,5,7
/proc/13477/task/13603/stat : 13603 (java) S 13473 13477 10443 0 -1 1077944384 35939 13421 0 0 662 7 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166355200368 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13604] ppid=13473 vsize=10851092 memory=889908 CPUtime=4.5 cores=1,3,5,7
/proc/13477/task/13604/stat : 13604 (java) S 13473 13477 10443 0 -1 1077944384 33959 13421 0 0 435 8 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166354147312 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13609] ppid=13473 vsize=10851092 memory=889908 CPUtime=0.07 cores=1,3,5,7
/proc/13477/task/13609/stat : 13609 (java) S 13473 13477 10443 0 -1 1077944384 3 13421 0 0 0 0 5 2 20 0 15 0 415628749 11111518208 222477 33554432000 4194304 4196468 140736838446368 140165715413344 140167187171029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
[pid=13477/tid=13611] ppid=13473 vsize=10851092 memory=3624 CPUtime=1.36 cores=1,3,5,7
/proc/13477/task/13611/stat : 13611 (java) S 13473 13477 10443 0 -1 1077944384 1104 13421 0 0 62 67 5 2 20 0 15 0 415628750 11111518208 222477 33554432000 4194304 4196468 140736838446368 140166353095728 140167187171970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10723328 140736838453999 140736838456517 140736838456517 140736838459343 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 889908 KiB
Child status: 143
Real time (s): 2350.53
CPU time (s): 2400.08
CPU user time (s): 2396.72
CPU system time (s): 3.36798
CPU usage (%): 102.108
Max. virtual memory (cumulated for all children) (KiB): 10851092
Max. memory (cumulated for all children) (KiB): 907084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.72
system time used= 3.36798
maximum resident set size= 909132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254506
page faults= 0
swaps= 0
block input operations= 240
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253875
involuntary context switches= 8940
# summary of solver processes directly reported to runsolver:
# pid: 13477
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.72
# total CPU system time (s): 3.36798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1986 second user time and 23.1174 second system time
The end