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-3456849-1307221809/watcher-3456849-1307221809 -o /tmp/evaluation-result-3456849-1307221809/solver-3456849-1307221809 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456849-1307221809.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: 1.92 2.02 2.00 2/535 23454
/proc/meminfo: memFree=17539876/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 6432 0 1 0 0 1 0 0 25 0 2 0 833777579 10694979584 6134 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2611079 6149 917 9 0 2602235 0
[pid=23454/tid=23455] ppid=23452 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 5797 0 1 0 0 1 0 0 25 0 2 0 833777580 10694979584 6613 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0829269 s]
/proc/loadavg: 1.92 2.02 2.00 2/535 23454
/proc/meminfo: memFree=17539876/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 11891 0 1 0 4 2 0 0 25 0 18 0 833777579 10724442112 11588 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2618272 11588 1754 9 0 2609006 0
[pid=23454/tid=23455] ppid=23452 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 10718 0 1 0 4 1 0 0 22 0 18 0 833777580 10724442112 11589 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512518603 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.128944 s]
/proc/loadavg: 1.92 2.02 2.00 2/535 23454
/proc/meminfo: memFree=17539876/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10540092 CPUtime=0.12 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 13220 0 1 0 10 2 0 0 25 0 18 0 833777579 10793054208 12887 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2635023 12888 2134 9 0 2625757 0
[pid=23454/tid=23455] ppid=23452 vsize=10540092 CPUtime=0.1 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 11317 0 1 0 8 2 0 0 22 0 18 0 833777580 10793054208 12888 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 47804858645331 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540092
[startup+0.300869 s]
/proc/loadavg: 1.92 2.02 2.00 2/535 23454
/proc/meminfo: memFree=17539876/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10545292 CPUtime=0.47 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 17631 0 1 0 44 3 0 0 25 0 19 0 833777579 10798379008 16496 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2636323 16497 2200 9 0 2627057 0
[pid=23454/tid=23455] ppid=23452 vsize=10545292 CPUtime=0.27 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 13449 0 1 0 25 2 0 0 18 0 19 0 833777580 10798379008 16497 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505567278 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10545292
[startup+0.700807 s]
/proc/loadavg: 1.92 2.02 2.00 2/535 23454
/proc/meminfo: memFree=17539876/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=1.62 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 43796 0 1 0 156 6 0 0 25 0 19 0 833777579 10805489664 37863 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 37866 2224 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=0.67 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 30775 0 1 0 63 4 0 0 18 0 19 0 833777580 10805489664 37867 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505710887 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10552236
[startup+1.50165 s]
/proc/loadavg: 1.92 2.02 2.00 3/554 23473
/proc/meminfo: memFree=17289064/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=2.51 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 116153 0 1 0 238 13 0 0 25 0 19 0 833777579 10805489664 110219 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 110223 2226 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=1.47 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 103122 0 1 0 136 11 0 0 18 0 19 0 833777580 10805489664 110225 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505554376 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110228 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110231 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110234 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110238 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110241 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110245 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110248 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 110252 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 110255 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 110258 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 110261 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 110264 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.49 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 6074 0 0 0 49 0 0 0 15 0 19 0 833777586 10805489664 110267 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.52 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5803 0 0 0 52 0 0 0 15 0 19 0 833777586 10805489664 110271 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 110273 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 110276 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 110279 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10552236
[startup+3.10133 s]
/proc/loadavg: 1.92 2.02 2.00 3/554 23473
/proc/meminfo: memFree=16896460/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=4.12 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 251669 0 1 0 385 27 0 0 25 0 19 0 833777579 10805489664 245734 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 245735 2227 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=3.07 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 238632 0 1 0 282 25 0 0 19 0 19 0 833777580 10805489664 245737 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505561168 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245737 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245738 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245739 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245740 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245741 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245741 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245743 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 245744 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833777583 10805489664 245744 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 245745 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 245746 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 245747 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.49 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 6074 0 0 0 49 0 0 0 15 0 19 0 833777586 10805489664 245748 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.53 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5806 0 0 0 53 0 0 0 15 0 19 0 833777586 10805489664 245748 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 245749 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 245750 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 245751 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 10552236
[startup+6.30069 s]
/proc/loadavg: 1.93 2.02 2.00 3/554 23473
/proc/meminfo: memFree=15989000/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=7.34 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 441753 0 1 0 686 48 0 0 25 0 19 0 833777579 10805489664 435817 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 435818 2228 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=6.27 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 428712 0 1 0 581 46 0 0 19 0 19 0 833777580 10805489664 435818 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505561168 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435818 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435818 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435818 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833777582 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833777583 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833777583 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.51 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 6076 0 0 0 50 1 0 0 15 0 19 0 833777586 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.53 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5806 0 0 0 53 0 0 0 15 0 19 0 833777586 10805489664 435820 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.75 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 8372 0 0 0 74 1 0 0 16 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.59 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5821 0 0 0 59 0 0 0 15 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.7
Current children cumulated vsize (KiB) 10552236
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/554 23567
/proc/meminfo: memFree=13925844/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=1724.7 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 999225 0 1 0 172354 116 0 0 25 0 19 0 833777579 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 981162 2244 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=1721.9 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 785834 0 1 0 172106 84 0 0 25 0 19 0 833777580 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505561822 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0.13 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 22767 0 0 0 11 2 0 0 16 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 24607 0 0 0 13 2 0 0 16 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0.2 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 26999 0 0 0 16 4 0 0 16 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 19809 0 0 0 12 3 0 0 15 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 20234 0 0 0 13 2 0 0 15 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0.18 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 23300 0 0 0 15 3 0 0 15 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0.21 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 36178 0 0 0 16 5 0 0 16 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0.14 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 23988 0 0 0 11 3 0 0 15 0 19 0 833777582 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 833777583 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.75 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 8372 0 0 0 74 1 0 0 16 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.59 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5821 0 0 0 59 0 0 0 15 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 981162 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.7
Current children cumulated vsize (KiB) 10552236
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/554 23568
/proc/meminfo: memFree=13878696/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=1784.73 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 1001286 0 1 0 178357 116 0 0 25 0 19 0 833777579 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 983039 2244 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=1781.89 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 785835 0 1 0 178105 84 0 0 25 0 19 0 833777580 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505561765 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0.14 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 23383 0 0 0 12 2 0 0 16 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 24607 0 0 0 13 2 0 0 15 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0.2 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 26999 0 0 0 16 4 0 0 15 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0.16 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 20347 0 0 0 13 3 0 0 16 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0.16 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 20631 0 0 0 14 2 0 0 16 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0.18 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 23300 0 0 0 15 3 0 0 16 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0.21 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 36178 0 0 0 16 5 0 0 15 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 24491 0 0 0 12 3 0 0 16 0 19 0 833777582 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 833777583 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.75 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 8372 0 0 0 74 1 0 0 16 0 19 0 833777586 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.59 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5821 0 0 0 59 0 0 0 15 0 19 0 833777586 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 983039 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.73
Current children cumulated vsize (KiB) 10552236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/554 23569
/proc/meminfo: memFree=13859588/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=10552236 CPUtime=1800.06 cores=1,3,5,7
/proc/23454/stat : 23454 (java) S 23452 23454 22626 0 -1 4202496 1005831 0 1 0 179890 116 0 0 25 0 19 0 833777579 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 2638059 986821 2244 9 0 2628793 0
[pid=23454/tid=23455] ppid=23452 vsize=10552236 CPUtime=1797.2 cores=1,3,5,7
/proc/23454/task/23455/stat : 23455 (java) R 23452 23454 22626 0 -1 4202560 785836 0 1 0 179636 84 0 0 25 0 19 0 833777580 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 46912505711157 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23454/tid=23457] ppid=23452 vsize=10552236 CPUtime=0.14 cores=1,3,5,7
/proc/23454/task/23457/stat : 23457 (java) S 23452 23454 22626 0 -1 4202560 23383 0 0 0 12 2 0 0 15 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23458] ppid=23452 vsize=10552236 CPUtime=0.16 cores=1,3,5,7
/proc/23454/task/23458/stat : 23458 (java) S 23452 23454 22626 0 -1 4202560 26288 0 0 0 14 2 0 0 16 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23459] ppid=23452 vsize=10552236 CPUtime=0.2 cores=1,3,5,7
/proc/23454/task/23459/stat : 23459 (java) S 23452 23454 22626 0 -1 4202560 26999 0 0 0 16 4 0 0 15 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23460] ppid=23452 vsize=10552236 CPUtime=0.17 cores=1,3,5,7
/proc/23454/task/23460/stat : 23460 (java) S 23452 23454 22626 0 -1 4202560 21825 0 0 0 14 3 0 0 16 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23461] ppid=23452 vsize=10552236 CPUtime=0.16 cores=1,3,5,7
/proc/23454/task/23461/stat : 23461 (java) S 23452 23454 22626 0 -1 4202560 20631 0 0 0 14 2 0 0 15 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23462] ppid=23452 vsize=10552236 CPUtime=0.18 cores=1,3,5,7
/proc/23454/task/23462/stat : 23462 (java) S 23452 23454 22626 0 -1 4202560 23300 0 0 0 15 3 0 0 15 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23463] ppid=23452 vsize=10552236 CPUtime=0.23 cores=1,3,5,7
/proc/23454/task/23463/stat : 23463 (java) S 23452 23454 22626 0 -1 4202560 37561 0 0 0 17 6 0 0 16 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=23454/tid=23464] ppid=23452 vsize=10552236 CPUtime=0.15 cores=1,3,5,7
/proc/23454/task/23464/stat : 23464 (java) S 23452 23454 22626 0 -1 4202560 24491 0 0 0 12 3 0 0 15 0 19 0 833777582 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23465] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23465/stat : 23465 (java) S 23452 23454 22626 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 833777583 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23466] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23466/stat : 23466 (java) S 23452 23454 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23467] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23467/stat : 23467 (java) S 23452 23454 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833777583 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23468] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23468/stat : 23468 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833777586 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23469] ppid=23452 vsize=10552236 CPUtime=0.75 cores=1,3,5,7
/proc/23454/task/23469/stat : 23469 (java) S 23452 23454 22626 0 -1 4202560 8372 0 0 0 74 1 0 0 16 0 19 0 833777586 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=23454/tid=23470] ppid=23452 vsize=10552236 CPUtime=0.59 cores=1,3,5,7
/proc/23454/task/23470/stat : 23470 (java) S 23452 23454 22626 0 -1 4202560 5821 0 0 0 59 0 0 0 15 0 19 0 833777586 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23471] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23471/stat : 23471 (java) S 23452 23454 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833777586 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23472] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23472/stat : 23472 (java) S 23452 23454 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833777586 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 3 0 0 0
[pid=23454/tid=23473] ppid=23452 vsize=10552236 CPUtime=0 cores=1,3,5,7
/proc/23454/task/23473/stat : 23473 (java) S 23452 23454 22626 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833777597 10805489664 986821 33554432000 1073741824 1073778376 140737464613680 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10552236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.73 s]
/proc/loadavg: 2.02 2.04 2.00 3/554 23569
/proc/meminfo: memFree=13859588/32950928 swapFree=34259960/67111528
[pid=23454] ppid=23452 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/23454/stat : 23454 (java) Z 23452 23454 22626 0 -1 4203548 1005860 0 1 0 179892 126 0 0 17 0 2 0 833777579 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.78
CPU time (s): 1800.25
CPU user time (s): 1798.93
CPU system time (s): 1.3198
CPU usage (%): 100.137
Max. virtual memory (cumulated for all children) (KiB): 10554744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.3198
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005860
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= 37608
involuntary context switches= 6269
runsolver used 8.95564 second user time and 21.9757 second system time
The end