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-3456615-1307635311/watcher-3456615-1307635311 -o /tmp/evaluation-result-3456615-1307635311/solver-3456615-1307635311 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456615-1307635311.opb
running on 4 cores: 0,2,4,6
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.30 2.12 1.79 2/195 13208
/proc/meminfo: memFree=28787256/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13208/stat : 13208 (java) R 13206 13208 12325 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 953761770 23580672 698 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13208/statm: 5757 698 515 9 0 124 0
[startup+0.094895 s]
/proc/loadavg: 2.30 2.12 1.79 2/195 13208
/proc/meminfo: memFree=28787256/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10539864 CPUtime=0.1 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 12958 0 1 0 9 1 0 0 25 0 18 0 953761770 10792820736 12631 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2634966 12631 2092 9 0 2625700 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539864
[startup+0.100918 s]
/proc/loadavg: 2.30 2.12 1.79 2/195 13208
/proc/meminfo: memFree=28787256/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10539864 CPUtime=0.1 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 13036 0 1 0 9 1 0 0 25 0 18 0 953761770 10792820736 12710 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2634966 12710 2092 9 0 2625700 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539864
[startup+0.300881 s]
/proc/loadavg: 2.30 2.12 1.79 2/195 13208
/proc/meminfo: memFree=28787256/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10541792 CPUtime=0.47 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 15749 0 1 0 46 1 0 0 25 0 18 0 953761770 10794795008 15220 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2635448 15221 2199 9 0 2626182 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541792
[startup+0.700815 s]
/proc/loadavg: 2.30 2.12 1.79 2/195 13208
/proc/meminfo: memFree=28787256/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10564508 CPUtime=1.46 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 35908 0 1 0 142 4 0 0 25 0 19 0 953761770 10818056192 31810 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2641127 31810 2228 9 0 2631861 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10564508
[startup+1.5007 s]
/proc/loadavg: 2.30 2.12 1.79 3/214 13227
/proc/meminfo: memFree=28634980/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=2.8 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 71638 0 1 0 271 9 0 0 25 0 19 0 953761770 10813472768 66934 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 66937 2233 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=1.47 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 56883 0 1 0 140 7 0 0 18 0 19 0 953761771 10813472768 66939 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912505717149 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66941 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66943 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66945 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66946 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66948 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66950 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66952 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 66954 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 66955 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 66957 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 66959 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 66961 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.61 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5010 0 0 0 60 1 0 0 16 0 19 0 953761776 10813472768 66963 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.69 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8590 0 0 0 69 0 0 0 21 0 19 0 953761776 10813472768 66964 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 66966 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 66968 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 66969 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10560032
[startup+3.10148 s]
/proc/loadavg: 2.30 2.12 1.79 8/214 13227
/proc/meminfo: memFree=28366396/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=4.48 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 161740 0 1 0 428 20 0 0 25 0 19 0 953761770 10813472768 157036 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 157038 2235 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=3.07 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 146965 0 1 0 289 18 0 0 21 0 19 0 953761771 10813472768 157039 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912505717129 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157040 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157041 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157042 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157043 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157043 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157044 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157045 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 157046 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953761774 10813472768 157047 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 157048 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 157049 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 157050 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.65 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5021 0 0 0 64 1 0 0 15 0 19 0 953761776 10813472768 157051 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.73 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8597 0 0 0 73 0 0 0 15 0 19 0 953761776 10813472768 157052 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 157053 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 157053 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 157054 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10560032
[startup+6.30087 s]
/proc/loadavg: 2.28 2.12 1.79 3/214 13229
/proc/meminfo: memFree=27633560/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=7.72 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 338327 0 1 0 731 41 0 0 25 0 19 0 953761770 10813472768 333536 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 333537 2236 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=6.28 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 323546 0 1 0 589 39 0 0 21 0 19 0 953761771 10813472768 333538 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912505719409 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333539 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333540 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333541 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333542 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333542 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333543 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333544 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761772 10813472768 333545 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953761774 10813472768 333546 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 333547 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953761774 10813472768 333548 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 333549 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.66 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) R 13206 13208 12325 0 -1 4202560 5021 0 0 0 65 1 0 0 15 0 19 0 953761776 10813472768 333550 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 47179380459762 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.76 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8601 0 0 0 76 0 0 0 15 0 19 0 953761776 10813472768 333551 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 333551 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 333552 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 333553 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 10560032
[startup+12.7008 s]
################
# More data... #
################
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.84 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5061 0 0 0 83 1 0 0 15 0 19 0 953761776 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8625 0 0 0 93 0 0 0 15 0 19 0 953761776 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 1019902 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.4
Current children cumulated vsize (KiB) 10560032
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/214 13332
/proc/meminfo: memFree=25195380/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=1730.54 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 1029640 0 1 0 172921 133 0 0 25 0 19 0 953761770 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 1022189 2266 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=1717.87 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 742412 0 1 0 171698 89 0 0 25 0 19 0 953761771 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912506034093 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=1.07 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 30872 0 0 0 102 5 0 0 16 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=0.99 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 29748 0 0 0 96 3 0 0 16 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=1.12 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 21705 0 0 0 110 2 0 0 15 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=1.25 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 42816 0 0 0 118 7 0 0 16 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=1.19 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 31373 0 0 0 114 5 0 0 15 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0.91 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 31716 0 0 0 87 4 0 0 16 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=1.26 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 38055 0 0 0 121 5 0 0 15 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0.92 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 23378 0 0 0 89 3 0 0 15 0 19 0 953761772 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=2.08 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 22630 0 0 0 205 3 0 0 15 0 19 0 953761774 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.84 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5061 0 0 0 83 1 0 0 15 0 19 0 953761776 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8625 0 0 0 93 0 0 0 15 0 19 0 953761776 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 1022189 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.54
Current children cumulated vsize (KiB) 10560032
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/214 13334
/proc/meminfo: memFree=24918304/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=1790.7 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 1031721 0 1 0 178936 134 0 0 25 0 19 0 953761770 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 1024193 2266 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=1777.81 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 742414 0 1 0 177692 89 0 0 25 0 19 0 953761771 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912506033406 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=1.09 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 31070 0 0 0 104 5 0 0 16 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=1.02 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 29958 0 0 0 99 3 0 0 15 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=1.15 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 21978 0 0 0 113 2 0 0 16 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=1.27 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 43083 0 0 0 120 7 0 0 15 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=1.22 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 31623 0 0 0 117 5 0 0 16 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 31984 0 0 0 89 4 0 0 16 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=1.28 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 38409 0 0 0 123 5 0 0 15 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0.95 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 23629 0 0 0 92 3 0 0 15 0 19 0 953761772 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=2.08 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 22634 0 0 0 205 3 0 0 15 0 19 0 953761774 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.84 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5061 0 0 0 83 1 0 0 15 0 19 0 953761776 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8625 0 0 0 93 0 0 0 15 0 19 0 953761776 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 1024193 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.7
Current children cumulated vsize (KiB) 10560032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 2.04 2.03 1.99 3/214 13334
/proc/meminfo: memFree=24627764/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=10560032 CPUtime=1800.09 cores=0,2,4,6
/proc/13208/stat : 13208 (java) S 13206 13208 12325 0 -1 4202496 1032646 0 1 0 179875 134 0 0 25 0 19 0 953761770 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 2640008 1025101 2266 9 0 2630742 0
[pid=13208/tid=13210] ppid=13206 vsize=10560032 CPUtime=1787.09 cores=0,2,4,6
/proc/13208/task/13210/stat : 13210 (java) R 13206 13208 12325 0 -1 4202560 742415 0 1 0 178620 89 0 0 25 0 19 0 953761771 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 46912505766318 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13208/tid=13211] ppid=13206 vsize=10560032 CPUtime=1.11 cores=0,2,4,6
/proc/13208/task/13211/stat : 13211 (java) S 13206 13208 12325 0 -1 4202560 31260 0 0 0 106 5 0 0 16 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13212] ppid=13206 vsize=10560032 CPUtime=1.05 cores=0,2,4,6
/proc/13208/task/13212/stat : 13212 (java) S 13206 13208 12325 0 -1 4202560 30234 0 0 0 101 4 0 0 16 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13213] ppid=13206 vsize=10560032 CPUtime=1.15 cores=0,2,4,6
/proc/13208/task/13213/stat : 13213 (java) S 13206 13208 12325 0 -1 4202560 21978 0 0 0 113 2 0 0 15 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13214] ppid=13206 vsize=10560032 CPUtime=1.3 cores=0,2,4,6
/proc/13208/task/13214/stat : 13214 (java) S 13206 13208 12325 0 -1 4202560 43280 0 0 0 123 7 0 0 16 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13215] ppid=13206 vsize=10560032 CPUtime=1.22 cores=0,2,4,6
/proc/13208/task/13215/stat : 13215 (java) S 13206 13208 12325 0 -1 4202560 31623 0 0 0 117 5 0 0 15 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13216] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13216/stat : 13216 (java) S 13206 13208 12325 0 -1 4202560 31984 0 0 0 89 4 0 0 15 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13217] ppid=13206 vsize=10560032 CPUtime=1.28 cores=0,2,4,6
/proc/13208/task/13217/stat : 13217 (java) S 13206 13208 12325 0 -1 4202560 38409 0 0 0 123 5 0 0 15 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13218] ppid=13206 vsize=10560032 CPUtime=0.97 cores=0,2,4,6
/proc/13208/task/13218/stat : 13218 (java) S 13206 13208 12325 0 -1 4202560 23888 0 0 0 94 3 0 0 16 0 19 0 953761772 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13219] ppid=13206 vsize=10560032 CPUtime=2.08 cores=0,2,4,6
/proc/13208/task/13219/stat : 13219 (java) S 13206 13208 12325 0 -1 4202560 22636 0 0 0 205 3 0 0 15 0 19 0 953761774 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13220] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13220/stat : 13220 (java) S 13206 13208 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13221] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13221/stat : 13221 (java) S 13206 13208 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953761774 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13222] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13222/stat : 13222 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13223] ppid=13206 vsize=10560032 CPUtime=0.84 cores=0,2,4,6
/proc/13208/task/13223/stat : 13223 (java) S 13206 13208 12325 0 -1 4202560 5061 0 0 0 83 1 0 0 15 0 19 0 953761776 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13208/tid=13224] ppid=13206 vsize=10560032 CPUtime=0.93 cores=0,2,4,6
/proc/13208/task/13224/stat : 13224 (java) S 13206 13208 12325 0 -1 4202560 8625 0 0 0 93 0 0 0 15 0 19 0 953761776 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13208/tid=13225] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13225/stat : 13225 (java) S 13206 13208 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953761776 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13208/tid=13226] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13226/stat : 13226 (java) S 13206 13208 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953761776 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13208/tid=13227] ppid=13206 vsize=10560032 CPUtime=0 cores=0,2,4,6
/proc/13208/task/13227/stat : 13227 (java) S 13206 13208 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953761813 10813472768 1025101 33554432000 1073741824 1073778376 140733270329120 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10560032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.71 s]
/proc/loadavg: 2.04 2.03 1.99 3/214 13334
/proc/meminfo: memFree=24627764/32951124 swapFree=67049456/67111528
[pid=13208] ppid=13206 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/13208/stat : 13208 (java) Z 13206 13208 12325 0 -1 4203548 1032677 0 1 0 179879 141 0 0 17 0 2 0 953761770 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13208/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.79
CPU time (s): 1800.3
CPU user time (s): 1798.8
CPU system time (s): 1.49777
CPU usage (%): 100.474
Max. virtual memory (cumulated for all children) (KiB): 10564664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1032677
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= 38515
involuntary context switches= 41865
runsolver used 3.55146 second user time and 6.24005 second system time
The end