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-3456407-1307657814/watcher-3456407-1307657814 -o /tmp/evaluation-result-3456407-1307657814/solver-3456407-1307657814 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456407-1307657814.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 26445
/proc/meminfo: memFree=32147980/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/26445/stat : 26445 (java) R 26442 26445 26165 0 -1 4202496 952 0 0 0 0 0 0 0 24 0 1 0 877381098 23580672 697 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208075270033 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26445/statm: 5757 697 514 9 0 124 0
[startup+0.0506001 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 26445
/proc/meminfo: memFree=32147980/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 11323 0 1 0 3 1 0 0 24 0 13 0 877381098 10718699520 11021 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2616870 11021 1678 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.102733 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 26445
/proc/meminfo: memFree=32147980/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10540264 CPUtime=0.1 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 13059 0 1 0 9 1 0 0 24 0 18 0 877381098 10793230336 12740 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2635066 12740 2093 9 0 2625800 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540264
[startup+0.300502 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 26445
/proc/meminfo: memFree=32147980/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10547572 CPUtime=0.56 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 21915 0 1 0 53 3 0 0 24 0 18 0 877381098 10800713728 19854 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2636893 19854 2202 9 0 2627627 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10547572
[startup+0.700475 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 26445
/proc/meminfo: memFree=32147980/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10549812 CPUtime=1.48 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 37074 0 1 0 144 4 0 0 24 0 19 0 877381098 10803007488 33886 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2637453 33886 2224 9 0 2628187 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10549812
[startup+1.50127 s]
/proc/loadavg: 2.08 2.02 1.95 5/213 26540
/proc/meminfo: memFree=31861364/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553140 CPUtime=2.62 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 91472 0 1 0 251 11 0 0 24 0 19 0 877381098 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638285 87608 2226 9 0 2629019 0
[pid=26445/tid=26450] ppid=26442 vsize=10553140 CPUtime=1.47 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 80113 0 1 0 138 9 0 0 18 0 19 0 877381099 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505876099 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877381101 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553140 CPUtime=0.49 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5925 0 0 0 49 0 0 0 15 0 19 0 877381104 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553140 CPUtime=0.62 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 4275 0 0 0 62 0 0 0 15 0 19 0 877381104 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877381104 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806415360 87608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10553140
[startup+3.101 s]
/proc/loadavg: 2.08 2.02 1.95 5/214 26597
/proc/meminfo: memFree=31439440/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553140 CPUtime=4.34 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 214972 0 1 0 408 26 0 0 24 0 19 0 877381098 10806415360 211108 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638285 211110 2227 9 0 2629019 0
[pid=26445/tid=26450] ppid=26442 vsize=10553140 CPUtime=3.07 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 203610 0 1 0 283 24 0 0 21 0 19 0 877381099 10806415360 211114 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505629751 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211119 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211122 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211127 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211133 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211138 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211144 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211150 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 211156 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877381101 10806415360 211162 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 211168 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 211172 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 211175 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553140 CPUtime=0.5 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5925 0 0 0 50 0 0 0 15 0 19 0 877381104 10806415360 211175 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553140 CPUtime=0.75 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 4285 0 0 0 75 0 0 0 15 0 19 0 877381104 10806415360 211177 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 211178 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877381104 10806415360 211179 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806415360 211181 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10553140
[startup+6.30147 s]
/proc/loadavg: 2.08 2.02 1.95 3/214 26597
/proc/meminfo: memFree=29079408/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553140 CPUtime=7.61 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 423718 0 1 0 714 47 0 0 24 0 19 0 877381098 10806415360 419596 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638285 419598 2228 9 0 2629019 0
[pid=26445/tid=26450] ppid=26442 vsize=10553140 CPUtime=6.27 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 412343 0 1 0 582 45 0 0 25 0 19 0 877381099 10806415360 419599 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505629751 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419601 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419601 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419602 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419604 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419605 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419606 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419607 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381100 10806415360 419608 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877381101 10806415360 419610 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 419612 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381102 10806415360 419612 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 419613 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553140 CPUtime=0.55 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5931 0 0 0 55 0 0 0 15 0 19 0 877381104 10806415360 419613 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553140 CPUtime=0.76 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 4287 0 0 0 76 0 0 0 15 0 19 0 877381104 10806415360 419614 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806415360 419614 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877381104 10806415360 419615 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553140 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806415360 419615 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 10553140
[startup+12.7013 s]
################
# More data... #
################
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553668 CPUtime=0.67 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5972 0 0 0 67 0 0 0 15 0 19 0 877381104 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553668 CPUtime=1.29 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 6475 0 0 0 129 0 0 0 15 0 19 0 877381104 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877381104 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806956032 964715 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1669.57
Current children cumulated vsize (KiB) 10553668
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/214 26643
/proc/meminfo: memFree=24427280/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553668 CPUtime=1729.85 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 975332 0 1 0 172871 114 0 0 24 0 19 0 877381098 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638417 967104 2257 9 0 2629151 0
[pid=26445/tid=26450] ppid=26442 vsize=10553668 CPUtime=1717.72 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 821753 0 1 0 171682 90 0 0 25 0 19 0 877381099 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505578588 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553668 CPUtime=0.86 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 16453 0 0 0 85 1 0 0 15 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553668 CPUtime=0.87 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 11998 0 0 0 86 1 0 0 16 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553668 CPUtime=0.86 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 16717 0 0 0 84 2 0 0 16 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553668 CPUtime=0.94 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 16184 0 0 0 92 2 0 0 16 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553668 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 14197 0 0 0 94 2 0 0 16 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553668 CPUtime=0.92 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 15682 0 0 0 90 2 0 0 15 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553668 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 16021 0 0 0 95 1 0 0 15 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553668 CPUtime=1.02 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 16039 0 0 0 100 2 0 0 15 0 19 0 877381100 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553668 CPUtime=2.61 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 16589 0 0 0 259 2 0 0 15 0 19 0 877381101 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553668 CPUtime=0.67 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5972 0 0 0 67 0 0 0 15 0 19 0 877381104 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553668 CPUtime=1.29 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 6475 0 0 0 129 0 0 0 15 0 19 0 877381104 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877381104 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806956032 967104 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.85
Current children cumulated vsize (KiB) 10553668
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26645
/proc/meminfo: memFree=24418176/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553668 CPUtime=1790.12 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 977261 0 1 0 178898 114 0 0 24 0 19 0 877381098 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638417 969005 2257 9 0 2629151 0
[pid=26445/tid=26450] ppid=26442 vsize=10553668 CPUtime=1777.63 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 821757 0 1 0 177673 90 0 0 25 0 19 0 877381099 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505783384 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553668 CPUtime=0.91 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 16811 0 0 0 90 1 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553668 CPUtime=0.94 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 12339 0 0 0 93 1 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553668 CPUtime=0.9 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 16963 0 0 0 88 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553668 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 16305 0 0 0 94 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553668 CPUtime=0.99 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 14304 0 0 0 97 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553668 CPUtime=1.01 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 16132 0 0 0 99 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553668 CPUtime=1.01 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 16228 0 0 0 100 1 0 0 15 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553668 CPUtime=1.04 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 16128 0 0 0 102 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553668 CPUtime=2.61 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 16593 0 0 0 259 2 0 0 15 0 19 0 877381101 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553668 CPUtime=0.67 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5972 0 0 0 67 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553668 CPUtime=1.29 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 6475 0 0 0 129 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 10553668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26645
/proc/meminfo: memFree=24416420/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=10553668 CPUtime=1800.03 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 26165 0 -1 4202496 977263 0 1 0 179889 114 0 0 24 0 19 0 877381098 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638417 969005 2257 9 0 2629151 0
[pid=26445/tid=26450] ppid=26442 vsize=10553668 CPUtime=1787.53 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4202560 821757 0 1 0 178663 90 0 0 25 0 19 0 877381099 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 46912505811299 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10553668 CPUtime=0.91 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 26165 0 -1 4202560 16811 0 0 0 90 1 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10553668 CPUtime=0.94 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 26165 0 -1 4202560 12339 0 0 0 93 1 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10553668 CPUtime=0.9 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 26165 0 -1 4202560 16963 0 0 0 88 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10553668 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 26165 0 -1 4202560 16305 0 0 0 94 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10553668 CPUtime=0.99 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 26165 0 -1 4202560 14304 0 0 0 97 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26465] ppid=26442 vsize=10553668 CPUtime=1.01 cores=0,2,4,6
/proc/26445/task/26465/stat : 26465 (java) S 26442 26445 26165 0 -1 4202560 16132 0 0 0 99 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26466] ppid=26442 vsize=10553668 CPUtime=1.01 cores=0,2,4,6
/proc/26445/task/26466/stat : 26466 (java) S 26442 26445 26165 0 -1 4202560 16228 0 0 0 100 1 0 0 15 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10553668 CPUtime=1.04 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 26165 0 -1 4202560 16128 0 0 0 102 2 0 0 16 0 19 0 877381100 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26468] ppid=26442 vsize=10553668 CPUtime=2.61 cores=0,2,4,6
/proc/26445/task/26468/stat : 26468 (java) S 26442 26445 26165 0 -1 4202560 16593 0 0 0 259 2 0 0 15 0 19 0 877381101 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 0 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26470] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26470/stat : 26470 (java) S 26442 26445 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26472] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26472/stat : 26472 (java) S 26442 26445 26165 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877381102 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26474] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26474/stat : 26474 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092055985 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26475] ppid=26442 vsize=10553668 CPUtime=0.67 cores=0,2,4,6
/proc/26445/task/26475/stat : 26475 (java) S 26442 26445 26165 0 -1 4202560 5972 0 0 0 67 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26478] ppid=26442 vsize=10553668 CPUtime=1.29 cores=0,2,4,6
/proc/26445/task/26478/stat : 26478 (java) S 26442 26445 26165 0 -1 4202560 6475 0 0 0 129 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 0 0 0 0
[pid=26445/tid=26479] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26479/stat : 26479 (java) S 26442 26445 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048281 0 4 0 16800975 18446604453588256768 0 0 -1 6 0 0 0
[pid=26445/tid=26482] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26482/stat : 26482 (java) S 26442 26445 26165 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 877381104 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 4 0 0 0
[pid=26445/tid=26484] ppid=26442 vsize=10553668 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26484/stat : 26484 (java) S 26442 26445 26165 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877381138 10806956032 969005 33554432000 1073741824 1073778376 140733635169760 18446744073709551615 208092048896 0 4 0 16800975 18446604453588256768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10553668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26645
/proc/meminfo: memFree=24416420/32950928 swapFree=67055948/67111528
[pid=26445] ppid=26442 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/26445/stat : 26445 (java) Z 26442 26445 26165 0 -1 4203548 977305 0 1 0 179897 121 0 0 17 0 2 0 877381098 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 0 0 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=0 CPUtime=1787.64 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) R 26442 26445 26165 0 -1 4203588 821757 0 1 0 178667 97 0 0 25 0 2 0 877381099 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.39
CPU time (s): 1800.27
CPU user time (s): 1798.97
CPU system time (s): 1.2938
CPU usage (%): 100.439
Max. virtual memory (cumulated for all children) (KiB): 10561748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.2938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 977305
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= 39652
involuntary context switches= 5585
runsolver used 3.2585 second user time and 6.54 second system time
The end