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-4101082-1466212525/watcher-4101082-1466212525 -o /tmp/evaluation-result-4101082-1466212525/solver-4101082-1466212525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101082-1466212525.opb
pid=16241
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.92 4.06 4.07 4/197 16244
/proc/meminfo: memFree=29095640/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 23302406 94019584 917 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 22954 917 697 9 0 16769 0
[pid=16244/tid=16245] ppid=16241 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) D 16241 16244 13538 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23302407 95129600 927 33554432000 1073741824 1073778376 140734145960752 140659298844200 224913354023 0 0 4096 0 18446744072100588836 0 0 -1 5 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 3.92 4.06 4.07 4/197 16244
/proc/meminfo: memFree=29095640/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 4470 0 1 0 10 1 0 0 20 0 18 0 23302406 9787879424 6100 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2389619 6100 2156 9 0 2380296 0
[pid=16244/tid=16245] ppid=16241 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) R 16241 16244 13538 0 -1 4202560 2383 0 1 0 7 0 0 0 20 0 18 0 23302407 9787879424 6100 33554432000 1073741824 1073778376 140734145960752 140659298842264 224925902093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.20031 s]
/proc/loadavg: 3.92 4.06 4.07 4/197 16244
/proc/meminfo: memFree=29095640/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 5019 0 1 0 27 1 0 0 20 0 18 0 23302406 9787879424 7889 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2389619 7889 2219 9 0 2380296 0
[pid=16244/tid=16245] ppid=16241 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) R 16241 16244 13538 0 -1 4202560 2398 0 1 0 16 1 0 0 20 0 18 0 23302407 9787879424 7889 33554432000 1073741824 1073778376 140734145960752 140659298842264 140659122058640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300283 s]
/proc/loadavg: 3.92 4.06 4.07 4/197 16244
/proc/meminfo: memFree=29095640/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 6052 0 1 0 53 2 0 0 20 0 18 0 23302406 9787879424 11217 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2389619 11217 2233 9 0 2380296 0
[pid=16244/tid=16245] ppid=16241 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) R 16241 16244 13538 0 -1 4202560 2403 0 1 0 26 1 0 0 20 0 18 0 23302407 9787879424 11217 33554432000 1073741824 1073778376 140734145960752 140659298842264 140659122463706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700229 s]
/proc/loadavg: 3.92 4.06 4.07 4/197 16244
/proc/meminfo: memFree=29095640/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9558476 CPUtime=1.49 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 16254 0 1 0 140 9 0 0 20 0 18 0 23302406 9787879424 52596 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2389619 52596 2264 9 0 2380296 0
[pid=16244/tid=16245] ppid=16241 vsize=9558476 CPUtime=0.63 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2460 0 1 0 60 3 0 0 20 0 18 0 23302407 9787879424 52596 33554432000 1073741824 1073778376 140734145960752 140659298846760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 3.92 4.06 4.07 4/215 16262
/proc/meminfo: memFree=28822584/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 17001 0 1 0 309 16 0 0 20 0 22 0 23302406 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 70622 2280 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2476 0 1 0 103 4 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 121 0 0 0 4 0 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 51 0 0 0 3 2 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 142 0 0 0 7 2 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 140 0 0 0 3 1 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 70 0 0 0 5 1 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 69 0 0 0 2 2 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 23302407 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23302408 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16258/stat : 16258 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659119868048 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16259] ppid=16241 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16244/task/16259/stat : 16259 (java) R 16241 16244 13538 0 -1 4202560 7638 0 0 0 54 2 0 0 20 0 22 0 23302411 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659118803712 140659304770808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16260] ppid=16241 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16244/task/16260/stat : 16260 (java) R 16241 16244 13538 0 -1 4202560 4861 0 0 0 56 0 0 0 20 0 22 0 23302411 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659117763384 224925886057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16261] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16261/stat : 16261 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659116710776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16262] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16262/stat : 16262 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 70622 33554432000 1073741824 1073778376 140734145960752 140659115658184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 9824732
[startup+3.10079 s]
/proc/loadavg: 3.92 4.06 4.07 6/219 16266
/proc/meminfo: memFree=28742620/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=7.14 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 21002 0 1 0 690 24 0 0 20 0 22 0 23302406 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 112295 2285 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2476 0 1 0 103 4 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 148 0 0 0 9 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 68 0 0 0 7 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 157 0 0 0 10 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 153 0 0 0 6 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 88 0 0 0 8 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 22 0 23302407 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23302408 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16258/stat : 16258 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659119868048 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16259] ppid=16241 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/16244/task/16259/stat : 16259 (java) S 16241 16244 13538 0 -1 4202560 11054 0 0 0 90 2 0 0 20 0 22 0 23302411 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659118816184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16260] ppid=16241 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/16244/task/16260/stat : 16260 (java) S 16241 16244 13538 0 -1 4202560 5136 0 0 0 76 0 0 0 20 0 22 0 23302411 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659117763384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16261] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16261/stat : 16261 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659116710776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16262] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16262/stat : 16262 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659115658184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16263] ppid=16241 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/16244/task/16263/stat : 16263 (java) R 16241 16244 13538 0 -1 4202560 45 0 0 0 176 0 0 0 20 0 22 0 23302530 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659114602920 140659122742292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16264] ppid=16241 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/16244/task/16264/stat : 16264 (java) R 16241 16244 13538 0 -1 4202560 56 0 0 0 175 2 0 0 20 0 22 0 23302530 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659113548120 140659122951126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16265] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16265/stat : 16265 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659112498088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16266] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16266/stat : 16266 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 112295 33554432000 1073741824 1073778376 140734145960752 140659111445288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9824732
[startup+6.3009 s]
/proc/loadavg: 3.92 4.06 4.07 5/219 16266
/proc/meminfo: memFree=28654224/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=13.75 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 21012 0 1 0 1351 24 0 0 20 0 22 0 23302406 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 112105 2289 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2476 0 1 0 103 4 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 148 0 0 0 9 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 68 0 0 0 7 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 157 0 0 0 10 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 153 0 0 0 6 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 88 0 0 0 8 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 79 0 0 0 4 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 22 0 23302407 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23302408 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 112105 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.11 4.10 4.07 5/219 16353
/proc/meminfo: memFree=28365880/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=1648.19 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 28072 0 1 0 164658 161 0 0 20 0 22 0 23302406 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 429486 2300 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2482 0 1 0 105 6 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 462 0 0 0 104 14 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 332 0 0 0 103 12 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 327 0 0 0 96 12 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 511 0 0 0 107 12 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 392 0 0 0 100 12 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 437 0 0 0 105 15 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 398 0 0 0 83 8 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 400 0 0 0 81 9 0 0 20 0 22 0 23302407 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 1636 0 0 0 160 6 0 0 20 0 22 0 23302408 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16258/stat : 16258 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659119868048 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16259] ppid=16241 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/16244/task/16259/stat : 16259 (java) S 16241 16244 13538 0 -1 4202560 12398 0 0 0 153 2 0 0 20 0 22 0 23302411 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659118816184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16260] ppid=16241 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16244/task/16260/stat : 16260 (java) S 16241 16244 13538 0 -1 4202560 5148 0 0 0 96 0 0 0 20 0 22 0 23302411 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659117763384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16261] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16261/stat : 16261 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659116710776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16262] ppid=16241 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/16244/task/16262/stat : 16262 (java) S 16241 16244 13538 0 -1 4202560 46 0 0 0 14 20 0 0 20 0 22 0 23302411 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659115658184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16263] ppid=16241 vsize=9824732 CPUtime=817.05 cores=1,3,5,7
/proc/16244/task/16263/stat : 16263 (java) R 16241 16244 13538 0 -1 4202560 908 0 0 0 81679 26 0 0 20 0 22 0 23302530 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659114602016 140659122740855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16264] ppid=16241 vsize=9824732 CPUtime=817.01 cores=1,3,5,7
/proc/16244/task/16264/stat : 16264 (java) R 16241 16244 13538 0 -1 4202560 929 0 0 0 81665 36 0 0 20 0 22 0 23302530 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659113548144 140659122953551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16265] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16265/stat : 16265 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659112498088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16266] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16266/stat : 16266 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 429486 33554432000 1073741824 1073778376 140734145960752 140659111445288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1648.19
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.08 4.09 4.07 5/220 16358
/proc/meminfo: memFree=27323460/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=1768.65 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 28257 0 1 0 176698 167 0 0 20 0 22 0 23302406 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 375023 2300 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2482 0 1 0 106 6 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 467 0 0 0 111 14 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 358 0 0 0 116 12 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 372 0 0 0 108 12 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 522 0 0 0 118 13 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 417 0 0 0 114 13 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 459 0 0 0 112 16 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 415 0 0 0 98 9 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 407 0 0 0 92 9 0 0 20 0 22 0 23302407 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 1640 0 0 0 160 9 0 0 20 0 22 0 23302408 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16258/stat : 16258 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659119868048 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16259] ppid=16241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/16244/task/16259/stat : 16259 (java) S 16241 16244 13538 0 -1 4202560 12399 0 0 0 163 2 0 0 20 0 22 0 23302411 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659118816184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16260] ppid=16241 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16244/task/16260/stat : 16260 (java) S 16241 16244 13538 0 -1 4202560 5148 0 0 0 96 0 0 0 20 0 22 0 23302411 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659117763384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16261] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16261/stat : 16261 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659116710776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16262] ppid=16241 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16244/task/16262/stat : 16262 (java) S 16241 16244 13538 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 23302411 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659115658184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16263] ppid=16241 vsize=9824732 CPUtime=876.75 cores=1,3,5,7
/proc/16244/task/16263/stat : 16263 (java) R 16241 16244 13538 0 -1 4202560 917 0 0 0 87648 27 0 0 20 0 22 0 23302530 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659114603320 140659122871774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16264] ppid=16241 vsize=9824732 CPUtime=876.7 cores=1,3,5,7
/proc/16244/task/16264/stat : 16264 (java) R 16241 16244 13538 0 -1 4202560 938 0 0 0 87633 37 0 0 20 0 22 0 23302530 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659113549344 140659122761877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16265] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16265/stat : 16265 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659112498088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16266] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16266/stat : 16266 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 375023 33554432000 1073741824 1073778376 140734145960752 140659111445288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1768.65
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 4.14 4.10 4.07 5/220 16358
/proc/meminfo: memFree=27380816/32872528 swapFree=163656/177964
[pid=16244] ppid=16241 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/16244/stat : 16244 (java) S 16241 16244 13538 0 -1 4202496 28270 0 1 0 179847 169 0 0 20 0 22 0 23302406 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140734145951888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16244/statm: 2456183 360961 2300 9 0 2446860 0
[pid=16244/tid=16245] ppid=16241 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/16244/task/16245/stat : 16245 (java) S 16241 16244 13538 0 -1 4202560 2482 0 1 0 106 6 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659298849656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16247] ppid=16241 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/16244/task/16247/stat : 16247 (java) S 16241 16244 13538 0 -1 4202560 468 0 0 0 116 14 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659260340776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16248] ppid=16241 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/16244/task/16248/stat : 16248 (java) S 16241 16244 13538 0 -1 4202560 360 0 0 0 120 12 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659259287976 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16249] ppid=16241 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/16244/task/16249/stat : 16249 (java) S 16241 16244 13538 0 -1 4202560 372 0 0 0 112 12 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659258235176 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16250] ppid=16241 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/16244/task/16250/stat : 16250 (java) S 16241 16244 13538 0 -1 4202560 523 0 0 0 123 13 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659257182376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16251] ppid=16241 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/16244/task/16251/stat : 16251 (java) S 16241 16244 13538 0 -1 4202560 417 0 0 0 119 13 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659256130600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16252] ppid=16241 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/16244/task/16252/stat : 16252 (java) S 16241 16244 13538 0 -1 4202560 461 0 0 0 118 16 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659255077800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16253] ppid=16241 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/16244/task/16253/stat : 16253 (java) S 16241 16244 13538 0 -1 4202560 415 0 0 0 101 9 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659254025000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16254] ppid=16241 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/16244/task/16254/stat : 16254 (java) S 16241 16244 13538 0 -1 4202560 407 0 0 0 96 9 0 0 20 0 22 0 23302407 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659252972200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16244/tid=16255] ppid=16241 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/16244/task/16255/stat : 16255 (java) S 16241 16244 13538 0 -1 4202560 1640 0 0 0 161 9 0 0 20 0 22 0 23302408 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659240561128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16256] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16256/stat : 16256 (java) S 16241 16244 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659121972472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16257] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16257/stat : 16257 (java) S 16241 16244 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23302409 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659120919560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16258] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16258/stat : 16258 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659119868048 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16244/tid=16259] ppid=16241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/16244/task/16259/stat : 16259 (java) S 16241 16244 13538 0 -1 4202560 12399 0 0 0 163 2 0 0 20 0 22 0 23302411 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659118816184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16260] ppid=16241 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16244/task/16260/stat : 16260 (java) S 16241 16244 13538 0 -1 4202560 5148 0 0 0 96 0 0 0 20 0 22 0 23302411 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659117763384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16261] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16261/stat : 16261 (java) S 16241 16244 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23302411 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659116710776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16262] ppid=16241 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16244/task/16262/stat : 16262 (java) S 16241 16244 13538 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 23302411 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659115658184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16263] ppid=16241 vsize=9824732 CPUtime=892.31 cores=1,3,5,7
/proc/16244/task/16263/stat : 16263 (java) R 16241 16244 13538 0 -1 4202560 921 0 0 0 89204 27 0 0 20 0 22 0 23302530 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659114601248 140659122906208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16264] ppid=16241 vsize=9824732 CPUtime=892.27 cores=1,3,5,7
/proc/16244/task/16264/stat : 16264 (java) R 16241 16244 13538 0 -1 4202560 941 0 0 0 89190 37 0 0 20 0 22 0 23302530 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659113549152 140659122761779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16244/tid=16265] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16265/stat : 16265 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659112498088 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16244/tid=16266] ppid=16241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16244/task/16266/stat : 16266 (java) S 16241 16244 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23302538 10060525568 360961 33554432000 1073741824 1073778376 140734145960752 140659111445288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 16244 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.05
CPU time (s): 1800.8
CPU user time (s): 1798.63
CPU system time (s): 2.16867
CPU usage (%): 200.523
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.16867
maximum resident set size= 3034872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23676
involuntary context switches= 21264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80212 second user time and 7.68583 second system time
The end