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 (2387 MiB free)
memory of node 1: 16384 MiB (2630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403293-1568973359/watcher-4403293-1568973359 -o /tmp/evaluation-result-4403293-1568973359/solver-4403293-1568973359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=812206065 HOME/instance-4403293-1568973359.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=26787, runsolver pid=26784
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.75 1.72 1.57 3/217 26844
/proc/meminfo: memFree=5131136/32770624 swapFree=66938644/67108860
[pid=26787] ppid=26784 vsize=9972712 memory=15444 CPUtime=0.09 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 4597 13333 0 0 1 0 6 2 20 0 6 0 473605541 10212057088 3861 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2493178 3861 1958 1 0 2481616 0
[pid=26787/tid=26840] ppid=26784 vsize=9972712 memory=4279135703980212620 CPUtime=0.09 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 2394 13333 0 0 1 0 6 2 20 0 6 0 473605550 10212057088 3861 33554432000 4194304 4196468 140736946960976 140176358687312 140176379087678 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=9980040 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 6 0 473605551 10219560960 3861 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=9985708 memory=140265090762368 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 6 0 473605551 10225364992 3861 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 6 0 473605551 10228523008 3861 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 6 0 473605551 10228523008 3861 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15444 KiB
[startup+0.209895 s]*
/proc/loadavg: 1.75 1.72 1.57 4/226 26853
/proc/meminfo: memFree=5108612/32770624 swapFree=66938644/67108860
[pid=26787] ppid=26784 vsize=10820196 memory=42500 CPUtime=0.27 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 7485 13333 0 0 17 2 6 2 20 0 15 0 473605541 11079880704 10625 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2705049 10625 3279 1 0 2667149 0
[pid=26787/tid=26840] ppid=26784 vsize=10820196 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 3884 13333 0 0 11 1 6 2 20 0 15 0 473605550 11079880704 10625 33554432000 4194304 4196468 140736946960976 140176358682752 140176370931038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 10625 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10820196 memory=140265090762368 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 10625 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10820196 memory=140265090762368 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605552 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 33 13333 0 0 0 0 6 2 20 0 15 0 473605553 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175844791200 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605553 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175720047600 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) R 26784 26787 23401 0 -1 1077944384 486 13333 0 0 1 0 6 2 20 0 15 0 473605555 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) R 26784 26787 23401 0 -1 4202560 194 13333 0 0 0 0 6 2 20 0 15 0 473605555 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175810181744 140176364646443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10820196 memory=140265090762368 CPUtime=0.11 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 678 13333 0 0 3 0 6 2 20 0 15 0 473605555 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11079880704 10625 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10820196 memory=140265090762368 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605556 11079880704 10625 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42500 KiB
[startup+0.310433 s]*
/proc/loadavg: 1.75 1.72 1.57 3/226 26853
/proc/meminfo: memFree=5098080/32770624 swapFree=66938644/67108860
[pid=26787] ppid=26784 vsize=10820196 memory=51228 CPUtime=0.41 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 11072 13333 0 0 30 3 6 2 20 0 15 0 473605541 11079880704 12807 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2705049 12807 3338 1 0 2667149 0
[pid=26787/tid=26840] ppid=26784 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 7408 13333 0 0 19 2 6 2 20 0 15 0 473605550 11079880704 12872 33554432000 4194304 4196468 140736946960976 140176358659472 140176370931038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10820196 memory=8028625541074084462 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 12872 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 12872 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10820196 memory=7649539653602198466 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605551 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605552 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 33 13333 0 0 0 0 6 2 20 0 15 0 473605553 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175844791200 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605553 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175720047600 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 493 13333 0 0 2 0 6 2 20 0 15 0 473605555 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 205 13333 0 0 1 0 6 2 20 0 15 0 473605555 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 715 13333 0 0 5 0 6 2 20 0 15 0 473605555 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11079880704 12872 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605556 11079880704 12872 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51228 KiB
[startup+0.700703 s]
/proc/loadavg: 1.75 1.72 1.57 3/226 26853
/proc/meminfo: memFree=5081568/32770624 swapFree=66938644/67108860
[pid=26787] ppid=26784 vsize=10824364 memory=84792 CPUtime=1.15 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 15507 13333 0 0 102 5 6 2 20 0 15 0 473605541 11084148736 21198 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2706091 21198 3505 1 0 2668173 0
[pid=26787/tid=26840] ppid=26784 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 10517 13333 0 0 56 3 6 2 20 0 15 0 473605550 11084148736 21198 33554432000 4194304 4196468 140736946960976 140176358674944 140176386872477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11084148736 21198 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11084148736 21198 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605551 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605551 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 6 13333 0 0 0 0 6 2 20 0 15 0 473605552 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 33 13333 0 0 0 0 6 2 20 0 15 0 473605553 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175844791200 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605553 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175720047600 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11084148736 21198 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 923 13333 0 0 12 0 6 2 20 0 15 0 473605555 11084148736 21239 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 825 13333 0 0 15 0 6 2 20 0 15 0 473605555 11084148736 21239 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 986 13333 0 0 17 0 6 2 20 0 15 0 473605555 11084148736 21239 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10824364 memory=280529949688048 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11084148736 21239 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605556 11084148736 21239 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84792 KiB
[startup+1.50076 s]
/proc/loadavg: 1.75 1.72 1.57 5/226 26854
/proc/meminfo: memFree=5016200/32770624 swapFree=66938648/67108860
[pid=26787] ppid=26784 vsize=10832632 memory=243104 CPUtime=3.26 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 26391 13333 0 0 308 10 6 2 20 0 15 0 473605541 11092615168 60776 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2708158 60776 3582 1 0 2670221 0
[pid=26787/tid=26840] ppid=26784 vsize=10832632 memory=29 CPUtime=1.42 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 14326 13333 0 0 128 6 6 2 20 0 15 0 473605550 11092615168 60776 33554432000 4194304 4196468 140736946960976 140176358668432 140176370931038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10832632 memory=28 CPUtime=0.1 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 219 13333 0 0 2 0 6 2 20 0 15 0 473605551 11092615168 60776 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 19 13333 0 0 2 0 6 2 20 0 15 0 473605551 11092615168 60776 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 55 13333 0 0 2 0 6 2 20 0 15 0 473605551 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10832632 memory=117864 CPUtime=0.1 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 36 13333 0 0 2 0 6 2 20 0 15 0 473605551 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 87 13333 0 0 1 0 6 2 20 0 15 0 473605552 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10832632 memory=7016982484491462488 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 34 13333 0 0 0 0 6 2 20 0 15 0 473605553 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175844791264 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10832632 memory=7091599690145687888 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605553 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175720047616 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10832632 memory=7444840976262784612 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10832632 memory=7454130749351154278 CPUtime=0.69 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 3725 13333 0 0 61 0 6 2 20 0 15 0 473605555 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10832632 memory=7739549679218880872 CPUtime=0.7 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 3786 13333 0 0 62 0 6 2 20 0 15 0 473605555 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10832632 memory=7016982484491462488 CPUtime=0.51 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 1892 13333 0 0 43 0 6 2 20 0 15 0 473605555 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10832632 memory=7016982484491462488 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11092615168 60776 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10832632 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1 13333 0 0 0 0 6 2 20 0 15 0 473605556 11092615168 60776 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 138550 13333 0 0 223797 63 6 2 20 0 15 0 473605550 11109412864 137448 33554432000 4194304 4196468 140736946960976 140176358686464 140175999405798 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10849036 memory=0 CPUtime=15.69 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 23405 13333 0 0 1515 46 6 2 20 0 15 0 473605551 11109412864 137448 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10849036 memory=558512 CPUtime=15.67 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 21781 13333 0 0 1512 47 6 2 20 0 15 0 473605551 11109412864 137448 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10849036 memory=559536 CPUtime=15.66 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 18353 13333 0 0 1515 43 6 2 20 0 15 0 473605551 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10849036 memory=555948 CPUtime=15.68 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 16779 13333 0 0 1516 44 6 2 20 0 15 0 473605551 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10849036 memory=556460 CPUtime=5.57 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 14439 13333 0 0 485 64 6 2 20 0 15 0 473605552 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10849036 memory=3640 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 50 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175844791328 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10849036 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 10 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175720047616 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10849036 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10849036 memory=568772 CPUtime=6.36 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 38411 13333 0 0 624 4 6 2 20 0 15 0 473605555 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10849036 memory=550304 CPUtime=6.55 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 36262 13333 0 0 642 5 6 2 20 0 15 0 473605555 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10849036 memory=555432 CPUtime=2.61 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 22974 13333 0 0 248 5 6 2 20 0 15 0 473605555 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10849036 memory=513272 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11109412864 137448 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10849036 memory=4108 CPUtime=1.36 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1060 13333 0 0 62 66 6 2 20 0 15 0 473605556 11109412864 137448 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 2323.22 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 549792 KiB
[startup+2322.3 s]
/proc/loadavg: 1.62 1.64 1.51 3/225 27349
/proc/meminfo: memFree=3860476/32770624 swapFree=66938684/67108860
[pid=26787] ppid=26784 vsize=10849036 memory=546736 CPUtime=2384.53 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 338451 13333 0 0 238080 365 6 2 20 0 15 0 473605541 11109412864 136684 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2712259 136684 3645 1 0 2674317 0
[pid=26787/tid=26840] ppid=26784 vsize=10849036 memory=545968 CPUtime=2298.01 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 141391 13333 0 0 229728 65 6 2 20 0 15 0 473605550 11109412864 136684 33554432000 4194304 4196468 140736946960976 140176358687056 140176003817841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10849036 memory=0 CPUtime=16.14 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 23677 13333 0 0 1558 48 6 2 20 0 15 0 473605551 11109412864 136684 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10849036 memory=545804 CPUtime=16.11 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 21968 13333 0 0 1556 47 6 2 20 0 15 0 473605551 11109412864 136684 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10849036 memory=545292 CPUtime=16.11 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 18685 13333 0 0 1558 45 6 2 20 0 15 0 473605551 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10849036 memory=544776 CPUtime=16.13 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 17043 13333 0 0 1559 46 6 2 20 0 15 0 473605551 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10849036 memory=544776 CPUtime=5.74 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 14686 13333 0 0 500 66 6 2 20 0 15 0 473605552 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10849036 memory=544280 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 50 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175844791328 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10849036 memory=27892 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 10 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175720047616 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10849036 memory=544776 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10849036 memory=544776 CPUtime=6.36 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 38413 13333 0 0 624 4 6 2 20 0 15 0 473605555 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10849036 memory=545292 CPUtime=6.55 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 36264 13333 0 0 642 5 6 2 20 0 15 0 473605555 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10849036 memory=545804 CPUtime=2.61 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 22976 13333 0 0 248 5 6 2 20 0 15 0 473605555 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10849036 memory=544264 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11109412864 136684 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10849036 memory=2016 CPUtime=1.39 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1078 13333 0 0 64 67 6 2 20 0 15 0 473605556 11109412864 136684 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 2384.53 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 546736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2337.5 s]
/proc/loadavg: 1.55 1.62 1.51 3/225 27351
/proc/meminfo: memFree=3851792/32770624 swapFree=66938684/67108860
[pid=26787] ppid=26784 vsize=10849036 memory=557984 CPUtime=2400.05 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 342018 13333 0 0 239629 368 6 2 20 0 15 0 473605541 11109412864 139496 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2712259 139496 3645 1 0 2674317 0
[pid=26787/tid=26840] ppid=26784 vsize=10849036 memory=562624 CPUtime=2313.04 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 143709 13333 0 0 231231 65 6 2 20 0 15 0 473605550 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176358685808 140176003818691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10849036 memory=573260 CPUtime=16.25 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 23968 13333 0 0 1569 48 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10849036 memory=546736 CPUtime=16.23 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 22416 13333 0 0 1567 48 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10849036 memory=545968 CPUtime=16.22 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 18883 13333 0 0 1569 45 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10849036 memory=0 CPUtime=16.24 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 17318 13333 0 0 1570 46 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10849036 memory=570184 CPUtime=5.78 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 14719 13333 0 0 503 67 6 2 20 0 15 0 473605552 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10849036 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 50 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175844791328 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10849036 memory=558496 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 10 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175720047616 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10849036 memory=561060 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10849036 memory=-7003737579269690708 CPUtime=6.36 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 38413 13333 0 0 624 4 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10849036 memory=1690544 CPUtime=6.55 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 36264 13333 0 0 642 5 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10849036 memory=500 CPUtime=2.61 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 22976 13333 0 0 248 5 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10849036 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11109412864 139496 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10849036 memory=561060 CPUtime=1.4 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1082 13333 0 0 64 68 6 2 20 0 15 0 473605556 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 557984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2337.53 s]
# the end of solver process 26787 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.39 s, system=3.7183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2337.5 s]
/proc/loadavg: 1.55 1.62 1.51 3/225 27351
/proc/meminfo: memFree=3851792/32770624 swapFree=66938684/67108860
[pid=26787] ppid=26784 vsize=10849036 memory=557984 CPUtime=2400.05 cores=1,3,5,7
/proc/26787/stat : 26787 (java) S 26784 26787 23401 0 -1 1077944320 342018 13333 0 0 239629 368 6 2 20 0 15 0 473605541 11109412864 139496 33554432000 4194304 4196468 140736946960976 140736946943520 140176386850551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
/proc/26787/statm: 2712259 139496 3645 1 0 2674317 0
[pid=26787/tid=26840] ppid=26784 vsize=10849036 memory=562624 CPUtime=2313.04 cores=1,3,5,7
/proc/26787/task/26840/stat : 26840 (java) R 26784 26787 23401 0 -1 4202560 143709 13333 0 0 231231 65 6 2 20 0 15 0 473605550 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176358685808 140176003818691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26841] ppid=26784 vsize=10849036 memory=573260 CPUtime=16.25 cores=1,3,5,7
/proc/26787/task/26841/stat : 26841 (java) S 26784 26787 23401 0 -1 1077944384 23968 13333 0 0 1569 48 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176391093008 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26842] ppid=26784 vsize=10849036 memory=546736 CPUtime=16.23 cores=1,3,5,7
/proc/26787/task/26842/stat : 26842 (java) S 26784 26787 23401 0 -1 1077944384 22416 13333 0 0 1567 48 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140176325135248 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26843] ppid=26784 vsize=10849036 memory=545968 CPUtime=16.22 cores=1,3,5,7
/proc/26787/task/26843/stat : 26843 (java) S 26784 26787 23401 0 -1 1077944384 18883 13333 0 0 1569 45 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175959493648 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26844] ppid=26784 vsize=10849036 memory=0 CPUtime=16.24 cores=1,3,5,7
/proc/26787/task/26844/stat : 26844 (java) S 26784 26787 23401 0 -1 1077944384 17318 13333 0 0 1570 46 6 2 20 0 15 0 473605551 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175958441104 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26845] ppid=26784 vsize=10849036 memory=570184 CPUtime=5.78 cores=1,3,5,7
/proc/26787/task/26845/stat : 26845 (java) S 26784 26787 23401 0 -1 1077944384 14719 13333 0 0 503 67 6 2 20 0 15 0 473605552 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175845844976 140176386861698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26846] ppid=26784 vsize=10849036 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26846/stat : 26846 (java) S 26784 26787 23401 0 -1 1077944384 50 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175844791328 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26847] ppid=26784 vsize=10849036 memory=558496 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26847/stat : 26847 (java) S 26784 26787 23401 0 -1 1077944384 10 13333 0 0 0 0 6 2 20 0 15 0 473605553 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175720047616 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26848] ppid=26784 vsize=10849036 memory=561060 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26848/stat : 26848 (java) S 26784 26787 23401 0 -1 1077944384 2 13333 0 0 0 0 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175116069072 140176386869147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26849] ppid=26784 vsize=10849036 memory=-7003737579269690708 CPUtime=6.36 cores=1,3,5,7
/proc/26787/task/26849/stat : 26849 (java) S 26784 26787 23401 0 -1 1077944384 38413 13333 0 0 624 4 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175811234288 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26850] ppid=26784 vsize=10849036 memory=1690544 CPUtime=6.55 cores=1,3,5,7
/proc/26787/task/26850/stat : 26850 (java) S 26784 26787 23401 0 -1 1077944384 36264 13333 0 0 642 5 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175810181744 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26851] ppid=26784 vsize=10849036 memory=500 CPUtime=2.61 cores=1,3,5,7
/proc/26787/task/26851/stat : 26851 (java) S 26784 26787 23401 0 -1 1077944384 22976 13333 0 0 248 5 6 2 20 0 15 0 473605555 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175809129200 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26852] ppid=26784 vsize=10849036 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/26787/task/26852/stat : 26852 (java) S 26784 26787 23401 0 -1 1077944384 3 13333 0 0 0 0 6 2 20 0 15 0 473605556 11109412864 139496 33554432000 4194304 4196468 140736946960976 140174646307936 140176386860757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
[pid=26787/tid=26853] ppid=26784 vsize=10849036 memory=561060 CPUtime=1.4 cores=1,3,5,7
/proc/26787/task/26853/stat : 26853 (java) S 26784 26787 23401 0 -1 1077944384 1082 13333 0 0 64 68 6 2 20 0 15 0 473605556 11109412864 139496 33554432000 4194304 4196468 140736946960976 140175808076080 140176386861698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33128448 140736946969328 140736946971845 140736946971845 140736946974671 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 557984 KiB
Child status: 143
Real time (s): 2337.53
CPU time (s): 2400.1
CPU user time (s): 2396.39
CPU system time (s): 3.7183
CPU usage (%): 102.677
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1537728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.39
system time used= 3.7183
maximum resident set size= 1540308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166174
involuntary context switches= 6672
# summary of solver processes directly reported to runsolver:
# pid: 26787
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.39
# total CPU system time (s): 3.7183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1333 second user time and 17.8366 second system time
The end