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-3456672-1307217680/watcher-3456672-1307217680 -o /tmp/evaluation-result-3456672-1307217680/solver-3456672-1307217680 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456672-1307217680.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.03 2.08 1.75 2/516 30580
/proc/meminfo: memFree=26794956/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 8386 0 1 0 0 1 0 0 18 0 2 0 833368961 10694979584 8087 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2611079 8101 917 9 0 2602235 0
[pid=30580/tid=30581] ppid=30578 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 7333 0 1 0 0 0 0 0 19 0 2 0 833368961 10694979584 8148 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.046967 s]
/proc/loadavg: 2.03 2.08 1.75 2/516 30580
/proc/meminfo: memFree=26794956/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 11341 0 1 0 3 1 0 0 18 0 13 0 833368961 10718699520 11037 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2616870 11038 1679 9 0 2607618 0
[pid=30580/tid=30581] ppid=30578 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 10194 0 1 0 3 1 0 0 25 0 13 0 833368961 10718699520 11038 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46955254011416 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.100948 s]
/proc/loadavg: 2.03 2.08 1.75 2/516 30580
/proc/meminfo: memFree=26794956/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10539792 CPUtime=0.1 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 13071 0 1 0 9 1 0 0 18 0 18 0 833368961 10792747008 12767 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2634948 12768 2093 9 0 2625682 0
[pid=30580/tid=30581] ppid=30578 vsize=10539792 CPUtime=0.08 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 11162 0 1 0 7 1 0 0 18 0 18 0 833368961 10792747008 12768 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46955254150167 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539792
[startup+0.373577 s]
/proc/loadavg: 2.03 2.08 1.75 2/516 30580
/proc/meminfo: memFree=26794956/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10544796 CPUtime=0.79 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 24700 0 1 0 76 3 0 0 18 0 18 0 833368961 10797871104 22255 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2636199 22255 2219 9 0 2626933 0
[pid=30580/tid=30581] ppid=30578 vsize=10544796 CPUtime=0.36 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 17110 0 1 0 34 2 0 0 18 0 18 0 833368961 10797871104 22255 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505121435 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 10544796
[startup+0.700835 s]
/proc/loadavg: 2.03 2.08 1.75 2/516 30580
/proc/meminfo: memFree=26794956/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10547284 CPUtime=1.49 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 38458 0 1 0 144 5 0 0 18 0 19 0 833368961 10800418816 34650 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2636821 34651 2229 9 0 2627555 0
[pid=30580/tid=30581] ppid=30578 vsize=10547284 CPUtime=0.68 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 28492 0 1 0 65 3 0 0 19 0 19 0 833368961 10800418816 34651 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505595854 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10547284
[startup+1.5007 s]
/proc/loadavg: 2.03 2.08 1.75 3/535 30599
/proc/meminfo: memFree=26585484/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10546320 CPUtime=2.67 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 96640 0 1 0 256 11 0 0 18 0 19 0 833368961 10799431680 92201 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2636580 92204 2234 9 0 2627314 0
[pid=30580/tid=30581] ppid=30578 vsize=10546320 CPUtime=1.49 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 86254 0 1 0 140 9 0 0 20 0 19 0 833368961 10799431680 92205 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505595738 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368963 10799431680 92208 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368963 10799431680 92211 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833368963 10799431680 92213 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368963 10799431680 92216 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799431680 92218 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799431680 92221 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799431680 92223 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799431680 92225 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833368964 10799431680 92228 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833368964 10799431680 92230 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833368964 10799431680 92232 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10799431680 92234 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10546320 CPUtime=0.6 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 5570 0 0 0 59 1 0 0 21 0 19 0 833368966 10799431680 92236 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10546320 CPUtime=0.56 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 3659 0 0 0 56 0 0 0 15 0 19 0 833368966 10799431680 92238 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30597] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10799431680 92240 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833368966 10799431680 92242 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10799431680 92245 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10546320
[startup+3.10142 s]
/proc/loadavg: 2.03 2.08 1.75 3/535 30599
/proc/meminfo: memFree=26236804/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10546112 CPUtime=4.34 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 233822 0 1 0 408 26 0 0 18 0 19 0 833368961 10799218688 228639 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2636528 228644 2234 9 0 2627262 0
[pid=30580/tid=30581] ppid=30578 vsize=10546112 CPUtime=3.09 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 222685 0 1 0 285 24 0 0 25 0 19 0 833368961 10799218688 228648 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505595868 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368963 10799218688 228650 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368963 10799218688 228653 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833368963 10799218688 228657 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368963 10799218688 228658 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 228663 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 228664 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 228668 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 228671 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833368964 10799218688 228673 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833368964 10799218688 228677 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833368964 10799218688 228679 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10799218688 228682 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10546112 CPUtime=0.67 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 6326 0 0 0 66 1 0 0 18 0 19 0 833368966 10799218688 228686 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10546112 CPUtime=0.56 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 3659 0 0 0 56 0 0 0 15 0 19 0 833368966 10799218688 228687 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30597] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10799218688 228692 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833368966 10799218688 228693 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10799218688 228697 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10546112
[startup+6.30085 s]
/proc/loadavg: 2.03 2.08 1.75 3/535 30599
/proc/meminfo: memFree=25186904/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10546112 CPUtime=7.6 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 471404 0 1 0 710 50 0 0 18 0 19 0 833368961 10799218688 465879 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2636528 465884 2235 9 0 2627262 0
[pid=30580/tid=30581] ppid=30578 vsize=10546112 CPUtime=6.29 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 460255 0 1 0 581 48 0 0 25 0 19 0 833368961 10799218688 465884 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505700564 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368963 10799218688 465884 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 465885 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368963 10799218688 465886 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833368964 10799218688 465892 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833368964 10799218688 465895 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833368964 10799218688 465896 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10546112 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10799218688 465896 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10546112 CPUtime=0.71 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 6333 0 0 0 70 1 0 0 15 0 19 0 833368966 10799218688 465897 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10546112 CPUtime=0.57 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 3660 0 0 0 57 0 0 0 15 0 19 0 833368966 10799218688 465897 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=30580/tid=30597] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.28
Current children cumulated vsize (KiB) 10613724
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.97 3/535 30694
/proc/meminfo: memFree=21655536/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10613724 CPUtime=1729.29 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 1075334 0 1 0 172804 125 0 0 18 0 19 0 833368961 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2653431 1061147 2264 9 0 2644165 0
[pid=30580/tid=30581] ppid=30578 vsize=10613724 CPUtime=1718.79 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 779163 0 1 0 171797 82 0 0 25 0 19 0 833368961 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505800224 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10613724 CPUtime=1.08 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 38381 0 0 0 104 4 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10613724 CPUtime=0.82 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 29509 0 0 0 79 3 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10613724 CPUtime=0.91 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 36856 0 0 0 86 5 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10613724 CPUtime=1.33 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 50831 0 0 0 126 7 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10613724 CPUtime=0.78 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 26620 0 0 0 75 3 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10613724 CPUtime=0.94 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 31097 0 0 0 90 4 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10613724 CPUtime=0.79 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 32855 0 0 0 75 4 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10613724 CPUtime=0.79 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 33585 0 0 0 75 4 0 0 16 0 19 0 833368963 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10613724 CPUtime=1.2 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 3709 0 0 0 118 2 0 0 15 0 19 0 833368964 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10613724 CPUtime=1.06 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 6773 0 0 0 105 1 0 0 15 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10613724 CPUtime=0.68 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 4705 0 0 0 68 0 0 0 16 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30597] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833368966 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10868453376 1061147 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.29
Current children cumulated vsize (KiB) 10613724
[startup+1782.3 s]
/proc/loadavg: 2.11 2.07 1.98 3/535 30696
/proc/meminfo: memFree=21541040/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10613724 CPUtime=1789.39 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 1082780 0 1 0 178812 127 0 0 18 0 19 0 833368961 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2653431 1068548 2264 9 0 2644165 0
[pid=30580/tid=30581] ppid=30578 vsize=10613724 CPUtime=1778.75 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 779165 0 1 0 177793 82 0 0 25 0 19 0 833368961 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912506071884 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10613724 CPUtime=1.11 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 38432 0 0 0 107 4 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10613724 CPUtime=0.82 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 29533 0 0 0 79 3 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10613724 CPUtime=0.94 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 41760 0 0 0 88 6 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10613724 CPUtime=1.33 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 50831 0 0 0 126 7 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10613724 CPUtime=0.79 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 26638 0 0 0 76 3 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10613724 CPUtime=0.96 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 31450 0 0 0 92 4 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10613724 CPUtime=0.79 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 32855 0 0 0 75 4 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10613724 CPUtime=0.81 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 35671 0 0 0 77 4 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10613724 CPUtime=1.2 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 3713 0 0 0 118 2 0 0 15 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10613724 CPUtime=1.06 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 6773 0 0 0 105 1 0 0 15 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10613724 CPUtime=0.68 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 4705 0 0 0 68 0 0 0 16 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30597] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (KiB) 10613724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.9 s]
/proc/loadavg: 2.10 2.07 1.98 4/535 30696
/proc/meminfo: memFree=21541040/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=10613724 CPUtime=1800.06 cores=1,3,5,7
/proc/30580/stat : 30580 (java) S 30578 30580 29867 0 -1 4202496 1082781 0 1 0 179879 127 0 0 18 0 19 0 833368961 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 2653431 1068548 2264 9 0 2644165 0
[pid=30580/tid=30581] ppid=30578 vsize=10613724 CPUtime=1789.37 cores=1,3,5,7
/proc/30580/task/30581/stat : 30581 (java) R 30578 30580 29867 0 -1 4202560 779166 0 1 0 178855 82 0 0 25 0 19 0 833368961 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 46912505800273 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30580/tid=30583] ppid=30578 vsize=10613724 CPUtime=1.11 cores=1,3,5,7
/proc/30580/task/30583/stat : 30583 (java) S 30578 30580 29867 0 -1 4202560 38432 0 0 0 107 4 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30584] ppid=30578 vsize=10613724 CPUtime=0.82 cores=1,3,5,7
/proc/30580/task/30584/stat : 30584 (java) S 30578 30580 29867 0 -1 4202560 29533 0 0 0 79 3 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30585] ppid=30578 vsize=10613724 CPUtime=0.96 cores=1,3,5,7
/proc/30580/task/30585/stat : 30585 (java) S 30578 30580 29867 0 -1 4202560 41760 0 0 0 90 6 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30586] ppid=30578 vsize=10613724 CPUtime=1.33 cores=1,3,5,7
/proc/30580/task/30586/stat : 30586 (java) S 30578 30580 29867 0 -1 4202560 50831 0 0 0 126 7 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30587] ppid=30578 vsize=10613724 CPUtime=0.81 cores=1,3,5,7
/proc/30580/task/30587/stat : 30587 (java) S 30578 30580 29867 0 -1 4202560 26638 0 0 0 78 3 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30588] ppid=30578 vsize=10613724 CPUtime=0.96 cores=1,3,5,7
/proc/30580/task/30588/stat : 30588 (java) S 30578 30580 29867 0 -1 4202560 31450 0 0 0 92 4 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30589] ppid=30578 vsize=10613724 CPUtime=0.81 cores=1,3,5,7
/proc/30580/task/30589/stat : 30589 (java) S 30578 30580 29867 0 -1 4202560 32855 0 0 0 77 4 0 0 16 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30590] ppid=30578 vsize=10613724 CPUtime=0.81 cores=1,3,5,7
/proc/30580/task/30590/stat : 30590 (java) S 30578 30580 29867 0 -1 4202560 35671 0 0 0 77 4 0 0 15 0 19 0 833368963 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30591] ppid=30578 vsize=10613724 CPUtime=1.2 cores=1,3,5,7
/proc/30580/task/30591/stat : 30591 (java) S 30578 30580 29867 0 -1 4202560 3713 0 0 0 118 2 0 0 15 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 0 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30592] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30592/stat : 30592 (java) S 30578 30580 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30593] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30593/stat : 30593 (java) S 30578 30580 29867 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833368964 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 7 0 0 0
[pid=30580/tid=30594] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30594/stat : 30594 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624934321 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30595] ppid=30578 vsize=10613724 CPUtime=1.06 cores=1,3,5,7
/proc/30580/task/30595/stat : 30595 (java) S 30578 30580 29867 0 -1 4202560 6773 0 0 0 105 1 0 0 15 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30596] ppid=30578 vsize=10613724 CPUtime=0.68 cores=1,3,5,7
/proc/30580/task/30596/stat : 30596 (java) S 30578 30580 29867 0 -1 4202560 4705 0 0 0 68 0 0 0 16 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 1 0 0 0
[pid=30580/tid=30597] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30597/stat : 30597 (java) S 30578 30580 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624926617 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
[pid=30580/tid=30598] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30598/stat : 30598 (java) S 30578 30580 29867 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833368966 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 5 0 0 0
[pid=30580/tid=30599] ppid=30578 vsize=10613724 CPUtime=0 cores=1,3,5,7
/proc/30580/task/30599/stat : 30599 (java) S 30578 30580 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833369000 10868453376 1068548 33554432000 1073741824 1073778376 140736698442208 18446744073709551615 270624927232 0 4 0 16800975 18446604460016632832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10613724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.04 s]
/proc/loadavg: 2.10 2.07 1.98 4/535 30696
/proc/meminfo: memFree=21541040/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/30580/stat : 30580 (java) Z 30578 30580 29867 0 -1 4203548 1082815 0 1 0 179883 136 0 0 17 0 2 0 833368961 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1793.1 s]
/proc/loadavg: 2.10 2.07 1.98 4/535 30696
/proc/meminfo: memFree=21541040/32951124 swapFree=53876548/67111528
[pid=30580] ppid=30578 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/30580/stat : 30580 (java) Z 30578 30580 29867 0 -1 4203548 1082815 0 1 0 179883 141 0 0 17 0 2 0 833368961 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.12
CPU time (s): 1800.27
CPU user time (s): 1798.83
CPU system time (s): 1.43878
CPU usage (%): 100.399
Max. virtual memory (cumulated for all children) (KiB): 10613724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082815
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= 39650
involuntary context switches= 11663
runsolver used 8.5217 second user time and 20.9888 second system time
The end