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-3457647-1307230292/watcher-3457647-1307230292 -o /tmp/evaluation-result-3457647-1307230292/solver-3457647-1307230292 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457647-1307230292.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.18 2.07 2.01 3/548 14003
/proc/meminfo: memFree=11595696/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 4508 0 1 0 0 0 0 0 25 0 2 0 834627811 10694979584 4211 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2611079 4223 917 9 0 2602235 0
[pid=14003/tid=14004] ppid=14001 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 7315 0 1 0 0 0 0 0 25 0 2 0 834627812 10694979584 8131 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.074262 s]
/proc/loadavg: 2.18 2.07 2.01 3/548 14003
/proc/meminfo: memFree=11595696/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 11932 0 1 0 5 1 0 0 25 0 18 0 834627811 10724442112 11630 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2618272 11630 1754 9 0 2609006 0
[pid=14003/tid=14004] ppid=14001 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 10758 0 1 0 4 1 0 0 22 0 18 0 834627812 10724442112 11630 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 47677844660995 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10022 s]
/proc/loadavg: 2.18 2.07 2.01 3/548 14003
/proc/meminfo: memFree=11595696/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10539868 CPUtime=0.1 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 13062 0 1 0 8 2 0 0 25 0 18 0 834627811 10792824832 12760 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2634967 12760 2092 9 0 2625701 0
[pid=14003/tid=14004] ppid=14001 vsize=10539868 CPUtime=0.08 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 11164 0 1 0 7 1 0 0 22 0 18 0 834627812 10792824832 12760 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.300187 s]
/proc/loadavg: 2.18 2.07 2.01 3/548 14003
/proc/meminfo: memFree=11595696/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10542376 CPUtime=0.49 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 16897 0 1 0 47 2 0 0 25 0 18 0 834627811 10795393024 16016 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2635594 16016 2201 9 0 2626328 0
[pid=14003/tid=14004] ppid=14001 vsize=10542376 CPUtime=0.27 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 13216 0 1 0 26 1 0 0 22 0 18 0 834627812 10795393024 16016 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 47677849156219 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542376
[startup+0.70112 s]
/proc/loadavg: 2.18 2.07 2.01 3/548 14003
/proc/meminfo: memFree=11595696/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10543896 CPUtime=1.15 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 49171 0 1 0 108 7 0 0 25 0 18 0 834627811 10796949504 47168 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2635974 47168 2221 9 0 2626708 0
[pid=14003/tid=14004] ppid=14001 vsize=10543896 CPUtime=0.68 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 43369 0 1 0 62 6 0 0 24 0 18 0 834627812 10796949504 47168 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912505530052 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10543896
[startup+1.50102 s]
/proc/loadavg: 2.18 2.07 2.01 6/567 14022
/proc/meminfo: memFree=11331440/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=2.94 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 103139 0 1 0 279 15 0 0 25 0 19 0 834627811 10805923840 94191 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 94197 2236 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=1.48 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 87054 0 1 0 136 12 0 0 25 0 19 0 834627812 10805923840 94200 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912505993103 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94203 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94205 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94206 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94206 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94207 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94207 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94208 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 94209 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834627814 10805923840 94209 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 94212 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 94217 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 94221 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.64 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4356 0 0 0 64 0 0 0 15 0 19 0 834627817 10805923840 94225 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=0.8 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 10579 0 0 0 78 2 0 0 15 0 19 0 834627817 10805923840 94229 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14020] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14020/stat : 14020 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834627817 10805923840 94233 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14021] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14021/stat : 14021 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834627817 10805923840 94236 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 94240 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10552660
[startup+3.10074 s]
/proc/loadavg: 2.18 2.07 2.01 3/567 14022
/proc/meminfo: memFree=10960432/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=4.75 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 284846 0 1 0 441 34 0 0 25 0 19 0 834627811 10805923840 274893 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 274894 2238 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=3.08 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 267592 0 1 0 277 31 0 0 25 0 19 0 834627812 10805923840 274894 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912506073369 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274895 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274895 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274896 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274896 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274899 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274904 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274908 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 274912 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834627814 10805923840 274916 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 274920 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 274924 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 274927 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.74 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4401 0 0 0 74 0 0 0 15 0 19 0 834627817 10805923840 274931 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=0.91 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 11693 0 0 0 89 2 0 0 15 0 19 0 834627817 10805923840 274934 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14020] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14020/stat : 14020 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834627817 10805923840 274937 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14021] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14021/stat : 14021 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834627817 10805923840 274938 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 274939 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 10552660
[startup+6.30119 s]
/proc/loadavg: 2.16 2.07 2.01 3/567 14022
/proc/meminfo: memFree=9472408/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=8.04 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 640224 0 1 0 735 69 0 0 25 0 19 0 834627811 10805923840 630268 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 630270 2238 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=6.27 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 622962 0 1 0 562 65 0 0 19 0 19 0 834627812 10805923840 630271 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912506073380 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630272 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630273 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630275 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630280 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630284 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630289 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630293 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834627813 10805923840 630297 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834627814 10805923840 630301 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 630304 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834627815 10805923840 630308 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 630311 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.82 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4409 0 0 0 81 1 0 0 15 0 19 0 834627817 10805923840 630314 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=0.93 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 11695 0 0 0 91 2 0 0 15 0 19 0 834627817 10805923840 630316 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 989384 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.52
Current children cumulated vsize (KiB) 10552660
[startup+1722.3 s]
/proc/loadavg: 1.04 1.09 1.41 2/543 14084
/proc/meminfo: memFree=11233556/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=1729.7 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 1004384 0 1 0 172854 116 0 0 25 0 19 0 834627811 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 991140 2267 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=1718.28 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 806605 0 1 0 171742 86 0 0 25 0 19 0 834627812 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912506011616 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0.83 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 21406 0 0 0 80 3 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=1.16 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 27948 0 0 0 113 3 0 0 15 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=0.99 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 18953 0 0 0 97 2 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=1.1 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 21547 0 0 0 107 3 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0.79 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 17984 0 0 0 78 1 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=1.13 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 23447 0 0 0 110 3 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=0.98 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 19506 0 0 0 96 2 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=1.09 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 23203 0 0 0 106 3 0 0 16 0 19 0 834627813 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=1.21 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 6395 0 0 0 120 1 0 0 15 0 19 0 834627814 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.95 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4428 0 0 0 94 1 0 0 15 0 19 0 834627817 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=1.08 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 11711 0 0 0 106 2 0 0 15 0 19 0 834627817 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14020] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14020/stat : 14020 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834627817 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14021] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14021/stat : 14021 (java) S 14001 14003 12416 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 834627817 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 991140 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.7
Current children cumulated vsize (KiB) 10552660
[startup+1782.3 s]
/proc/loadavg: 1.01 1.07 1.38 2/543 14095
/proc/meminfo: memFree=11227308/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=1789.86 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 1005667 0 1 0 178870 116 0 0 25 0 19 0 834627811 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 992387 2267 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=1778.2 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 806608 0 1 0 177734 86 0 0 25 0 19 0 834627812 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912506011635 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0.87 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 21611 0 0 0 84 3 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=1.2 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 28184 0 0 0 117 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=1.03 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 19248 0 0 0 101 2 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=1.13 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 21678 0 0 0 110 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0.81 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 18177 0 0 0 80 1 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=1.16 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 23500 0 0 0 113 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=1 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 19667 0 0 0 98 2 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=1.09 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 23203 0 0 0 106 3 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=1.21 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 6399 0 0 0 120 1 0 0 15 0 19 0 834627814 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.95 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4428 0 0 0 94 1 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=1.08 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 11711 0 0 0 106 2 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14020] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14020/stat : 14020 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14021] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14021/stat : 14021 (java) S 14001 14003 12416 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.86
Current children cumulated vsize (KiB) 10552660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.5 s]
/proc/loadavg: 1.01 1.07 1.37 2/543 14095
/proc/meminfo: memFree=11227432/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=10552660 CPUtime=1800.07 cores=1,3,5,7
/proc/14003/stat : 14003 (java) S 14001 14003 12416 0 -1 4202496 1005669 0 1 0 179891 116 0 0 25 0 19 0 834627811 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 2638165 992387 2267 9 0 2628899 0
[pid=14003/tid=14004] ppid=14001 vsize=10552660 CPUtime=1788.42 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4202560 806608 0 1 0 178756 86 0 0 25 0 19 0 834627812 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 46912506011663 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14003/tid=14006] ppid=14001 vsize=10552660 CPUtime=0.87 cores=1,3,5,7
/proc/14003/task/14006/stat : 14006 (java) S 14001 14003 12416 0 -1 4202560 21611 0 0 0 84 3 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14007] ppid=14001 vsize=10552660 CPUtime=1.2 cores=1,3,5,7
/proc/14003/task/14007/stat : 14007 (java) S 14001 14003 12416 0 -1 4202560 28184 0 0 0 117 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14008] ppid=14001 vsize=10552660 CPUtime=1.03 cores=1,3,5,7
/proc/14003/task/14008/stat : 14008 (java) S 14001 14003 12416 0 -1 4202560 19248 0 0 0 101 2 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14009] ppid=14001 vsize=10552660 CPUtime=1.13 cores=1,3,5,7
/proc/14003/task/14009/stat : 14009 (java) S 14001 14003 12416 0 -1 4202560 21678 0 0 0 110 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14010] ppid=14001 vsize=10552660 CPUtime=0.81 cores=1,3,5,7
/proc/14003/task/14010/stat : 14010 (java) S 14001 14003 12416 0 -1 4202560 18177 0 0 0 80 1 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14011] ppid=14001 vsize=10552660 CPUtime=1.16 cores=1,3,5,7
/proc/14003/task/14011/stat : 14011 (java) S 14001 14003 12416 0 -1 4202560 23500 0 0 0 113 3 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14012] ppid=14001 vsize=10552660 CPUtime=1 cores=1,3,5,7
/proc/14003/task/14012/stat : 14012 (java) S 14001 14003 12416 0 -1 4202560 19667 0 0 0 98 2 0 0 16 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14013] ppid=14001 vsize=10552660 CPUtime=1.09 cores=1,3,5,7
/proc/14003/task/14013/stat : 14013 (java) S 14001 14003 12416 0 -1 4202560 23203 0 0 0 106 3 0 0 15 0 19 0 834627813 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14014] ppid=14001 vsize=10552660 CPUtime=1.21 cores=1,3,5,7
/proc/14003/task/14014/stat : 14014 (java) S 14001 14003 12416 0 -1 4202560 6399 0 0 0 120 1 0 0 15 0 19 0 834627814 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 0 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14015] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14015/stat : 14015 (java) S 14001 14003 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14016] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14016/stat : 14016 (java) S 14001 14003 12416 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834627815 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14017] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14017/stat : 14017 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982373809 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14018] ppid=14001 vsize=10552660 CPUtime=0.95 cores=1,3,5,7
/proc/14003/task/14018/stat : 14018 (java) S 14001 14003 12416 0 -1 4202560 4428 0 0 0 94 1 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 1 0 0 0
[pid=14003/tid=14019] ppid=14001 vsize=10552660 CPUtime=1.08 cores=1,3,5,7
/proc/14003/task/14019/stat : 14019 (java) S 14001 14003 12416 0 -1 4202560 11711 0 0 0 106 2 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 7 0 0 0
[pid=14003/tid=14020] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14020/stat : 14020 (java) S 14001 14003 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366105 0 4 0 16800975 18446604462351870976 0 0 -1 5 0 0 0
[pid=14003/tid=14021] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14021/stat : 14021 (java) S 14001 14003 12416 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834627817 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
[pid=14003/tid=14022] ppid=14001 vsize=10552660 CPUtime=0 cores=1,3,5,7
/proc/14003/task/14022/stat : 14022 (java) S 14001 14003 12416 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834627909 10805923840 992387 33554432000 1073741824 1073778376 140737314982704 18446744073709551615 242982366720 0 4 0 16800975 18446604462351870976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10552660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.63 s]
/proc/loadavg: 1.01 1.07 1.37 2/543 14095
/proc/meminfo: memFree=11227432/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/14003/stat : 14003 (java) Z 14001 14003 12416 0 -1 4203548 1006084 0 1 0 179903 121 0 0 17 0 2 0 834627811 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 0 0 0 0 0 0 0
[pid=14003/tid=14004] ppid=14001 vsize=0 CPUtime=1788.49 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4203588 806608 0 1 0 178758 91 0 0 25 0 2 0 834627812 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
[startup+1792.7 s]
/proc/loadavg: 1.01 1.07 1.37 2/543 14095
/proc/meminfo: memFree=11227432/32951132 swapFree=46579808/67111528
[pid=14003] ppid=14001 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/14003/stat : 14003 (java) Z 14001 14003 12416 0 -1 4203548 1006084 0 1 0 179903 129 0 0 17 0 2 0 834627811 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14003/statm: 0 0 0 0 0 0 0
[pid=14003/tid=14004] ppid=14001 vsize=0 CPUtime=1788.56 cores=1,3,5,7
/proc/14003/task/14004/stat : 14004 (java) R 14001 14003 12416 0 -1 4203588 806608 0 1 0 178758 98 0 0 25 0 2 0 834627812 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.73
CPU time (s): 1800.35
CPU user time (s): 1799.04
CPU system time (s): 1.3188
CPU usage (%): 100.425
Max. virtual memory (cumulated for all children) (KiB): 10552660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.3188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006084
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= 39842
involuntary context switches= 21159
runsolver used 9.33958 second user time and 23.2985 second system time
The end