runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456884-1307221254/watcher-3456884-1307221254 -o /tmp/evaluation-result-3456884-1307221254/solver-3456884-1307221254 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456884-1307221254.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.08 2.04 2/532 31547
/proc/meminfo: memFree=17005704/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 6484 0 1 0 0 0 0 0 25 0 2 0 814540996 10694979584 6187 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2611079 6199 917 9 0 2602235 0
[pid=31547/tid=31548] ppid=31545 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 5432 0 1 0 0 0 0 0 25 0 2 0 814540996 10694979584 6248 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0941701 s]
/proc/loadavg: 1.96 2.08 2.04 2/532 31547
/proc/meminfo: memFree=17005704/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10540336 CPUtime=0.09 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 12967 0 1 0 8 1 0 0 25 0 18 0 814540996 10793304064 12641 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2635084 12641 2092 9 0 2625818 0
[pid=31547/tid=31548] ppid=31545 vsize=10540336 CPUtime=0.07 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 11030 0 1 0 6 1 0 0 18 0 18 0 814540996 10793304064 12641 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46930726869011 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540336
[startup+0.101052 s]
/proc/loadavg: 1.96 2.08 2.04 2/532 31547
/proc/meminfo: memFree=17005704/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10540336 CPUtime=0.1 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 13078 0 1 0 9 1 0 0 25 0 18 0 814540996 10793304064 12752 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2635084 12753 2092 9 0 2625818 0
[pid=31547/tid=31548] ppid=31545 vsize=10540336 CPUtime=0.08 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 11143 0 1 0 7 1 0 0 18 0 18 0 814540996 10793304064 12754 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46930727532056 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540336
[startup+0.30102 s]
/proc/loadavg: 1.96 2.08 2.04 2/532 31547
/proc/meminfo: memFree=17005704/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10553196 CPUtime=0.57 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 21180 0 1 0 55 2 0 0 25 0 18 0 814540996 10806472704 19252 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638299 19253 2202 9 0 2629033 0
[pid=31547/tid=31548] ppid=31545 vsize=10553196 CPUtime=0.28 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 13192 0 1 0 26 2 0 0 18 0 18 0 814540996 10806472704 19254 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46930725328520 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10553196
[startup+0.700946 s]
/proc/loadavg: 1.96 2.08 2.04 2/532 31547
/proc/meminfo: memFree=17005704/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552288 CPUtime=1.34 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 42479 0 1 0 129 5 0 0 25 0 19 0 814540996 10805542912 39728 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638072 39730 2224 9 0 2628806 0
[pid=31547/tid=31548] ppid=31545 vsize=10552288 CPUtime=0.68 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 33433 0 1 0 64 4 0 0 18 0 19 0 814540996 10805542912 39731 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505781804 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10552288
[startup+1.50083 s]
/proc/loadavg: 1.96 2.08 2.04 4/551 31566
/proc/meminfo: memFree=16793512/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552288 CPUtime=2.63 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 93021 0 1 0 251 12 0 0 25 0 19 0 814540996 10805542912 84242 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638072 84243 2233 9 0 2628806 0
[pid=31547/tid=31548] ppid=31545 vsize=10552288 CPUtime=1.48 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 77771 0 1 0 138 10 0 0 19 0 19 0 814540996 10805542912 84244 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505783097 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84245 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84246 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84248 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84249 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84250 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84251 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84253 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 84254 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 814540999 10805542912 84255 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 84257 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 84258 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805542912 84260 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552288 CPUtime=0.58 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 9274 0 0 0 57 1 0 0 20 0 19 0 814541002 10805542912 84261 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552288 CPUtime=0.55 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 4819 0 0 0 55 0 0 0 15 0 19 0 814541002 10805542912 84262 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31564] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31564/stat : 31564 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805542912 84264 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31565] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31565/stat : 31565 (java) R 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814541002 10805542912 84267 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31547/tid=31566] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805542912 84268 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10552288
[startup+3.10154 s]
/proc/loadavg: 1.96 2.08 2.04 3/551 31566
/proc/meminfo: memFree=16519844/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552288 CPUtime=4.54 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 201159 0 1 0 430 24 0 0 25 0 19 0 814540996 10805542912 189668 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638072 189673 2234 9 0 2628806 0
[pid=31547/tid=31548] ppid=31545 vsize=10552288 CPUtime=3.08 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 183172 0 1 0 287 21 0 0 23 0 19 0 814540996 10805542912 189675 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505553194 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189678 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189680 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189683 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189686 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189686 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189687 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189688 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 189689 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814540999 10805542912 189691 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 189694 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 189696 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805542912 189697 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552288 CPUtime=0.78 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 12004 0 0 0 77 1 0 0 15 0 19 0 814541002 10805542912 189698 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552288 CPUtime=0.65 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 4830 0 0 0 65 0 0 0 15 0 19 0 814541002 10805542912 189700 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31564] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31564/stat : 31564 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805542912 189701 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31565] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31565/stat : 31565 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814541002 10805542912 189703 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31566] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805542912 189704 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10552288
[startup+6.30092 s]
/proc/loadavg: 1.97 2.08 2.04 3/551 31566
/proc/meminfo: memFree=15583652/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552288 CPUtime=7.78 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 429220 0 1 0 729 49 0 0 25 0 19 0 814540996 10805542912 417727 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638072 417729 2235 9 0 2628806 0
[pid=31547/tid=31548] ppid=31545 vsize=10552288 CPUtime=6.28 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 411222 0 1 0 581 47 0 0 25 0 19 0 814540996 10805542912 417731 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505781785 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417733 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417735 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417737 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417738 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417740 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417742 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417743 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814540998 10805542912 417744 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814540999 10805542912 417745 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 417746 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541000 10805542912 417746 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552288 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805542912 417748 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552288 CPUtime=0.81 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 12009 0 0 0 80 1 0 0 15 0 19 0 814541002 10805542912 417749 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552288 CPUtime=0.66 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 4832 0 0 0 66 0 0 0 15 0 19 0 814541002 10805542912 417752 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=31547/tid=31566] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805248000 910722 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.5
Current children cumulated vsize (KiB) 10552000
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 31764
/proc/meminfo: memFree=13633744/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552000 CPUtime=1728.7 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 924368 0 1 0 172762 108 0 0 25 0 19 0 814540996 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638000 911706 2264 9 0 2628734 0
[pid=31547/tid=31548] ppid=31545 vsize=10552000 CPUtime=1718.33 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 835789 0 1 0 171740 93 0 0 25 0 19 0 814540996 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505581005 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552000 CPUtime=0.94 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 8644 0 0 0 93 1 0 0 15 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552000 CPUtime=0.75 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 5940 0 0 0 74 1 0 0 15 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552000 CPUtime=0.82 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 5541 0 0 0 82 0 0 0 16 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552000 CPUtime=0.88 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 7101 0 0 0 87 1 0 0 16 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552000 CPUtime=0.76 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 5544 0 0 0 76 0 0 0 15 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552000 CPUtime=0.77 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 5775 0 0 0 76 1 0 0 16 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552000 CPUtime=0.89 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 12065 0 0 0 87 2 0 0 15 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552000 CPUtime=0.74 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 7861 0 0 0 73 1 0 0 16 0 19 0 814540998 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552000 CPUtime=1.85 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 11603 0 0 0 183 2 0 0 15 0 19 0 814540999 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552000 CPUtime=0.9 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 12018 0 0 0 89 1 0 0 16 0 19 0 814541002 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552000 CPUtime=0.98 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 5239 0 0 0 97 1 0 0 15 0 19 0 814541002 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31564] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31564/stat : 31564 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31565] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31565/stat : 31565 (java) S 31545 31547 31003 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 814541002 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31566] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805248000 911706 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.7
Current children cumulated vsize (KiB) 10552000
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 31766
/proc/meminfo: memFree=13616464/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552000 CPUtime=1788.95 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 925108 0 1 0 178787 108 0 0 25 0 19 0 814540996 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638000 912424 2264 9 0 2628734 0
[pid=31547/tid=31548] ppid=31545 vsize=10552000 CPUtime=1778.2 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 835794 0 1 0 177727 93 0 0 25 0 19 0 814540996 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505780851 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552000 CPUtime=0.98 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 8698 0 0 0 97 1 0 0 15 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552000 CPUtime=0.8 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 5984 0 0 0 79 1 0 0 16 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552000 CPUtime=0.87 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 5680 0 0 0 87 0 0 0 16 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552000 CPUtime=0.96 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 7254 0 0 0 95 1 0 0 16 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552000 CPUtime=0.81 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 5650 0 0 0 81 0 0 0 15 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552000 CPUtime=0.81 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 5787 0 0 0 80 1 0 0 15 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552000 CPUtime=0.91 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 12180 0 0 0 89 2 0 0 15 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552000 CPUtime=0.78 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 7965 0 0 0 77 1 0 0 15 0 19 0 814540998 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552000 CPUtime=1.85 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 11607 0 0 0 183 2 0 0 15 0 19 0 814540999 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552000 CPUtime=0.9 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 12018 0 0 0 89 1 0 0 16 0 19 0 814541002 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552000 CPUtime=0.98 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 5239 0 0 0 97 1 0 0 15 0 19 0 814541002 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31564] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31564/stat : 31564 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31565] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31565/stat : 31565 (java) S 31545 31547 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814541002 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31566] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805248000 912424 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.95
Current children cumulated vsize (KiB) 10552000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 31766
/proc/meminfo: memFree=13608892/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=10552000 CPUtime=1800.02 cores=1,3,5,7
/proc/31547/stat : 31547 (java) S 31545 31547 31003 0 -1 4202496 926193 0 1 0 179894 108 0 0 25 0 19 0 814540996 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 2638000 913505 2264 9 0 2628734 0
[pid=31547/tid=31548] ppid=31545 vsize=10552000 CPUtime=1788.88 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4202560 835795 0 1 0 178795 93 0 0 25 0 19 0 814540996 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 46912505780851 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31547/tid=31550] ppid=31545 vsize=10552000 CPUtime=0.98 cores=1,3,5,7
/proc/31547/task/31550/stat : 31550 (java) S 31545 31547 31003 0 -1 4202560 8698 0 0 0 97 1 0 0 15 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31551] ppid=31545 vsize=10552000 CPUtime=0.8 cores=1,3,5,7
/proc/31547/task/31551/stat : 31551 (java) S 31545 31547 31003 0 -1 4202560 5984 0 0 0 79 1 0 0 15 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31552] ppid=31545 vsize=10552000 CPUtime=0.89 cores=1,3,5,7
/proc/31547/task/31552/stat : 31552 (java) S 31545 31547 31003 0 -1 4202560 5696 0 0 0 89 0 0 0 16 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31553] ppid=31545 vsize=10552000 CPUtime=0.97 cores=1,3,5,7
/proc/31547/task/31553/stat : 31553 (java) S 31545 31547 31003 0 -1 4202560 7276 0 0 0 96 1 0 0 16 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31554] ppid=31545 vsize=10552000 CPUtime=0.81 cores=1,3,5,7
/proc/31547/task/31554/stat : 31554 (java) S 31545 31547 31003 0 -1 4202560 5650 0 0 0 81 0 0 0 15 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 5 0 0 0
[pid=31547/tid=31555] ppid=31545 vsize=10552000 CPUtime=0.81 cores=1,3,5,7
/proc/31547/task/31555/stat : 31555 (java) S 31545 31547 31003 0 -1 4202560 5787 0 0 0 80 1 0 0 15 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31556] ppid=31545 vsize=10552000 CPUtime=0.92 cores=1,3,5,7
/proc/31547/task/31556/stat : 31556 (java) S 31545 31547 31003 0 -1 4202560 12217 0 0 0 90 2 0 0 16 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31557] ppid=31545 vsize=10552000 CPUtime=0.8 cores=1,3,5,7
/proc/31547/task/31557/stat : 31557 (java) S 31545 31547 31003 0 -1 4202560 8027 0 0 0 79 1 0 0 16 0 19 0 814540998 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31558] ppid=31545 vsize=10552000 CPUtime=2.18 cores=1,3,5,7
/proc/31547/task/31558/stat : 31558 (java) S 31545 31547 31003 0 -1 4202560 12554 0 0 0 216 2 0 0 15 0 19 0 814540999 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 0 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31559] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31559/stat : 31559 (java) S 31545 31547 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31560] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31560/stat : 31560 (java) S 31545 31547 31003 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814541000 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31561] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31561/stat : 31561 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738228657 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31562] ppid=31545 vsize=10552000 CPUtime=0.9 cores=1,3,5,7
/proc/31547/task/31562/stat : 31562 (java) S 31545 31547 31003 0 -1 4202560 12018 0 0 0 89 1 0 0 16 0 19 0 814541002 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31563] ppid=31545 vsize=10552000 CPUtime=0.98 cores=1,3,5,7
/proc/31547/task/31563/stat : 31563 (java) S 31545 31547 31003 0 -1 4202560 5239 0 0 0 97 1 0 0 15 0 19 0 814541002 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
[pid=31547/tid=31564] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31564/stat : 31564 (java) S 31545 31547 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541002 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738220953 0 4 0 16800975 18446604466024936448 0 0 -1 3 0 0 0
[pid=31547/tid=31565] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31565/stat : 31565 (java) S 31545 31547 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814541002 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 1 0 0 0
[pid=31547/tid=31566] ppid=31545 vsize=10552000 CPUtime=0 cores=1,3,5,7
/proc/31547/task/31566/stat : 31566 (java) S 31545 31547 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814541048 10805248000 913505 33554432000 1073741824 1073778376 140736173852448 18446744073709551615 264738221568 0 4 0 16800975 18446604466024936448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.43 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 31766
/proc/meminfo: memFree=13608892/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/31547/stat : 31547 (java) Z 31545 31547 31003 0 -1 4203548 926227 0 1 0 179905 113 0 0 17 0 2 0 814540996 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 0 0 0 0 0 0 0
[pid=31547/tid=31548] ppid=31545 vsize=0 CPUtime=1788.97 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4203588 835795 0 1 0 178799 98 0 0 25 0 2 0 814540996 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1793.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 31766
/proc/meminfo: memFree=13608892/32951124 swapFree=62999000/67111528
[pid=31547] ppid=31545 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/31547/stat : 31547 (java) Z 31545 31547 31003 0 -1 4203548 926227 0 1 0 179905 121 0 0 17 0 2 0 814540996 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31547/statm: 0 0 0 0 0 0 0
[pid=31547/tid=31548] ppid=31545 vsize=0 CPUtime=1789.04 cores=1,3,5,7
/proc/31547/task/31548/stat : 31548 (java) R 31545 31547 31003 0 -1 4203588 835795 0 1 0 178799 105 0 0 25 0 2 0 814540996 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.51
CPU time (s): 1800.27
CPU user time (s): 1799.05
CPU system time (s): 1.22181
CPU usage (%): 100.377
Max. virtual memory (cumulated for all children) (KiB): 10554456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.22181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40401
involuntary context switches= 10181
runsolver used 9.17061 second user time and 21.8487 second system time
The end