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 (15339 MiB free)
memory of node 1: 16384 MiB (13726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387266-1568297133/watcher-4387266-1568297133 -o /tmp/evaluation-result-4387266-1568297133/solver-4387266-1568297133 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=152508567 HOME/instance-4387266-1568297133.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=9498, runsolver pid=9495
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 1.77 1.56 1.58 3/219 9555
/proc/meminfo: memFree=29758604/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=9972712 memory=15180 CPUtime=0.09 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 4533 13109 0 0 1 1 5 2 20 0 6 0 405971728 10212057088 3795 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2493178 3795 1935 1 0 2481616 0
[pid=9498/tid=9551] ppid=9495 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 2344 13109 0 0 1 0 5 2 20 0 6 0 405971737 10212057088 3795 33554432000 4194304 4196468 140726853999600 140351918711376 140351930955102 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 6 0 405971737 10212057088 3795 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=9972712 memory=140223986783872 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 6 0 405971737 10212057088 3795 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 6 0 405971737 10212057088 3795 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 6 0 405971737 10212057088 3795 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB
[startup+0.210168 s]*
/proc/loadavg: 1.77 1.56 1.58 3/228 9564
/proc/meminfo: memFree=29737016/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10818940 memory=39020 CPUtime=0.25 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 7065 13109 0 0 16 2 5 2 20 0 15 0 405971728 11078594560 9755 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2704735 9755 2975 1 0 2667149 0
[pid=9498/tid=9551] ppid=9495 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 3502 13109 0 0 10 1 5 2 20 0 15 0 405971737 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351918670800 140351930955102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10818940 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10818940 memory=140223986793369 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10818940 memory=140223986783872 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971739 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 405971739 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351142617888 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971740 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351008400496 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11078594560 9755 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 465 13109 0 0 1 0 5 2 20 0 15 0 405971742 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 190 13109 0 0 0 0 5 2 20 0 15 0 405971742 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10818940 memory=140223986783872 CPUtime=0.1 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 692 13109 0 0 3 0 5 2 20 0 15 0 405971742 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11078594560 9755 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10818940 memory=140223986783872 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971743 11078594560 9755 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39020 KiB
[startup+0.311362 s]*
/proc/loadavg: 1.77 1.56 1.58 4/228 9564
/proc/meminfo: memFree=29725400/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10819588 memory=48040 CPUtime=0.39 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 10629 13109 0 0 28 4 5 2 20 0 15 0 405971728 11079258112 12010 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2704897 12010 3103 1 0 2667149 0
[pid=9498/tid=9551] ppid=9495 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 7092 13109 0 0 19 2 5 2 20 0 15 0 405971737 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351918694568 140351802785654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971739 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 405971739 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351142617888 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971740 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351008400496 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11079778304 12142 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 472 13109 0 0 2 0 5 2 20 0 15 0 405971742 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 194 13109 0 0 1 0 5 2 20 0 15 0 405971742 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10820096 memory=140223986783872 CPUtime=0.12 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 735 13109 0 0 5 0 5 2 20 0 15 0 405971742 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11079778304 12142 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10820096 memory=140223986783872 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971743 11079778304 12142 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819588 KiB
Current children cumulated memory: 48040 KiB
[startup+0.700692 s]
/proc/loadavg: 1.77 1.56 1.58 3/228 9564
/proc/meminfo: memFree=29712564/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10824340 memory=81548 CPUtime=1.13 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 15106 13109 0 0 99 7 5 2 20 0 15 0 405971728 11084124160 20387 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2706085 20387 3497 1 0 2668173 0
[pid=9498/tid=9551] ppid=9495 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 10533 13109 0 0 54 5 5 2 20 0 15 0 405971737 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351918697488 140351946896541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10824340 memory=140223837253840 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971737 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10824340 memory=140226387247721 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 2 13109 0 0 0 0 5 2 20 0 15 0 405971737 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10824340 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 5 13109 0 0 0 0 5 2 20 0 15 0 405971739 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10824340 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 13 13109 0 0 0 0 5 2 20 0 15 0 405971739 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351142617888 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10824340 memory=7885632885785908327 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971740 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351008400496 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10824340 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11084124160 20387 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10824340 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 761 13109 0 0 13 0 5 2 20 0 15 0 405971742 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10824340 memory=516 CPUtime=0.2 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 549 13109 0 0 13 0 5 2 20 0 15 0 405971742 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10824340 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 1023 13109 0 0 17 0 5 2 20 0 15 0 405971742 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10824340 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11084124160 20387 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10824340 memory=1668 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971743 11084124160 20387 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81548 KiB
[startup+1.50068 s]
/proc/loadavg: 1.77 1.56 1.58 4/228 9564
/proc/meminfo: memFree=29670380/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10834656 memory=174760 CPUtime=2.61 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 22615 13109 0 0 242 12 5 2 20 0 15 0 405971728 11094687744 43690 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2708664 43690 3580 1 0 2670733 0
[pid=9498/tid=9551] ppid=9495 vsize=10834656 memory=170996 CPUtime=1.42 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 15681 13109 0 0 129 6 5 2 20 0 15 0 405971737 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351918672344 140351551196334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10834656 memory=2436 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 15 13109 0 0 1 0 5 2 20 0 15 0 405971737 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10834656 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 321 13109 0 0 1 0 5 2 20 0 15 0 405971737 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 36 13109 0 0 1 0 5 2 20 0 15 0 405971737 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10834656 memory=-7303279828959712342 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 81 13109 0 0 1 0 5 2 20 0 15 0 405971737 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10834656 memory=3833724587141655611 CPUtime=0.08 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 87 13109 0 0 1 0 5 2 20 0 15 0 405971739 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10834656 memory=-6798310482166503264 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 14 13109 0 0 0 0 5 2 20 0 15 0 405971739 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351142617888 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10834656 memory=-6078294146213043397 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971740 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351008400496 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11094687744 43690 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10834656 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 1761 13109 0 0 37 0 5 2 20 0 15 0 405971742 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10834656 memory=4580 CPUtime=0.34 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) R 9495 9498 5271 0 -1 1077944384 801 13109 0 0 27 0 5 2 20 0 15 0 405971742 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10834656 memory=6075463926073611600 CPUtime=0.47 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) R 9495 9498 5271 0 -1 4202560 1603 13109 0 0 40 0 5 2 20 0 15 0 405971742 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351215549296 140351930918245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10834656 memory=7523659450237735012 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11094687744 43690 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10834656 memory=7516902878303906409 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 1 13109 0 0 0 0 5 2 20 0 15 0 405971743 11094687744 43690 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+6.30083 s]
/proc/loadavg: 1.95 1.60 1.59 3/228 9564
/proc/meminfo: memFree=29262488/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10844916 memory=575340 CPUtime=11.86 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 63121 13109 0 0 1147 32 5 2 20 0 15 0 405971728 11105193984 143835 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2711229 143835 3610 1 0 2673293 0
[pid=9498/tid=9551] ppid=9495 vsize=10844916 memory=290763849282617370 CPUtime=5.81 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 23612 13109 0 0 563 11 5 2 20 0 15 0 405971737 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351918707488 140351563120843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10844916 memory=4872558044660077418 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 102 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10844916 memory=1668 CPUtime=0.17 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 372 13109 0 0 8 2 5 2 20 0 15 0 405971737 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10844916 memory=904 CPUtime=0.19 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 418 13109 0 0 9 3 5 2 20 0 15 0 405971737 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10844916 memory=176476 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 553 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10844916 memory=18 CPUtime=0.11 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 4812 13109 0 0 4 0 5 2 20 0 15 0 405971739 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10844916 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 23 13109 0 0 0 0 5 2 20 0 15 0 405971739 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351142617952 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 405971740 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351008400512 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 143835 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10844916 memory=513692 CPUtime=2.16 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 13868 13109 0 0 206 3 5 2 20 0 15 0 405971742 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10844916 memory=7956005031678667109 CPUtime=2.21 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 10946 13109 0 0 213 1 5 2 20 0 15 0 405971742 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10844916 memory=4580 CPUtime=1.29 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 6170 13109 0 0 120 2 5 2 20 0 15 0 405971742 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10844916 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 143835 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10844916 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 12 13109 0 0 0 0 5 2 20 0 15 0 405971743 11105193984 143835 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 11.86 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 575340 KiB
[startup+7.08322 s]
# the end of solver process 9498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.7839 s, system=0.383913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40097 s]
/proc/loadavg: 1.95 1.60 1.59 3/228 9564
/proc/meminfo: memFree=29262488/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10844916 memory=610156 CPUtime=11.96 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 63141 13109 0 0 1156 33 5 2 20 0 15 0 405971728 11105193984 152539 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2711229 152539 3610 1 0 2673293 0
[pid=9498/tid=9551] ppid=9495 vsize=10844916 memory=-7522837583129502606 CPUtime=5.92 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 23629 13109 0 0 573 12 5 2 20 0 15 0 405971737 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351918707488 140351560826892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10844916 memory=179552 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 102 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10844916 memory=4137290303932963203 CPUtime=0.17 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 372 13109 0 0 8 2 5 2 20 0 15 0 405971737 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10844916 memory=3624 CPUtime=0.19 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 418 13109 0 0 9 3 5 2 20 0 15 0 405971737 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10844916 memory=20584 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 553 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10844916 memory=984 CPUtime=0.11 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 4812 13109 0 0 4 0 5 2 20 0 15 0 405971739 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10844916 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 23 13109 0 0 0 0 5 2 20 0 15 0 405971739 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351142617952 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10844916 memory=1412 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 405971740 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351008400512 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10844916 memory=1548 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 152539 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10844916 memory=7148 CPUtime=2.16 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 13868 13109 0 0 206 3 5 2 20 0 15 0 405971742 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10844916 memory=3432 CPUtime=2.21 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 10946 13109 0 0 213 1 5 2 20 0 15 0 405971742 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10844916 memory=616 CPUtime=1.29 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 6173 13109 0 0 120 2 5 2 20 0 15 0 405971742 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10844916 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 152539 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10844916 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 12 13109 0 0 0 0 5 2 20 0 15 0 405971743 11105193984 152539 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 11.96 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 610156 KiB
[startup+6.80079 s]
/proc/loadavg: 1.95 1.60 1.59 3/228 9564
/proc/meminfo: memFree=29262488/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10844916 memory=630736 CPUtime=12.37 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 63241 13109 0 0 1197 33 5 2 20 0 15 0 405971728 11105193984 157684 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2711229 157684 3610 1 0 2673293 0
[pid=9498/tid=9551] ppid=9495 vsize=10844916 memory=14012 CPUtime=6.31 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 23638 13109 0 0 612 12 5 2 20 0 15 0 405971737 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351918710224 140351552170590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10844916 memory=9056 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 103 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10844916 memory=14056 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 379 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10844916 memory=2116 CPUtime=0.19 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 419 13109 0 0 9 3 5 2 20 0 15 0 405971737 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10844916 memory=516 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 554 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10844916 memory=1556 CPUtime=0.11 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 4871 13109 0 0 4 0 5 2 20 0 15 0 405971739 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10844916 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 23 13109 0 0 0 0 5 2 20 0 15 0 405971739 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351142618016 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10844916 memory=473160 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 405971740 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351008400512 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10844916 memory=4134692831991783777 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 157684 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10844916 memory=0 CPUtime=2.16 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) S 9495 9498 5271 0 -1 1077944384 13868 13109 0 0 206 3 5 2 20 0 15 0 405971742 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351217654384 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10844916 memory=6944656592455097440 CPUtime=2.21 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) S 9495 9498 5271 0 -1 1077944384 10946 13109 0 0 213 1 5 2 20 0 15 0 405971742 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351216601584 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10844916 memory=6656426216303648864 CPUtime=1.3 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) S 9495 9498 5271 0 -1 1077944384 6195 13109 0 0 121 2 5 2 20 0 15 0 405971742 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 157684 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 12 13109 0 0 0 0 5 2 20 0 15 0 405971743 11105193984 157684 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 630736 KiB
[startup+7.00219 s]*
/proc/loadavg: 1.95 1.60 1.59 6/228 9564
/proc/meminfo: memFree=29144432/32770624 swapFree=66934312/67108860
[pid=9498] ppid=9495 vsize=10844916 memory=632408 CPUtime=12.96 cores=0,2,4,6
/proc/9498/stat : 9498 (java) S 9495 9498 5271 0 -1 1077944320 63735 13109 0 0 1256 33 5 2 20 0 15 0 405971728 11105193984 158102 33554432000 4194304 4196468 140726853999600 140726853982144 140351946874615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
/proc/9498/statm: 2711229 158102 3614 1 0 2673293 0
[pid=9498/tid=9551] ppid=9495 vsize=10844916 memory=8317482817917895235 CPUtime=6.52 cores=0,2,4,6
/proc/9498/task/9551/stat : 9551 (java) R 9495 9498 5271 0 -1 4202560 23885 13109 0 0 633 12 5 2 20 0 15 0 405971737 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351918708080 140351563302230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9552] ppid=9495 vsize=10844916 memory=4872558044660077418 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9552/stat : 9552 (java) S 9495 9498 5271 0 -1 1077944384 103 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351951117200 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9553] ppid=9495 vsize=10844916 memory=1808 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9553/stat : 9553 (java) S 9495 9498 5271 0 -1 1077944384 379 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351520566032 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9554] ppid=9495 vsize=10844916 memory=920 CPUtime=0.19 cores=0,2,4,6
/proc/9498/task/9554/stat : 9554 (java) S 9495 9498 5271 0 -1 1077944384 419 13109 0 0 9 3 5 2 20 0 15 0 405971737 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351519513744 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9555] ppid=9495 vsize=10844916 memory=3848 CPUtime=0.18 cores=0,2,4,6
/proc/9498/task/9555/stat : 9555 (java) S 9495 9498 5271 0 -1 1077944384 554 13109 0 0 9 2 5 2 20 0 15 0 405971737 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351518460944 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9556] ppid=9495 vsize=10844916 memory=2684 CPUtime=0.11 cores=0,2,4,6
/proc/9498/task/9556/stat : 9556 (java) S 9495 9498 5271 0 -1 1077944384 4871 13109 0 0 4 0 5 2 20 0 15 0 405971739 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351218706544 140351946885762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9557] ppid=9495 vsize=10844916 memory=2780 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9557/stat : 9557 (java) S 9495 9498 5271 0 -1 1077944384 23 13109 0 0 0 0 5 2 20 0 15 0 405971739 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351142618016 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9558] ppid=9495 vsize=10844916 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9558/stat : 9558 (java) S 9495 9498 5271 0 -1 1077944384 17 13109 0 0 0 0 5 2 20 0 15 0 405971740 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351008400512 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9559] ppid=9495 vsize=10844916 memory=3256 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9559/stat : 9559 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 158102 33554432000 4194304 4196468 140726853999600 140350499674192 140351946893211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9560] ppid=9495 vsize=10844916 memory=1925784 CPUtime=2.32 cores=0,2,4,6
/proc/9498/task/9560/stat : 9560 (java) R 9495 9498 5271 0 -1 4202560 13933 13109 0 0 222 3 5 2 20 0 15 0 405971742 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351217644064 140351932930915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9561] ppid=9495 vsize=10844916 memory=4100 CPUtime=2.36 cores=0,2,4,6
/proc/9498/task/9561/stat : 9561 (java) R 9495 9498 5271 0 -1 4202560 11013 13109 0 0 228 1 5 2 20 0 15 0 405971742 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351216593040 140351930373948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9562] ppid=9495 vsize=10844916 memory=1408 CPUtime=1.37 cores=0,2,4,6
/proc/9498/task/9562/stat : 9562 (java) R 9495 9498 5271 0 -1 1077944384 6310 13109 0 0 128 2 5 2 20 0 15 0 405971742 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351215549296 140351946885762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9563] ppid=9495 vsize=10844916 memory=2476 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9563/stat : 9563 (java) S 9495 9498 5271 0 -1 1077944384 3 13109 0 0 0 0 5 2 20 0 15 0 405971742 11105193984 158102 33554432000 4194304 4196468 140726853999600 140350466116576 140351946884821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
[pid=9498/tid=9564] ppid=9495 vsize=10844916 memory=140223986783872 CPUtime=0.07 cores=0,2,4,6
/proc/9498/task/9564/stat : 9564 (java) S 9495 9498 5271 0 -1 1077944384 12 13109 0 0 0 0 5 2 20 0 15 0 405971743 11105193984 158102 33554432000 4194304 4196468 140726853999600 140351214496176 140351946885762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27533312 140726854003446 140726854005957 140726854005957 140726854008783 0
Current children cumulated CPU time: 12.96 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 632408 KiB
Child status: 0
Real time (s): 7.08326
CPU time (s): 13.1678
CPU user time (s): 12.7839
CPU system time (s): 0.383913
CPU usage (%): 185.9
Max. virtual memory (cumulated for all children) (KiB): 10850128
Max. memory (cumulated for all children) (KiB): 632408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7839
system time used= 0.383913
maximum resident set size= 635020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6205
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 9498
# total CPU time (s): 13.1678
# total CPU user time (s): 12.7839
# total CPU system time (s): 0.383913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064382 second user time and 0.1165 second system time
The end