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-3456756-1307640540/watcher-3456756-1307640540 -o /tmp/evaluation-result-3456756-1307640540/solver-3456756-1307640540 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456756-1307640540.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.00 2.00 2.00 2/195 13655
/proc/meminfo: memFree=28083372/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13655/stat : 13655 (java) R 13653 13655 12325 0 -1 4202496 953 0 0 0 0 0 0 0 22 0 1 0 954284744 23580672 697 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13655/statm: 5757 697 514 9 0 124 0
[startup+0.026679 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13655
/proc/meminfo: memFree=28083372/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 10115 0 1 0 0 1 0 0 22 0 10 0 954284744 10703900672 9815 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2613257 9815 1057 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100818 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13655
/proc/meminfo: memFree=28083372/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10540156 CPUtime=0.09 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 13014 0 1 0 8 1 0 0 22 0 18 0 954284744 10793119744 12712 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2635039 12713 2092 9 0 2625773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540156
[startup+0.300788 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13655
/proc/meminfo: memFree=28083372/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10543848 CPUtime=0.46 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 21135 0 1 0 44 2 0 0 22 0 18 0 954284744 10796900352 20571 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2635962 20574 2199 9 0 2626696 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10543848
[startup+0.700715 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 13655
/proc/meminfo: memFree=28083372/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10544036 CPUtime=1.02 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 49960 0 1 0 96 6 0 0 22 0 18 0 954284744 10797092864 49066 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636009 49066 2204 9 0 2626743 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10544036
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13673
/proc/meminfo: memFree=27789000/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10544036 CPUtime=1.82 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 115124 0 1 0 169 13 0 0 22 0 18 0 954284744 10797092864 114230 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636009 114234 2204 9 0 2626743 0
[pid=13655/tid=13657] ppid=13653 vsize=10544036 CPUtime=1.47 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 111522 0 1 0 135 12 0 0 25 0 18 0 954284744 10797092864 114236 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505556982 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954284746 10797092864 114238 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114240 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114242 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114245 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114247 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114248 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954284746 10797092864 114251 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954284746 10797092864 114253 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954284747 10797092864 114255 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 954284747 10797092864 114257 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 954284747 10797092864 114259 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 954284750 10797092864 114261 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10544036 CPUtime=0.15 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 772 0 0 0 15 0 0 0 20 0 18 0 954284750 10797092864 114263 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10544036 CPUtime=0.17 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 1686 0 0 0 17 0 0 0 15 0 18 0 954284750 10797092864 114265 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 954284750 10797092864 114267 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10544036 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954284750 10797092864 114269 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10544036
[startup+3.10132 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13674
/proc/meminfo: memFree=27547064/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10548884 CPUtime=3.91 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 158010 0 1 0 373 18 0 0 22 0 19 0 954284744 10802057216 155356 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2637221 155357 2226 9 0 2627955 0
[pid=13655/tid=13657] ppid=13653 vsize=10548884 CPUtime=3.07 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 150708 0 1 0 290 17 0 0 18 0 19 0 954284744 10802057216 155357 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505683484 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954284746 10802057216 155358 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155358 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155359 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155359 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155360 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155360 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10802057216 155361 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284746 10802057216 155361 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954284747 10802057216 155362 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 954284747 10802057216 155362 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284747 10802057216 155363 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10802057216 155363 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10548884 CPUtime=0.4 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2172 0 0 0 40 0 0 0 15 0 19 0 954284750 10802057216 155364 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10548884 CPUtime=0.41 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 3971 0 0 0 41 0 0 0 15 0 19 0 954284750 10802057216 155364 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10802057216 155365 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954284750 10802057216 155365 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10548884 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10802057216 155366 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 10548884
[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13674
/proc/meminfo: memFree=26885820/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10545508 CPUtime=7.18 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 402775 0 1 0 676 42 0 0 22 0 19 0 954284744 10798600192 399447 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636377 399457 2228 9 0 2627111 0
[pid=13655/tid=13657] ppid=13653 vsize=10545508 CPUtime=6.27 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 395464 0 1 0 586 41 0 0 21 0 19 0 954284744 10798600192 399462 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505616238 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954284746 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954284747 10798600192 399467 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 954284747 10798600192 399469 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954284747 10798600192 399475 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10798600192 399480 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10545508 CPUtime=0.41 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2172 0 0 0 41 0 0 0 16 0 19 0 954284750 10798600192 399486 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10545508 CPUtime=0.47 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 3993 0 0 0 47 0 0 0 15 0 19 0 954284750 10798600192 399491 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10798600192 399491 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954284750 10798600192 399491 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10798600192 399491 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10545508
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13674
/proc/meminfo: memFree=25365108/32951124 swapFree=67049456/67111528
################
# More data... #
################
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10545508 CPUtime=0.64 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2230 0 0 0 64 0 0 0 15 0 19 0 954284750 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10545508 CPUtime=0.61 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 4890 0 0 0 60 1 0 0 15 0 19 0 954284750 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954284750 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10798600192 940557 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.73
Current children cumulated vsize (KiB) 10545508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13782
/proc/meminfo: memFree=24843312/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10545508 CPUtime=1726.77 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 947588 0 1 0 172570 107 0 0 22 0 19 0 954284744 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636377 942115 2241 9 0 2627111 0
[pid=13655/tid=13657] ppid=13653 vsize=10545508 CPUtime=1721.1 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 768688 0 1 0 172030 80 0 0 25 0 19 0 954284744 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505591283 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10545508 CPUtime=0.61 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 25776 0 0 0 59 2 0 0 15 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10545508 CPUtime=0.33 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 13672 0 0 0 32 1 0 0 16 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10545508 CPUtime=0.58 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 17928 0 0 0 56 2 0 0 15 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10545508 CPUtime=0.51 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 21563 0 0 0 48 3 0 0 16 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10545508 CPUtime=0.39 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 13179 0 0 0 37 2 0 0 15 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10545508 CPUtime=0.49 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 19447 0 0 0 47 2 0 0 15 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10545508 CPUtime=0.68 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 30633 0 0 0 64 4 0 0 16 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10545508 CPUtime=0.68 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 28250 0 0 0 65 3 0 0 16 0 19 0 954284746 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10545508 CPUtime=0.02 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 81 0 0 0 1 1 0 0 15 0 19 0 954284747 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10545508 CPUtime=0.64 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2231 0 0 0 64 0 0 0 15 0 19 0 954284750 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10545508 CPUtime=0.61 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 4890 0 0 0 60 1 0 0 15 0 19 0 954284750 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954284750 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10798600192 942115 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.77
Current children cumulated vsize (KiB) 10545508
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/214 13784
/proc/meminfo: memFree=24835564/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10545508 CPUtime=1786.79 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 948749 0 1 0 178572 107 0 0 22 0 19 0 954284744 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636377 943225 2241 9 0 2627111 0
[pid=13655/tid=13657] ppid=13653 vsize=10545508 CPUtime=1781.09 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 768690 0 1 0 178029 80 0 0 25 0 19 0 954284744 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505756365 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10545508 CPUtime=0.62 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 25979 0 0 0 60 2 0 0 15 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10545508 CPUtime=0.34 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 13846 0 0 0 33 1 0 0 16 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10545508 CPUtime=0.59 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 18159 0 0 0 57 2 0 0 16 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10545508 CPUtime=0.51 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 21563 0 0 0 48 3 0 0 16 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10545508 CPUtime=0.39 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 13367 0 0 0 37 2 0 0 15 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10545508 CPUtime=0.49 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 19506 0 0 0 47 2 0 0 16 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10545508 CPUtime=0.68 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 30711 0 0 0 64 4 0 0 15 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10545508 CPUtime=0.68 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 28467 0 0 0 65 3 0 0 15 0 19 0 954284746 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10545508 CPUtime=0.02 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 86 0 0 0 1 1 0 0 15 0 19 0 954284747 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10545508 CPUtime=0.64 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2231 0 0 0 64 0 0 0 15 0 19 0 954284750 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10545508 CPUtime=0.61 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 4890 0 0 0 60 1 0 0 15 0 19 0 954284750 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954284750 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10798600192 943225 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 10545508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 13784
/proc/meminfo: memFree=24834184/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=10545508 CPUtime=1800.01 cores=1,3,5,7
/proc/13655/stat : 13655 (java) S 13653 13655 12325 0 -1 4202496 949205 0 1 0 179894 107 0 0 22 0 19 0 954284744 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 2636377 943658 2241 9 0 2627111 0
[pid=13655/tid=13657] ppid=13653 vsize=10545508 CPUtime=1794.29 cores=1,3,5,7
/proc/13655/task/13657/stat : 13657 (java) R 13653 13655 12325 0 -1 4202560 768691 0 1 0 179349 80 0 0 25 0 19 0 954284744 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 46912505591283 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13655/tid=13658] ppid=13653 vsize=10545508 CPUtime=0.62 cores=1,3,5,7
/proc/13655/task/13658/stat : 13658 (java) S 13653 13655 12325 0 -1 4202560 25979 0 0 0 60 2 0 0 15 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13659] ppid=13653 vsize=10545508 CPUtime=0.34 cores=1,3,5,7
/proc/13655/task/13659/stat : 13659 (java) S 13653 13655 12325 0 -1 4202560 13846 0 0 0 33 1 0 0 16 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13660] ppid=13653 vsize=10545508 CPUtime=0.59 cores=1,3,5,7
/proc/13655/task/13660/stat : 13660 (java) S 13653 13655 12325 0 -1 4202560 18159 0 0 0 57 2 0 0 15 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13661] ppid=13653 vsize=10545508 CPUtime=0.52 cores=1,3,5,7
/proc/13655/task/13661/stat : 13661 (java) S 13653 13655 12325 0 -1 4202560 21646 0 0 0 49 3 0 0 16 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13662] ppid=13653 vsize=10545508 CPUtime=0.4 cores=1,3,5,7
/proc/13655/task/13662/stat : 13662 (java) S 13653 13655 12325 0 -1 4202560 13511 0 0 0 38 2 0 0 16 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=13655/tid=13663] ppid=13653 vsize=10545508 CPUtime=0.49 cores=1,3,5,7
/proc/13655/task/13663/stat : 13663 (java) S 13653 13655 12325 0 -1 4202560 19615 0 0 0 47 2 0 0 16 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13664] ppid=13653 vsize=10545508 CPUtime=0.68 cores=1,3,5,7
/proc/13655/task/13664/stat : 13664 (java) S 13653 13655 12325 0 -1 4202560 30711 0 0 0 64 4 0 0 15 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13665] ppid=13653 vsize=10545508 CPUtime=0.69 cores=1,3,5,7
/proc/13655/task/13665/stat : 13665 (java) S 13653 13655 12325 0 -1 4202560 28584 0 0 0 66 3 0 0 16 0 19 0 954284746 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13666] ppid=13653 vsize=10545508 CPUtime=0.02 cores=1,3,5,7
/proc/13655/task/13666/stat : 13666 (java) S 13653 13655 12325 0 -1 4202560 88 0 0 0 1 1 0 0 15 0 19 0 954284747 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13667] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13667/stat : 13667 (java) S 13653 13655 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13668] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13668/stat : 13668 (java) S 13653 13655 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284747 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13669] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13669/stat : 13669 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954284750 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296749489 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13670] ppid=13653 vsize=10545508 CPUtime=0.64 cores=1,3,5,7
/proc/13655/task/13670/stat : 13670 (java) S 13653 13655 12325 0 -1 4202560 2231 0 0 0 64 0 0 0 15 0 19 0 954284750 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13671] ppid=13653 vsize=10545508 CPUtime=0.61 cores=1,3,5,7
/proc/13655/task/13671/stat : 13671 (java) S 13653 13655 12325 0 -1 4202560 4890 0 0 0 60 1 0 0 15 0 19 0 954284750 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=13655/tid=13672] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13672/stat : 13672 (java) S 13653 13655 12325 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 954284750 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296741785 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=13655/tid=13673] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13673/stat : 13673 (java) S 13653 13655 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954284750 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=13655/tid=13674] ppid=13653 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/13655/task/13674/stat : 13674 (java) S 13653 13655 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284931 10798600192 943658 33554432000 1073741824 1073778376 140735588723712 18446744073709551615 224296742400 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10545508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.61 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 13784
/proc/meminfo: memFree=24834184/32951124 swapFree=67049456/67111528
[pid=13655] ppid=13653 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/13655/stat : 13655 (java) Z 13653 13655 12325 0 -1 4203548 949233 0 1 0 179895 117 0 0 17 0 2 0 954284744 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13655/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.65
CPU time (s): 1800.17
CPU user time (s): 1798.96
CPU system time (s): 1.20782
CPU usage (%): 100.252
Max. virtual memory (cumulated for all children) (KiB): 10548884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.20782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949233
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= 39062
involuntary context switches= 4479
runsolver used 2.96655 second user time and 6.84596 second system time
The end