runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3290869-1303790166/watcher-3290869-1303790166 -o /tmp/evaluation-result-3290869-1303790166/solver-3290869-1303790166 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3290869-1303790166.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.01 3.93 5/243 26640
/proc/meminfo: memFree=14903256/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=23028 CPUtime=0 cores=4,6
/proc/26640/stat : 26640 (java) R 26638 26640 26130 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 490616435 23580672 697 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248084735464 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26640/statm: 5757 697 514 9 0 124 0
[startup+0.0210839 s]
/proc/loadavg: 4.00 4.01 3.93 5/243 26640
/proc/meminfo: memFree=14903256/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7542380 CPUtime=0 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 7346 0 1 0 0 0 0 0 25 0 3 0 490616435 7723397120 7048 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1885595 7048 930 9 0 1876751 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7542380
[startup+0.105936 s]
/proc/loadavg: 4.00 4.01 3.93 5/243 26640
/proc/meminfo: memFree=14903256/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7636180 CPUtime=0.11 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 10501 0 1 0 10 1 0 0 25 0 18 0 490616435 7819448320 10198 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1909045 10198 2093 9 0 1899783 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636180
[startup+0.300901 s]
/proc/loadavg: 4.00 4.01 3.93 5/243 26640
/proc/meminfo: memFree=14903256/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7641932 CPUtime=0.48 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 14465 0 1 0 47 1 0 0 25 0 18 0 490616435 7825338368 13531 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1910483 13532 2199 9 0 1901221 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7641932
[startup+0.700829 s]
/proc/loadavg: 4.00 4.01 3.93 5/243 26640
/proc/meminfo: memFree=14903256/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7644388 CPUtime=1.21 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 15768 0 1 0 119 2 0 0 25 0 19 0 490616435 7827853312 14832 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1911097 14832 2223 9 0 1901835 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 7644388
[startup+1.50069 s]
/proc/loadavg: 4.00 4.01 3.93 5/262 26659
/proc/meminfo: memFree=14851280/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7659960 CPUtime=2.35 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 26118 0 1 0 232 3 0 0 25 0 19 0 490616435 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1914990 23535 2252 9 0 1905728 0
[pid=26640/tid=26642] ppid=26638 vsize=7659960 CPUtime=1.43 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) R 26638 26640 26130 0 -1 4202560 11724 0 1 0 142 1 0 0 25 0 19 0 490616436 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 46912505497168 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 111 0 0 0 0 0 0 0 17 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1190 0 0 0 0 0 0 0 18 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7659960 CPUtime=0.01 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1156 0 0 0 1 0 0 0 18 0 19 0 490616438 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7659960 CPUtime=0.03 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 2454 0 0 0 3 0 0 0 16 0 19 0 490616439 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7659960 CPUtime=0.29 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 532 0 0 0 29 0 0 0 20 0 19 0 490616441 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7659960 CPUtime=0.55 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) R 26638 26640 26130 0 -1 4202560 7795 0 0 0 54 1 0 0 21 0 19 0 490616441 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 47795272633761 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616441 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7659960 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7843799040 23535 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 7659960
[startup+3.1014 s]
/proc/loadavg: 4.00 4.01 3.93 5/262 26659
/proc/meminfo: memFree=14812592/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7662508 CPUtime=4.15 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 27364 0 1 0 412 3 0 0 25 0 19 0 490616435 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1915627 24778 2254 9 0 1906365 0
[pid=26640/tid=26642] ppid=26638 vsize=7662508 CPUtime=3 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) S 26638 26640 26130 0 -1 4202560 11725 0 1 0 299 1 0 0 25 0 19 0 490616436 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) R 26638 26640 26130 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1190 0 0 0 0 0 0 0 17 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7662508 CPUtime=0.01 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1156 0 0 0 1 0 0 0 17 0 19 0 490616438 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7662508 CPUtime=0.06 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 2618 0 0 0 6 0 0 0 16 0 19 0 490616439 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7662508 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7662508 CPUtime=0.71 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8478 0 0 0 70 1 0 0 15 0 19 0 490616441 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616441 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7662508 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7846408192 24778 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 7662508
[startup+6.30084 s]
/proc/loadavg: 4.00 4.01 3.93 5/262 26659
/proc/meminfo: memFree=14817856/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7653008 CPUtime=7.37 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 27664 0 1 0 734 3 0 0 25 0 19 0 490616435 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1913252 23138 2254 9 0 1903990 0
[pid=26640/tid=26642] ppid=26638 vsize=7653008 CPUtime=6.08 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) R 26638 26640 26130 0 -1 4202560 11728 0 1 0 607 1 0 0 25 0 19 0 490616436 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 46912505735297 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) S 26638 26640 26130 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1193 0 0 0 0 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7653008 CPUtime=0.01 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1156 0 0 0 1 0 0 0 15 0 19 0 490616438 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7653008 CPUtime=0.17 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 2798 0 0 0 17 0 0 0 16 0 19 0 490616439 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7653008 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7653008 CPUtime=0.72 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8478 0 0 0 71 1 0 0 15 0 19 0 490616441 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490616441 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7836680192 23138 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 7653008
[startup+12.7007 s]
################
# More data... #
################
[pid=26640/tid=26648] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 1224 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1209 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1175 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7653008 CPUtime=3.02 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 6359 0 0 0 302 0 0 0 15 0 19 0 490616439 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7653008 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7653008 CPUtime=0.72 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8478 0 0 0 71 1 0 0 15 0 19 0 490616441 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490616441 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7836680192 29745 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.62
Current children cumulated vsize (KiB) 7653008
[startup+1182.3 s]
/proc/loadavg: 4.06 4.04 4.01 5/262 26938
/proc/meminfo: memFree=12984592/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7653008 CPUtime=1183.63 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 34626 0 1 0 118358 5 0 0 25 0 19 0 490616435 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1913252 29896 2254 9 0 1903990 0
[pid=26640/tid=26642] ppid=26638 vsize=7653008 CPUtime=1178.82 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) R 26638 26640 26130 0 -1 4202560 12371 0 1 0 117881 1 0 0 25 0 19 0 490616436 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 46912505673911 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 322 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7653008 CPUtime=0.05 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 346 0 0 0 5 0 0 0 15 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) S 26638 26640 26130 0 -1 4202560 849 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 404 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7653008 CPUtime=0.01 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 1 0 0 0 16 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 1224 0 0 0 8 0 0 0 16 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1209 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1175 0 0 0 8 0 0 0 16 0 19 0 490616438 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7653008 CPUtime=3.14 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 6483 0 0 0 314 0 0 0 15 0 19 0 490616439 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7653008 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7653008 CPUtime=0.73 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8479 0 0 0 72 1 0 0 15 0 19 0 490616441 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490616441 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7836680192 29896 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.63
Current children cumulated vsize (KiB) 7653008
[startup+1242.3 s]
/proc/loadavg: 4.08 4.05 4.01 5/262 26940
/proc/meminfo: memFree=12980508/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7653008 CPUtime=1243.64 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 34884 0 1 0 124359 5 0 0 25 0 19 0 490616435 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1913252 30149 2254 9 0 1903990 0
[pid=26640/tid=26642] ppid=26638 vsize=7653008 CPUtime=1238.77 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) R 26638 26640 26130 0 -1 4202560 12625 0 1 0 123876 1 0 0 25 0 19 0 490616436 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 46912505671989 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 322 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7653008 CPUtime=0.05 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 346 0 0 0 5 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7653008 CPUtime=0.09 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) S 26638 26640 26130 0 -1 4202560 849 0 0 0 9 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 404 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7653008 CPUtime=0.01 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 1 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 1224 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1209 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7653008 CPUtime=0.09 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1175 0 0 0 9 0 0 0 15 0 19 0 490616438 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7653008 CPUtime=3.2 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 6485 0 0 0 320 0 0 0 15 0 19 0 490616439 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7653008 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7653008 CPUtime=0.73 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8479 0 0 0 72 1 0 0 15 0 19 0 490616441 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 490616441 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7836680192 30149 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.64
Current children cumulated vsize (KiB) 7653008
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.04 4.00 5/262 26942
/proc/meminfo: memFree=12969936/32950928 swapFree=67111528/67111528
[pid=26640] ppid=26638 vsize=7653008 CPUtime=1301.35 cores=4,6
/proc/26640/stat : 26640 (java) S 26638 26640 26130 0 -1 4202496 34953 0 1 0 130130 5 0 0 25 0 19 0 490616435 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26640/statm: 1913252 30211 2254 9 0 1903990 0
[pid=26640/tid=26642] ppid=26638 vsize=7653008 CPUtime=1296.41 cores=4,6
/proc/26640/task/26642/stat : 26642 (java) R 26638 26640 26130 0 -1 4202560 12626 0 1 0 129640 1 0 0 25 0 19 0 490616436 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 46912505671989 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26640/tid=26643] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26643/stat : 26643 (java) S 26638 26640 26130 0 -1 4202560 322 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26644] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26644/stat : 26644 (java) S 26638 26640 26130 0 -1 4202560 354 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26645] ppid=26638 vsize=7653008 CPUtime=0.09 cores=4,6
/proc/26640/task/26645/stat : 26645 (java) S 26638 26640 26130 0 -1 4202560 849 0 0 0 9 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26646] ppid=26638 vsize=7653008 CPUtime=0.06 cores=4,6
/proc/26640/task/26646/stat : 26646 (java) S 26638 26640 26130 0 -1 4202560 404 0 0 0 6 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26647] ppid=26638 vsize=7653008 CPUtime=0.01 cores=4,6
/proc/26640/task/26647/stat : 26647 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 1 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26648] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26648/stat : 26648 (java) S 26638 26640 26130 0 -1 4202560 1224 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26649] ppid=26638 vsize=7653008 CPUtime=0.08 cores=4,6
/proc/26640/task/26649/stat : 26649 (java) S 26638 26640 26130 0 -1 4202560 1209 0 0 0 8 0 0 0 15 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26650] ppid=26638 vsize=7653008 CPUtime=0.1 cores=4,6
/proc/26640/task/26650/stat : 26650 (java) S 26638 26640 26130 0 -1 4202560 1184 0 0 0 10 0 0 0 16 0 19 0 490616438 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26651] ppid=26638 vsize=7653008 CPUtime=3.25 cores=4,6
/proc/26640/task/26651/stat : 26651 (java) S 26638 26640 26130 0 -1 4202560 6532 0 0 0 325 0 0 0 15 0 19 0 490616439 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26640/tid=26652] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26652/stat : 26652 (java) S 26638 26640 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26653] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26653/stat : 26653 (java) S 26638 26640 26130 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490616439 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26654] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26654/stat : 26654 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26655] ppid=26638 vsize=7653008 CPUtime=0.33 cores=4,6
/proc/26640/task/26655/stat : 26655 (java) S 26638 26640 26130 0 -1 4202560 535 0 0 0 33 0 0 0 15 0 19 0 490616441 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26656] ppid=26638 vsize=7653008 CPUtime=0.73 cores=4,6
/proc/26640/task/26656/stat : 26656 (java) S 26638 26640 26130 0 -1 4202560 8479 0 0 0 72 1 0 0 15 0 19 0 490616441 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26657] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26657/stat : 26657 (java) S 26638 26640 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490616441 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26658] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26658/stat : 26658 (java) S 26638 26640 26130 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490616441 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26640/tid=26659] ppid=26638 vsize=7653008 CPUtime=0 cores=4,6
/proc/26640/task/26659/stat : 26659 (java) S 26638 26640 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490616468 7836680192 30211 33554432000 1073741824 1073778376 140737253373936 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.35
Current children cumulated vsize (KiB) 7653008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.09
CPU time (s): 1301.51
CPU user time (s): 1301.45
CPU system time (s): 0.05999
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 7662508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.45
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34990
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= 28505
involuntary context switches= 4444
runsolver used 2.13468 second user time and 4.98824 second system time
The end