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-3458675-1307154874/watcher-3458675-1307154874 -o /tmp/evaluation-result-3458675-1307154874/solver-3458675-1307154874 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458675-1307154874.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.00 2.05 2.02 3/579 2206
/proc/meminfo: memFree=26566616/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 236 0 0 0 0 0 0 0 25 0 1 0 827086100 9318400 172 33554432000 1073741824 1073778376 140737098798192 18446744073709551615 251814061047 0 2147483391 4096 0 18446744071699215550 0 0 17 2 0 0 0
/proc/2206/statm: 2275 172 131 9 0 67 0
[pid=2206/tid=2207] ppid=2204 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 6379 0 1 0 0 0 0 0 25 0 2 0 827086100 13850947584 7195 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.056878 s]
/proc/loadavg: 2.00 2.05 2.02 3/579 2206
/proc/meminfo: memFree=26566616/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 13866 0 1 0 3 1 0 0 25 0 13 0 827086100 13874667520 13562 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3387370 13566 1681 9 0 3378118 0
[pid=2206/tid=2207] ppid=2204 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 12722 0 1 0 3 1 0 0 25 0 13 0 827086100 13874667520 13566 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 47645635058515 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.10311 s]
/proc/loadavg: 2.00 2.05 2.02 3/579 2206
/proc/meminfo: memFree=26566616/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13621688 CPUtime=0.09 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 15395 0 1 0 8 1 0 0 25 0 18 0 827086100 13948608512 15091 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3405422 15094 2090 9 0 3396156 0
[pid=2206/tid=2207] ppid=2204 vsize=13621688 CPUtime=0.08 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 13567 0 1 0 7 1 0 0 25 0 18 0 827086100 13948608512 15095 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 47645630558213 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621688
[startup+0.330925 s]
/proc/loadavg: 2.00 2.05 2.02 3/579 2206
/proc/meminfo: memFree=26566616/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13623644 CPUtime=0.58 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 20700 0 1 0 55 3 0 0 25 0 18 0 827086100 13950611456 19439 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3405911 19440 2204 9 0 3396645 0
[pid=2206/tid=2207] ppid=2204 vsize=13623644 CPUtime=0.31 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 16791 0 1 0 29 2 0 0 18 0 18 0 827086100 13950611456 19441 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13623644
[startup+0.700838 s]
/proc/loadavg: 2.00 2.05 2.02 3/579 2206
/proc/meminfo: memFree=26566616/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13627304 CPUtime=1.19 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 57513 0 1 0 112 7 0 0 25 0 18 0 827086100 13954359296 54725 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3406826 54730 2213 9 0 3397560 0
[pid=2206/tid=2207] ppid=2204 vsize=13627304 CPUtime=0.67 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 50656 0 1 0 61 6 0 0 18 0 18 0 827086100 13954359296 54732 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505542020 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13627304
[startup+1.50058 s]
/proc/loadavg: 2.00 2.05 2.02 3/597 2224
/proc/meminfo: memFree=26222876/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13627304 CPUtime=2 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 126383 0 1 0 183 17 0 0 25 0 18 0 827086100 13954359296 123595 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3406826 123596 2213 9 0 3397560 0
[pid=2206/tid=2207] ppid=2204 vsize=13627304 CPUtime=1.47 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 119520 0 1 0 132 15 0 0 19 0 18 0 827086100 13954359296 123596 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505592723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123597 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123598 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123598 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123599 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123599 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123600 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123601 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086102 13954359296 123602 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827086103 13954359296 123603 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827086104 13954359296 123605 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 827086104 13954359296 123606 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086106 13954359296 123607 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13627304 CPUtime=0.23 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 1976 0 0 0 23 0 0 0 16 0 18 0 827086106 13954359296 123608 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13627304 CPUtime=0.27 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 3737 0 0 0 27 0 0 0 15 0 18 0 827086106 13954359296 123609 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827086106 13954359296 123610 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13627304 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827086106 13954359296 123611 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 13627304
[startup+3.10143 s]
/proc/loadavg: 2.16 2.08 2.03 4/597 2224
/proc/meminfo: memFree=26004388/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13642228 CPUtime=4.21 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 153985 0 1 0 401 20 0 0 25 0 19 0 827086100 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3410557 148867 2234 9 0 3401291 0
[pid=2206/tid=2207] ppid=2204 vsize=13642228 CPUtime=3.08 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 140951 0 1 0 290 18 0 0 22 0 19 0 827086100 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505778757 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827086103 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.68 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7509 0 0 0 68 0 0 0 15 0 19 0 827086106 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.42 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4364 0 0 0 41 1 0 0 15 0 19 0 827086106 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 148867 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 13642228
[startup+6.30089 s]
/proc/loadavg: 2.16 2.08 2.03 3/598 2225
/proc/meminfo: memFree=25974496/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13642228 CPUtime=7.43 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 154451 0 1 0 723 20 0 0 25 0 19 0 827086100 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3410557 149233 2235 9 0 3401291 0
[pid=2206/tid=2207] ppid=2204 vsize=13642228 CPUtime=6.28 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 141388 0 1 0 610 18 0 0 21 0 19 0 827086100 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505980260 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827086103 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.7 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7512 0 0 0 70 0 0 0 15 0 19 0 827086106 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.43 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4389 0 0 0 42 1 0 0 15 0 19 0 827086106 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 149233 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827086103 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.8 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7526 0 0 0 80 0 0 0 15 0 19 0 827086106 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.55 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4917 0 0 0 54 1 0 0 15 0 19 0 827086106 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2225] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2225/stat : 2225 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827086328 13969641472 501038 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.69
Current children cumulated vsize (KiB) 13642228
[startup+1782.3 s]
/proc/loadavg: 1.08 1.33 1.67 2/574 2318
/proc/meminfo: memFree=28048968/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13642228 CPUtime=1783.68 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 522089 0 1 0 178296 72 0 0 25 0 19 0 827086100 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3410557 516017 2238 9 0 3401291 0
[pid=2206/tid=2207] ppid=2204 vsize=13642228 CPUtime=1782.3 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 508376 0 1 0 178160 70 0 0 25 0 19 0 827086100 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505981386 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827086103 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.8 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7526 0 0 0 80 0 0 0 15 0 19 0 827086106 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.55 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4917 0 0 0 54 1 0 0 15 0 19 0 827086106 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2225] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2225/stat : 2225 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827086328 13969641472 516017 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.68
Current children cumulated vsize (KiB) 13642228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 1.06 1.31 1.66 2/574 2320
/proc/meminfo: memFree=28032160/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13642228 CPUtime=1800.09 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 526136 0 1 0 179936 73 0 0 25 0 19 0 827086100 13969641472 520064 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3410557 520064 2238 9 0 3401291 0
[pid=2206/tid=2207] ppid=2204 vsize=13642228 CPUtime=1798.73 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 512426 0 1 0 179802 71 0 0 25 0 19 0 827086100 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505981312 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827086103 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.8 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7526 0 0 0 80 0 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.55 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4917 0 0 0 54 1 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2225] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2225/stat : 2225 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827086328 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13642228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.7 s]
/proc/loadavg: 1.06 1.31 1.66 2/574 2320
/proc/meminfo: memFree=28032160/32950928 swapFree=41528364/67111528
[pid=2206] ppid=2204 vsize=13642228 CPUtime=1800.09 cores=0,2,4,6
/proc/2206/stat : 2206 (java) S 2204 2206 31166 0 -1 4202496 526136 0 1 0 179936 73 0 0 25 0 19 0 827086100 13969641472 520064 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2206/statm: 3410557 520064 2238 9 0 3401291 0
[pid=2206/tid=2207] ppid=2204 vsize=13642228 CPUtime=1798.73 cores=0,2,4,6
/proc/2206/task/2207/stat : 2207 (java) R 2204 2206 31166 0 -1 4202560 512426 0 1 0 179802 71 0 0 25 0 19 0 827086100 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 46912505981312 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2206/tid=2209] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2209/stat : 2209 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2210] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2210/stat : 2210 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2211] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2211/stat : 2211 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2212] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2212/stat : 2212 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2213] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2213/stat : 2213 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2214] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2214/stat : 2214 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2215] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2215/stat : 2215 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2216] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2216/stat : 2216 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086102 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
[pid=2206/tid=2217] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2217/stat : 2217 (java) S 2204 2206 31166 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827086103 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 0 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2218] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2218/stat : 2218 (java) S 2204 2206 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2219] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2219/stat : 2219 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827086104 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2220] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2220/stat : 2220 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826063793 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2221] ppid=2204 vsize=13642228 CPUtime=0.8 cores=0,2,4,6
/proc/2206/task/2221/stat : 2221 (java) S 2204 2206 31166 0 -1 4202560 7526 0 0 0 80 0 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2222] ppid=2204 vsize=13642228 CPUtime=0.55 cores=0,2,4,6
/proc/2206/task/2222/stat : 2222 (java) S 2204 2206 31166 0 -1 4202560 4917 0 0 0 54 1 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 4 0 0 0
[pid=2206/tid=2223] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2223/stat : 2223 (java) S 2204 2206 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056089 0 4 0 16800975 18446604451395464256 0 0 -1 2 0 0 0
[pid=2206/tid=2224] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2224/stat : 2224 (java) S 2204 2206 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827086106 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 0 0 0 0
[pid=2206/tid=2225] ppid=2204 vsize=13642228 CPUtime=0 cores=0,2,4,6
/proc/2206/task/2225/stat : 2225 (java) S 2204 2206 31166 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827086328 13969641472 520067 33554432000 1073741824 1073778376 140737377923696 18446744073709551615 251826056704 0 4 0 16800975 18446604451395464256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13642228
Child status: 143
Real time (s): 1798.81
CPU time (s): 1800.21
CPU user time (s): 1799.39
CPU system time (s): 0.819875
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 13642228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.819875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526176
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= 36749
involuntary context switches= 1046
runsolver used 11.0923 second user time and 22.9865 second system time
The end