runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456359-1307640466/watcher-3456359-1307640466 -o /tmp/evaluation-result-3456359-1307640466/solver-3456359-1307640466 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456359-1307640466.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.29 2.21 2.09 3/195 26204
/proc/meminfo: memFree=27341664/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/26204/stat : 26204 (java) R 26202 26204 25448 0 -1 4202496 605 0 0 0 0 0 0 0 17 0 1 0 954277464 23580672 348 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231890528000 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26204/statm: 5757 359 274 9 0 124 0
[startup+0.077407 s]
/proc/loadavg: 2.29 2.21 2.09 3/195 26204
/proc/meminfo: memFree=27341664/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10537936 CPUtime=0.06 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 11871 0 1 0 5 1 0 0 17 0 18 0 954277464 10790846464 11567 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2634484 11568 1754 9 0 2625218 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10537936
[startup+0.100342 s]
/proc/loadavg: 2.29 2.21 2.09 3/195 26204
/proc/meminfo: memFree=27341664/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10539240 CPUtime=0.09 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 12962 0 1 0 8 1 0 0 17 0 18 0 954277464 10792181760 12658 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2634810 12658 2092 9 0 2625544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539240
[startup+0.300308 s]
/proc/loadavg: 2.29 2.21 2.09 3/195 26204
/proc/meminfo: memFree=27341664/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10540672 CPUtime=0.46 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 23107 0 1 0 43 3 0 0 17 0 18 0 954277464 10793648128 22350 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2635168 22350 2199 9 0 2625902 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540672
[startup+0.700231 s]
/proc/loadavg: 2.29 2.21 2.09 3/195 26204
/proc/meminfo: memFree=27341664/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10540672 CPUtime=0.85 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 49502 0 1 0 80 5 0 0 17 0 18 0 954277464 10793648128 48745 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2635168 48745 2199 9 0 2625902 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10540672
[startup+1.50114 s]
/proc/loadavg: 2.29 2.21 2.09 4/213 26222
/proc/meminfo: memFree=27079092/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10554480 CPUtime=2.01 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 108108 0 1 0 189 12 0 0 17 0 18 0 954277464 10807787520 105349 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2638620 105352 2204 9 0 2629354 0
[pid=26204/tid=26206] ppid=26202 vsize=10554480 CPUtime=1.47 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 98623 0 1 0 136 11 0 0 18 0 18 0 954277465 10807787520 105354 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 46912505563565 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 954277466 10807787520 105356 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105358 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105360 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105362 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105364 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105370 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105373 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 105374 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954277467 10807787520 105379 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 954277468 10807787520 105379 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 954277468 10807787520 105381 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954277470 10807787520 105383 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10554480 CPUtime=0.3 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5406 0 0 0 30 0 0 0 15 0 18 0 954277470 10807787520 105385 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10554480 CPUtime=0.21 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 2932 0 0 0 21 0 0 0 16 0 18 0 954277470 10807787520 105387 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954277470 10807787520 105389 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954277470 10807787520 105391 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10554480
[startup+3.10084 s]
/proc/loadavg: 2.29 2.21 2.09 3/213 26222
/proc/meminfo: memFree=26720980/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10554480 CPUtime=3.61 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 241276 0 1 0 333 28 0 0 17 0 18 0 954277464 10807787520 238518 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2638620 238524 2204 9 0 2629354 0
[pid=26204/tid=26206] ppid=26202 vsize=10554480 CPUtime=3.07 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 231793 0 1 0 280 27 0 0 21 0 18 0 954277465 10807787520 238524 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 46912505630021 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 954277466 10807787520 238527 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238529 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238531 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238533 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238535 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238538 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238539 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10807787520 238542 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954277467 10807787520 238543 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 954277468 10807787520 238545 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 954277468 10807787520 238548 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954277470 10807787520 238551 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10554480 CPUtime=0.31 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5406 0 0 0 31 0 0 0 15 0 18 0 954277470 10807787520 238552 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10554480 CPUtime=0.21 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 2932 0 0 0 21 0 0 0 16 0 18 0 954277470 10807787520 238555 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954277470 10807787520 238555 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10554480 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954277470 10807787520 238558 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 10554480
[startup+6.30124 s]
/proc/loadavg: 2.27 2.21 2.09 3/213 26222
/proc/meminfo: memFree=25541364/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10550224 CPUtime=6.95 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 540987 0 1 0 632 63 0 0 17 0 18 0 954277464 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2637556 537184 2225 9 0 2628290 0
[pid=26204/tid=26206] ppid=26202 vsize=10550224 CPUtime=6.27 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 531179 0 1 0 565 62 0 0 21 0 18 0 954277465 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 47884560644115 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954277466 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 954277467 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 954277468 10803429376 537184 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 954277468 10803429376 537185 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954277470 10803429376 537185 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10550224 CPUtime=0.37 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) R 26202 26204 25448 0 -1 4202560 5428 0 0 0 37 0 0 0 15 0 18 0 954277470 10803429376 537186 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 47884561767119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10550224 CPUtime=0.28 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 3226 0 0 0 28 0 0 0 16 0 18 0 954277470 10803429376 537186 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954277470 10803429376 537186 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10550224 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 954277470 10803429376 537187 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 10550224
[startup+12.701 s]
/proc/loadavg: 2.25 2.20 2.09 3/214 26224
/proc/meminfo: memFree=24248724/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10551252 CPUtime=15.19 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 778264 0 1 0 1428 91 0 0 17 0 19 0 954277464 10804482048 773777 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2637813 773777 2250 9 0 2628547 0
[pid=26204/tid=26206] ppid=26202 vsize=10551252 CPUtime=12.24 cores=1,3,5,7
################
# More data... #
################
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954277470 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10551092 CPUtime=1.07 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5572 0 0 0 107 0 0 0 15 0 19 0 954277470 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10551092 CPUtime=0.58 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 3896 0 0 0 58 0 0 0 15 0 19 0 954277470 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954277470 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954277470 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26223] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26223/stat : 26223 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954278154 10804318208 1143152 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1676
Current children cumulated vsize (KiB) 10551092
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26331
/proc/meminfo: memFree=23685268/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10551092 CPUtime=1736.14 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 1172882 0 1 0 173469 145 0 0 17 0 19 0 954277464 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2637773 1145571 2265 9 0 2628507 0
[pid=26204/tid=26206] ppid=26202 vsize=10551092 CPUtime=1713.5 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 651153 0 1 0 171274 76 0 0 25 0 19 0 954277465 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 46912505882474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10551092 CPUtime=1.81 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 45275 0 0 0 175 6 0 0 16 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10551092 CPUtime=1.73 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 37193 0 0 0 168 5 0 0 15 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10551092 CPUtime=2.05 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 56683 0 0 0 198 7 0 0 15 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10551092 CPUtime=1.85 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 70315 0 0 0 177 8 0 0 16 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10551092 CPUtime=2.39 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 82966 0 0 0 229 10 0 0 15 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10551092 CPUtime=2.38 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 71157 0 0 0 229 9 0 0 15 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10551092 CPUtime=1.54 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 46107 0 0 0 149 5 0 0 16 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10551092 CPUtime=2.51 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 76572 0 0 0 242 9 0 0 16 0 19 0 954277466 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10551092 CPUtime=4.61 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 24742 0 0 0 458 3 0 0 15 0 19 0 954277467 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954277470 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10551092 CPUtime=1.07 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5572 0 0 0 107 0 0 0 15 0 19 0 954277470 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10551092 CPUtime=0.58 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 3896 0 0 0 58 0 0 0 15 0 19 0 954277470 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954277470 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954277470 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26223] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26223/stat : 26223 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954278154 10804318208 1145571 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1736.14
Current children cumulated vsize (KiB) 10551092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26333
/proc/meminfo: memFree=23646020/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10551092 CPUtime=1796.32 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 1178343 0 1 0 179486 146 0 0 17 0 19 0 954277464 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2637773 1150903 2265 9 0 2628507 0
[pid=26204/tid=26206] ppid=26202 vsize=10551092 CPUtime=1773.43 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 651155 0 1 0 177267 76 0 0 25 0 19 0 954277465 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 46912505881994 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10551092 CPUtime=1.84 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 45890 0 0 0 178 6 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10551092 CPUtime=1.75 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 38227 0 0 0 170 5 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10551092 CPUtime=2.07 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 57245 0 0 0 200 7 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10551092 CPUtime=1.91 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 71915 0 0 0 183 8 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10551092 CPUtime=2.4 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 82970 0 0 0 230 10 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10551092 CPUtime=2.38 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 71157 0 0 0 229 9 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10551092 CPUtime=1.6 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 47198 0 0 0 155 5 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10551092 CPUtime=2.55 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 77117 0 0 0 245 10 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10551092 CPUtime=4.61 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 24746 0 0 0 458 3 0 0 15 0 19 0 954277467 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10551092 CPUtime=1.07 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5572 0 0 0 107 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10551092 CPUtime=0.58 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 3896 0 0 0 58 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26223] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26223/stat : 26223 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954278154 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 10551092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26333
/proc/meminfo: memFree=23646140/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=10551092 CPUtime=1800.03 cores=1,3,5,7
/proc/26204/stat : 26204 (java) S 26202 26204 25448 0 -1 4202496 1178343 0 1 0 179857 146 0 0 17 0 19 0 954277464 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 2637773 1150903 2265 9 0 2628507 0
[pid=26204/tid=26206] ppid=26202 vsize=10551092 CPUtime=1777.14 cores=1,3,5,7
/proc/26204/task/26206/stat : 26206 (java) R 26202 26204 25448 0 -1 4202560 651155 0 1 0 177638 76 0 0 25 0 19 0 954277465 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 46912505881589 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26204/tid=26207] ppid=26202 vsize=10551092 CPUtime=1.84 cores=1,3,5,7
/proc/26204/task/26207/stat : 26207 (java) S 26202 26204 25448 0 -1 4202560 45890 0 0 0 178 6 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26208] ppid=26202 vsize=10551092 CPUtime=1.75 cores=1,3,5,7
/proc/26204/task/26208/stat : 26208 (java) S 26202 26204 25448 0 -1 4202560 38227 0 0 0 170 5 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26209] ppid=26202 vsize=10551092 CPUtime=2.07 cores=1,3,5,7
/proc/26204/task/26209/stat : 26209 (java) S 26202 26204 25448 0 -1 4202560 57245 0 0 0 200 7 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26210] ppid=26202 vsize=10551092 CPUtime=1.91 cores=1,3,5,7
/proc/26204/task/26210/stat : 26210 (java) S 26202 26204 25448 0 -1 4202560 71915 0 0 0 183 8 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26211] ppid=26202 vsize=10551092 CPUtime=2.4 cores=1,3,5,7
/proc/26204/task/26211/stat : 26211 (java) S 26202 26204 25448 0 -1 4202560 82970 0 0 0 230 10 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26212] ppid=26202 vsize=10551092 CPUtime=2.38 cores=1,3,5,7
/proc/26204/task/26212/stat : 26212 (java) S 26202 26204 25448 0 -1 4202560 71157 0 0 0 229 9 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26213] ppid=26202 vsize=10551092 CPUtime=1.6 cores=1,3,5,7
/proc/26204/task/26213/stat : 26213 (java) S 26202 26204 25448 0 -1 4202560 47198 0 0 0 155 5 0 0 16 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
[pid=26204/tid=26214] ppid=26202 vsize=10551092 CPUtime=2.55 cores=1,3,5,7
/proc/26204/task/26214/stat : 26214 (java) S 26202 26204 25448 0 -1 4202560 77117 0 0 0 245 10 0 0 15 0 19 0 954277466 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26215] ppid=26202 vsize=10551092 CPUtime=4.61 cores=1,3,5,7
/proc/26204/task/26215/stat : 26215 (java) S 26202 26204 25448 0 -1 4202560 24746 0 0 0 458 3 0 0 15 0 19 0 954277467 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 0 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26216] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26216/stat : 26216 (java) S 26202 26204 25448 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26217] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26217/stat : 26217 (java) S 26202 26204 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954277468 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26218] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26218/stat : 26218 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907314097 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26219] ppid=26202 vsize=10551092 CPUtime=1.07 cores=1,3,5,7
/proc/26204/task/26219/stat : 26219 (java) S 26202 26204 25448 0 -1 4202560 5572 0 0 0 107 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 1 0 0 0
[pid=26204/tid=26220] ppid=26202 vsize=10551092 CPUtime=0.58 cores=1,3,5,7
/proc/26204/task/26220/stat : 26220 (java) S 26202 26204 25448 0 -1 4202560 3896 0 0 0 58 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) S 26202 26204 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907306393 0 4 0 16800975 18446604464558962496 0 0 -1 5 0 0 0
[pid=26204/tid=26222] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26222/stat : 26222 (java) S 26202 26204 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954277470 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 3 0 0 0
[pid=26204/tid=26223] ppid=26202 vsize=10551092 CPUtime=0 cores=1,3,5,7
/proc/26204/task/26223/stat : 26223 (java) S 26202 26204 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 954278154 10804318208 1150903 33554432000 1073741824 1073778376 140735605132496 18446744073709551615 231907307008 0 4 0 16800975 18446604464558962496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26333
/proc/meminfo: memFree=23646140/32950928 swapFree=67054844/67111528
[pid=26204] ppid=26202 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/26204/stat : 26204 (java) Z 26202 26204 25448 0 -1 4203548 1178374 0 1 0 179861 163 0 0 15 0 2 0 954277464 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26204/statm: 0 0 0 0 0 0 0
[pid=26204/tid=26221] ppid=26202 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/26204/task/26221/stat : 26221 (java) R 26202 26204 25448 0 -1 4203588 1 0 0 0 0 17 0 0 18 0 2 0 954277470 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.2
CPU time (s): 1800.25
CPU user time (s): 1798.61
CPU system time (s): 1.63575
CPU usage (%): 100.786
Max. virtual memory (cumulated for all children) (KiB): 10584884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.63575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178374
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39607
involuntary context switches= 39683
runsolver used 2.72358 second user time and 7.04393 second system time
The end