runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710020-1338217093/watcher-3710020-1338217093 -o /tmp/evaluation-result-3710020-1338217093/solver-3710020-1338217093 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710020-1338217093.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: 2.00 2.00 2.00 3/194 6078
/proc/meminfo: memFree=27562448/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6078/stat : 6078 (runsolver) D 6076 6078 32675 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 287834796 12095488 50 33554432000 4194304 5436572 140735014249872 140735014246168 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/6078/statm: 2953 50 31 304 0 2645 0
[startup+0.0631259 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 6078
/proc/meminfo: memFree=27562448/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 3083 0 1 0 2 1 0 0 20 0 13 0 287834796 9446973440 4292 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2306390 4292 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100205 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 6078
/proc/meminfo: memFree=27562448/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 4213 0 1 0 7 1 0 0 20 0 18 0 287834796 9787842560 5421 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2389610 5421 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 6078
/proc/meminfo: memFree=27562448/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9558440 CPUtime=0.53 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 7185 0 1 0 51 2 0 0 20 0 18 0 287834796 9787842560 10910 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2389610 10910 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558440
[startup+0.700166 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 6078
/proc/meminfo: memFree=27562448/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 9489 0 1 0 140 4 0 0 20 0 19 0 287834796 9856004096 36272 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 36272 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625004
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6097
/proc/meminfo: memFree=27425788/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=2.41 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 9961 0 1 0 237 4 0 0 20 0 19 0 287834796 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 36275 2259 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2556 0 1 0 143 3 0 0 20 0 19 0 287834797 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316303503488 140316129418458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287834799 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3451 0 0 0 47 0 0 0 20 0 19 0 287834802 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 2759 0 0 0 45 0 0 0 20 0 19 0 287834802 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 36275 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625004
[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6097
/proc/meminfo: memFree=27423244/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=4.04 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 9967 0 1 0 400 4 0 0 20 0 19 0 287834796 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 36791 2262 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2558 0 1 0 303 3 0 0 20 0 19 0 287834797 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316303503560 140316129418154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287834799 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3451 0 0 0 47 0 0 0 20 0 19 0 287834802 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 2762 0 0 0 48 0 0 0 20 0 19 0 287834802 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 36791 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9625004
[startup+6.30054 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6097
/proc/meminfo: memFree=27351640/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=7.7 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 15896 0 1 0 765 5 0 0 20 0 19 0 287834796 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 44724 2289 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=6.23 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2561 0 1 0 620 3 0 0 20 0 19 0 287834797 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316303503688 140316129417993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287834798 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 287834799 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3457 0 0 0 48 0 0 0 20 0 19 0 287834802 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 8622 0 0 0 88 2 0 0 20 0 19 0 287834802 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 44724 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 61 0 0 0 51 3 0 0 20 0 19 0 287834798 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 117 0 0 0 46 2 0 0 20 0 19 0 287834798 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 74 0 0 0 45 2 0 0 20 0 19 0 287834798 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 148 0 0 0 384 2 0 0 20 0 19 0 287834799 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3502 0 0 0 65 0 0 0 20 0 19 0 287834802 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 8622 0 0 0 89 2 0 0 20 0 19 0 287834802 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 97 0 0 0 18 19 0 0 20 0 19 0 287834802 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 90081 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1666.88
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 6196
/proc/meminfo: memFree=27174472/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=1727.06 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 17322 0 1 0 172654 52 0 0 20 0 19 0 287834796 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 90085 2290 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=1716.91 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2631 0 1 0 171661 30 0 0 20 0 19 0 287834797 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316303503664 140316129348727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 220 0 0 0 46 3 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 55 0 0 0 48 2 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 245 0 0 0 52 4 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 187 0 0 0 52 4 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 173 0 0 0 51 4 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 61 0 0 0 55 3 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 117 0 0 0 48 2 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 78 0 0 0 47 2 0 0 20 0 19 0 287834798 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=4.04 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 152 0 0 0 402 2 0 0 20 0 19 0 287834799 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3502 0 0 0 65 0 0 0 20 0 19 0 287834802 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 8622 0 0 0 89 2 0 0 20 0 19 0 287834802 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 99 0 0 0 18 20 0 0 20 0 19 0 287834802 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 90085 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.06
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6196
/proc/meminfo: memFree=27172316/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=1787.18 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 17333 0 1 0 178665 53 0 0 20 0 19 0 287834796 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 90600 2290 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=1776.78 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2633 0 1 0 177647 31 0 0 20 0 19 0 287834797 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316303503664 140316129349116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 220 0 0 0 48 3 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 55 0 0 0 51 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 245 0 0 0 54 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 187 0 0 0 53 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 173 0 0 0 52 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 61 0 0 0 56 3 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 120 0 0 0 52 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 78 0 0 0 48 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=4.13 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 154 0 0 0 411 2 0 0 20 0 19 0 287834799 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3502 0 0 0 65 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 8622 0 0 0 89 2 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.18
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.21 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 6196
/proc/meminfo: memFree=27172320/32873648 swapFree=7104/7104
[pid=6078] ppid=6076 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/6078/stat : 6078 (java) S 6076 6078 32675 0 -1 4202496 17333 0 1 0 179956 53 0 0 20 0 19 0 287834796 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140734741024240 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6078/statm: 2406251 90600 2290 9 0 2396937 0
[pid=6078/tid=6080] ppid=6076 vsize=9625004 CPUtime=1789.69 cores=0,2,4,6
/proc/6078/task/6080/stat : 6080 (java) R 6076 6078 32675 0 -1 4202560 2633 0 1 0 178938 31 0 0 20 0 19 0 287834797 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316303503664 140316129335128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6081] ppid=6076 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/6078/task/6081/stat : 6081 (java) S 6076 6078 32675 0 -1 4202560 220 0 0 0 48 3 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316264995112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6082] ppid=6076 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/6078/task/6082/stat : 6082 (java) S 6076 6078 32675 0 -1 4202560 55 0 0 0 51 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316263942312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6083] ppid=6076 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/6078/task/6083/stat : 6083 (java) S 6076 6078 32675 0 -1 4202560 245 0 0 0 54 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316262890024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6084] ppid=6076 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/6078/task/6084/stat : 6084 (java) S 6076 6078 32675 0 -1 4202560 187 0 0 0 53 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316261837224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6085] ppid=6076 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/6078/task/6085/stat : 6085 (java) S 6076 6078 32675 0 -1 4202560 173 0 0 0 52 4 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316260784936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6086] ppid=6076 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/6078/task/6086/stat : 6086 (java) S 6076 6078 32675 0 -1 4202560 61 0 0 0 56 3 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316259732136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6087] ppid=6076 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/6078/task/6087/stat : 6087 (java) S 6076 6078 32675 0 -1 4202560 120 0 0 0 52 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316258679848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6088] ppid=6076 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/6078/task/6088/stat : 6088 (java) S 6076 6078 32675 0 -1 4202560 78 0 0 0 48 2 0 0 20 0 19 0 287834798 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316257627048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6089] ppid=6076 vsize=9625004 CPUtime=4.13 cores=0,2,4,6
/proc/6078/task/6089/stat : 6089 (java) S 6076 6078 32675 0 -1 4202560 154 0 0 0 411 2 0 0 20 0 19 0 287834799 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316127516904 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6078/tid=6090] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6090/stat : 6090 (java) S 6076 6078 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316126462968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6091] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6091/stat : 6091 (java) S 6076 6078 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287834800 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316125410568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6092] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6092/stat : 6092 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316124359056 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6093] ppid=6076 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/6078/task/6093/stat : 6093 (java) S 6076 6078 32675 0 -1 4202560 3502 0 0 0 65 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316123306680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6078/tid=6094] ppid=6076 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/6078/task/6094/stat : 6094 (java) S 6076 6078 32675 0 -1 4202560 8622 0 0 0 89 2 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316122253880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6095] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6095/stat : 6095 (java) S 6076 6078 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316121201784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6078/tid=6096] ppid=6076 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/6078/task/6096/stat : 6096 (java) S 6076 6078 32675 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 287834802 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316120149192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6078/tid=6097] ppid=6076 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6078/task/6097/stat : 6097 (java) S 6076 6078 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287834855 9856004096 90600 33554432000 1073741824 1073778376 140734741033104 140316119094184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
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): 1795.27
CPU time (s): 1800.57
CPU user time (s): 1799.63
CPU system time (s): 0.944856
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.944856
maximum resident set size= 362524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17365
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39931
involuntary context switches= 20821
runsolver used 6.26105 second user time and 14.2328 second system time
The end