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-3710013-1338219521/watcher-3710013-1338219521 -o /tmp/evaluation-result-3710013-1338219521/solver-3710013-1338219521 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710013-1338219521.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 6300
/proc/meminfo: memFree=27584860/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6300/stat : 6300 (java) D 6298 6300 32675 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 288077570 9515008 184 33554432000 1073741824 1073778376 140736739205616 140736739196840 214537235895 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6300/statm: 2323 184 142 9 0 71 0
[startup+0.010146 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 6300
/proc/meminfo: memFree=27584860/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 288077570 94019584 917 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 22954 917 697 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 91816
[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 6300
/proc/meminfo: memFree=27584860/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 4334 0 1 0 8 1 0 0 20 0 18 0 288077570 9787842560 6052 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2389610 6052 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 6300
/proc/meminfo: memFree=27584860/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9558440 CPUtime=0.54 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 7380 0 1 0 53 1 0 0 20 0 18 0 288077570 9787842560 11040 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2389610 11040 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440
[startup+0.700175 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 6300
/proc/meminfo: memFree=27584860/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 9470 0 1 0 148 3 0 0 20 0 19 0 288077570 9856004096 31814 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 31814 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625004
[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6319
/proc/meminfo: memFree=27466812/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=2.49 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 9476 0 1 0 246 3 0 0 20 0 19 0 288077570 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 32331 2261 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2595 0 1 0 144 3 0 0 20 0 19 0 288077571 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599310414248 140599250218252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 2131 0 0 0 52 0 0 0 20 0 19 0 288077576 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3555 0 0 0 47 0 0 0 20 0 19 0 288077576 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 32331 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9625004
[startup+3.10071 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6319
/proc/meminfo: memFree=27464020/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=4.54 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 15220 0 1 0 449 5 0 0 20 0 19 0 288077570 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 40752 2286 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=3.03 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2600 0 1 0 300 3 0 0 20 0 19 0 288077571 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599310410560 140599250526516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 288077574 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7807 0 0 0 93 0 0 0 20 0 19 0 288077576 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3555 0 0 0 48 0 0 0 20 0 19 0 288077576 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 40752 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9625004
[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 6319
/proc/meminfo: memFree=27429280/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=7.77 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 15231 0 1 0 772 5 0 0 20 0 19 0 288077570 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 40810 2286 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2602 0 1 0 616 3 0 0 20 0 19 0 288077571 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599310414248 140599250808960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 288077572 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 288077574 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7808 0 0 0 94 0 0 0 20 0 19 0 288077576 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3555 0 0 0 49 0 0 0 20 0 19 0 288077576 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 40810 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 89 0 0 0 55 3 0 0 20 0 19 0 288077572 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 202 0 0 0 64 4 0 0 20 0 19 0 288077572 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 208 0 0 0 58 4 0 0 20 0 19 0 288077572 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=3.92 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 151 0 0 0 390 2 0 0 20 0 19 0 288077574 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7820 0 0 0 99 0 0 0 20 0 19 0 288077576 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3563 0 0 0 62 0 0 0 20 0 19 0 288077576 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 99 0 0 0 17 24 0 0 20 0 19 0 288077576 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 103181 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.71
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 6530
/proc/meminfo: memFree=27269984/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=1787.89 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 16866 0 1 0 178729 60 0 0 20 0 19 0 288077570 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 103198 2287 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=1776.78 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2690 0 1 0 177647 31 0 0 20 0 19 0 288077571 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599310414128 140599250942430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 121 0 0 0 58 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 237 0 0 0 63 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 128 0 0 0 57 2 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 247 0 0 0 53 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 115 0 0 0 67 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 96 0 0 0 60 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 202 0 0 0 66 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 208 0 0 0 61 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=4.11 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 155 0 0 0 409 2 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7820 0 0 0 99 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3563 0 0 0 62 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 103 0 0 0 17 25 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.89
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.5 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 6530
/proc/meminfo: memFree=27270112/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 16866 0 1 0 179949 60 0 0 20 0 19 0 288077570 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 103198 2287 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=1788.99 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2690 0 1 0 178868 31 0 0 20 0 19 0 288077571 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599310414128 140599250842936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 121 0 0 0 58 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 237 0 0 0 63 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 128 0 0 0 57 2 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 247 0 0 0 53 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 115 0 0 0 67 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 96 0 0 0 60 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 202 0 0 0 66 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 208 0 0 0 61 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=4.11 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 155 0 0 0 409 2 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7820 0 0 0 99 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3563 0 0 0 62 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 103 0 0 0 18 25 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 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
[startup+1794.5 s]
/proc/loadavg: 2.01 1.99 1.99 3/213 6530
/proc/meminfo: memFree=27270112/32873648 swapFree=7104/7104
[pid=6300] ppid=6298 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/6300/stat : 6300 (java) S 6298 6300 32675 0 -1 4202496 16866 0 1 0 179949 60 0 0 20 0 19 0 288077570 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140734263669664 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6300/statm: 2406251 103198 2287 9 0 2396937 0
[pid=6300/tid=6302] ppid=6298 vsize=9625004 CPUtime=1788.99 cores=1,3,5,7
/proc/6300/task/6302/stat : 6302 (java) R 6298 6300 32675 0 -1 4202560 2690 0 1 0 178868 31 0 0 20 0 19 0 288077571 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599310414128 140599250842936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6303] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6303/stat : 6303 (java) S 6298 6300 32675 0 -1 4202560 121 0 0 0 58 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599249144360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6304] ppid=6298 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/6300/task/6304/stat : 6304 (java) S 6298 6300 32675 0 -1 4202560 237 0 0 0 63 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599248091560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6305] ppid=6298 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/6300/task/6305/stat : 6305 (java) S 6298 6300 32675 0 -1 4202560 128 0 0 0 57 2 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599247038760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6306] ppid=6298 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/6300/task/6306/stat : 6306 (java) S 6298 6300 32675 0 -1 4202560 247 0 0 0 53 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599245985960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6307] ppid=6298 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/6300/task/6307/stat : 6307 (java) S 6298 6300 32675 0 -1 4202560 115 0 0 0 67 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599149411368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6308] ppid=6298 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/6300/task/6308/stat : 6308 (java) S 6298 6300 32675 0 -1 4202560 96 0 0 0 60 3 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599148358568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6309] ppid=6298 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/6300/task/6309/stat : 6309 (java) S 6298 6300 32675 0 -1 4202560 202 0 0 0 66 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599147305768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6310] ppid=6298 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/6300/task/6310/stat : 6310 (java) S 6298 6300 32675 0 -1 4202560 208 0 0 0 61 4 0 0 20 0 19 0 288077572 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599146252968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6311] ppid=6298 vsize=9625004 CPUtime=4.11 cores=1,3,5,7
/proc/6300/task/6311/stat : 6311 (java) S 6298 6300 32675 0 -1 4202560 155 0 0 0 409 2 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599134054888 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6312] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6312/stat : 6312 (java) S 6298 6300 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599133000952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6313] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6313/stat : 6313 (java) S 6298 6300 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 288077574 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599131948040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6314] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6314/stat : 6314 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599130896528 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300/tid=6315] ppid=6298 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/6300/task/6315/stat : 6315 (java) S 6298 6300 32675 0 -1 4202560 7820 0 0 0 99 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599129844664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6316] ppid=6298 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/6300/task/6316/stat : 6316 (java) S 6298 6300 32675 0 -1 4202560 3563 0 0 0 62 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599128791864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6300/tid=6317] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6317/stat : 6317 (java) S 6298 6300 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599127739256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6300/tid=6318] ppid=6298 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/6300/task/6318/stat : 6318 (java) S 6298 6300 32675 0 -1 4202560 103 0 0 0 18 25 0 0 20 0 19 0 288077576 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599126686664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6300/tid=6319] ppid=6298 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6300/task/6319/stat : 6319 (java) S 6298 6300 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 288077628 9856004096 103198 33554432000 1073741824 1073778376 140734263678528 140599125632168 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1794.57
CPU time (s): 1800.67
CPU user time (s): 1799.67
CPU system time (s): 1.00185
CPU usage (%): 100.34
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 1.00185
maximum resident set size= 412920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16901
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40024
involuntary context switches= 11817
runsolver used 5.78912 second user time and 14.7148 second system time
The end