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 (13784 MiB free)
memory of node 1: 16384 MiB (15087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396567-1568409410/watcher-4396567-1568409410 -o /tmp/evaluation-result-4396567-1568409410/solver-4396567-1568409410 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568393993-23928 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=227594527 HOME/instance-4396567-1568409410.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
Current StackSize limit: 8192 KiB
solver pid=28935, runsolver pid=28932
[startup+0.100057 s]*
/proc/loadavg: 1.10 1.30 1.38 3/218 28992
/proc/meminfo: memFree=29559008/32770624 swapFree=66996944/67108860
[pid=28935] ppid=28932 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 4504 13104 0 0 1 0 5 2 20 0 6 0 417194288 10212057088 4270 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2493178 4270 1935 1 0 2481616 0
[pid=28935/tid=28988] ppid=28932 vsize=9972712 memory=720575944405811505 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 2298 13104 0 0 0 0 5 2 20 0 6 0 417194297 10212057088 4270 33554432000 4194304 4196468 140727155071744 140353971511888 140353999697053 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 6 0 417194298 10212057088 4270 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=9972712 memory=288370410203035264 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 6 0 417194298 10212057088 4270 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 6 0 417194298 10212057088 4270 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 6 0 417194298 10212057088 4270 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210019 s]*
/proc/loadavg: 1.10 1.30 1.38 4/227 29001
/proc/meminfo: memFree=29535680/32770624 swapFree=66996944/67108860
[pid=28935] ppid=28932 vsize=10819664 memory=41508 CPUtime=0.26 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 7207 13104 0 0 17 2 5 2 20 0 15 0 417194288 11079335936 10377 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2704916 10377 3173 1 0 2667149 0
[pid=28935/tid=28988] ppid=28932 vsize=10819664 memory=751940894209540401 CPUtime=0.18 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 3682 13104 0 0 10 1 5 2 20 0 15 0 417194297 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353971490128 140353981238687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079335936 10377 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=10819664 memory=288370410203035264 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194299 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 417194300 11079335936 10377 33554432000 4194304 4196468 140727155071744 140352901080480 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 21 13104 0 0 0 0 5 2 20 0 15 0 417194300 11079335936 10377 33554432000 4194304 4196468 140727155071744 140352867522032 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 612 13104 0 0 1 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) R 28932 28935 22378 0 -1 1077944384 46 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10819664 memory=140034051323520 CPUtime=0.1 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 613 13104 0 0 3 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10819664 memory=140034051323520 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079335936 10377 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41508 KiB
[startup+0.31034 s]*
/proc/loadavg: 1.10 1.30 1.38 3/227 29001
/proc/meminfo: memFree=29523120/32770624 swapFree=66996944/67108860
[pid=28935] ppid=28932 vsize=10820148 memory=52648 CPUtime=0.4 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 10914 13104 0 0 30 3 5 2 20 0 15 0 417194288 11079831552 13162 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2705037 13162 3305 1 0 2667149 0
[pid=28935/tid=28988] ppid=28932 vsize=10820148 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 7369 13104 0 0 19 2 5 2 20 0 15 0 417194297 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353971475040 140353982867843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079831552 13162 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=10820148 memory=140034051323519 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194299 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 417194300 11079831552 13162 33554432000 4194304 4196468 140727155071744 140352901080480 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 21 13104 0 0 0 0 5 2 20 0 15 0 417194300 11079831552 13162 33554432000 4194304 4196468 140727155071744 140352867522032 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 612 13104 0 0 1 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 57 13104 0 0 2 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10820148 memory=140034051323520 CPUtime=0.12 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) R 28932 28935 22378 0 -1 4202560 622 13104 0 0 5 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353455536368 140353999687062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10820148 memory=140034051323520 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194303 11079831552 13162 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52648 KiB
[startup+0.708463 s]
/proc/loadavg: 1.10 1.30 1.38 4/227 29001
/proc/meminfo: memFree=29479760/32770624 swapFree=66996944/67108860
[pid=28935] ppid=28932 vsize=10824360 memory=85696 CPUtime=1.14 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 15150 13104 0 0 103 4 5 2 20 0 15 0 417194288 11084144640 21424 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2706090 21424 3513 1 0 2668173 0
[pid=28935/tid=28988] ppid=28932 vsize=10824360 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 10476 13104 0 0 56 3 5 2 20 0 15 0 417194297 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353971502288 140353983755614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=10824360 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11084144640 21424 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=10824360 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=10824360 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194298 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194298 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 5 13104 0 0 0 0 5 2 20 0 15 0 417194299 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 417194300 11084144640 21424 33554432000 4194304 4196468 140727155071744 140352901080480 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 21 13104 0 0 0 0 5 2 20 0 15 0 417194300 11084144640 21424 33554432000 4194304 4196468 140727155071744 140352867522032 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 999 13104 0 0 12 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) R 28932 28935 22378 0 -1 4202560 577 13104 0 0 15 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353456577680 140353983578217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) R 28932 28935 22378 0 -1 4202560 842 13104 0 0 17 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353455536368 140353999687062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10824360 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 21424 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85696 KiB
[startup+1.50076 s]
/proc/loadavg: 1.10 1.30 1.38 3/227 29001
/proc/meminfo: memFree=29253196/32770624 swapFree=66996944/67108860
[pid=28935] ppid=28932 vsize=10824360 memory=545572 CPUtime=2.84 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 18196 13104 0 0 232 45 5 2 20 0 15 0 417194288 11084144640 136393 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2706090 136393 3560 1 0 2668173 0
[pid=28935/tid=28988] ppid=28932 vsize=10824360 memory=140033919029848 CPUtime=1.26 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 11118 13104 0 0 109 10 5 2 20 0 15 0 417194297 11084144640 136393 33554432000 4194304 4196468 140727155071744 140353971511408 140353575658270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=10824360 memory=2 CPUtime=0.22 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 199 13104 0 0 8 7 5 2 20 0 15 0 417194298 11084144640 136393 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=10824360 memory=6628 CPUtime=0.22 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 190 13104 0 0 7 8 5 2 20 0 15 0 417194298 11084144640 136393 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=10824360 memory=7 CPUtime=0.23 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 238 13104 0 0 8 8 5 2 20 0 15 0 417194298 11084144640 136393 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=10824360 memory=280067838466464 CPUtime=0.21 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 198 13104 0 0 7 7 5 2 20 0 15 0 417194298 11084144640 136393 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=10824360 memory=264295107584580 CPUtime=0.08 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 337 13104 0 0 1 0 5 2 20 0 15 0 417194299 11084144640 136393 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 417194300 11084144640 136393 33554432000 4194304 4196468 140727155071744 140352901080480 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=10824360 memory=7517784992288834871 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 23 13104 0 0 0 0 5 2 20 0 15 0 417194300 11084144640 136393 33554432000 4194304 4196468 140727155071744 140352867522032 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=10824360 memory=-8412658770403813517 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 136393 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10824360 memory=-7668917182949848256 CPUtime=0.4 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 1848 13104 0 0 33 0 5 2 20 0 15 0 417194303 11084144640 136905 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10824360 memory=8514726395714956677 CPUtime=0.38 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 809 13104 0 0 31 0 5 2 20 0 15 0 417194303 11084144640 136905 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10824360 memory=7100839870004429938 CPUtime=0.31 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 1011 13104 0 0 24 0 5 2 20 0 15 0 417194303 11084144640 136905 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10824360 memory=4628420171383865741 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 136905 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 417194303 11084144640 136905 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10824360 KiB
################
# More data... #
################
[pid=28935/tid=28996] ppid=28932 vsize=10849032 memory=4774556 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10849032 memory=4772560 CPUtime=7.46 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 48067 13104 0 0 733 6 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10849032 memory=5792566378801619284 CPUtime=6.93 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 48399 13104 0 0 679 7 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10849032 memory=4766320 CPUtime=2.73 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 59500 13104 0 0 260 6 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10849032 memory=4764452 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10849032 memory=4774556 CPUtime=1.27 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1810 13104 0 0 62 58 5 2 20 0 15 0 417194303 11109408768 1193639 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 2344.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4774556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2017.8 s]
/proc/loadavg: 1.30 1.31 1.38 3/227 29313
/proc/meminfo: memFree=25450752/32770624 swapFree=66996948/67108860
[pid=28935] ppid=28932 vsize=10849032 memory=4797140 CPUtime=2400 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 2025014 13104 0 0 238970 1023 5 2 20 0 15 0 417194288 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2712258 1199285 3641 1 0 2674317 0
[pid=28935/tid=28988] ppid=28932 vsize=10849032 memory=22052 CPUtime=1889.41 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 1468799 13104 0 0 188829 105 5 2 20 0 15 0 417194297 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353971502752 140353592378676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=10849032 memory=11960 CPUtime=122.19 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 80665 13104 0 0 12012 200 5 2 20 0 15 0 417194298 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=10849032 memory=500 CPUtime=122.23 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 82537 13104 0 0 11998 218 5 2 20 0 15 0 417194298 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=10849032 memory=1560 CPUtime=121.78 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 80892 13104 0 0 11970 201 5 2 20 0 15 0 417194298 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=10849032 memory=676 CPUtime=121.94 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 75555 13104 0 0 11968 219 5 2 20 0 15 0 417194298 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=10849032 memory=1060 CPUtime=4.45 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 71254 13104 0 0 422 16 5 2 20 0 15 0 417194299 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=10849032 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 37 13104 0 0 0 0 5 2 20 0 15 0 417194300 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140352901080544 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=10849032 memory=8560 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 81 13104 0 0 0 0 5 2 20 0 15 0 417194300 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140352867522048 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=10849032 memory=1668 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=10849032 memory=1112 CPUtime=7.5 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 50078 13104 0 0 737 6 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=10849032 memory=1004 CPUtime=6.97 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 51155 13104 0 0 683 7 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=10849032 memory=303430223234596890 CPUtime=2.73 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 59892 13104 0 0 260 6 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=10849032 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=10849032 memory=14410423571057304 CPUtime=1.3 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1859 13104 0 0 64 59 5 2 20 0 15 0 417194303 11109408768 1199285 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4797140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2018.35 s]
# the end of solver process 28935 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2390.26 s, system=10.3179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2018 s]*
/proc/loadavg: 1.30 1.31 1.38 3/229 29315
/proc/meminfo: memFree=25446376/32770624 swapFree=66996948/67108860
[pid=28935] ppid=28932 vsize=11045648 memory=4801244 CPUtime=2400.21 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 2025280 13104 0 0 238991 1023 5 2 20 0 17 0 417194288 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2761412 1200311 3641 1 0 2723471 0
[pid=28935/tid=28988] ppid=28932 vsize=11045648 memory=8317482817917895235 CPUtime=1889.62 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 1468810 13104 0 0 188850 105 5 2 20 0 17 0 417194297 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353971502640 140353589395156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=11045648 memory=3264 CPUtime=122.19 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 80665 13104 0 0 12012 200 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=11045648 memory=280067839549552 CPUtime=122.23 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 82537 13104 0 0 11998 218 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=11045648 memory=-7666414585839465563 CPUtime=121.78 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 80892 13104 0 0 11970 201 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=11045648 memory=-6520478321162704286 CPUtime=121.94 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 75555 13104 0 0 11968 219 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=11045648 memory=-7521736447810188379 CPUtime=4.45 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 71254 13104 0 0 422 16 5 2 20 0 17 0 417194299 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=11045648 memory=-8412652160765825907 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 37 13104 0 0 0 0 5 2 20 0 17 0 417194300 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352901080544 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=11045648 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 81 13104 0 0 0 0 5 2 20 0 17 0 417194300 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352867522048 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=11045648 memory=2512 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 132 13104 0 0 0 0 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=11045648 memory=1436 CPUtime=7.5 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 50078 13104 0 0 737 6 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=11045648 memory=812 CPUtime=6.97 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 51155 13104 0 0 683 7 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=11045648 memory=1764 CPUtime=2.73 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 59892 13104 0 0 260 6 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=11045648 memory=111628 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=11045648 memory=796 CPUtime=1.3 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1859 13104 0 0 64 59 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29314] ppid=28932 vsize=11045648 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29314/stat : 29314 (java) S 28932 28935 22378 0 -1 1077944384 26 13104 0 0 0 0 5 2 20 0 17 0 417396069 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352082141808 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29315] ppid=28932 vsize=11045648 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29315/stat : 29315 (java) S 28932 28935 22378 0 -1 1077944384 97 13104 0 0 0 0 5 2 20 0 17 0 417396069 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140351880816352 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 2400.21 s
Current children cumulated vsize: 11045648 KiB
Current children cumulated memory: 4801244 KiB
[startup+2018.2 s]
/proc/loadavg: 1.30 1.31 1.38 3/229 29315
/proc/meminfo: memFree=25446376/32770624 swapFree=66996948/67108860
[pid=28935] ppid=28932 vsize=11045648 memory=4801244 CPUtime=2400.4 cores=1,3,5,7
/proc/28935/stat : 28935 (java) S 28932 28935 22378 0 -1 1077944320 2025280 13104 0 0 239010 1023 5 2 20 0 17 0 417194288 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140727155054288 140353999675127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
/proc/28935/statm: 2761412 1200311 3641 1 0 2723471 0
[pid=28935/tid=28988] ppid=28932 vsize=11045648 memory=916 CPUtime=1889.81 cores=1,3,5,7
/proc/28935/task/28988/stat : 28988 (java) R 28932 28935 22378 0 -1 4202560 1468810 13104 0 0 188869 105 5 2 20 0 17 0 417194297 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353971502640 140353592704639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28989] ppid=28932 vsize=11045648 memory=3848 CPUtime=122.19 cores=1,3,5,7
/proc/28935/task/28989/stat : 28989 (java) S 28932 28935 22378 0 -1 1077944384 80665 13104 0 0 12012 200 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140354003917072 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28990] ppid=28932 vsize=11045648 memory=2604 CPUtime=122.23 cores=1,3,5,7
/proc/28935/task/28990/stat : 28990 (java) S 28932 28935 22378 0 -1 1077944384 82537 13104 0 0 11998 218 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353902807440 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28991] ppid=28932 vsize=11045648 memory=2604 CPUtime=121.78 cores=1,3,5,7
/proc/28935/task/28991/stat : 28991 (java) S 28932 28935 22378 0 -1 1077944384 80892 13104 0 0 11970 201 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353901754896 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28992] ppid=28932 vsize=11045648 memory=1412 CPUtime=121.94 cores=1,3,5,7
/proc/28935/task/28992/stat : 28992 (java) S 28932 28935 22378 0 -1 1077944384 75555 13104 0 0 11968 219 5 2 20 0 17 0 417194298 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353900702352 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28993] ppid=28932 vsize=11045648 memory=3264 CPUtime=4.45 cores=1,3,5,7
/proc/28935/task/28993/stat : 28993 (java) S 28932 28935 22378 0 -1 1077944384 71254 13104 0 0 422 16 5 2 20 0 17 0 417194299 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353458694640 140353999686274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28994] ppid=28932 vsize=11045648 memory=4797088 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28994/stat : 28994 (java) S 28932 28935 22378 0 -1 1077944384 37 13104 0 0 0 0 5 2 20 0 17 0 417194300 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352901080544 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28995] ppid=28932 vsize=11045648 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28995/stat : 28995 (java) S 28932 28935 22378 0 -1 1077944384 81 13104 0 0 0 0 5 2 20 0 17 0 417194300 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352867522048 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28996] ppid=28932 vsize=11045648 memory=3212 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/28996/stat : 28996 (java) S 28932 28935 22378 0 -1 1077944384 132 13104 0 0 0 0 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352753232592 140353999693723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28997] ppid=28932 vsize=11045648 memory=785948 CPUtime=7.5 cores=1,3,5,7
/proc/28935/task/28997/stat : 28997 (java) S 28932 28935 22378 0 -1 1077944384 50078 13104 0 0 737 6 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353457641456 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28998] ppid=28932 vsize=11045648 memory=4104 CPUtime=6.97 cores=1,3,5,7
/proc/28935/task/28998/stat : 28998 (java) S 28932 28935 22378 0 -1 1077944384 51155 13104 0 0 683 7 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353456588912 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=28999] ppid=28932 vsize=11045648 memory=6791534058613427641 CPUtime=2.73 cores=1,3,5,7
/proc/28935/task/28999/stat : 28999 (java) S 28932 28935 22378 0 -1 1077944384 59892 13104 0 0 260 6 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353455536368 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29000] ppid=28932 vsize=11045648 memory=2604 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29000/stat : 29000 (java) S 28932 28935 22378 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352283470432 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29001] ppid=28932 vsize=11045648 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/28935/task/29001/stat : 29001 (java) S 28932 28935 22378 0 -1 1077944384 1859 13104 0 0 64 59 5 2 20 0 17 0 417194303 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140353454484272 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29314] ppid=28932 vsize=11045648 memory=7523376918531162212 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29314/stat : 29314 (java) S 28932 28935 22378 0 -1 1077944384 26 13104 0 0 0 0 5 2 20 0 17 0 417396069 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140352082141808 140353999685333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
[pid=28935/tid=29315] ppid=28932 vsize=11045648 memory=7523376918531162212 CPUtime=0.07 cores=1,3,5,7
/proc/28935/task/29315/stat : 29315 (java) S 28932 28935 22378 0 -1 1077944384 97 13104 0 0 0 0 5 2 20 0 17 0 417396069 11310743552 1200311 33554432000 4194304 4196468 140727155071744 140351880816352 140353999686274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140727155079920 140727155082437 140727155082437 140727155085263 0
Current children cumulated CPU time: 2400.4 s
Current children cumulated vsize: 11045648 KiB
Current children cumulated memory: 4801244 KiB
[startup+2018.3 s]*
/proc/loadavg: 1.30 1.31 1.38 3/214 29315
/proc/meminfo: memFree=25980936/32770624 swapFree=66996948/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2018.35
CPU time (s): 2400.58
CPU user time (s): 2390.26
CPU system time (s): 10.3179
CPU usage (%): 118.938
Max. virtual memory (cumulated for all children) (KiB): 11045648
Max. memory (cumulated for all children) (KiB): 8348608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.26
system time used= 10.3179
maximum resident set size= 8348608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2039779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73000
involuntary context switches= 7290
# summary of solver processes directly reported to runsolver:
# pid: 28935
# total CPU time (s): 2400.58
# total CPU user time (s): 2390.26
# total CPU system time (s): 10.3179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0214 second user time and 19.5471 second system time
The end