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-3456377-1307220342/watcher-3456377-1307220342 -o /tmp/evaluation-result-3456377-1307220342/solver-3456377-1307220342 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456377-1307220342.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 1.97 3/432 13777
/proc/meminfo: memFree=25952508/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 3301 0 1 0 0 0 0 0 25 0 2 0 289643627 10694979584 3002 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2611079 3016 917 9 0 2602235 0
[pid=13777/tid=13778] ppid=13775 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 4875 0 1 0 0 0 0 0 25 0 2 0 289643628 10694979584 5691 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0236669 s]
/proc/loadavg: 2.08 2.02 1.97 3/432 13777
/proc/meminfo: memFree=25952508/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10453028 CPUtime=0.02 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 9998 0 1 0 1 1 0 0 25 0 10 0 289643627 10703900672 9699 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2613257 9699 982 9 0 2604413 0
[pid=13777/tid=13778] ppid=13775 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 8876 0 1 0 0 0 0 0 25 0 10 0 289643628 10703900672 9700 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 47419501565385 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10453028
[startup+0.100592 s]
/proc/loadavg: 2.08 2.02 1.97 3/432 13777
/proc/meminfo: memFree=25952508/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10474796 CPUtime=0.1 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 12986 0 1 0 9 1 0 0 25 0 18 0 289643627 10726191104 12682 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2618699 12682 2092 9 0 2609433 0
[pid=13777/tid=13778] ppid=13775 vsize=10474796 CPUtime=0.09 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 11076 0 1 0 8 1 0 0 22 0 18 0 289643628 10726191104 12682 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912496211713 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474796
[startup+0.30051 s]
/proc/loadavg: 2.08 2.02 1.97 3/432 13777
/proc/meminfo: memFree=25952508/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10542364 CPUtime=0.47 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 15778 0 1 0 45 2 0 0 25 0 18 0 289643627 10795380736 15104 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2635591 15105 2200 9 0 2626325 0
[pid=13777/tid=13778] ppid=13775 vsize=10542364 CPUtime=0.28 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 12770 0 1 0 27 1 0 0 22 0 18 0 289643628 10795380736 15105 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542364
[startup+0.70052 s]
/proc/loadavg: 2.08 2.02 1.97 3/432 13777
/proc/meminfo: memFree=25952508/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=1.36 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 24950 0 1 0 132 4 0 0 25 0 19 0 289643627 10797142016 23170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 23173 2229 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=0.68 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 19557 0 1 0 66 2 0 0 18 0 19 0 289643628 10797142016 23174 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505741868 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10544084
[startup+1.5014 s]
/proc/loadavg: 2.08 2.02 1.97 3/452 13843
/proc/meminfo: memFree=25749240/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=2.2 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 59118 0 1 0 212 8 0 0 25 0 19 0 289643627 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 57337 2232 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=1.48 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 53713 0 1 0 142 6 0 0 18 0 19 0 289643628 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505839766 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 57337 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.35 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1366 0 0 0 35 0 0 0 15 0 19 0 289643633 10797142016 57342 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.35 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 2877 0 0 0 34 1 0 0 15 0 19 0 289643633 10797142016 57345 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 57347 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 57349 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 57351 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10544084
[startup+3.1011 s]
/proc/loadavg: 2.08 2.02 1.97 3/452 13843
/proc/meminfo: memFree=25310632/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=3.8 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 126768 0 1 0 363 17 0 0 25 0 19 0 289643627 10797142016 124987 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 124989 2232 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=3.08 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 121366 0 1 0 293 15 0 0 21 0 19 0 289643628 10797142016 124990 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505914532 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124992 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124993 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124995 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124996 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124998 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 124999 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 125001 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 125002 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 125004 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 125005 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 125006 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 125008 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.35 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1366 0 0 0 35 0 0 0 15 0 19 0 289643633 10797142016 125010 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.35 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 2877 0 0 0 34 1 0 0 15 0 19 0 289643633 10797142016 125011 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 125012 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 125012 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 125012 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10544084
[startup+6.30155 s]
/proc/loadavg: 1.99 2.01 1.97 3/452 13889
/proc/meminfo: memFree=24323452/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=7.04 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 260008 0 1 0 670 34 0 0 25 0 19 0 289643627 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 258170 2233 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=6.28 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 254596 0 1 0 596 32 0 0 25 0 19 0 289643628 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505701895 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643630 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 289643631 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 258170 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289643631 10797142016 258173 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 258177 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.37 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1369 0 0 0 37 0 0 0 15 0 19 0 289643633 10797142016 258180 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.37 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 2880 0 0 0 36 1 0 0 15 0 19 0 289643633 10797142016 258182 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.41 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1373 0 0 0 41 0 0 0 16 0 19 0 289643633 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.61 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 4034 0 0 0 60 1 0 0 15 0 19 0 289643633 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 515646 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1664.29
Current children cumulated vsize (KiB) 10544084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13947
/proc/meminfo: memFree=20056240/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=1724.33 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 519429 0 1 0 172365 68 0 0 25 0 19 0 289643627 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 516184 2263 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=1707.28 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 455872 0 1 0 170669 59 0 0 25 0 19 0 289643628 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505839766 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1788 0 0 0 18 0 0 0 15 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 277 0 0 0 17 0 0 0 15 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 245 0 0 0 17 0 0 0 15 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0.2 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 210 0 0 0 20 0 0 0 15 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0.15 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 30 0 0 0 15 0 0 0 16 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0.2 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 745 0 0 0 20 0 0 0 16 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 470 0 0 0 17 0 0 0 16 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 708 0 0 0 18 0 0 0 15 0 19 0 289643630 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=14.52 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 52424 0 0 0 1446 6 0 0 15 0 19 0 289643631 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.41 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1373 0 0 0 41 0 0 0 16 0 19 0 289643633 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.61 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 4034 0 0 0 60 1 0 0 15 0 19 0 289643633 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 516184 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.33
Current children cumulated vsize (KiB) 10544084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13948
/proc/meminfo: memFree=20052372/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=1784.37 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 520086 0 1 0 178368 69 0 0 25 0 19 0 289643627 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 516833 2263 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=1766.65 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 455874 0 1 0 176606 59 0 0 25 0 19 0 289643628 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505839771 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1788 0 0 0 18 0 0 0 15 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 277 0 0 0 18 0 0 0 16 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 245 0 0 0 17 0 0 0 15 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0.2 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 210 0 0 0 20 0 0 0 16 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 32 0 0 0 17 0 0 0 16 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0.21 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 747 0 0 0 21 0 0 0 15 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 470 0 0 0 17 0 0 0 15 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0.19 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 708 0 0 0 19 0 0 0 16 0 19 0 289643630 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=15.13 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 53073 0 0 0 1507 6 0 0 15 0 19 0 289643631 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.41 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1373 0 0 0 41 0 0 0 16 0 19 0 289643633 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.61 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 4034 0 0 0 60 1 0 0 15 0 19 0 289643633 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 516833 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (KiB) 10544084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13949
/proc/meminfo: memFree=20050744/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=10544084 CPUtime=1800.1 cores=0,2,4,6
/proc/13777/stat : 13777 (java) S 13775 13777 12126 0 -1 4202496 520626 0 1 0 179941 69 0 0 25 0 19 0 289643627 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 2636021 517368 2263 9 0 2626755 0
[pid=13777/tid=13778] ppid=13775 vsize=10544084 CPUtime=1782.05 cores=0,2,4,6
/proc/13777/task/13778/stat : 13778 (java) R 13775 13777 12126 0 -1 4202560 455875 0 1 0 178146 59 0 0 25 0 19 0 289643628 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 46912505839766 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13777/tid=13781] ppid=13775 vsize=10544084 CPUtime=0.19 cores=0,2,4,6
/proc/13777/task/13781/stat : 13781 (java) S 13775 13777 12126 0 -1 4202560 1789 0 0 0 19 0 0 0 16 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13782] ppid=13775 vsize=10544084 CPUtime=0.19 cores=0,2,4,6
/proc/13777/task/13782/stat : 13782 (java) S 13775 13777 12126 0 -1 4202560 277 0 0 0 19 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 4 0 0 0
[pid=13777/tid=13783] ppid=13775 vsize=10544084 CPUtime=0.17 cores=0,2,4,6
/proc/13777/task/13783/stat : 13783 (java) S 13775 13777 12126 0 -1 4202560 245 0 0 0 17 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13784] ppid=13775 vsize=10544084 CPUtime=0.21 cores=0,2,4,6
/proc/13777/task/13784/stat : 13784 (java) S 13775 13777 12126 0 -1 4202560 210 0 0 0 21 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13785] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13785/stat : 13785 (java) S 13775 13777 12126 0 -1 4202560 32 0 0 0 18 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13786] ppid=13775 vsize=10544084 CPUtime=0.21 cores=0,2,4,6
/proc/13777/task/13786/stat : 13786 (java) S 13775 13777 12126 0 -1 4202560 747 0 0 0 21 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13787] ppid=13775 vsize=10544084 CPUtime=0.18 cores=0,2,4,6
/proc/13777/task/13787/stat : 13787 (java) S 13775 13777 12126 0 -1 4202560 470 0 0 0 18 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13788] ppid=13775 vsize=10544084 CPUtime=0.19 cores=0,2,4,6
/proc/13777/task/13788/stat : 13788 (java) S 13775 13777 12126 0 -1 4202560 708 0 0 0 19 0 0 0 15 0 19 0 289643630 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13789] ppid=13775 vsize=10544084 CPUtime=15.44 cores=0,2,4,6
/proc/13777/task/13789/stat : 13789 (java) S 13775 13777 12126 0 -1 4202560 53609 0 0 0 1538 6 0 0 15 0 19 0 289643631 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 0 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13790] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13790/stat : 13790 (java) S 13775 13777 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13791] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13791/stat : 13791 (java) S 13775 13777 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289643631 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 0 0 0 0
[pid=13777/tid=13792] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13792/stat : 13792 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289643633 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892388785 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13793] ppid=13775 vsize=10544084 CPUtime=0.41 cores=0,2,4,6
/proc/13777/task/13793/stat : 13793 (java) S 13775 13777 12126 0 -1 4202560 1373 0 0 0 41 0 0 0 16 0 19 0 289643633 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13794] ppid=13775 vsize=10544084 CPUtime=0.61 cores=0,2,4,6
/proc/13777/task/13794/stat : 13794 (java) S 13775 13777 12126 0 -1 4202560 4034 0 0 0 60 1 0 0 15 0 19 0 289643633 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
[pid=13777/tid=13795] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13795/stat : 13795 (java) S 13775 13777 12126 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 289643633 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381081 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13796] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13796/stat : 13796 (java) S 13775 13777 12126 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 289643633 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 6 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=10544084 CPUtime=0 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) S 13775 13777 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289643667 10797142016 517368 33554432000 1073741824 1073778376 140733765887856 18446744073709551615 218892381696 0 4 0 16800975 18446604449375659328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10544084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13949
/proc/meminfo: memFree=20050744/32950928 swapFree=52006644/67111528
[pid=13777] ppid=13775 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/13777/stat : 13777 (java) Z 13775 13777 12126 0 -1 4203548 520660 0 1 0 179958 73 0 0 17 0 2 0 289643627 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13777/statm: 0 0 0 0 0 0 0
[pid=13777/tid=13842] ppid=13775 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/13777/task/13842/stat : 13842 (java) R 13775 13777 12126 0 -1 4203588 7 0 0 0 0 3 0 0 18 0 2 0 289643667 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.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.17
CPU time (s): 1800.36
CPU user time (s): 1799.58
CPU system time (s): 0.777881
CPU usage (%): 100.122
Max. virtual memory (cumulated for all children) (KiB): 10544084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.777881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520660
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= 39311
involuntary context switches= 9671
runsolver used 8.17276 second user time and 16.3695 second system time
The end