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-3456500-1307223142/watcher-3456500-1307223142 -o /tmp/evaluation-result-3456500-1307223142/solver-3456500-1307223142 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456500-1307223142.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.05 2.05 2.00 2/542 736
/proc/meminfo: memFree=19794956/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 228 0 0 0 0 0 0 0 23 0 1 0 833911987 9318400 166 33554432000 1073741824 1073778376 140737330212080 18446744073709551615 218905729024 0 2147483391 4096 0 18446744071699207358 0 0 17 5 0 0 0
/proc/736/statm: 2275 166 125 9 0 67 0
[pid=736/tid=737] ppid=734 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 5504 0 1 0 0 0 0 0 25 0 2 0 833911987 10694979584 6320 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.080265 s]
/proc/loadavg: 2.05 2.05 2.00 2/542 736
/proc/meminfo: memFree=19794956/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 11961 0 1 0 6 1 0 0 23 0 18 0 833911987 10724442112 11658 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2618272 11658 1755 9 0 2609006 0
[pid=736/tid=737] ppid=734 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 10787 0 1 0 6 0 0 0 25 0 18 0 833911987 10724442112 11658 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917557707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.100263 s]
/proc/loadavg: 2.05 2.05 2.00 2/542 736
/proc/meminfo: memFree=19794956/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10539812 CPUtime=0.1 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 13022 0 1 0 9 1 0 0 23 0 18 0 833911987 10792767488 12719 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2634953 12719 2093 9 0 2625687 0
[pid=736/tid=737] ppid=734 vsize=10539812 CPUtime=0.08 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 11085 0 1 0 8 0 0 0 18 0 18 0 833911987 10792767488 12719 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912496202672 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539812
[startup+0.300191 s]
/proc/loadavg: 2.05 2.05 2.00 2/542 736
/proc/meminfo: memFree=19794956/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10541172 CPUtime=0.5 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 17098 0 1 0 49 1 0 0 23 0 18 0 833911987 10794160128 16236 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2635293 16237 2202 9 0 2626027 0
[pid=736/tid=737] ppid=734 vsize=10541172 CPUtime=0.28 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 13748 0 1 0 27 1 0 0 18 0 18 0 833911987 10794160128 16237 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541172
[startup+0.701153 s]
/proc/loadavg: 2.05 2.05 2.00 2/542 736
/proc/meminfo: memFree=19794956/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10544212 CPUtime=1.16 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 55917 0 1 0 109 7 0 0 23 0 18 0 833911987 10797273088 53685 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636053 53689 2214 9 0 2626787 0
[pid=736/tid=737] ppid=734 vsize=10544212 CPUtime=0.68 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 49574 0 1 0 62 6 0 0 18 0 18 0 833911987 10797273088 53691 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505601026 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10544212
[startup+1.50101 s]
/proc/loadavg: 2.13 2.07 2.01 4/560 754
/proc/meminfo: memFree=19455000/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10544212 CPUtime=1.96 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 143341 0 1 0 180 16 0 0 23 0 18 0 833911987 10797273088 141109 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636053 141113 2214 9 0 2626787 0
[pid=736/tid=737] ppid=734 vsize=10544212 CPUtime=1.48 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 136998 0 1 0 133 15 0 0 20 0 18 0 833911987 10797273088 141115 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505581480 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141118 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=740] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141121 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=741] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141124 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=742] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141126 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=743] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141129 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=744] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141132 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141134 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=746] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 141137 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=747] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833911990 10797273088 141140 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833911991 10797273088 141142 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833911991 10797273088 141145 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911993 10797273088 141148 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10544212 CPUtime=0.25 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2552 0 0 0 25 0 0 0 25 0 18 0 833911993 10797273088 141150 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10544212 CPUtime=0.22 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2648 0 0 0 22 0 0 0 25 0 18 0 833911993 10797273088 141153 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911993 10797273088 141156 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833911993 10797273088 141158 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 10544212
[startup+3.10072 s]
/proc/loadavg: 2.13 2.07 2.01 3/560 754
/proc/meminfo: memFree=19110652/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10544212 CPUtime=3.76 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 205610 0 1 0 353 23 0 0 23 0 18 0 833911987 10797273088 203377 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636053 203377 2228 9 0 2626787 0
[pid=736/tid=737] ppid=734 vsize=10544212 CPUtime=3.08 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 199232 0 1 0 286 22 0 0 25 0 18 0 833911987 10797273088 203377 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505217645 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203377 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=740] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=741] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=742] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=743] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=744] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=746] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911989 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=747] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833911990 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833911991 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833911991 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911993 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10544212 CPUtime=0.37 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2570 0 0 0 37 0 0 0 15 0 18 0 833911993 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10544212 CPUtime=0.28 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2658 0 0 0 28 0 0 0 15 0 18 0 833911993 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833911993 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10544212 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833911993 10797273088 203378 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 10544212
[startup+6.30115 s]
/proc/loadavg: 2.12 2.07 2.01 3/561 756
/proc/meminfo: memFree=18931472/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10545136 CPUtime=7.28 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 224156 0 1 0 703 25 0 0 23 0 19 0 833911987 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636284 221771 2233 9 0 2627018 0
[pid=736/tid=737] ppid=734 vsize=10545136 CPUtime=6.28 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 217585 0 1 0 604 24 0 0 25 0 19 0 833911987 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505958806 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=740] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=741] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=742] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=743] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=744] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=746] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911989 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=747] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833911990 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833911991 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833911991 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10545136 CPUtime=0.55 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2726 0 0 0 55 0 0 0 16 0 19 0 833911993 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10545136 CPUtime=0.43 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2684 0 0 0 43 0 0 0 16 0 19 0 833911993 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833911993 10798219264 221771 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10545136 CPUtime=0.82 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2760 0 0 0 82 0 0 0 15 0 19 0 833911993 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10545136 CPUtime=0.67 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2715 0 0 0 67 0 0 0 15 0 19 0 833911993 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833911993 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=756] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/756/stat : 756 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833912300 10798219264 914965 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1666.24
Current children cumulated vsize (KiB) 10545136
[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/561 874
/proc/meminfo: memFree=16291952/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10545136 CPUtime=1726.3 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 918942 0 1 0 172522 108 0 0 23 0 19 0 833911987 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636284 914966 2251 9 0 2627018 0
[pid=736/tid=737] ppid=734 vsize=10545136 CPUtime=1720.98 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 801383 0 1 0 172012 86 0 0 25 0 19 0 833911987 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505768246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10545136 CPUtime=0.43 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 13468 0 0 0 41 2 0 0 16 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=740] ppid=734 vsize=10545136 CPUtime=0.34 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 5058 0 0 0 34 0 0 0 15 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=741] ppid=734 vsize=10545136 CPUtime=0.48 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 7700 0 0 0 47 1 0 0 15 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=742] ppid=734 vsize=10545136 CPUtime=0.52 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 17725 0 0 0 49 3 0 0 16 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=743] ppid=734 vsize=10545136 CPUtime=0.47 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 18970 0 0 0 45 2 0 0 15 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=744] ppid=734 vsize=10545136 CPUtime=0.52 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 17860 0 0 0 49 3 0 0 16 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10545136 CPUtime=0.45 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 19426 0 0 0 43 2 0 0 15 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 5 0 0 0
[pid=736/tid=746] ppid=734 vsize=10545136 CPUtime=0.45 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 10522 0 0 0 44 1 0 0 15 0 19 0 833911989 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 5 0 0 0
[pid=736/tid=747] ppid=734 vsize=10545136 CPUtime=0.07 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 833911990 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10545136 CPUtime=0.82 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2760 0 0 0 82 0 0 0 15 0 19 0 833911993 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10545136 CPUtime=0.67 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2715 0 0 0 67 0 0 0 15 0 19 0 833911993 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833911993 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=756] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/756/stat : 756 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833912300 10798219264 914966 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.3
Current children cumulated vsize (KiB) 10545136
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/561 875
/proc/meminfo: memFree=16276876/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10545136 CPUtime=1786.39 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 919008 0 1 0 178530 109 0 0 23 0 19 0 833911987 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636284 915006 2251 9 0 2627018 0
[pid=736/tid=737] ppid=734 vsize=10545136 CPUtime=1780.94 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 801400 0 1 0 178008 86 0 0 25 0 19 0 833911987 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505768466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10545136 CPUtime=0.44 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 13469 0 0 0 42 2 0 0 15 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=740] ppid=734 vsize=10545136 CPUtime=0.35 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 5058 0 0 0 35 0 0 0 15 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=741] ppid=734 vsize=10545136 CPUtime=0.49 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 7701 0 0 0 48 1 0 0 15 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=742] ppid=734 vsize=10545136 CPUtime=0.53 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 17725 0 0 0 50 3 0 0 15 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=743] ppid=734 vsize=10545136 CPUtime=0.5 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 18996 0 0 0 47 3 0 0 16 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 5 0 0 0
[pid=736/tid=744] ppid=734 vsize=10545136 CPUtime=0.53 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 17860 0 0 0 50 3 0 0 16 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10545136 CPUtime=0.46 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 19426 0 0 0 44 2 0 0 16 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=746] ppid=734 vsize=10545136 CPUtime=0.46 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 10534 0 0 0 45 1 0 0 15 0 19 0 833911989 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 5 0 0 0
[pid=736/tid=747] ppid=734 vsize=10545136 CPUtime=0.07 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 110 0 0 0 4 3 0 0 15 0 19 0 833911990 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10545136 CPUtime=0.82 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2760 0 0 0 82 0 0 0 15 0 19 0 833911993 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10545136 CPUtime=0.68 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2716 0 0 0 68 0 0 0 15 0 19 0 833911993 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833911993 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=756] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/756/stat : 756 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833912300 10798219264 915006 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (KiB) 10545136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.9 s]
/proc/loadavg: 2.02 2.05 2.01 3/561 877
/proc/meminfo: memFree=16238552/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=10545136 CPUtime=1800.06 cores=1,3,5,7
/proc/736/stat : 736 (java) S 734 736 32290 0 -1 4202496 928418 0 1 0 179896 110 0 0 23 0 19 0 833911987 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/736/statm: 2636284 924107 2251 9 0 2627018 0
[pid=736/tid=737] ppid=734 vsize=10545136 CPUtime=1794.53 cores=1,3,5,7
/proc/736/task/737/stat : 737 (java) R 734 736 32290 0 -1 4202560 801403 0 1 0 179367 86 0 0 25 0 19 0 833911987 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 46912505768733 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=736/tid=739] ppid=734 vsize=10545136 CPUtime=0.46 cores=1,3,5,7
/proc/736/task/739/stat : 739 (java) S 734 736 32290 0 -1 4202560 15561 0 0 0 44 2 0 0 15 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=740] ppid=734 vsize=10545136 CPUtime=0.38 cores=1,3,5,7
/proc/736/task/740/stat : 740 (java) S 734 736 32290 0 -1 4202560 7038 0 0 0 37 1 0 0 16 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=741] ppid=734 vsize=10545136 CPUtime=0.51 cores=1,3,5,7
/proc/736/task/741/stat : 741 (java) S 734 736 32290 0 -1 4202560 10088 0 0 0 50 1 0 0 16 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=742] ppid=734 vsize=10545136 CPUtime=0.53 cores=1,3,5,7
/proc/736/task/742/stat : 742 (java) S 734 736 32290 0 -1 4202560 17725 0 0 0 50 3 0 0 15 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=743] ppid=734 vsize=10545136 CPUtime=0.5 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) S 734 736 32290 0 -1 4202560 18997 0 0 0 47 3 0 0 16 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 5 0 0 0
[pid=736/tid=744] ppid=734 vsize=10545136 CPUtime=0.54 cores=1,3,5,7
/proc/736/task/744/stat : 744 (java) S 734 736 32290 0 -1 4202560 17860 0 0 0 51 3 0 0 15 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=745] ppid=734 vsize=10545136 CPUtime=0.46 cores=1,3,5,7
/proc/736/task/745/stat : 745 (java) S 734 736 32290 0 -1 4202560 19426 0 0 0 44 2 0 0 15 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=746] ppid=734 vsize=10545136 CPUtime=0.48 cores=1,3,5,7
/proc/736/task/746/stat : 746 (java) S 734 736 32290 0 -1 4202560 13480 0 0 0 47 1 0 0 15 0 19 0 833911989 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=747] ppid=734 vsize=10545136 CPUtime=0.07 cores=1,3,5,7
/proc/736/task/747/stat : 747 (java) S 734 736 32290 0 -1 4202560 110 0 0 0 4 3 0 0 16 0 19 0 833911990 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 0 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=748] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/748/stat : 748 (java) S 734 736 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=749] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/749/stat : 749 (java) S 734 736 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833911991 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=750] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/750/stat : 750 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917554609 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=751] ppid=734 vsize=10545136 CPUtime=0.82 cores=1,3,5,7
/proc/736/task/751/stat : 751 (java) S 734 736 32290 0 -1 4202560 2760 0 0 0 82 0 0 0 15 0 19 0 833911993 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 3 0 0 0
[pid=736/tid=752] ppid=734 vsize=10545136 CPUtime=0.69 cores=1,3,5,7
/proc/736/task/752/stat : 752 (java) S 734 736 32290 0 -1 4202560 2717 0 0 0 69 0 0 0 15 0 19 0 833911993 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 7 0 0 0
[pid=736/tid=753] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/753/stat : 753 (java) S 734 736 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833911993 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917546905 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=754] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/754/stat : 754 (java) S 734 736 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833911993 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
[pid=736/tid=756] ppid=734 vsize=10545136 CPUtime=0 cores=1,3,5,7
/proc/736/task/756/stat : 756 (java) S 734 736 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833912300 10798219264 924107 33554432000 1073741824 1073778376 140736817345328 18446744073709551615 218917547520 0 4 0 16800975 18446604459522159872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10545136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.03 s]
/proc/loadavg: 2.02 2.05 2.01 3/561 877
/proc/meminfo: memFree=16238552/32951124 swapFree=56930356/67111528
[pid=736] ppid=734 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/736/stat : 736 (java) Z 734 736 32290 0 -1 4203548 928447 0 1 0 179899 120 0 0 17 0 2 0 833911987 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/736/statm: 0 0 0 0 0 0 0
[pid=736/tid=743] ppid=734 vsize=0 CPUtime=0.59 cores=1,3,5,7
/proc/736/task/743/stat : 743 (java) R 734 736 32290 0 -1 4203588 18997 0 0 0 47 12 0 0 15 0 2 0 833911989 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.07
CPU time (s): 1800.24
CPU user time (s): 1799
CPU system time (s): 1.24281
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 10545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928447
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= 49731
involuntary context switches= 28433
runsolver used 9.92149 second user time and 22.6426 second system time
The end