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-3456648-1307222366/watcher-3456648-1307222366 -o /tmp/evaluation-result-3456648-1307222366/solver-3456648-1307222366 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456648-1307222366.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: 1.92 2.01 1.99 2/516 31004
/proc/meminfo: memFree=26394300/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 5921 0 1 0 0 0 0 0 25 0 2 0 833837511 10694979584 5622 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2611079 5636 917 9 0 2602235 0
[pid=31004/tid=31005] ppid=31002 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 4867 0 1 0 0 0 0 0 25 0 2 0 833837511 10694979584 5683 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.053344 s]
/proc/loadavg: 1.92 2.01 1.99 2/516 31004
/proc/meminfo: memFree=26394300/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 11432 0 1 0 3 1 0 0 25 0 13 0 833837511 10718838784 11128 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2616904 11128 1684 9 0 2607652 0
[pid=31004/tid=31005] ppid=31002 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) S 31002 31004 29867 0 -1 4202560 10284 0 1 0 3 1 0 0 25 0 13 0 833837511 10718838784 11128 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270613106533 0 2147483391 0 16800971 18446744071699199166 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.10072 s]
/proc/loadavg: 1.92 2.01 1.99 2/516 31004
/proc/meminfo: memFree=26394300/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10540224 CPUtime=0.1 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 13032 0 1 0 9 1 0 0 25 0 18 0 833837511 10793189376 12728 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2635056 12729 2092 9 0 2625790 0
[pid=31004/tid=31005] ppid=31002 vsize=10540224 CPUtime=0.08 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 11137 0 1 0 7 1 0 0 18 0 18 0 833837511 10793189376 12730 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270612771873 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540224
[startup+0.353688 s]
/proc/loadavg: 1.92 2.01 1.99 2/516 31004
/proc/meminfo: memFree=26394300/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10550872 CPUtime=0.74 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 24049 0 1 0 71 3 0 0 25 0 18 0 833837511 10804092928 20828 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2637718 20829 2203 9 0 2628452 0
[pid=31004/tid=31005] ppid=31002 vsize=10550872 CPUtime=0.33 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 14334 0 1 0 31 2 0 0 18 0 18 0 833837511 10804092928 20829 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505548278 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10550872
[startup+0.700637 s]
/proc/loadavg: 1.92 2.01 1.99 2/516 31004
/proc/meminfo: memFree=26394300/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10550872 CPUtime=1.22 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 53223 0 1 0 116 6 0 0 25 0 18 0 833837511 10804092928 49435 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2637718 49439 2212 9 0 2628452 0
[pid=31004/tid=31005] ppid=31002 vsize=10550872 CPUtime=0.68 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 43468 0 1 0 63 5 0 0 18 0 18 0 833837511 10804092928 49441 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505598414 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10550872
[startup+1.50149 s]
/proc/loadavg: 1.92 2.01 1.99 5/534 31022
/proc/meminfo: memFree=26089436/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=2.47 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 108579 0 1 0 234 13 0 0 25 0 19 0 833837511 10805936128 104574 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 104576 2231 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=1.48 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 98231 0 1 0 136 12 0 0 18 0 19 0 833837511 10805936128 104577 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505875414 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104579 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104580 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104581 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104583 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104584 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104585 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104587 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 104588 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833837514 10805936128 104589 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 104590 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 104591 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 104593 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=0.49 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 6383 0 0 0 49 0 0 0 15 0 19 0 833837517 10805936128 104594 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.47 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2810 0 0 0 47 0 0 0 18 0 19 0 833837517 10805936128 104595 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 104597 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 104598 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 10552672
[startup+3.10119 s]
/proc/loadavg: 1.92 2.01 1.99 3/535 31023
/proc/meminfo: memFree=25855440/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=4.38 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 189908 0 1 0 415 23 0 0 25 0 19 0 833837511 10805936128 184825 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 184827 2237 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=3.08 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 178434 0 1 0 287 21 0 0 19 0 19 0 833837511 10805936128 184828 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505567402 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184828 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184830 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184830 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184831 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184832 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184833 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184834 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 184835 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833837514 10805936128 184836 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 184838 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 184839 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 184840 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=0.75 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 7502 0 0 0 75 0 0 0 15 0 19 0 833837517 10805936128 184841 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.52 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2814 0 0 0 52 0 0 0 15 0 19 0 833837517 10805936128 184841 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 184842 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 184842 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31023] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31023/stat : 31023 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833837621 10805936128 184843 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10552672
[startup+6.30164 s]
/proc/loadavg: 1.93 2.01 1.99 3/535 31023
/proc/meminfo: memFree=25208476/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=7.88 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 347993 0 1 0 747 41 0 0 25 0 19 0 833837511 10805936128 342646 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 342649 2238 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=6.29 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 336026 0 1 0 589 40 0 0 21 0 19 0 833837511 10805936128 342650 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505606907 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342651 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342653 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342654 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342655 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342658 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342659 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342660 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837513 10805936128 342661 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833837514 10805936128 342663 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 342664 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833837515 10805936128 342665 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 342666 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=0.91 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 7976 0 0 0 91 0 0 0 16 0 19 0 833837517 10805936128 342667 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.66 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2833 0 0 0 66 0 0 0 16 0 19 0 833837517 10805936128 342668 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 342669 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=1.1 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 8011 0 0 0 109 1 0 0 15 0 19 0 833837517 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.74 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2843 0 0 0 74 0 0 0 16 0 19 0 833837517 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31023] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31023/stat : 31023 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833837621 10805936128 925058 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.8
Current children cumulated vsize (KiB) 10552672
[startup+1722.3 s]
/proc/loadavg: 2.13 2.07 2.02 4/535 31163
/proc/meminfo: memFree=22723252/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=1730.02 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 932092 0 1 0 172897 105 0 0 25 0 19 0 833837511 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 925648 2267 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=1718.15 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 815160 0 1 0 171727 88 0 0 25 0 19 0 833837511 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505928993 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=0.99 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 9880 0 0 0 98 1 0 0 15 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=1.18 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 7656 0 0 0 117 1 0 0 16 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=0.98 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 8744 0 0 0 97 1 0 0 16 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0.97 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 8703 0 0 0 96 1 0 0 16 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=0.98 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 11894 0 0 0 97 1 0 0 15 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=1.06 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 11836 0 0 0 105 1 0 0 15 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=1.12 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 10456 0 0 0 111 1 0 0 15 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=1.04 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 17271 0 0 0 102 2 0 0 16 0 19 0 833837513 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=1.61 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 18388 0 0 0 158 3 0 0 15 0 19 0 833837514 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=1.1 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 8011 0 0 0 109 1 0 0 15 0 19 0 833837517 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.74 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2843 0 0 0 74 0 0 0 16 0 19 0 833837517 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31023] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31023/stat : 31023 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833837621 10805936128 925648 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.02
Current children cumulated vsize (KiB) 10552672
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/535 31165
/proc/meminfo: memFree=22704380/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=1790.26 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 934003 0 1 0 178920 106 0 0 25 0 19 0 833837511 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 927535 2267 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=1777.6 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 815164 0 1 0 177672 88 0 0 25 0 19 0 833837511 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505929033 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=1.01 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 9905 0 0 0 100 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=1.24 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 7799 0 0 0 123 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=1.01 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 8850 0 0 0 100 1 0 0 15 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0.97 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 8703 0 0 0 96 1 0 0 15 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=1.04 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 12008 0 0 0 103 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=1.12 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 11937 0 0 0 111 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=1.15 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 10542 0 0 0 114 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=1.11 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 17474 0 0 0 109 2 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=2.06 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 19513 0 0 0 203 3 0 0 15 0 19 0 833837514 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=1.1 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 8011 0 0 0 109 1 0 0 15 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.74 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2843 0 0 0 74 0 0 0 16 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31023] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31023/stat : 31023 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833837621 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 10552672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 2.04 2.05 2.01 3/535 31165
/proc/meminfo: memFree=22704992/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=10552672 CPUtime=1800.08 cores=0,2,4,6
/proc/31004/stat : 31004 (java) S 31002 31004 29867 0 -1 4202496 934003 0 1 0 179902 106 0 0 25 0 19 0 833837511 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 2638168 927535 2267 9 0 2628902 0
[pid=31004/tid=31005] ppid=31002 vsize=10552672 CPUtime=1787.42 cores=0,2,4,6
/proc/31004/task/31005/stat : 31005 (java) R 31002 31004 29867 0 -1 4202560 815164 0 1 0 178654 88 0 0 25 0 19 0 833837511 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 46912505606803 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31004/tid=31007] ppid=31002 vsize=10552672 CPUtime=1.01 cores=0,2,4,6
/proc/31004/task/31007/stat : 31007 (java) S 31002 31004 29867 0 -1 4202560 9905 0 0 0 100 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31008] ppid=31002 vsize=10552672 CPUtime=1.24 cores=0,2,4,6
/proc/31004/task/31008/stat : 31008 (java) S 31002 31004 29867 0 -1 4202560 7799 0 0 0 123 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31009] ppid=31002 vsize=10552672 CPUtime=1.01 cores=0,2,4,6
/proc/31004/task/31009/stat : 31009 (java) S 31002 31004 29867 0 -1 4202560 8850 0 0 0 100 1 0 0 15 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31010] ppid=31002 vsize=10552672 CPUtime=0.97 cores=0,2,4,6
/proc/31004/task/31010/stat : 31010 (java) S 31002 31004 29867 0 -1 4202560 8703 0 0 0 96 1 0 0 15 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31011] ppid=31002 vsize=10552672 CPUtime=1.04 cores=0,2,4,6
/proc/31004/task/31011/stat : 31011 (java) S 31002 31004 29867 0 -1 4202560 12008 0 0 0 103 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31012] ppid=31002 vsize=10552672 CPUtime=1.12 cores=0,2,4,6
/proc/31004/task/31012/stat : 31012 (java) S 31002 31004 29867 0 -1 4202560 11937 0 0 0 111 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31013] ppid=31002 vsize=10552672 CPUtime=1.15 cores=0,2,4,6
/proc/31004/task/31013/stat : 31013 (java) S 31002 31004 29867 0 -1 4202560 10542 0 0 0 114 1 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31014] ppid=31002 vsize=10552672 CPUtime=1.11 cores=0,2,4,6
/proc/31004/task/31014/stat : 31014 (java) S 31002 31004 29867 0 -1 4202560 17474 0 0 0 109 2 0 0 16 0 19 0 833837513 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
[pid=31004/tid=31015] ppid=31002 vsize=10552672 CPUtime=2.06 cores=0,2,4,6
/proc/31004/task/31015/stat : 31015 (java) S 31002 31004 29867 0 -1 4202560 19513 0 0 0 203 3 0 0 15 0 19 0 833837514 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 0 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31016] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31016/stat : 31016 (java) S 31002 31004 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31017] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31017/stat : 31017 (java) S 31002 31004 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833837515 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31018] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31018/stat : 31018 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624934321 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31019] ppid=31002 vsize=10552672 CPUtime=1.1 cores=0,2,4,6
/proc/31004/task/31019/stat : 31019 (java) S 31002 31004 29867 0 -1 4202560 8011 0 0 0 109 1 0 0 15 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31020] ppid=31002 vsize=10552672 CPUtime=0.74 cores=0,2,4,6
/proc/31004/task/31020/stat : 31020 (java) S 31002 31004 29867 0 -1 4202560 2843 0 0 0 74 0 0 0 16 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) S 31002 31004 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624926617 0 4 0 16800975 18446604449359170368 0 0 -1 4 0 0 0
[pid=31004/tid=31022] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31022/stat : 31022 (java) S 31002 31004 29867 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833837517 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 2 0 0 0
[pid=31004/tid=31023] ppid=31002 vsize=10552672 CPUtime=0 cores=0,2,4,6
/proc/31004/task/31023/stat : 31023 (java) S 31002 31004 29867 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833837621 10805936128 927535 33554432000 1073741824 1073778376 140733649507216 18446744073709551615 270624927232 0 4 0 16800975 18446604449359170368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.22 s]
/proc/loadavg: 2.04 2.05 2.01 3/535 31165
/proc/meminfo: memFree=22704992/32951124 swapFree=53876548/67111528
[pid=31004] ppid=31002 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/31004/stat : 31004 (java) Z 31002 31004 29867 0 -1 4203548 934035 0 1 0 179910 113 0 0 17 0 2 0 833837511 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31004/statm: 0 0 0 0 0 0 0
[pid=31004/tid=31021] ppid=31002 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/31004/task/31021/stat : 31021 (java) R 31002 31004 29867 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 833837517 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.29
CPU time (s): 1800.31
CPU user time (s): 1799.1
CPU system time (s): 1.20682
CPU usage (%): 100.447
Max. virtual memory (cumulated for all children) (KiB): 10552672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.20682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934035
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= 40451
involuntary context switches= 7464
runsolver used 9.73152 second user time and 19.646 second system time
The end