runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4081762-1465254285/watcher-4081762-1465254285 -o /tmp/evaluation-result-4081762-1465254285/solver-4081762-1465254285 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081762-1465254285.opb
pid=22312
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.81 3.98 3.98 4/197 22315
/proc/meminfo: memFree=30938436/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 107361793 98570240 978 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 24065 978 744 9 0 16771 0
[pid=22315/tid=22316] ppid=22312 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) R 22312 22315 20210 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 107361793 98570240 978 33554432000 1073741824 1073778376 140737028319872 140268183739944 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100114 s]
/proc/loadavg: 3.81 3.98 3.98 4/197 22315
/proc/meminfo: memFree=30938436/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 4488 0 1 0 10 1 0 0 20 0 18 0 107361793 9787879424 6112 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2389619 6112 2156 9 0 2380296 0
[pid=22315/tid=22316] ppid=22312 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) R 22312 22315 20210 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 107361793 9787879424 6112 33554432000 1073741824 1073778376 140737028319872 140268183743392 140268173807030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200336 s]
/proc/loadavg: 3.81 3.98 3.98 4/197 22315
/proc/meminfo: memFree=30938436/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 4812 0 1 0 24 1 0 0 20 0 18 0 107361793 9787879424 7400 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2389619 7400 2212 9 0 2380296 0
[pid=22315/tid=22316] ppid=22312 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) R 22312 22315 20210 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 107361793 9787879424 7400 33554432000 1073741824 1073778376 140737028319872 140268183743392 140268011632833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.30032 s]
/proc/loadavg: 3.81 3.98 3.98 4/197 22315
/proc/meminfo: memFree=30938436/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 6322 0 1 0 48 2 0 0 20 0 18 0 107361793 9787879424 9349 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2389619 9349 2244 9 0 2380296 0
[pid=22315/tid=22316] ppid=22312 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) R 22312 22315 20210 0 -1 4202560 2405 0 1 0 26 1 0 0 20 0 18 0 107361793 9787879424 9349 33554432000 1073741824 1073778376 140737028319872 140268183743392 140268012014238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700239 s]
/proc/loadavg: 3.81 3.98 3.98 4/197 22315
/proc/meminfo: memFree=30938436/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9558476 CPUtime=1.66 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 32022 0 1 0 160 6 0 0 20 0 18 0 107361793 9787879424 33707 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2389619 33711 2256 9 0 2380296 0
[pid=22315/tid=22316] ppid=22312 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) R 22312 22315 20210 0 -1 4202560 2423 0 1 0 66 1 0 0 20 0 18 0 107361793 9787879424 33711 33554432000 1073741824 1073778376 140737028319872 140268183736176 140268011585446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9558476
[startup+1.50086 s]
/proc/loadavg: 3.81 3.98 3.98 7/219 22337
/proc/meminfo: memFree=30777212/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=4.49 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 42794 0 1 0 439 10 0 0 20 0 20 0 107361793 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 40300 2274 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2449 0 1 0 94 3 0 0 20 0 20 0 107361793 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) S 22312 22315 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 107361794 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 107361795 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22327/stat : 22327 (java) S 22312 22315 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 107361795 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268006250104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22328] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22328/stat : 22328 (java) S 22312 22315 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 107361795 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268005197448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22329] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22329/stat : 22329 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361797 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268004146192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22330] ppid=22312 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/22315/task/22330/stat : 22330 (java) R 22312 22315 20210 0 -1 4202560 20300 0 0 0 121 4 0 0 20 0 20 0 107361797 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268003086384 140268189698675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22331] ppid=22312 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/22315/task/22331/stat : 22331 (java) R 22312 22315 20210 0 -1 4202560 18727 0 0 0 125 4 0 0 20 0 20 0 107361797 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268002027272 140268187879605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22332] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22332/stat : 22332 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361797 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140268000987640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22333] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22333/stat : 22333 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 107361797 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140267999935304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22335] ppid=22312 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/22315/task/22335/stat : 22335 (java) R 22312 22315 20210 0 -1 4202560 25 0 0 0 49 0 0 0 20 0 20 0 107361892 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140267997827568 140268011633757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22337] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22337/stat : 22337 (java) S 22312 22315 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 107361894 10060525568 40300 33554432000 1073741824 1073778376 140737028319872 140266719667880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 3.74 3.97 3.97 7/219 22343
/proc/meminfo: memFree=30760236/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=7.9 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 43015 0 1 0 773 17 0 0 20 0 22 0 107361793 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 62938 2291 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2453 0 1 0 95 3 0 0 20 0 22 0 107361793 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) S 22312 22315 20210 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22327/stat : 22327 (java) S 22312 22315 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268006250104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22328] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22328/stat : 22328 (java) S 22312 22315 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268005197448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22329] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22329/stat : 22329 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268004146192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22330] ppid=22312 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/22315/task/22330/stat : 22330 (java) S 22312 22315 20210 0 -1 4202560 20303 0 0 0 163 4 0 0 20 0 22 0 107361797 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268003092536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22331] ppid=22312 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/22315/task/22331/stat : 22331 (java) S 22312 22315 20210 0 -1 4202560 18730 0 0 0 179 4 0 0 20 0 22 0 107361797 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268002039992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22332] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22332/stat : 22332 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140268000987640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22333] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22333/stat : 22333 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140267999935304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22337] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22337/stat : 22337 (java) S 22312 22315 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107361894 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140266719667880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22341] ppid=22312 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/22315/task/22341/stat : 22341 (java) R 22312 22315 20210 0 -1 4202560 4 0 0 0 93 0 0 0 20 0 22 0 107362003 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140267998878272 140268013053799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22342] ppid=22312 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/22315/task/22342/stat : 22342 (java) R 22312 22315 20210 0 -1 4202560 28 0 0 0 93 0 0 0 20 0 22 0 107362003 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140267997826344 140268013155425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22343] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22343/stat : 22343 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107362003 10060525568 62938 33554432000 1073741824 1073778376 140737028319872 140267996775848 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 3.74 3.97 3.97 5/219 22343
/proc/meminfo: memFree=30623288/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=14.62 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 43476 0 1 0 1439 23 0 0 20 0 22 0 107361793 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 93978 2292 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2453 0 1 0 95 3 0 0 20 0 22 0 107361793 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 134 0 0 0 3 2 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 95 0 0 0 3 2 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) S 22312 22315 20210 0 -1 4202560 101 0 0 0 3 2 0 0 20 0 22 0 107361794 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 93978 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 3.98 4.15 4.08 6/219 22463
/proc/meminfo: memFree=26876948/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=1770.38 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 51957 0 1 0 176810 228 0 0 20 0 22 0 107361793 10060525568 912194 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 912194 2304 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2457 0 1 0 100 4 0 0 20 0 22 0 107361793 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 498 0 0 0 265 18 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 385 0 0 0 278 13 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 608 0 0 0 279 19 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 560 0 0 0 249 13 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 567 0 0 0 239 16 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 451 0 0 0 257 14 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 599 0 0 0 257 17 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) R 22312 22315 20210 0 -1 4202560 526 0 0 0 282 19 0 0 20 0 22 0 107361794 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 2409 0 0 0 411 6 0 0 20 0 22 0 107361795 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22327/stat : 22327 (java) S 22312 22315 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268006250104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22328] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22328/stat : 22328 (java) S 22312 22315 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268005197448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22329] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22329/stat : 22329 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268004146192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22330] ppid=22312 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/22315/task/22330/stat : 22330 (java) S 22312 22315 20210 0 -1 4202560 20326 0 0 0 251 4 0 0 20 0 22 0 107361797 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268003092536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22331] ppid=22312 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/22315/task/22331/stat : 22331 (java) S 22312 22315 20210 0 -1 4202560 18744 0 0 0 200 4 0 0 20 0 22 0 107361797 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268002039992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22332] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22332/stat : 22332 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140268000987640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22333] ppid=22312 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/22315/task/22333/stat : 22333 (java) S 22312 22315 20210 0 -1 4202560 51 0 0 0 17 22 0 0 20 0 22 0 107361797 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140267999935304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22343] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22343/stat : 22343 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107362003 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140267996775848 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22379] ppid=22312 vsize=9824732 CPUtime=204.48 cores=1,3,5,7
/proc/22315/task/22379/stat : 22379 (java) R 22312 22315 20210 0 -1 4202560 7 0 0 0 20445 3 0 0 20 0 22 0 107429206 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140267998879240 140268190145758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22380] ppid=22312 vsize=9824732 CPUtime=204.52 cores=1,3,5,7
/proc/22315/task/22380/stat : 22380 (java) R 22312 22315 20210 0 -1 4202560 17 0 0 0 20449 3 0 0 20 0 22 0 107429206 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140267997825624 262966141365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22381] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22381/stat : 22381 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107429206 10060525568 912186 33554432000 1073741824 1073778376 140737028319872 140266719667496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.101 s]
/proc/loadavg: 3.98 4.14 4.08 5/219 22466
/proc/meminfo: memFree=26220152/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 51976 0 1 0 179775 228 0 0 20 0 22 0 107361793 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 912199 2304 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2457 0 1 0 100 4 0 0 20 0 22 0 107361793 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 500 0 0 0 266 18 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 385 0 0 0 279 13 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 608 0 0 0 280 19 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 561 0 0 0 253 13 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 569 0 0 0 242 16 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 452 0 0 0 261 14 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 599 0 0 0 258 17 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) S 22312 22315 20210 0 -1 4202560 526 0 0 0 283 19 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 2418 0 0 0 411 6 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22327/stat : 22327 (java) S 22312 22315 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268006250104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22328] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22328/stat : 22328 (java) S 22312 22315 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268005197448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22329] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22329/stat : 22329 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268004146192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22330] ppid=22312 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/22315/task/22330/stat : 22330 (java) S 22312 22315 20210 0 -1 4202560 20326 0 0 0 251 4 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268003092536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22331] ppid=22312 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/22315/task/22331/stat : 22331 (java) S 22312 22315 20210 0 -1 4202560 18744 0 0 0 200 4 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268002039992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22332] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22332/stat : 22332 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268000987640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22333] ppid=22312 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22315/task/22333/stat : 22333 (java) S 22312 22315 20210 0 -1 4202560 53 0 0 0 17 23 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267999935304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22343] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22343/stat : 22343 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107362003 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267996775848 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22379] ppid=22312 vsize=9824732 CPUtime=219.22 cores=1,3,5,7
/proc/22315/task/22379/stat : 22379 (java) R 22312 22315 20210 0 -1 4202560 7 0 0 0 21919 3 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267998878288 140268013053990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22380] ppid=22312 vsize=9824732 CPUtime=219.27 cores=1,3,5,7
/proc/22315/task/22380/stat : 22380 (java) R 22312 22315 20210 0 -1 4202560 18 0 0 0 21924 3 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267997826512 140268013054074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22381] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22381/stat : 22381 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140266719667496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22315 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+897.101 s]
/proc/loadavg: 3.98 4.14 4.08 5/219 22466
/proc/meminfo: memFree=26220152/32872528 swapFree=11320/319964
[pid=22315] ppid=22312 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/22315/stat : 22315 (java) S 22312 22315 20210 0 -1 4202496 51976 0 1 0 179775 228 0 0 20 0 22 0 107361793 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140737028311008 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22315/statm: 2456183 912199 2304 9 0 2446860 0
[pid=22315/tid=22316] ppid=22312 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/22315/task/22316/stat : 22316 (java) S 22312 22315 20210 0 -1 4202560 2457 0 1 0 100 4 0 0 20 0 22 0 107361793 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268183745400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22318] ppid=22312 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/22315/task/22318/stat : 22318 (java) S 22312 22315 20210 0 -1 4202560 500 0 0 0 266 18 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268145236648 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22319] ppid=22312 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/22315/task/22319/stat : 22319 (java) S 22312 22315 20210 0 -1 4202560 385 0 0 0 279 13 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268144184104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22320] ppid=22312 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/22315/task/22320/stat : 22320 (java) S 22312 22315 20210 0 -1 4202560 608 0 0 0 280 19 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268143131560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22315/tid=22321] ppid=22312 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/22315/task/22321/stat : 22321 (java) S 22312 22315 20210 0 -1 4202560 561 0 0 0 253 13 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268142079016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22322] ppid=22312 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/22315/task/22322/stat : 22322 (java) S 22312 22315 20210 0 -1 4202560 569 0 0 0 242 16 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268141025448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22323] ppid=22312 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/22315/task/22323/stat : 22323 (java) S 22312 22315 20210 0 -1 4202560 452 0 0 0 261 14 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268139972904 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22324] ppid=22312 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/22315/task/22324/stat : 22324 (java) S 22312 22315 20210 0 -1 4202560 599 0 0 0 258 17 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268138920360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22325] ppid=22312 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/22315/task/22325/stat : 22325 (java) S 22312 22315 20210 0 -1 4202560 526 0 0 0 283 19 0 0 20 0 22 0 107361794 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268137867816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22326] ppid=22312 vsize=9824732 CPUtime=4.17 cores=1,3,5,7
/proc/22315/task/22326/stat : 22326 (java) S 22312 22315 20210 0 -1 4202560 2418 0 0 0 411 6 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268007303784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22327] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22327/stat : 22327 (java) S 22312 22315 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268006250104 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22328] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22328/stat : 22328 (java) S 22312 22315 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107361795 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268005197448 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22329] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22329/stat : 22329 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268004146192 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22330] ppid=22312 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/22315/task/22330/stat : 22330 (java) S 22312 22315 20210 0 -1 4202560 20326 0 0 0 251 4 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268003092536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22331] ppid=22312 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/22315/task/22331/stat : 22331 (java) S 22312 22315 20210 0 -1 4202560 18744 0 0 0 200 4 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268002039992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22332] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22332/stat : 22332 (java) S 22312 22315 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140268000987640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22333] ppid=22312 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22315/task/22333/stat : 22333 (java) S 22312 22315 20210 0 -1 4202560 53 0 0 0 17 23 0 0 20 0 22 0 107361797 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267999935304 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22343] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22343/stat : 22343 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107362003 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267996775848 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22315/tid=22379] ppid=22312 vsize=9824732 CPUtime=219.22 cores=1,3,5,7
/proc/22315/task/22379/stat : 22379 (java) R 22312 22315 20210 0 -1 4202560 7 0 0 0 21919 3 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267998878288 140268013053990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22315/tid=22380] ppid=22312 vsize=9824732 CPUtime=219.27 cores=1,3,5,7
/proc/22315/task/22380/stat : 22380 (java) R 22312 22315 20210 0 -1 4202560 18 0 0 0 21924 3 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140267997826512 140268013054074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22315/tid=22381] ppid=22312 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22315/task/22381/stat : 22381 (java) S 22312 22315 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107429206 10060525568 912199 33554432000 1073741824 1073778376 140737028319872 140266719667496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 897.146
CPU time (s): 1800.54
CPU user time (s): 1797.88
CPU system time (s): 2.66259
CPU usage (%): 200.696
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 2.6626
maximum resident set size= 3664120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23786
involuntary context switches= 23190
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32219 second user time and 7.98479 second system time
The end