runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3190239-1302597490/watcher-3190239-1302597490 -o /tmp/evaluation-result-3190239-1302597490/solver-3190239-1302597490 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190239-1302597490.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.38 7.62 5.68 14/245 26226
/proc/meminfo: memFree=9682056/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=31604 CPUtime=0 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 1286 0 0 0 0 0 0 0 21 0 2 0 371347151 32362496 999 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 7901 1001 771 9 0 386 0
[pid=26226/tid=26227] ppid=26224 vsize=33748 CPUtime=0 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 176 0 0 0 0 0 0 0 24 0 2 0 371347152 34557952 1007 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232330972867 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.031589 s]
/proc/loadavg: 7.38 7.62 5.68 14/245 26226
/proc/meminfo: memFree=9682056/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7562296 CPUtime=0.02 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 8556 0 1 0 1 1 0 0 21 0 11 0 371347151 7743791104 8251 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1890574 8253 1629 9 0 1881322 0
[pid=26226/tid=26227] ppid=26224 vsize=7562296 CPUtime=0.02 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 7431 0 1 0 1 1 0 0 25 0 11 0 371347152 7743791104 8254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 47219881676805 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296
[startup+0.100575 s]
/proc/loadavg: 7.38 7.62 5.68 14/245 26226
/proc/meminfo: memFree=9682056/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7569940 CPUtime=0.08 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 10163 0 1 0 7 1 0 0 21 0 18 0 371347151 7751618560 9856 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1892485 9857 1757 9 0 1883223 0
[pid=26226/tid=26227] ppid=26224 vsize=7569940 CPUtime=0.08 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 8986 0 1 0 7 1 0 0 25 0 18 0 371347152 7751618560 9857 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940
[startup+0.300544 s]
/proc/loadavg: 7.38 7.62 5.68 14/245 26226
/proc/meminfo: memFree=9682056/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7572400 CPUtime=0.4 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 15108 0 1 0 38 2 0 0 21 0 18 0 371347151 7754137600 14634 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1893100 14635 2197 9 0 1883838 0
[pid=26226/tid=26227] ppid=26224 vsize=7572400 CPUtime=0.28 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 12706 0 1 0 26 2 0 0 25 0 18 0 371347152 7754137600 14635 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505542110 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7572400
[startup+0.700441 s]
/proc/loadavg: 7.38 7.62 5.68 14/245 26226
/proc/meminfo: memFree=9682056/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7580796 CPUtime=1.11 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 20100 0 1 0 108 3 0 0 21 0 19 0 371347151 7762735104 18903 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1895199 18903 2219 9 0 1885937 0
[pid=26226/tid=26227] ppid=26224 vsize=7580796 CPUtime=0.68 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 15183 0 1 0 66 2 0 0 25 0 19 0 371347152 7762735104 18903 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505666405 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 7580796
[startup+1.50133 s]
/proc/loadavg: 7.38 7.62 5.68 6/266 26247
/proc/meminfo: memFree=9554116/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7580796 CPUtime=2.03 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 20670 0 1 0 200 3 0 0 21 0 19 0 371347151 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1895199 19472 2224 9 0 1885937 0
[pid=26226/tid=26227] ppid=26224 vsize=7580796 CPUtime=1.47 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 15720 0 1 0 145 2 0 0 25 0 19 0 371347152 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505751716 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371347154 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371347155 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371347155 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7580796 CPUtime=0.17 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 515 0 0 0 17 0 0 0 22 0 19 0 371347157 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7580796 CPUtime=0.37 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3268 0 0 0 37 0 0 0 22 0 19 0 371347157 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347157 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7762735104 19472 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 7580796
[startup+3.10106 s]
/proc/loadavg: 7.38 7.62 5.68 5/266 26247
/proc/meminfo: memFree=9546084/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7580796 CPUtime=3.64 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 21191 0 1 0 361 3 0 0 21 0 19 0 371347151 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1895199 19993 2224 9 0 1885937 0
[pid=26226/tid=26227] ppid=26224 vsize=7580796 CPUtime=3.07 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 16241 0 1 0 305 2 0 0 25 0 19 0 371347152 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505751692 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347153 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371347154 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371347155 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371347155 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7580796 CPUtime=0.17 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 515 0 0 0 17 0 0 0 22 0 19 0 371347157 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7580796 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3268 0 0 0 38 0 0 0 18 0 19 0 371347157 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347157 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7580796 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7762735104 19993 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 7580796
[startup+6.30148 s]
/proc/loadavg: 7.11 7.56 5.67 5/266 26247
/proc/meminfo: memFree=9454452/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7578544 CPUtime=6.85 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 35240 0 1 0 680 5 0 0 21 0 19 0 371347151 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1894636 33609 2250 9 0 1885374 0
[pid=26226/tid=26227] ppid=26224 vsize=7578544 CPUtime=6.04 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 17119 0 1 0 601 3 0 0 25 0 19 0 371347152 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505786572 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7578544 CPUtime=0.07 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 4676 0 0 0 7 0 0 0 18 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 1334 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347153 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7578544 CPUtime=0.11 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 7154 0 0 0 11 0 0 0 16 0 19 0 371347154 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7578544 CPUtime=0.2 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 524 0 0 0 20 0 0 0 17 0 19 0 371347157 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7578544 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3270 0 0 0 38 0 0 0 16 0 19 0 371347157 7760429056 33609 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=26226/tid=26234] ppid=26224 vsize=7578544 CPUtime=0.16 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 5191 0 0 0 16 0 0 0 15 0 19 0 371347153 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7578544 CPUtime=0.11 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1169 0 0 0 11 0 0 0 15 0 19 0 371347153 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 2588 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7578544 CPUtime=4.98 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 10842 0 0 0 496 2 0 0 15 0 19 0 371347154 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7578544 CPUtime=0.24 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 537 0 0 0 24 0 0 0 15 0 19 0 371347157 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7578544 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3270 0 0 0 38 0 0 0 15 0 19 0 371347157 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371347157 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7760429056 83153 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.48
Current children cumulated vsize (KiB) 7578544
[startup+1182.3 s]
/proc/loadavg: 4.05 4.14 4.49 5/266 26278
/proc/meminfo: memFree=8809628/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7578544 CPUtime=1183.5 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 85062 0 1 0 118333 17 0 0 21 0 19 0 371347151 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1894636 83254 2252 9 0 1885374 0
[pid=26226/tid=26227] ppid=26224 vsize=7578544 CPUtime=1176.33 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 35114 0 1 0 117624 9 0 0 25 0 19 0 371347152 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505669861 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7578544 CPUtime=0.22 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 8575 0 0 0 22 0 0 0 16 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7578544 CPUtime=0.22 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 5608 0 0 0 22 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 2777 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7578544 CPUtime=0.13 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 4336 0 0 0 13 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7578544 CPUtime=0.12 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 3759 0 0 0 12 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7578544 CPUtime=0.16 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 5191 0 0 0 16 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7578544 CPUtime=0.13 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1207 0 0 0 13 0 0 0 16 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 2588 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7578544 CPUtime=5.09 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 10875 0 0 0 507 2 0 0 15 0 19 0 371347154 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7578544 CPUtime=0.24 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 537 0 0 0 24 0 0 0 15 0 19 0 371347157 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7578544 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3270 0 0 0 38 0 0 0 15 0 19 0 371347157 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371347157 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7760429056 83254 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.5
Current children cumulated vsize (KiB) 7578544
[startup+1242.3 s]
/proc/loadavg: 4.10 4.14 4.47 5/266 26280
/proc/meminfo: memFree=8803880/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7578544 CPUtime=1243.52 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 85246 0 1 0 124335 17 0 0 21 0 19 0 371347151 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1894636 83431 2252 9 0 1885374 0
[pid=26226/tid=26227] ppid=26224 vsize=7578544 CPUtime=1236.2 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 35115 0 1 0 123611 9 0 0 25 0 19 0 371347152 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505615422 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7578544 CPUtime=0.22 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 8575 0 0 0 22 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7578544 CPUtime=0.22 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 5608 0 0 0 22 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 2777 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7578544 CPUtime=0.15 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 4336 0 0 0 15 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7578544 CPUtime=0.12 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 3759 0 0 0 12 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7578544 CPUtime=0.18 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 5191 0 0 0 18 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7578544 CPUtime=0.13 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1207 0 0 0 13 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 2588 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7578544 CPUtime=5.21 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 11054 0 0 0 519 2 0 0 15 0 19 0 371347154 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7578544 CPUtime=0.24 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 537 0 0 0 24 0 0 0 15 0 19 0 371347157 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7578544 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3270 0 0 0 38 0 0 0 15 0 19 0 371347157 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371347157 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7760429056 83431 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.52
Current children cumulated vsize (KiB) 7578544
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.11 4.44 2/206 26290
/proc/meminfo: memFree=9438068/32951124 swapFree=67111528/67111528
[pid=26226] ppid=26224 vsize=7578544 CPUtime=1301.26 cores=1,3
/proc/26226/stat : 26226 (java) S 26224 26226 26114 0 -1 4202496 92759 0 1 0 130108 18 0 0 21 0 19 0 371347151 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26226/statm: 1894636 90937 2252 9 0 1885374 0
[pid=26226/tid=26227] ppid=26224 vsize=7578544 CPUtime=1293.75 cores=1,3
/proc/26226/task/26227/stat : 26227 (java) R 26224 26226 26114 0 -1 4202560 35116 0 1 0 129366 9 0 0 25 0 19 0 371347152 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 46912505615532 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26226/tid=26229] ppid=26224 vsize=7578544 CPUtime=0.24 cores=1,3
/proc/26226/task/26229/stat : 26229 (java) S 26224 26226 26114 0 -1 4202560 11607 0 0 0 23 1 0 0 16 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26230] ppid=26224 vsize=7578544 CPUtime=0.22 cores=1,3
/proc/26226/task/26230/stat : 26230 (java) S 26224 26226 26114 0 -1 4202560 5608 0 0 0 22 0 0 0 15 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26231] ppid=26224 vsize=7578544 CPUtime=0.2 cores=1,3
/proc/26226/task/26231/stat : 26231 (java) S 26224 26226 26114 0 -1 4202560 2907 0 0 0 20 0 0 0 16 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26232] ppid=26224 vsize=7578544 CPUtime=0.15 cores=1,3
/proc/26226/task/26232/stat : 26232 (java) S 26224 26226 26114 0 -1 4202560 4336 0 0 0 15 0 0 0 15 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26233] ppid=26224 vsize=7578544 CPUtime=0.16 cores=1,3
/proc/26226/task/26233/stat : 26233 (java) S 26224 26226 26114 0 -1 4202560 7721 0 0 0 15 1 0 0 16 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26234] ppid=26224 vsize=7578544 CPUtime=0.18 cores=1,3
/proc/26226/task/26234/stat : 26234 (java) S 26224 26226 26114 0 -1 4202560 5191 0 0 0 18 0 0 0 15 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26235] ppid=26224 vsize=7578544 CPUtime=0.13 cores=1,3
/proc/26226/task/26235/stat : 26235 (java) S 26224 26226 26114 0 -1 4202560 1207 0 0 0 13 0 0 0 15 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26236] ppid=26224 vsize=7578544 CPUtime=0.17 cores=1,3
/proc/26226/task/26236/stat : 26236 (java) S 26224 26226 26114 0 -1 4202560 2588 0 0 0 17 0 0 0 15 0 19 0 371347153 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26237] ppid=26224 vsize=7578544 CPUtime=5.32 cores=1,3
/proc/26226/task/26237/stat : 26237 (java) S 26224 26226 26114 0 -1 4202560 11438 0 0 0 530 2 0 0 15 0 19 0 371347154 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 0 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26238] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26238/stat : 26238 (java) S 26224 26226 26114 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26239] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26239/stat : 26239 (java) S 26224 26226 26114 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371347155 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26241] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26241/stat : 26241 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347716017 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26242] ppid=26224 vsize=7578544 CPUtime=0.24 cores=1,3
/proc/26226/task/26242/stat : 26242 (java) S 26224 26226 26114 0 -1 4202560 537 0 0 0 24 0 0 0 15 0 19 0 371347157 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26243] ppid=26224 vsize=7578544 CPUtime=0.38 cores=1,3
/proc/26226/task/26243/stat : 26243 (java) S 26224 26226 26114 0 -1 4202560 3270 0 0 0 38 0 0 0 15 0 19 0 371347157 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26244] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26244/stat : 26244 (java) S 26224 26226 26114 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371347157 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708313 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
[pid=26226/tid=26245] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26245/stat : 26245 (java) S 26224 26226 26114 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371347157 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 3 0 0 0
[pid=26226/tid=26247] ppid=26224 vsize=7578544 CPUtime=0 cores=1,3
/proc/26226/task/26247/stat : 26247 (java) S 26224 26226 26114 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 371347192 7760429056 90937 33554432000 1073741824 1073778376 140734670804816 18446744073709551615 232347708928 0 4 0 16800975 18446604471161005120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.26
Current children cumulated vsize (KiB) 7578544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.33
CPU user time (s): 1301.13
CPU system time (s): 0.201969
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 7580796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.13
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92795
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= 27978
involuntary context switches= 5221
runsolver used 2.08668 second user time and 5.02823 second system time
The end