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-3456008-1307661383/watcher-3456008-1307661383 -o /tmp/evaluation-result-3456008-1307661383/solver-3456008-1307661383 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456008-1307661383.opb
running on 4 cores: 0,2,4,6
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.92 1.98 1.91 3/176 10568
/proc/meminfo: memFree=32032100/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10566/stat : 10566 (java) R 10563 10566 8057 0 -1 4202496 792 0 0 0 0 0 0 0 18 0 1 0 877740917 23580672 535 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216629552917 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10566/statm: 5757 546 408 9 0 124 0
[startup+0.0284219 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 10568
/proc/meminfo: memFree=32032100/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10453028 CPUtime=0.02 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 10116 0 1 0 1 1 0 0 18 0 10 0 877740917 10703900672 9815 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2613257 9815 1057 9 0 2604413 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10453028
[startup+0.105152 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 10568
/proc/meminfo: memFree=32032100/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10539872 CPUtime=0.11 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 13066 0 1 0 9 2 0 0 18 0 18 0 877740917 10792828928 12762 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2634968 12762 2093 9 0 2625702 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539872
[startup+0.306 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 10568
/proc/meminfo: memFree=32032100/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10541740 CPUtime=0.5 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 16395 0 1 0 48 2 0 0 18 0 19 0 877740917 10794741760 15283 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2635435 15283 2201 9 0 2626169 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541740
[startup+0.712027 s]
/proc/loadavg: 1.92 1.98 1.91 3/176 10568
/proc/meminfo: memFree=32032100/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10553312 CPUtime=1.68 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 42102 0 1 0 162 6 0 0 18 0 19 0 877740917 10806591488 35721 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2638328 35723 2222 9 0 2629062 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10553312
[startup+1.5009 s]
/proc/loadavg: 1.93 1.98 1.91 4/214 10606
/proc/meminfo: memFree=31386276/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10553312 CPUtime=2.78 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 114815 0 1 0 262 16 0 0 18 0 19 0 877740917 10806591488 108434 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2638328 108438 2225 9 0 2629062 0
[pid=10566/tid=10572] ppid=10563 vsize=10553312 CPUtime=1.48 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 100072 0 1 0 135 13 0 0 21 0 19 0 877740918 10806591488 108441 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912505567084 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877740920 10806591488 108444 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 108448 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 108452 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 108456 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 108459 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 108463 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10806591488 108466 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10806591488 108469 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877740921 10806591488 108472 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877740921 10806591488 108475 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877740921 10806591488 108479 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10806591488 108481 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10553312 CPUtime=0.68 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5798 0 0 0 68 0 0 0 15 0 19 0 877740923 10806591488 108483 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10553312 CPUtime=0.58 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7792 0 0 0 57 1 0 0 15 0 19 0 877740923 10806591488 108484 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10806591488 108486 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877740923 10806591488 108487 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10806591488 108490 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10553312
[startup+3.10162 s]
/proc/loadavg: 1.93 1.98 1.91 4/214 10606
/proc/meminfo: memFree=30536052/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10553312 CPUtime=4.4 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 265914 0 1 0 405 35 0 0 18 0 19 0 877740917 10806591488 259530 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2638328 259534 2225 9 0 2629062 0
[pid=10566/tid=10572] ppid=10563 vsize=10553312 CPUtime=3.08 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 251167 0 1 0 276 32 0 0 25 0 19 0 877740918 10806591488 259536 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912505540178 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877740920 10806591488 259539 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 259541 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 259543 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 259546 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 259548 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10806591488 259551 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10806591488 259553 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10806591488 259555 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877740921 10806591488 259557 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877740921 10806591488 259560 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877740921 10806591488 259562 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10806591488 259564 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10553312 CPUtime=0.71 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5800 0 0 0 71 0 0 0 15 0 19 0 877740923 10806591488 259567 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10553312 CPUtime=0.58 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7792 0 0 0 57 1 0 0 15 0 19 0 877740923 10806591488 259569 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10806591488 259571 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877740923 10806591488 259576 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10553312 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10806591488 259579 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10553312
[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.91 4/214 10606
/proc/meminfo: memFree=28167404/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10550896 CPUtime=7.6 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 551739 0 1 0 691 69 0 0 18 0 19 0 877740917 10804117504 544724 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2637724 544727 2226 9 0 2628458 0
[pid=10566/tid=10572] ppid=10563 vsize=10550896 CPUtime=6.28 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 536991 0 1 0 562 66 0 0 25 0 19 0 877740918 10804117504 544729 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912506036176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 877740920 10804117504 544731 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10804117504 544734 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10804117504 544736 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10804117504 544739 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10804117504 544741 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877740920 10804117504 544744 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10804117504 544746 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877740920 10804117504 544748 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 877740921 10804117504 544750 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 877740921 10804117504 544752 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877740921 10804117504 544754 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 544757 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10550896 CPUtime=0.71 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5800 0 0 0 71 0 0 0 15 0 19 0 877740923 10804117504 544759 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10550896 CPUtime=0.58 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7792 0 0 0 57 1 0 0 15 0 19 0 877740923 10804117504 544761 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 544764 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877740923 10804117504 544766 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10804117504 544768 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 10550896
[startup+12.7009 s]
################
# More data... #
################
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5810 0 0 0 75 0 0 0 15 0 19 0 877740923 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10550896 CPUtime=0.81 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7845 0 0 0 80 1 0 0 15 0 19 0 877740923 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877740923 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10804117504 935554 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1668.39
Current children cumulated vsize (KiB) 10550896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/214 10652
/proc/meminfo: memFree=24411960/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10550896 CPUtime=1728.58 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 945287 0 1 0 172737 121 0 0 18 0 19 0 877740917 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2637724 936803 2257 9 0 2628458 0
[pid=10566/tid=10572] ppid=10563 vsize=10550896 CPUtime=1719.07 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 830586 0 1 0 171803 104 0 0 25 0 19 0 877740918 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912505820348 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10550896 CPUtime=0.81 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 9150 0 0 0 81 0 0 0 16 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10550896 CPUtime=0.88 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 11950 0 0 0 87 1 0 0 15 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10550896 CPUtime=0.71 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 8996 0 0 0 70 1 0 0 16 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10550896 CPUtime=0.82 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 12410 0 0 0 81 1 0 0 16 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10550896 CPUtime=0.69 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 11056 0 0 0 69 0 0 0 15 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10550896 CPUtime=0.82 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 11319 0 0 0 80 2 0 0 15 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10550896 CPUtime=0.85 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 8979 0 0 0 84 1 0 0 16 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10550896 CPUtime=0.77 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 10480 0 0 0 76 1 0 0 16 0 19 0 877740920 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10550896 CPUtime=1.48 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 15454 0 0 0 146 2 0 0 15 0 19 0 877740921 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5810 0 0 0 75 0 0 0 15 0 19 0 877740923 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10550896 CPUtime=0.81 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7845 0 0 0 80 1 0 0 15 0 19 0 877740923 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877740923 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10804117504 936803 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1728.58
Current children cumulated vsize (KiB) 10550896
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.96 4/214 10654
/proc/meminfo: memFree=24404468/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10550896 CPUtime=1788.75 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 946201 0 1 0 178753 122 0 0 18 0 19 0 877740917 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2637724 937685 2257 9 0 2628458 0
[pid=10566/tid=10572] ppid=10563 vsize=10550896 CPUtime=1779.01 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 830590 0 1 0 177797 104 0 0 25 0 19 0 877740918 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912505820113 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10550896 CPUtime=0.84 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 9153 0 0 0 84 0 0 0 15 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10550896 CPUtime=0.9 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 12051 0 0 0 89 1 0 0 15 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 9134 0 0 0 74 1 0 0 16 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10550896 CPUtime=0.87 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 12754 0 0 0 86 1 0 0 16 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10550896 CPUtime=0.73 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 11169 0 0 0 73 0 0 0 16 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10550896 CPUtime=0.82 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 11319 0 0 0 80 2 0 0 15 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10550896 CPUtime=0.87 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 9077 0 0 0 86 1 0 0 16 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10550896 CPUtime=0.79 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 10585 0 0 0 78 1 0 0 15 0 19 0 877740920 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10550896 CPUtime=1.48 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 15458 0 0 0 146 2 0 0 15 0 19 0 877740921 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5810 0 0 0 75 0 0 0 15 0 19 0 877740923 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10550896 CPUtime=0.81 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7845 0 0 0 80 1 0 0 15 0 19 0 877740923 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877740923 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10804117504 937685 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 10550896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.06 2.03 1.96 2/194 10657
/proc/meminfo: memFree=28277368/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=10550896 CPUtime=1800.1 cores=0,2,4,6
/proc/10566/stat : 10566 (java) S 10563 10566 8057 0 -1 4202496 946471 0 1 0 179888 122 0 0 18 0 19 0 877740917 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 2637724 937952 2257 9 0 2628458 0
[pid=10566/tid=10572] ppid=10563 vsize=10550896 CPUtime=1790.3 cores=0,2,4,6
/proc/10566/task/10572/stat : 10572 (java) R 10563 10566 8057 0 -1 4202560 830591 0 1 0 178926 104 0 0 25 0 19 0 877740918 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 46912505551352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10566/tid=10575] ppid=10563 vsize=10550896 CPUtime=0.86 cores=0,2,4,6
/proc/10566/task/10575/stat : 10575 (java) S 10563 10566 8057 0 -1 4202560 9159 0 0 0 86 0 0 0 16 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10577] ppid=10563 vsize=10550896 CPUtime=0.91 cores=0,2,4,6
/proc/10566/task/10577/stat : 10577 (java) S 10563 10566 8057 0 -1 4202560 12308 0 0 0 90 1 0 0 16 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10579] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10579/stat : 10579 (java) S 10563 10566 8057 0 -1 4202560 9134 0 0 0 74 1 0 0 15 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10581] ppid=10563 vsize=10550896 CPUtime=0.87 cores=0,2,4,6
/proc/10566/task/10581/stat : 10581 (java) S 10563 10566 8057 0 -1 4202560 12754 0 0 0 86 1 0 0 15 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10583] ppid=10563 vsize=10550896 CPUtime=0.74 cores=0,2,4,6
/proc/10566/task/10583/stat : 10583 (java) S 10563 10566 8057 0 -1 4202560 11169 0 0 0 74 0 0 0 16 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10585] ppid=10563 vsize=10550896 CPUtime=0.82 cores=0,2,4,6
/proc/10566/task/10585/stat : 10585 (java) S 10563 10566 8057 0 -1 4202560 11319 0 0 0 80 2 0 0 15 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10587] ppid=10563 vsize=10550896 CPUtime=0.88 cores=0,2,4,6
/proc/10566/task/10587/stat : 10587 (java) S 10563 10566 8057 0 -1 4202560 9077 0 0 0 87 1 0 0 15 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10588] ppid=10563 vsize=10550896 CPUtime=0.8 cores=0,2,4,6
/proc/10566/task/10588/stat : 10588 (java) S 10563 10566 8057 0 -1 4202560 10589 0 0 0 79 1 0 0 16 0 19 0 877740920 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 0 0 0 0
[pid=10566/tid=10589] ppid=10563 vsize=10550896 CPUtime=1.48 cores=0,2,4,6
/proc/10566/task/10589/stat : 10589 (java) S 10563 10566 8057 0 -1 4202560 15458 0 0 0 146 2 0 0 15 0 19 0 877740921 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 0 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10591] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10591/stat : 10591 (java) S 10563 10566 8057 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10593] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10593/stat : 10593 (java) S 10563 10566 8057 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877740921 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10597] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10597/stat : 10597 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646338993 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10598] ppid=10563 vsize=10550896 CPUtime=0.75 cores=0,2,4,6
/proc/10566/task/10598/stat : 10598 (java) S 10563 10566 8057 0 -1 4202560 5810 0 0 0 75 0 0 0 15 0 19 0 877740923 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
[pid=10566/tid=10601] ppid=10563 vsize=10550896 CPUtime=0.81 cores=0,2,4,6
/proc/10566/task/10601/stat : 10601 (java) S 10563 10566 8057 0 -1 4202560 7845 0 0 0 80 1 0 0 15 0 19 0 877740923 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) S 10563 10566 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877740923 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331289 0 4 0 16800975 18446604453937848640 0 0 -1 6 0 0 0
[pid=10566/tid=10604] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10604/stat : 10604 (java) S 10563 10566 8057 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 877740923 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 2 0 0 0
[pid=10566/tid=10606] ppid=10563 vsize=10550896 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10606/stat : 10606 (java) S 10563 10566 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877740938 10804117504 937952 33554432000 1073741824 1073778376 140737058452384 18446744073709551615 216646331904 0 4 0 16800975 18446604453937848640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10550896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.71 s]
/proc/loadavg: 2.06 2.03 1.96 2/194 10657
/proc/meminfo: memFree=28277368/32951124 swapFree=67052812/67111528
[pid=10566] ppid=10563 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/10566/stat : 10566 (java) Z 10563 10566 8057 0 -1 4203548 946513 0 1 0 179895 128 0 0 17 0 2 0 877740917 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10566/statm: 0 0 0 0 0 0 0
[pid=10566/tid=10602] ppid=10563 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/10566/task/10602/stat : 10602 (java) R 10563 10566 8057 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 877740923 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.79
CPU time (s): 1800.32
CPU user time (s): 1798.96
CPU system time (s): 1.36479
CPU usage (%): 100.364
Max. virtual memory (cumulated for all children) (KiB): 10553312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.36479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946513
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= 40451
involuntary context switches= 8862
runsolver used 3.38549 second user time and 6.41602 second system time
The end