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-3456323-1307224846/watcher-3456323-1307224846 -o /tmp/evaluation-result-3456323-1307224846/solver-3456323-1307224846 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456323-1307224846.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.10 2.03 2/548 13361
/proc/meminfo: memFree=11359536/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 2894 0 1 0 0 0 0 0 25 0 2 0 834083231 10681323520 2595 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2607745 2609 906 9 0 2598901 0
[pid=13361/tid=13362] ppid=13359 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 5728 0 1 0 0 0 0 0 25 0 2 0 834083231 10694979584 6544 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.070175 s]
/proc/loadavg: 2.09 2.10 2.03 2/548 13361
/proc/meminfo: memFree=11359536/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 11758 0 1 0 4 1 0 0 25 0 18 0 834083231 10791411712 11454 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2634622 11454 1742 9 0 2625356 0
[pid=13361/tid=13362] ppid=13359 vsize=10538488 CPUtime=0.04 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 10582 0 1 0 3 1 0 0 18 0 18 0 834083231 10791411712 11454 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982376907 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.100168 s]
/proc/loadavg: 2.09 2.10 2.03 2/548 13361
/proc/meminfo: memFree=11359536/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10605564 CPUtime=0.1 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 13037 0 1 0 9 1 0 0 25 0 18 0 834083231 10860097536 12701 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2651391 12702 2092 9 0 2642125 0
[pid=13361/tid=13362] ppid=13359 vsize=10605564 CPUtime=0.07 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 11113 0 1 0 6 1 0 0 18 0 18 0 834083231 10860097536 12702 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982376907 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605564
[startup+0.300137 s]
/proc/loadavg: 2.09 2.10 2.03 2/548 13361
/proc/meminfo: memFree=11359536/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10606720 CPUtime=0.5 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 16374 0 1 0 48 2 0 0 25 0 18 0 834083231 10861281280 15534 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2651680 15534 2201 9 0 2642414 0
[pid=13361/tid=13362] ppid=13359 vsize=10606720 CPUtime=0.28 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 13153 0 1 0 26 2 0 0 18 0 18 0 834083231 10861281280 15535 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10606720
[startup+0.701104 s]
/proc/loadavg: 2.09 2.10 2.03 2/548 13361
/proc/meminfo: memFree=11359536/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611300 CPUtime=1.49 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 32715 0 1 0 145 4 0 0 25 0 19 0 834083231 10865971200 29776 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652825 29782 2237 9 0 2643559 0
[pid=13361/tid=13362] ppid=13359 vsize=10611300 CPUtime=0.68 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 25473 0 1 0 64 4 0 0 19 0 19 0 834083231 10865971200 29786 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505855133 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10611300
[startup+1.50098 s]
/proc/loadavg: 2.25 2.13 2.04 4/567 13380
/proc/meminfo: memFree=11112180/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611092 CPUtime=2.55 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 128394 0 1 0 240 15 0 0 25 0 19 0 834083231 10865758208 123798 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652773 123804 2237 9 0 2643507 0
[pid=13361/tid=13362] ppid=13359 vsize=10611092 CPUtime=1.48 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 119495 0 1 0 134 14 0 0 20 0 19 0 834083231 10865758208 123806 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505855118 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123809 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123812 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123816 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123819 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123822 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123826 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123829 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 123832 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 834083234 10865758208 123834 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 123837 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 123840 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865758208 123843 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611092 CPUtime=0.52 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 3793 0 0 0 52 0 0 0 25 0 19 0 834083237 10865758208 123846 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611092 CPUtime=0.52 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 3952 0 0 0 52 0 0 0 22 0 19 0 834083237 10865758208 123849 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865758208 123852 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834083237 10865758208 123856 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865758208 123859 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10611092
[startup+3.1007 s]
/proc/loadavg: 2.25 2.13 2.04 3/567 13380
/proc/meminfo: memFree=10595100/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611092 CPUtime=4.19 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 313570 0 1 0 382 37 0 0 25 0 19 0 834083231 10865758208 308973 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652773 308978 2237 9 0 2643507 0
[pid=13361/tid=13362] ppid=13359 vsize=10611092 CPUtime=3.08 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 304667 0 1 0 272 36 0 0 18 0 19 0 834083231 10865758208 308980 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505855133 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308981 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308985 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308987 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308989 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308992 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308994 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308996 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 308999 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834083234 10865758208 309001 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 309003 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 309006 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865758208 309007 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611092 CPUtime=0.55 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 3794 0 0 0 55 0 0 0 15 0 19 0 834083237 10865758208 309010 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611092 CPUtime=0.54 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 3954 0 0 0 54 0 0 0 15 0 19 0 834083237 10865758208 309012 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865758208 309014 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834083237 10865758208 309016 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865758208 309018 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10611092
[startup+6.30115 s]
/proc/loadavg: 2.25 2.13 2.04 3/567 13380
/proc/meminfo: memFree=9146408/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611092 CPUtime=7.45 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 650761 0 1 0 676 69 0 0 25 0 19 0 834083231 10865758208 646153 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652773 646161 2238 9 0 2643507 0
[pid=13361/tid=13362] ppid=13359 vsize=10611092 CPUtime=6.28 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 641855 0 1 0 560 68 0 0 21 0 19 0 834083231 10865758208 646163 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505855118 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646168 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646172 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646177 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646182 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646187 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646191 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646195 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083233 10865758208 646199 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834083234 10865758208 646203 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 646208 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834083235 10865758208 646213 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611092 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865758208 646218 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611092 CPUtime=0.58 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 3799 0 0 0 58 0 0 0 16 0 19 0 834083237 10865758208 646222 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611092 CPUtime=0.56 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 3954 0 0 0 56 0 0 0 15 0 19 0 834083237 10865758208 646227 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611188 CPUtime=0.79 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 4644 0 0 0 79 0 0 0 16 0 19 0 834083237 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611188 CPUtime=0.82 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 5473 0 0 0 81 1 0 0 15 0 19 0 834083237 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834083237 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865856512 1040330 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1670.19
Current children cumulated vsize (KiB) 10611188
[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.04 3/567 13486
/proc/meminfo: memFree=7464860/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611188 CPUtime=1730.36 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 1052271 0 1 0 172919 117 0 0 25 0 19 0 834083231 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652797 1040779 2267 9 0 2643531 0
[pid=13361/tid=13362] ppid=13359 vsize=10611188 CPUtime=1718.68 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 822677 0 1 0 171781 87 0 0 25 0 19 0 834083231 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505921277 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611188 CPUtime=1.18 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 28332 0 0 0 115 3 0 0 16 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611188 CPUtime=1.21 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 27657 0 0 0 118 3 0 0 16 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611188 CPUtime=0.98 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 20073 0 0 0 96 2 0 0 15 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611188 CPUtime=1.17 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 26555 0 0 0 113 4 0 0 16 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611188 CPUtime=1.21 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 29001 0 0 0 118 3 0 0 15 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611188 CPUtime=1.14 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 31824 0 0 0 111 3 0 0 16 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611188 CPUtime=1.23 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 29481 0 0 0 120 3 0 0 15 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611188 CPUtime=1.1 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 24127 0 0 0 108 2 0 0 16 0 19 0 834083233 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611188 CPUtime=0.74 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 1173 0 0 0 73 1 0 0 15 0 19 0 834083234 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611188 CPUtime=0.79 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 4644 0 0 0 79 0 0 0 16 0 19 0 834083237 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611188 CPUtime=0.82 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 5473 0 0 0 81 1 0 0 15 0 19 0 834083237 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834083237 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865856512 1040779 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1730.36
Current children cumulated vsize (KiB) 10611188
[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/567 13488
/proc/meminfo: memFree=7454060/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611188 CPUtime=1790.52 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 1052881 0 1 0 178935 117 0 0 25 0 19 0 834083231 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652797 1041375 2267 9 0 2643531 0
[pid=13361/tid=13362] ppid=13359 vsize=10611188 CPUtime=1778.62 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 822680 0 1 0 177775 87 0 0 25 0 19 0 834083231 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912506058081 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611188 CPUtime=1.2 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 28427 0 0 0 117 3 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611188 CPUtime=1.22 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 27694 0 0 0 119 3 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611188 CPUtime=0.98 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 20073 0 0 0 96 2 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611188 CPUtime=1.2 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 26658 0 0 0 116 4 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611188 CPUtime=1.24 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 29127 0 0 0 121 3 0 0 15 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611188 CPUtime=1.17 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 31887 0 0 0 114 3 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611188 CPUtime=1.29 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 29630 0 0 0 126 3 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611188 CPUtime=1.12 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 24155 0 0 0 110 2 0 0 16 0 19 0 834083233 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611188 CPUtime=0.74 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 1177 0 0 0 73 1 0 0 15 0 19 0 834083234 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611188 CPUtime=0.79 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 4644 0 0 0 79 0 0 0 16 0 19 0 834083237 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611188 CPUtime=0.82 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 5473 0 0 0 81 1 0 0 15 0 19 0 834083237 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834083237 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865856512 1041375 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (KiB) 10611188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 2.08 2.08 2.05 4/567 13488
/proc/meminfo: memFree=7451824/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=10611188 CPUtime=1800.11 cores=1,3,5,7
/proc/13361/stat : 13361 (java) S 13359 13361 12416 0 -1 4202496 1053118 0 1 0 179894 117 0 0 25 0 19 0 834083231 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 2652797 1041602 2267 9 0 2643531 0
[pid=13361/tid=13362] ppid=13359 vsize=10611188 CPUtime=1788.14 cores=1,3,5,7
/proc/13361/task/13362/stat : 13362 (java) R 13359 13361 12416 0 -1 4202560 822681 0 1 0 178727 87 0 0 25 0 19 0 834083231 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 46912505915455 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13361/tid=13364] ppid=13359 vsize=10611188 CPUtime=1.21 cores=1,3,5,7
/proc/13361/task/13364/stat : 13364 (java) S 13359 13361 12416 0 -1 4202560 28427 0 0 0 118 3 0 0 15 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13365] ppid=13359 vsize=10611188 CPUtime=1.25 cores=1,3,5,7
/proc/13361/task/13365/stat : 13365 (java) S 13359 13361 12416 0 -1 4202560 27785 0 0 0 122 3 0 0 16 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13366] ppid=13359 vsize=10611188 CPUtime=1.01 cores=1,3,5,7
/proc/13361/task/13366/stat : 13366 (java) S 13359 13361 12416 0 -1 4202560 20164 0 0 0 99 2 0 0 16 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13367] ppid=13359 vsize=10611188 CPUtime=1.23 cores=1,3,5,7
/proc/13361/task/13367/stat : 13367 (java) S 13359 13361 12416 0 -1 4202560 26708 0 0 0 119 4 0 0 16 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13368] ppid=13359 vsize=10611188 CPUtime=1.24 cores=1,3,5,7
/proc/13361/task/13368/stat : 13368 (java) S 13359 13361 12416 0 -1 4202560 29127 0 0 0 121 3 0 0 15 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13369] ppid=13359 vsize=10611188 CPUtime=1.17 cores=1,3,5,7
/proc/13361/task/13369/stat : 13369 (java) S 13359 13361 12416 0 -1 4202560 31887 0 0 0 114 3 0 0 15 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13370] ppid=13359 vsize=10611188 CPUtime=1.29 cores=1,3,5,7
/proc/13361/task/13370/stat : 13370 (java) S 13359 13361 12416 0 -1 4202560 29630 0 0 0 126 3 0 0 15 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13371] ppid=13359 vsize=10611188 CPUtime=1.12 cores=1,3,5,7
/proc/13361/task/13371/stat : 13371 (java) S 13359 13361 12416 0 -1 4202560 24155 0 0 0 110 2 0 0 15 0 19 0 834083233 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13372] ppid=13359 vsize=10611188 CPUtime=0.74 cores=1,3,5,7
/proc/13361/task/13372/stat : 13372 (java) S 13359 13361 12416 0 -1 4202560 1179 0 0 0 73 1 0 0 15 0 19 0 834083234 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 0 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13373] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13373/stat : 13373 (java) S 13359 13361 12416 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13374] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13374/stat : 13374 (java) S 13359 13361 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834083235 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13375] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13375/stat : 13375 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982373809 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13376] ppid=13359 vsize=10611188 CPUtime=0.79 cores=1,3,5,7
/proc/13361/task/13376/stat : 13376 (java) S 13359 13361 12416 0 -1 4202560 4644 0 0 0 79 0 0 0 16 0 19 0 834083237 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 7 0 0 0
[pid=13361/tid=13377] ppid=13359 vsize=10611188 CPUtime=0.82 cores=1,3,5,7
/proc/13361/task/13377/stat : 13377 (java) S 13359 13361 12416 0 -1 4202560 5473 0 0 0 81 1 0 0 15 0 19 0 834083237 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 3 0 0 0
[pid=13361/tid=13378] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13378/stat : 13378 (java) S 13359 13361 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083237 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366105 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
[pid=13361/tid=13379] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13379/stat : 13379 (java) S 13359 13361 12416 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 834083237 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 5 0 0 0
[pid=13361/tid=13380] ppid=13359 vsize=10611188 CPUtime=0 cores=1,3,5,7
/proc/13361/task/13380/stat : 13380 (java) S 13359 13361 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083274 10865856512 1041602 33554432000 1073741824 1073778376 140734920210528 18446744073709551615 242982366720 0 4 0 16800975 18446604467872928192 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10611188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792 s]
/proc/loadavg: 2.08 2.08 2.05 4/567 13488
/proc/meminfo: memFree=7451824/32951132 swapFree=46579808/67111528
[pid=13361] ppid=13359 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/13361/stat : 13361 (java) Z 13359 13361 12416 0 -1 4203548 1053150 0 1 0 179902 129 0 0 17 0 2 0 834083231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13361/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.04
CPU time (s): 1800.36
CPU user time (s): 1799.03
CPU system time (s): 1.3338
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 10614884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.3338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1053150
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= 39578
involuntary context switches= 7904
runsolver used 9.56455 second user time and 23.0855 second system time
The end