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-3456956-1307209508/watcher-3456956-1307209508 -o /tmp/evaluation-result-3456956-1307209508/solver-3456956-1307209508 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456956-1307209508.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 1/409 12763
/proc/meminfo: memFree=26007724/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 1362 0 1 0 0 0 0 0 25 0 2 0 288560252 36679680 1065 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 8955 1066 828 9 0 386 0
[pid=12763/tid=12764] ppid=12761 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 2608 0 1 0 0 0 0 0 25 0 2 0 288560252 10694979584 3425 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0651609 s]
/proc/loadavg: 0.92 0.98 0.99 1/409 12763
/proc/meminfo: memFree=26007724/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10538460 CPUtime=0.05 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 11690 0 1 0 4 1 0 0 25 0 18 0 288560252 10791383040 11387 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2634615 11387 1733 9 0 2625356 0
[pid=12763/tid=12764] ppid=12761 vsize=10538460 CPUtime=0.04 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 10516 0 1 0 3 1 0 0 18 0 18 0 288560252 10791383040 11388 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 47239947312067 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538460
[startup+0.101157 s]
/proc/loadavg: 0.92 0.98 0.99 1/409 12763
/proc/meminfo: memFree=26007724/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 288560252 10793226240 12771 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2635065 12771 2093 9 0 2625799 0
[pid=12763/tid=12764] ppid=12761 vsize=10540260 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 11144 0 1 0 7 1 0 0 18 0 18 0 288560252 10793226240 12771 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.334069 s]
/proc/loadavg: 0.92 0.98 0.99 1/409 12763
/proc/meminfo: memFree=26007724/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10553648 CPUtime=0.62 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 21945 0 1 0 59 3 0 0 25 0 19 0 288560252 10806935552 20054 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2638412 20055 2216 9 0 2629146 0
[pid=12763/tid=12764] ppid=12761 vsize=10553648 CPUtime=0.31 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 14886 0 1 0 30 1 0 0 19 0 19 0 288560252 10806935552 20055 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505529942 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10553648
[startup+0.70605 s]
/proc/loadavg: 0.92 0.98 0.99 1/409 12763
/proc/meminfo: memFree=26007724/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10554580 CPUtime=1.67 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 50802 0 1 0 160 7 0 0 25 0 19 0 288560252 10807889920 48042 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2638645 48047 2220 9 0 2629379 0
[pid=12763/tid=12764] ppid=12761 vsize=10554580 CPUtime=0.67 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 39675 0 1 0 64 3 0 0 18 0 19 0 288560252 10807889920 48050 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505531964 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10554580
[startup+1.50091 s]
/proc/loadavg: 0.92 0.98 0.99 2/428 12782
/proc/meminfo: memFree=25595592/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10554580 CPUtime=2.58 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 139571 0 1 0 243 15 0 0 25 0 19 0 288560252 10807889920 136810 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2638645 136816 2225 9 0 2629379 0
[pid=12763/tid=12764] ppid=12761 vsize=10554580 CPUtime=1.47 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 128425 0 1 0 135 12 0 0 18 0 19 0 288560252 10807889920 136819 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505527274 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136823 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136827 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136830 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136834 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136838 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136841 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136845 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 136848 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 288560255 10807889920 136852 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288560256 10807889920 136855 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288560256 10807889920 136858 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10807889920 136862 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10554580 CPUtime=0.57 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5087 0 0 0 56 1 0 0 15 0 19 0 288560258 10807889920 136865 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10554580 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10807889920 136869 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10807889920 136872 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 288560258 10807889920 136875 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10807889920 136879 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10554580
[startup+3.10162 s]
/proc/loadavg: 0.92 0.98 0.99 2/428 12782
/proc/meminfo: memFree=25205480/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10554580 CPUtime=4.19 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 277369 0 1 0 389 30 0 0 25 0 19 0 288560252 10807889920 274606 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2638645 274609 2225 9 0 2629379 0
[pid=12763/tid=12764] ppid=12761 vsize=10554580 CPUtime=3.07 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 266216 0 1 0 280 27 0 0 19 0 19 0 288560252 10807889920 274611 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505527274 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274613 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274615 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274618 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274620 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274622 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274624 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274628 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10807889920 274633 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 288560255 10807889920 274639 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288560256 10807889920 274645 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288560256 10807889920 274651 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10807889920 274657 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10554580 CPUtime=0.58 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5089 0 0 0 57 1 0 0 15 0 19 0 288560258 10807889920 274663 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10554580 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10807889920 274669 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10807889920 274675 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 288560258 10807889920 274680 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10554580 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10807889920 274686 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10554580
[startup+6.30106 s]
/proc/loadavg: 0.93 0.98 0.99 2/428 12782
/proc/meminfo: memFree=24234064/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10551664 CPUtime=7.41 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 468404 0 1 0 692 49 0 0 25 0 19 0 288560252 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2637916 464899 2226 9 0 2628650 0
[pid=12763/tid=12764] ppid=12761 vsize=10551664 CPUtime=6.27 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 457243 0 1 0 582 45 0 0 25 0 19 0 288560252 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505964106 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560254 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 288560255 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288560256 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288560256 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10551664 CPUtime=0.59 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5091 0 0 0 58 1 0 0 15 0 19 0 288560258 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10551664 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10804903936 464899 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10551664 CPUtime=0.62 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5100 0 0 0 61 1 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10551664 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.02
Current children cumulated vsize (KiB) 10551664
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12840
/proc/meminfo: memFree=22287916/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10551664 CPUtime=1724 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 937900 0 1 0 172287 113 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2637916 929439 2240 9 0 2628650 0
[pid=12763/tid=12764] ppid=12761 vsize=10551664 CPUtime=1722.03 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 755253 0 1 0 172122 81 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505605840 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10551664 CPUtime=0.12 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 31890 0 0 0 8 4 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10551664 CPUtime=0.1 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 18642 0 0 0 8 2 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10551664 CPUtime=0.09 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 19565 0 0 0 5 4 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 20990 0 0 0 5 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10551664 CPUtime=0.11 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 24273 0 0 0 8 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 19532 0 0 0 5 3 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10551664 CPUtime=0.07 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 19151 0 0 0 5 2 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10551664 CPUtime=0.06 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 17306 0 0 0 3 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 288560255 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10551664 CPUtime=0.62 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5100 0 0 0 61 1 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10551664 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724
Current children cumulated vsize (KiB) 10551664
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12842
/proc/meminfo: memFree=22287288/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10551664 CPUtime=1784.01 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 937904 0 1 0 178288 113 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2637916 929439 2240 9 0 2628650 0
[pid=12763/tid=12764] ppid=12761 vsize=10551664 CPUtime=1782.03 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 755253 0 1 0 178122 81 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505918515 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10551664 CPUtime=0.12 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 31890 0 0 0 8 4 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10551664 CPUtime=0.1 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 18642 0 0 0 8 2 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10551664 CPUtime=0.09 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 19565 0 0 0 5 4 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 20990 0 0 0 5 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10551664 CPUtime=0.11 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 24273 0 0 0 8 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 19532 0 0 0 5 3 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10551664 CPUtime=0.07 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 19151 0 0 0 5 2 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10551664 CPUtime=0.06 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 17306 0 0 0 3 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 288560255 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10551664 CPUtime=0.62 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5100 0 0 0 61 1 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10551664 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.01
Current children cumulated vsize (KiB) 10551664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12842
/proc/meminfo: memFree=22287528/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=10551664 CPUtime=1800.02 cores=0,2,4,6
/proc/12763/stat : 12763 (java) S 12761 12763 12126 0 -1 4202496 937904 0 1 0 179889 113 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12763/statm: 2637916 929439 2240 9 0 2628650 0
[pid=12763/tid=12764] ppid=12761 vsize=10551664 CPUtime=1798.04 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4202560 755253 0 1 0 179723 81 0 0 25 0 19 0 288560252 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 46912505847480 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12763/tid=12766] ppid=12761 vsize=10551664 CPUtime=0.12 cores=0,2,4,6
/proc/12763/task/12766/stat : 12766 (java) S 12761 12763 12126 0 -1 4202560 31890 0 0 0 8 4 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12767] ppid=12761 vsize=10551664 CPUtime=0.1 cores=0,2,4,6
/proc/12763/task/12767/stat : 12767 (java) S 12761 12763 12126 0 -1 4202560 18642 0 0 0 8 2 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12768] ppid=12761 vsize=10551664 CPUtime=0.09 cores=0,2,4,6
/proc/12763/task/12768/stat : 12768 (java) S 12761 12763 12126 0 -1 4202560 19565 0 0 0 5 4 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12769] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12769/stat : 12769 (java) S 12761 12763 12126 0 -1 4202560 20990 0 0 0 5 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12770] ppid=12761 vsize=10551664 CPUtime=0.11 cores=0,2,4,6
/proc/12763/task/12770/stat : 12770 (java) S 12761 12763 12126 0 -1 4202560 24273 0 0 0 8 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12771] ppid=12761 vsize=10551664 CPUtime=0.08 cores=0,2,4,6
/proc/12763/task/12771/stat : 12771 (java) S 12761 12763 12126 0 -1 4202560 19532 0 0 0 5 3 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12772] ppid=12761 vsize=10551664 CPUtime=0.07 cores=0,2,4,6
/proc/12763/task/12772/stat : 12772 (java) S 12761 12763 12126 0 -1 4202560 19151 0 0 0 5 2 0 0 16 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12773] ppid=12761 vsize=10551664 CPUtime=0.06 cores=0,2,4,6
/proc/12763/task/12773/stat : 12773 (java) S 12761 12763 12126 0 -1 4202560 17306 0 0 0 3 3 0 0 15 0 19 0 288560254 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12774] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12774/stat : 12774 (java) S 12761 12763 12126 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 288560255 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 0 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12775] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12775/stat : 12775 (java) S 12761 12763 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12776] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12776/stat : 12776 (java) S 12761 12763 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 288560256 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12777] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12777/stat : 12777 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892388785 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12778] ppid=12761 vsize=10551664 CPUtime=0.62 cores=0,2,4,6
/proc/12763/task/12778/stat : 12778 (java) S 12761 12763 12126 0 -1 4202560 5100 0 0 0 61 1 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
[pid=12763/tid=12779] ppid=12761 vsize=10551664 CPUtime=0.51 cores=0,2,4,6
/proc/12763/task/12779/stat : 12779 (java) S 12761 12763 12126 0 -1 4202560 4908 0 0 0 51 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 6 0 0 0
[pid=12763/tid=12780] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12780/stat : 12780 (java) S 12761 12763 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381081 0 4 0 16800975 18446604446073644096 0 0 -1 2 0 0 0
[pid=12763/tid=12781] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12781/stat : 12781 (java) S 12761 12763 12126 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 288560258 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 0 0 0 0
[pid=12763/tid=12782] ppid=12761 vsize=10551664 CPUtime=0 cores=0,2,4,6
/proc/12763/task/12782/stat : 12782 (java) S 12761 12763 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 288560268 10804903936 929439 33554432000 1073741824 1073778376 140733200289888 18446744073709551615 218892381696 0 4 0 16800975 18446604446073644096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10551664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12842
/proc/meminfo: memFree=22287528/32950928 swapFree=52006644/67111528
[pid=12763] ppid=12761 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/12763/stat : 12763 (java) Z 12761 12763 12126 0 -1 4203548 937935 0 1 0 179890 122 0 0 17 0 2 0 288560252 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/12763/statm: 0 0 0 0 0 0 0
[pid=12763/tid=12764] ppid=12761 vsize=0 CPUtime=1798.14 cores=0,2,4,6
/proc/12763/task/12764/stat : 12764 (java) R 12761 12763 12126 0 -1 4203588 755253 0 1 0 179724 90 0 0 25 0 2 0 288560252 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.46
CPU time (s): 1800.17
CPU user time (s): 1798.9
CPU system time (s): 1.26781
CPU usage (%): 100.095
Max. virtual memory (cumulated for all children) (KiB): 10554580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.26781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937935
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= 36968
involuntary context switches= 3146
runsolver used 7.82381 second user time and 15.9916 second system time
The end