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-3455796-1307227270/watcher-3455796-1307227270 -o /tmp/evaluation-result-3455796-1307227270/solver-3455796-1307227270 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455796-1307227270.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/460 1588
/proc/meminfo: memFree=29731408/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/1588/stat : 1588 (runsolver) S 1586 1588 31238 0 -1 4202560 44 0 0 0 0 0 0 0 23 0 1 0 912957708 12079104 53 33554432000 4194304 5432328 140736544785792 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699215550 0 0 17 3 0 0 0
/proc/1588/statm: 2949 53 34 303 0 2643 0
[pid=1588/tid=1589] ppid=1586 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 3281 0 1 0 0 0 0 0 19 0 2 0 912957709 10694979584 4097 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0285021 s]
/proc/loadavg: 2.00 2.00 2.00 2/460 1588
/proc/meminfo: memFree=29731408/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 10342 0 1 0 1 1 0 0 18 0 10 0 912957708 10705784832 10041 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2613717 10049 1258 9 0 2604465 0
[pid=1588/tid=1589] ppid=1586 vsize=10454868 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 9232 0 1 0 0 0 0 0 24 0 10 0 912957709 10705784832 10053 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912504011236 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.10043 s]
/proc/loadavg: 2.00 2.00 2.00 2/460 1588
/proc/meminfo: memFree=29731408/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10539436 CPUtime=0.1 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 12937 0 1 0 9 1 0 0 18 0 18 0 912957708 10792382464 12634 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2634859 12635 2092 9 0 2625593 0
[pid=1588/tid=1589] ppid=1586 vsize=10539436 CPUtime=0.08 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 11119 0 1 0 7 1 0 0 25 0 18 0 912957709 10792382464 12635 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539436
[startup+0.300393 s]
/proc/loadavg: 2.00 2.00 2.00 2/460 1588
/proc/meminfo: memFree=29731408/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10544704 CPUtime=0.47 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 16515 0 1 0 45 2 0 0 18 0 18 0 912957708 10797776896 15613 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2636176 15613 2220 9 0 2626910 0
[pid=1588/tid=1589] ppid=1586 vsize=10544704 CPUtime=0.27 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 12720 0 1 0 26 1 0 0 25 0 18 0 912957709 10797776896 15613 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505228559 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10544704
[startup+0.70032 s]
/proc/loadavg: 2.00 2.00 2.00 2/460 1588
/proc/meminfo: memFree=29731408/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10550388 CPUtime=1.56 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 27482 0 1 0 153 3 0 0 18 0 19 0 912957708 10803597312 24839 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637597 24839 2238 9 0 2628331 0
[pid=1588/tid=1589] ppid=1586 vsize=10550388 CPUtime=0.68 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 18144 0 1 0 66 2 0 0 25 0 19 0 912957709 10803597312 24839 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505121159 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10550388
[startup+1.50124 s]
/proc/loadavg: 2.32 2.07 2.02 3/460 1655
/proc/meminfo: memFree=29657560/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=2.74 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 47174 0 1 0 268 6 0 0 18 0 19 0 912957708 10804645888 44530 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 44530 2242 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=1.47 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 37549 0 1 0 143 4 0 0 18 0 19 0 912957709 10804645888 44531 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505594282 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912957710 10804645888 44531 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 44532 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 44533 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 44533 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 44533 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 44534 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 912957710 10804645888 44534 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 912957710 10804645888 44534 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912957711 10804645888 44535 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 44535 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 44536 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 44536 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.6 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2756 0 0 0 60 0 0 0 15 0 19 0 912957714 10804645888 44536 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5710 0 0 0 63 0 0 0 23 0 19 0 912957714 10804645888 44537 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 44537 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1606] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1606/stat : 1606 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912957714 10804645888 44538 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 44539 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10551412
[startup+3.10093 s]
/proc/loadavg: 2.32 2.07 2.02 4/480 1700
/proc/meminfo: memFree=29371968/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=4.39 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 87397 0 1 0 429 10 0 0 18 0 19 0 912957708 10804645888 84751 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 84751 2242 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=3.08 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 77743 0 1 0 299 9 0 0 18 0 19 0 912957709 10804645888 84751 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505857004 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912957710 10804645888 84751 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 84751 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 912957710 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912957711 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.65 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2784 0 0 0 65 0 0 0 15 0 19 0 912957714 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5710 0 0 0 63 0 0 0 23 0 19 0 912957714 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 84752 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1606] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1606/stat : 1606 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912957714 10804645888 84753 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 84753 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10551412
[startup+6.30133 s]
/proc/loadavg: 2.29 2.07 2.02 4/480 1700
/proc/meminfo: memFree=27572444/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=7.66 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 222162 0 1 0 740 26 0 0 18 0 19 0 912957708 10804645888 219515 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 219516 2244 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=6.28 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 212501 0 1 0 603 25 0 0 21 0 19 0 912957709 10804645888 219517 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505833233 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912957710 10804645888 219518 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 219518 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 219519 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 219520 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 219521 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912957710 10804645888 219521 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 912957710 10804645888 219522 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 912957710 10804645888 219523 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912957711 10804645888 219524 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 219525 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957712 10804645888 219526 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 219526 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.72 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2792 0 0 0 72 0 0 0 15 0 19 0 912957714 10804645888 219528 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.64 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5710 0 0 0 64 0 0 0 18 0 19 0 912957714 10804645888 219529 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 951800 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.02
Current children cumulated vsize (KiB) 10551412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/480 2274
/proc/meminfo: memFree=22198436/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=1727.08 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 958777 0 1 0 172593 115 0 0 18 0 19 0 912957708 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 953856 2270 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=1720.22 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 822889 0 1 0 171926 96 0 0 25 0 19 0 912957709 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505986472 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0.58 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 16002 0 0 0 56 2 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0.52 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 13609 0 0 0 51 1 0 0 16 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 15115 0 0 0 62 1 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0.55 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 13849 0 0 0 53 2 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0.48 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 9106 0 0 0 47 1 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0.59 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 17779 0 0 0 58 1 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0.58 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 19688 0 0 0 56 2 0 0 15 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0.55 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 19901 0 0 0 53 2 0 0 16 0 19 0 912957710 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 1031 0 0 0 62 1 0 0 15 0 19 0 912957711 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.82 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2816 0 0 0 82 0 0 0 15 0 19 0 912957714 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.81 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5738 0 0 0 81 0 0 0 15 0 19 0 912957714 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1606] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1606/stat : 1606 (java) S 1586 1588 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912957714 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 953856 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.08
Current children cumulated vsize (KiB) 10551412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/480 2275
/proc/meminfo: memFree=22188992/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=1787.15 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 960292 0 1 0 178600 115 0 0 18 0 19 0 912957708 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 955348 2270 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=1780.17 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 822891 0 1 0 177921 96 0 0 25 0 19 0 912957709 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912506035272 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0.59 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 16468 0 0 0 57 2 0 0 15 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0.52 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 13609 0 0 0 51 1 0 0 15 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0.65 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 15267 0 0 0 64 1 0 0 16 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0.56 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 13916 0 0 0 54 2 0 0 16 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0.5 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 9275 0 0 0 49 1 0 0 16 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0.59 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 17781 0 0 0 58 1 0 0 15 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0.6 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 19940 0 0 0 58 2 0 0 16 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0.59 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 20300 0 0 0 57 2 0 0 16 0 19 0 912957710 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 1033 0 0 0 62 1 0 0 15 0 19 0 912957711 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.82 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2816 0 0 0 82 0 0 0 15 0 19 0 912957714 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.81 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5738 0 0 0 81 0 0 0 15 0 19 0 912957714 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1606] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1606/stat : 1606 (java) S 1586 1588 31238 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 912957714 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 955348 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.15
Current children cumulated vsize (KiB) 10551412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 4/480 2276
/proc/meminfo: memFree=22185148/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=10551412 CPUtime=1800.02 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1586 1588 31238 0 -1 4202496 960813 0 1 0 179886 116 0 0 18 0 19 0 912957708 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 2637853 955843 2270 9 0 2628587 0
[pid=1588/tid=1589] ppid=1586 vsize=10551412 CPUtime=1792.99 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1586 1588 31238 0 -1 4202560 822892 0 1 0 179203 96 0 0 25 0 19 0 912957709 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1588/tid=1591] ppid=1586 vsize=10551412 CPUtime=0.6 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1586 1588 31238 0 -1 4202560 16592 0 0 0 58 2 0 0 16 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1592] ppid=1586 vsize=10551412 CPUtime=0.52 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1586 1588 31238 0 -1 4202560 13610 0 0 0 51 1 0 0 16 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1593] ppid=1586 vsize=10551412 CPUtime=0.68 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1586 1588 31238 0 -1 4202560 15420 0 0 0 66 2 0 0 16 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1594] ppid=1586 vsize=10551412 CPUtime=0.57 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1586 1588 31238 0 -1 4202560 13978 0 0 0 55 2 0 0 16 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1595] ppid=1586 vsize=10551412 CPUtime=0.5 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1586 1588 31238 0 -1 4202560 9275 0 0 0 49 1 0 0 15 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
[pid=1588/tid=1596] ppid=1586 vsize=10551412 CPUtime=0.62 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1586 1588 31238 0 -1 4202560 17958 0 0 0 60 2 0 0 16 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1597] ppid=1586 vsize=10551412 CPUtime=0.6 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1586 1588 31238 0 -1 4202560 19940 0 0 0 58 2 0 0 15 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1598] ppid=1586 vsize=10551412 CPUtime=0.59 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1586 1588 31238 0 -1 4202560 20301 0 0 0 57 2 0 0 15 0 19 0 912957710 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1599] ppid=1586 vsize=10551412 CPUtime=0.63 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1586 1588 31238 0 -1 4202560 1035 0 0 0 62 1 0 0 15 0 19 0 912957711 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 0 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1600] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1586 1588 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1601] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1586 1588 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912957712 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1602] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907314097 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1603] ppid=1586 vsize=10551412 CPUtime=0.82 cores=1,3,5,7
/proc/1588/task/1603/stat : 1603 (java) S 1586 1588 31238 0 -1 4202560 2816 0 0 0 82 0 0 0 15 0 19 0 912957714 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1604] ppid=1586 vsize=10551412 CPUtime=0.81 cores=1,3,5,7
/proc/1588/task/1604/stat : 1604 (java) S 1586 1588 31238 0 -1 4202560 5738 0 0 0 81 0 0 0 15 0 19 0 912957714 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 7 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) S 1586 1588 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912957714 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907306393 0 4 0 16800975 18446604464458890112 0 0 -1 3 0 0 0
[pid=1588/tid=1606] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1606/stat : 1606 (java) S 1586 1588 31238 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 912957714 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 1 0 0 0
[pid=1588/tid=1609] ppid=1586 vsize=10551412 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1609/stat : 1609 (java) S 1586 1588 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912957760 10804645888 955843 33554432000 1073741824 1073778376 140734022524448 18446744073709551615 231907307008 0 4 0 16800975 18446604464458890112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10551412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.24 s]
/proc/loadavg: 2.00 2.02 2.00 4/480 2276
/proc/meminfo: memFree=22185148/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/1588/stat : 1588 (java) Z 1586 1588 31238 0 -1 4203548 960844 0 1 0 179890 125 0 0 17 0 2 0 912957708 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 0 0 0 0 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) R 1586 1588 31238 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 912957714 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1795.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/480 2276
/proc/meminfo: memFree=22185148/32950928 swapFree=52246700/67111528
[pid=1588] ppid=1586 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/1588/stat : 1588 (java) Z 1586 1588 31238 0 -1 4203548 960844 0 1 0 179890 131 0 0 17 0 2 0 912957708 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1588/statm: 0 0 0 0 0 0 0
[pid=1588/tid=1605] ppid=1586 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/1588/task/1605/stat : 1605 (java) R 1586 1588 31238 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 912957714 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.3
CPU time (s): 1800.22
CPU user time (s): 1798.91
CPU system time (s): 1.3158
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 10551412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 960844
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= 39283
involuntary context switches= 32090
runsolver used 7.49686 second user time and 18.8631 second system time
The end