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 (15333 MiB free)
memory of node 1: 16384 MiB (14521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387090-1568290874/watcher-4387090-1568290874 -o /tmp/evaluation-result-4387090-1568290874/solver-4387090-1568290874 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1907861374 HOME/instance-4387090-1568290874.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7935, runsolver pid=7932
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 1.41 1.37 1.41 3/217 7992
/proc/meminfo: memFree=30566768/32770624 swapFree=66920112/67108860
[pid=7935] ppid=7932 vsize=9972712 memory=17080 CPUtime=0.1 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 4489 13091 0 0 1 1 5 3 20 0 6 0 405343551 10212057088 4204 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2493178 4270 1935 1 0 2481616 0
[pid=7935/tid=7988] ppid=7932 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 2298 13091 0 0 0 0 5 3 20 0 6 0 405343560 10212057088 4270 33554432000 4194304 4196468 140720568830736 140571192722000 140571220907165 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 405343561 10212057088 4270 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=9972712 memory=14836268292994712 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 405343561 10212057088 4270 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 405343561 10212057088 4270 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 6 0 405343561 10212057088 4270 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210559 s]*
/proc/loadavg: 1.41 1.37 1.41 3/226 8001
/proc/meminfo: memFree=30544696/32770624 swapFree=66920112/67108860
[pid=7935] ppid=7932 vsize=10818940 memory=40712 CPUtime=0.26 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 6990 13091 0 0 17 1 5 3 20 0 15 0 405343551 11078594560 10178 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2704735 10178 2971 1 0 2667149 0
[pid=7935/tid=7988] ppid=7932 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 3504 13091 0 0 10 1 5 3 20 0 15 0 405343560 11078594560 10178 33554432000 4194304 4196468 140720568830736 140571192708400 140571204965726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11078594560 10178 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10818940 memory=14836268292994712 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11078594560 10178 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11078594560 10178 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343561 11078594560 10178 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343562 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 405343563 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570588603808 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343563 11078594560 10178 33554432000 4194304 4196468 140720568830736 140569984624112 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 351 13091 0 0 1 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 282 13091 0 0 1 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10818940 memory=139963024897664 CPUtime=0.11 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) R 7932 7935 5621 0 -1 4202560 624 13091 0 0 3 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570677217520 140571220906586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10818940 memory=139963024897664 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343566 11078594560 10178 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40712 KiB
[startup+0.310424 s]*
/proc/loadavg: 1.41 1.37 1.41 3/226 8001
/proc/meminfo: memFree=30534412/32770624 swapFree=66920112/67108860
[pid=7935] ppid=7932 vsize=10819452 memory=49576 CPUtime=0.4 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 10590 13091 0 0 29 3 5 3 20 0 15 0 405343551 11079118848 12394 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2704863 12394 3103 1 0 2667149 0
[pid=7935/tid=7988] ppid=7932 vsize=10819588 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 7114 13091 0 0 19 2 5 3 20 0 15 0 405343560 11079258112 12394 33554432000 4194304 4196468 140720568830736 140571192702864 140571143962179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10819588 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11079258112 12394 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10819588 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11079258112 12394 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10819588 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11079258112 12394 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10819588 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343561 11079258112 12394 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10819588 memory=139963024897663 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343562 11079258112 12394 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10819588 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 405343563 11079258112 12394 33554432000 4194304 4196468 140720568830736 140570588603808 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343563 11079778304 12394 33554432000 4194304 4196468 140720568830736 140569984624112 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11079778304 12394 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 352 13091 0 0 1 0 5 3 20 0 15 0 405343566 11079778304 12394 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 283 13091 0 0 1 0 5 3 20 0 15 0 405343566 11079778304 12460 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10820096 memory=139963024897664 CPUtime=0.13 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) R 7932 7935 5621 0 -1 4202560 634 13091 0 0 5 0 5 3 20 0 15 0 405343566 11079778304 12460 33554432000 4194304 4196468 140720568830736 140570677217520 140571220906586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11079778304 12460 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10820096 memory=139963024897664 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343566 11079778304 12460 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819452 KiB
Current children cumulated memory: 49576 KiB
[startup+0.701573 s]
/proc/loadavg: 1.41 1.37 1.41 5/226 8001
/proc/meminfo: memFree=30521260/32770624 swapFree=66920112/67108860
[pid=7935] ppid=7932 vsize=10824340 memory=82444 CPUtime=1.14 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 14821 13091 0 0 101 5 5 3 20 0 15 0 405343551 11084124160 20611 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2706085 20611 3507 1 0 2668173 0
[pid=7935/tid=7988] ppid=7932 vsize=10824340 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 10497 13091 0 0 55 4 5 3 20 0 15 0 405343560 11084124160 20611 33554432000 4194304 4196468 140720568830736 140571192701696 140570808635523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10824340 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11084124160 20611 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10824340 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11084124160 20611 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10824340 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343561 11084124160 20611 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343561 11084124160 20611 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 5 13091 0 0 0 0 5 3 20 0 15 0 405343562 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 405343563 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570588603808 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343563 11084124160 20611 33554432000 4194304 4196468 140720568830736 140569984624112 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 721 13091 0 0 15 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 540 13091 0 0 13 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 821 13091 0 0 17 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10824340 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343566 11084124160 20611 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82444 KiB
[startup+1.5008 s]
/proc/loadavg: 1.41 1.37 1.41 4/226 8001
/proc/meminfo: memFree=30460444/32770624 swapFree=66920112/67108860
[pid=7935] ppid=7932 vsize=10830560 memory=228344 CPUtime=3.5 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 25491 13091 0 0 333 9 5 3 20 0 15 0 405343551 11090493440 57086 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2707640 57086 3580 1 0 2669709 0
[pid=7935/tid=7988] ppid=7932 vsize=10830560 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 14045 13091 0 0 130 6 5 3 20 0 15 0 405343560 11090493440 57086 33554432000 4194304 4196468 140720568830736 140571192693008 140571220907165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10830560 memory=4640773948268111461 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 77 13091 0 0 0 0 5 3 20 0 15 0 405343561 11090493440 57086 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10830560 memory=7590081982590837844 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 259 13091 0 0 0 0 5 3 20 0 15 0 405343561 11090493440 57086 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10830560 memory=7007715645977617255 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 8 13091 0 0 0 0 5 3 20 0 15 0 405343561 11090493440 57086 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10830560 memory=279925836050208 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 23 13091 0 0 0 0 5 3 20 0 15 0 405343561 11090493440 57086 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10830560 memory=4122939488192797094 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 104 13091 0 0 0 0 5 3 20 0 15 0 405343562 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10830560 memory=279925835717632 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 15 13091 0 0 0 0 5 3 20 0 15 0 405343563 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570588603808 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343563 11090493440 57086 33554432000 4194304 4196468 140720568830736 140569984624128 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10830560 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 4141 13091 0 0 80 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10830560 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 2638 13091 0 0 73 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10830560 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 1961 13091 0 0 44 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10830560 memory=279925836259328 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10830560 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 405343566 11090493440 57086 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10830560 KiB
################
# More data... #
################
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 556510 13091 0 0 221278 64 5 3 20 0 15 0 405343560 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140571192721184 140570816829382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10846964 memory=55 CPUtime=43.51 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 124485 13091 0 0 4202 141 5 3 20 0 15 0 405343561 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10846964 memory=4382560 CPUtime=43.8 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 121084 13091 0 0 4231 141 5 3 20 0 15 0 405343561 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10846964 memory=8112282956445269571 CPUtime=43.82 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 131734 13091 0 0 4233 141 5 3 20 0 15 0 405343561 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10846964 memory=4382560 CPUtime=43.49 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 141224 13091 0 0 4197 144 5 3 20 0 15 0 405343561 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10846964 memory=4382632 CPUtime=4.16 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 57771 13091 0 0 399 9 5 3 20 0 15 0 405343562 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10846964 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 23 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570588603936 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10846964 memory=4382560 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140569984624128 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10846964 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10846964 memory=15940 CPUtime=16.38 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 32714 13091 0 0 1623 7 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10846964 memory=4382344 CPUtime=16.13 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 36719 13091 0 0 1598 7 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10846964 memory=4382344 CPUtime=6.3 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 34070 13091 0 0 612 10 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10846964 memory=708 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10846964 memory=9364 CPUtime=1.39 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1747 13091 0 0 65 66 5 3 20 0 15 0 405343566 11107291136 1095658 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 2431.88 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4382632 KiB
[startup+2322.3 s]
/proc/loadavg: 1.46 1.50 1.50 3/226 8348
/proc/meminfo: memFree=26260776/32770624 swapFree=66920172/67108860
[pid=7935] ppid=7932 vsize=10846964 memory=4398372 CPUtime=2492.12 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 1261485 13091 0 0 248482 722 5 3 20 0 15 0 405343551 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2711741 1099593 3640 1 0 2673805 0
[pid=7935/tid=7988] ppid=7932 vsize=10846964 memory=4397636 CPUtime=2273.39 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 570112 13091 0 0 227266 65 5 3 20 0 15 0 405343560 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140571192721008 140570823588202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10846964 memory=4397636 CPUtime=43.59 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 126117 13091 0 0 4209 142 5 3 20 0 15 0 405343561 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10846964 memory=4390288 CPUtime=43.87 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 122496 13091 0 0 4237 142 5 3 20 0 15 0 405343561 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10846964 memory=4387588 CPUtime=43.89 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 133229 13091 0 0 4239 142 5 3 20 0 15 0 405343561 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10846964 memory=4393216 CPUtime=43.57 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 143907 13091 0 0 4204 145 5 3 20 0 15 0 405343561 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10846964 memory=4394688 CPUtime=4.17 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 58093 13091 0 0 400 9 5 3 20 0 15 0 405343562 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10846964 memory=4395020 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 23 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570588603936 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10846964 memory=4395020 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140569984624128 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10846964 memory=133 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10846964 memory=4397636 CPUtime=16.38 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 32719 13091 0 0 1623 7 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10846964 memory=4397636 CPUtime=16.13 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 36722 13091 0 0 1598 7 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10846964 memory=4397636 CPUtime=6.3 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 34077 13091 0 0 612 10 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10846964 memory=4398372 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10846964 memory=3580 CPUtime=1.42 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1771 13091 0 0 67 67 5 3 20 0 15 0 405343566 11107291136 1099593 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 2492.12 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4398372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2350.11 s]
/proc/loadavg: 1.64 1.54 1.51 3/226 8352
/proc/meminfo: memFree=26251620/32770624 swapFree=66920172/67108860
[pid=7935] ppid=7932 vsize=10846964 memory=4406612 CPUtime=2520.02 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 1269932 13091 0 0 251271 723 5 3 20 0 15 0 405343551 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2711741 1101653 3640 1 0 2673805 0
[pid=7935/tid=7988] ppid=7932 vsize=10846964 memory=1444 CPUtime=2301.17 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 578528 13091 0 0 230043 66 5 3 20 0 15 0 405343560 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571192720256 140570807832048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10846964 memory=4406612 CPUtime=43.62 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 126124 13091 0 0 4212 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10846964 memory=4406612 CPUtime=43.9 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 122498 13091 0 0 4240 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10846964 memory=4405068 CPUtime=43.92 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 133231 13091 0 0 4242 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10846964 memory=4405068 CPUtime=43.6 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 143909 13091 0 0 4207 145 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10846964 memory=4397636 CPUtime=4.17 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 58107 13091 0 0 400 9 5 3 20 0 15 0 405343562 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10846964 memory=133 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 23 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570588603936 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10846964 memory=4395020 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569984624128 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10846964 memory=4393216 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10846964 memory=4387588 CPUtime=16.38 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 32719 13091 0 0 1623 7 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10846964 memory=4406612 CPUtime=16.13 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 36722 13091 0 0 1598 7 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10846964 memory=4406612 CPUtime=6.3 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 34077 13091 0 0 612 10 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10846964 memory=4405072 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10846964 memory=3272 CPUtime=1.44 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1775 13091 0 0 68 68 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4406612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2350.16 s]
# the end of solver process 7935 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.79 s, system=7.29896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2350.11 s]
/proc/loadavg: 1.64 1.54 1.51 3/226 8352
/proc/meminfo: memFree=26251620/32770624 swapFree=66920172/67108860
[pid=7935] ppid=7932 vsize=10846964 memory=4406612 CPUtime=2520.02 cores=0,2,4,6
/proc/7935/stat : 7935 (java) S 7932 7935 5621 0 -1 1077944320 1269932 13091 0 0 251271 723 5 3 20 0 15 0 405343551 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140720568813280 140571220885239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
/proc/7935/statm: 2711741 1101653 3640 1 0 2673805 0
[pid=7935/tid=7988] ppid=7932 vsize=10846964 memory=1444 CPUtime=2301.17 cores=0,2,4,6
/proc/7935/task/7988/stat : 7988 (java) R 7932 7935 5621 0 -1 4202560 578528 13091 0 0 230043 66 5 3 20 0 15 0 405343560 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571192720256 140570807832048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7989] ppid=7932 vsize=10846964 memory=4406612 CPUtime=43.62 cores=0,2,4,6
/proc/7935/task/7989/stat : 7989 (java) S 7932 7935 5621 0 -1 1077944384 126124 13091 0 0 4212 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571225127184 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7990] ppid=7932 vsize=10846964 memory=4406612 CPUtime=43.9 cores=0,2,4,6
/proc/7935/task/7990/stat : 7990 (java) S 7932 7935 5621 0 -1 1077944384 122498 13091 0 0 4240 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571129330064 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7991] ppid=7932 vsize=10846964 memory=4405068 CPUtime=43.92 cores=0,2,4,6
/proc/7935/task/7991/stat : 7991 (java) S 7932 7935 5621 0 -1 1077944384 133231 13091 0 0 4242 142 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571128277520 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7992] ppid=7932 vsize=10846964 memory=4405068 CPUtime=43.6 cores=0,2,4,6
/proc/7935/task/7992/stat : 7992 (java) S 7932 7935 5621 0 -1 1077944384 143909 13091 0 0 4207 145 5 3 20 0 15 0 405343561 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140571127224976 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7993] ppid=7932 vsize=10846964 memory=4397636 CPUtime=4.17 cores=0,2,4,6
/proc/7935/task/7993/stat : 7993 (java) S 7932 7935 5621 0 -1 1077944384 58107 13091 0 0 400 9 5 3 20 0 15 0 405343562 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570680375792 140571220896386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7994] ppid=7932 vsize=10846964 memory=133 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7994/stat : 7994 (java) S 7932 7935 5621 0 -1 1077944384 23 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570588603936 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7995] ppid=7932 vsize=10846964 memory=4395020 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7995/stat : 7995 (java) S 7932 7935 5621 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 405343563 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569984624128 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7996] ppid=7932 vsize=10846964 memory=4393216 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/7996/stat : 7996 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569744333520 140571220903835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7997] ppid=7932 vsize=10846964 memory=4387588 CPUtime=16.38 cores=0,2,4,6
/proc/7935/task/7997/stat : 7997 (java) S 7932 7935 5621 0 -1 1077944384 32719 13091 0 0 1623 7 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570679322608 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7998] ppid=7932 vsize=10846964 memory=4406612 CPUtime=16.13 cores=0,2,4,6
/proc/7935/task/7998/stat : 7998 (java) S 7932 7935 5621 0 -1 1077944384 36722 13091 0 0 1598 7 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570678270064 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=7999] ppid=7932 vsize=10846964 memory=4406612 CPUtime=6.3 cores=0,2,4,6
/proc/7935/task/7999/stat : 7999 (java) S 7932 7935 5621 0 -1 1077944384 34077 13091 0 0 612 10 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570677217520 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8000] ppid=7932 vsize=10846964 memory=4405072 CPUtime=0.08 cores=0,2,4,6
/proc/7935/task/8000/stat : 8000 (java) S 7932 7935 5621 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140569710774880 140571220895445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
[pid=7935/tid=8001] ppid=7932 vsize=10846964 memory=3272 CPUtime=1.44 cores=0,2,4,6
/proc/7935/task/8001/stat : 8001 (java) S 7932 7935 5621 0 -1 1077944384 1775 13091 0 0 68 68 5 3 20 0 15 0 405343566 11107291136 1101653 33554432000 4194304 4196468 140720568830736 140570676165424 140571220896386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27889664 140720568838901 140720568841413 140720568841413 140720568844239 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4406612 KiB
Child status: 143
Real time (s): 2350.16
CPU time (s): 2520.09
CPU user time (s): 2512.79
CPU system time (s): 7.29896
CPU usage (%): 107.231
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 5639520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.79
system time used= 7.29896
maximum resident set size= 5643616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1287103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91308
involuntary context switches= 4887
# summary of solver processes directly reported to runsolver:
# pid: 7935
# total CPU time (s): 2520.09
# total CPU user time (s): 2512.79
# total CPU system time (s): 7.29896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7515 second user time and 22.3269 second system time
The end