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-3456595-1307218258/watcher-3456595-1307218258 -o /tmp/evaluation-result-3456595-1307218258/solver-3456595-1307218258 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456595-1307218258.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: 1.87 2.00 1.94 2/440 657
/proc/meminfo: memFree=29750864/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/657/stat : 657 (runsolver) R 655 657 31238 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 912056584 12079104 50 33554432000 4194304 5432328 140736911521168 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/657/statm: 2949 53 34 303 0 2643 0
[pid=657/tid=658] ppid=655 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 1749 0 1 0 0 0 0 0 18 0 2 0 912056585 10681323520 2564 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.094651 s]
/proc/loadavg: 1.87 2.00 1.94 2/440 657
/proc/meminfo: memFree=29750864/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10540076 CPUtime=0.08 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 12911 0 1 0 7 1 0 0 17 0 18 0 912056584 10793037824 12580 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2635019 12580 2082 9 0 2625753 0
[pid=657/tid=658] ppid=655 vsize=10540076 CPUtime=0.07 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 10986 0 1 0 6 1 0 0 25 0 18 0 912056585 10793037824 12581 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 47155236846388 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540076
[startup+0.100855 s]
/proc/loadavg: 1.87 2.00 1.94 2/440 657
/proc/meminfo: memFree=29750864/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10540076 CPUtime=0.09 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 13005 0 1 0 8 1 0 0 17 0 18 0 912056584 10793037824 12674 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2635019 12674 2092 9 0 2625753 0
[pid=657/tid=658] ppid=655 vsize=10540076 CPUtime=0.07 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 11069 0 1 0 6 1 0 0 25 0 18 0 912056585 10793037824 12674 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505177430 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540076
[startup+0.304963 s]
/proc/loadavg: 1.87 2.00 1.94 2/440 657
/proc/meminfo: memFree=29750864/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10541724 CPUtime=0.48 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 16689 0 1 0 46 2 0 0 17 0 18 0 912056584 10794725376 16043 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2635431 16044 2200 9 0 2626165 0
[pid=657/tid=658] ppid=655 vsize=10541724 CPUtime=0.28 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 13921 0 1 0 26 2 0 0 25 0 18 0 912056585 10794725376 16044 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505603353 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541724
[startup+0.700812 s]
/proc/loadavg: 1.87 2.00 1.94 2/440 657
/proc/meminfo: memFree=29750864/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544600 CPUtime=1.12 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 52697 0 1 0 105 7 0 0 17 0 18 0 912056584 10797670400 50780 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636150 50785 2214 9 0 2626884 0
[pid=657/tid=658] ppid=655 vsize=10544600 CPUtime=0.67 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 47095 0 1 0 61 6 0 0 25 0 18 0 912056585 10797670400 50787 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505584824 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10544600
[startup+1.50066 s]
/proc/loadavg: 1.87 2.00 1.94 3/478 698
/proc/meminfo: memFree=29177504/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544600 CPUtime=1.92 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 133947 0 1 0 175 17 0 0 17 0 18 0 912056584 10797670400 132030 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636150 132035 2214 9 0 2626884 0
[pid=657/tid=658] ppid=655 vsize=10544600 CPUtime=1.47 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 128345 0 1 0 131 16 0 0 25 0 18 0 912056585 10797670400 132037 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505649834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 912056587 10797670400 132040 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=661] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 132042 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=662] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 132045 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=663] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 132047 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 132050 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=665] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 132052 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=666] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 912056587 10797670400 132055 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=667] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 912056587 10797670400 132057 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=668] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 912056588 10797670400 132060 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=669] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 912056588 10797670400 132062 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 912056588 10797670400 132065 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 912056591 10797670400 132068 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544600 CPUtime=0.23 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 1950 0 0 0 23 0 0 0 18 0 18 0 912056591 10797670400 132070 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544600 CPUtime=0.2 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 2511 0 0 0 20 0 0 0 16 0 18 0 912056591 10797670400 132073 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 912056591 10797670400 132075 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 912056591 10797670400 132078 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10544600
[startup+3.10135 s]
/proc/loadavg: 1.87 2.00 1.94 3/478 698
/proc/meminfo: memFree=28262508/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544600 CPUtime=3.56 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 292125 0 1 0 319 37 0 0 17 0 18 0 912056584 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636150 290199 2228 9 0 2626884 0
[pid=657/tid=658] ppid=655 vsize=10544600 CPUtime=3.07 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 286493 0 1 0 271 36 0 0 25 0 18 0 912056585 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505216225 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=661] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=662] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=663] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=665] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=666] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=667] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 912056587 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=668] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 912056588 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=669] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 912056588 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 912056588 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 912056591 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544600 CPUtime=0.25 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) R 655 657 31238 0 -1 4202560 1962 0 0 0 25 0 0 0 17 0 18 0 912056591 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 47155236088929 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544600 CPUtime=0.22 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) R 655 657 31238 0 -1 4202560 2522 0 0 0 22 0 0 0 15 0 18 0 912056591 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 47155233199478 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 912056591 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544600 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 912056591 10797670400 290199 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 10544600
[startup+6.30076 s]
/proc/loadavg: 1.96 2.02 1.94 3/480 701
/proc/meminfo: memFree=27397908/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10545024 CPUtime=7.18 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 300407 0 1 0 681 37 0 0 17 0 19 0 912056584 10798104576 296348 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636256 296348 2239 9 0 2626990 0
[pid=657/tid=658] ppid=655 vsize=10545024 CPUtime=6.28 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 292769 0 1 0 591 37 0 0 21 0 19 0 912056585 10798104576 296348 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505827287 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912056587 10798104576 296348 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=661] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912056587 10798104576 296348 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=662] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912056587 10798104576 296348 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=663] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912056587 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912056587 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=665] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912056587 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=666] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912056587 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=667] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912056587 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=668] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912056588 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=669] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 912056588 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 912056588 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10545024 CPUtime=0.45 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 2222 0 0 0 45 0 0 0 15 0 19 0 912056591 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10545024 CPUtime=0.43 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 4257 0 0 0 43 0 0 0 15 0 19 0 912056591 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10545024 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912056591 10798104576 296349 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544488 CPUtime=0.75 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 2670 0 0 0 75 0 0 0 15 0 19 0 912056591 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544488 CPUtime=0.55 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 4344 0 0 0 55 0 0 0 15 0 19 0 912056591 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 912056591 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=699] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/699/stat : 699 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912056895 10797555712 1346484 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.51
Current children cumulated vsize (KiB) 10544488
[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/480 749
/proc/meminfo: memFree=18943972/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544488 CPUtime=1726.59 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 1392331 0 1 0 172484 175 0 0 17 0 19 0 912056584 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636122 1357804 2267 9 0 2626856 0
[pid=657/tid=658] ppid=655 vsize=10544488 CPUtime=1714.72 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 797450 0 1 0 171379 93 0 0 25 0 19 0 912056585 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505831638 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10544488 CPUtime=0.6 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 63802 0 0 0 50 10 0 0 16 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=661] ppid=655 vsize=10544488 CPUtime=0.61 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 64361 0 0 0 52 9 0 0 15 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=662] ppid=655 vsize=10544488 CPUtime=0.48 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 40514 0 0 0 43 5 0 0 15 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=663] ppid=655 vsize=10544488 CPUtime=0.53 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 53843 0 0 0 46 7 0 0 16 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10544488 CPUtime=0.47 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 37315 0 0 0 41 6 0 0 16 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=665] ppid=655 vsize=10544488 CPUtime=0.53 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 51678 0 0 0 45 8 0 0 16 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=666] ppid=655 vsize=10544488 CPUtime=0.54 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 58597 0 0 0 45 9 0 0 16 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=667] ppid=655 vsize=10544488 CPUtime=0.48 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 46953 0 0 0 41 7 0 0 15 0 19 0 912056587 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=668] ppid=655 vsize=10544488 CPUtime=6.22 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 169558 0 0 0 606 16 0 0 15 0 19 0 912056588 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=669] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544488 CPUtime=0.75 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 2670 0 0 0 75 0 0 0 15 0 19 0 912056591 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544488 CPUtime=0.55 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 4344 0 0 0 55 0 0 0 15 0 19 0 912056591 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912056591 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=699] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/699/stat : 699 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912056895 10797555712 1357804 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.59
Current children cumulated vsize (KiB) 10544488
[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/480 751
/proc/meminfo: memFree=18790064/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544488 CPUtime=1786.74 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 1420412 0 1 0 178495 179 0 0 17 0 19 0 912056584 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636122 1383698 2267 9 0 2626856 0
[pid=657/tid=658] ppid=655 vsize=10544488 CPUtime=1774.28 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 797452 0 1 0 177335 93 0 0 25 0 19 0 912056585 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505958242 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10544488 CPUtime=0.65 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 70899 0 0 0 54 11 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=661] ppid=655 vsize=10544488 CPUtime=0.63 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 67534 0 0 0 54 9 0 0 15 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=662] ppid=655 vsize=10544488 CPUtime=0.49 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 45166 0 0 0 44 5 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=663] ppid=655 vsize=10544488 CPUtime=0.53 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 53843 0 0 0 46 7 0 0 15 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10544488 CPUtime=0.48 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 37367 0 0 0 42 6 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=665] ppid=655 vsize=10544488 CPUtime=0.57 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 54783 0 0 0 48 9 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=666] ppid=655 vsize=10544488 CPUtime=0.57 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 62190 0 0 0 48 9 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=667] ppid=655 vsize=10544488 CPUtime=0.51 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 49106 0 0 0 44 7 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=668] ppid=655 vsize=10544488 CPUtime=6.61 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 173808 0 0 0 644 17 0 0 15 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=669] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544488 CPUtime=0.75 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 2670 0 0 0 75 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544488 CPUtime=0.55 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 4344 0 0 0 55 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=699] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/699/stat : 699 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912056895 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.74
Current children cumulated vsize (KiB) 10544488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.07 2.05 2.01 3/480 751
/proc/meminfo: memFree=18789932/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=10544488 CPUtime=1800.04 cores=1,3,5,7
/proc/657/stat : 657 (java) S 655 657 31238 0 -1 4202496 1420412 0 1 0 179825 179 0 0 17 0 19 0 912056584 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 2636122 1383698 2267 9 0 2626856 0
[pid=657/tid=658] ppid=655 vsize=10544488 CPUtime=1787.6 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4202560 797452 0 1 0 178667 93 0 0 25 0 19 0 912056585 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 46912505831946 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=657/tid=660] ppid=655 vsize=10544488 CPUtime=0.65 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 655 657 31238 0 -1 4202560 70899 0 0 0 54 11 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=661] ppid=655 vsize=10544488 CPUtime=0.63 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 655 657 31238 0 -1 4202560 67534 0 0 0 54 9 0 0 15 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=662] ppid=655 vsize=10544488 CPUtime=0.49 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 655 657 31238 0 -1 4202560 45166 0 0 0 44 5 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=663] ppid=655 vsize=10544488 CPUtime=0.53 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 655 657 31238 0 -1 4202560 53843 0 0 0 46 7 0 0 15 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=664] ppid=655 vsize=10544488 CPUtime=0.48 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 655 657 31238 0 -1 4202560 37367 0 0 0 42 6 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=665] ppid=655 vsize=10544488 CPUtime=0.57 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 655 657 31238 0 -1 4202560 54783 0 0 0 48 9 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
[pid=657/tid=666] ppid=655 vsize=10544488 CPUtime=0.57 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 655 657 31238 0 -1 4202560 62190 0 0 0 48 9 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=667] ppid=655 vsize=10544488 CPUtime=0.51 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 655 657 31238 0 -1 4202560 49106 0 0 0 44 7 0 0 16 0 19 0 912056587 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=668] ppid=655 vsize=10544488 CPUtime=6.61 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 655 657 31238 0 -1 4202560 173808 0 0 0 644 17 0 0 15 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 0 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=669] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 655 657 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=670] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 655 657 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912056588 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=671] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907314097 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=672] ppid=655 vsize=10544488 CPUtime=0.75 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 655 657 31238 0 -1 4202560 2670 0 0 0 75 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=673] ppid=655 vsize=10544488 CPUtime=0.55 cores=1,3,5,7
/proc/657/task/673/stat : 673 (java) S 655 657 31238 0 -1 4202560 4344 0 0 0 55 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 5 0 0 0
[pid=657/tid=674] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/674/stat : 674 (java) S 655 657 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907306393 0 4 0 16800975 18446604471133747328 0 0 -1 1 0 0 0
[pid=657/tid=675] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/675/stat : 675 (java) S 655 657 31238 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912056591 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 3 0 0 0
[pid=657/tid=699] ppid=655 vsize=10544488 CPUtime=0 cores=1,3,5,7
/proc/657/task/699/stat : 699 (java) S 655 657 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912056895 10797555712 1383698 33554432000 1073741824 1073778376 140734662725840 18446744073709551615 231907307008 0 4 0 16800975 18446604471133747328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10544488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.8 s]
/proc/loadavg: 2.07 2.05 2.01 3/480 751
/proc/meminfo: memFree=18789932/32950928 swapFree=52246700/67111528
[pid=657] ppid=655 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/657/stat : 657 (java) Z 655 657 31238 0 -1 4203548 1420442 0 1 0 179838 192 0 0 15 0 2 0 912056584 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/657/statm: 0 0 0 0 0 0 0
[pid=657/tid=658] ppid=655 vsize=0 CPUtime=1787.78 cores=1,3,5,7
/proc/657/task/658/stat : 658 (java) R 655 657 31238 0 -1 4203588 797452 0 1 0 178672 106 0 0 25 0 2 0 912056585 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.89
CPU time (s): 1800.4
CPU user time (s): 1798.39
CPU system time (s): 2.01269
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 10546160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.01269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1420442
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= 38532
involuntary context switches= 12866
runsolver used 7.55585 second user time and 18.6312 second system time
The end