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-4119449-1467256502/watcher-4119449-1467256502 -o /tmp/evaluation-result-4119449-1467256502/solver-4119449-1467256502 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119449-1467256502.opb
pid=15438
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: 4.41 4.29 4.08 4/197 15441
/proc/meminfo: memFree=23652972/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/15441/stat : 15441 (java) R 15438 15441 11545 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 6617613 278528 33 33554432000 1073741824 1073778376 140735700666272 140733330043976 219504799015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15441/statm: 68 33 25 9 0 25 0
[startup+0.100139 s]
/proc/loadavg: 4.41 4.29 4.08 4/197 15441
/proc/meminfo: memFree=23652972/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 6617613 9787879424 6047 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2389619 6047 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 4.41 4.29 4.08 4/197 15441
/proc/meminfo: memFree=23652972/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 4556 0 1 0 20 1 0 0 20 0 18 0 6617613 9787879424 7191 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2389619 7191 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.41 4.29 4.08 4/197 15441
/proc/meminfo: memFree=23652972/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 5697 0 1 0 43 2 0 0 20 0 18 0 6617613 9787879424 8919 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2389619 8919 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700176 s]
/proc/loadavg: 4.41 4.29 4.08 4/197 15441
/proc/meminfo: memFree=23652972/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9558476 CPUtime=1.59 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 28154 0 1 0 152 7 0 0 20 0 18 0 6617613 9787879424 30946 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2389619 30946 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.41 4.29 4.08 5/216 15463
/proc/meminfo: memFree=23540376/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 29969 0 1 0 319 11 0 0 20 0 19 0 6617613 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2456183 32903 2272 9 0 2446860 0
[pid=15441/tid=15443] ppid=15438 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15438 15441 11545 0 -1 4202560 2444 0 1 0 69 2 0 0 20 0 19 0 6617614 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643371729784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15444] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643344182184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15445] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643343129640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15446] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 12878 0 0 0 97 3 0 0 20 0 19 0 6617619 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13303 0 0 0 101 4 0 0 20 0 19 0 6617619 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6617687 10060525568 32903 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 9824732
[startup+3.10076 s]
/proc/loadavg: 4.30 4.26 4.07 4/216 15469
/proc/meminfo: memFree=23518632/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9824732 CPUtime=3.82 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 31072 0 1 0 365 17 0 0 20 0 19 0 6617613 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2456183 41161 2276 9 0 2446860 0
[pid=15441/tid=15443] ppid=15438 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15438 15441 11545 0 -1 4202560 2447 0 1 0 73 2 0 0 20 0 19 0 6617614 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643371729784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15444] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643344182184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15445] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643343129640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15446] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6617615 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6617616 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 13939 0 0 0 117 3 0 0 20 0 19 0 6617619 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13308 0 0 0 112 4 0 0 20 0 19 0 6617619 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6617619 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6617687 10060525568 41161 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.30 4.26 4.07 3/192 15519
/proc/meminfo: memFree=29391472/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9824732 CPUtime=8.77 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 31249 0 1 0 852 25 0 0 20 0 22 0 6617613 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2456183 59636 2289 9 0 2446860 0
[pid=15441/tid=15443] ppid=15438 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15438 15441 11545 0 -1 4202560 2450 0 1 0 74 3 0 0 20 0 22 0 6617614 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643371729784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15444] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15438 15441 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643344182184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15445] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15438 15441 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643343129640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15446] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 6617615 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 13982 0 0 0 131 3 0 0 20 0 22 0 6617619 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13308 0 0 0 141 4 0 0 20 0 22 0 6617619 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6617687 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15482] ppid=15438 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/15441/task/15482/stat : 15482 (java) R 15438 15441 11545 0 -1 4202560 8 0 0 0 192 0 0 0 20 0 22 0 6618045 10060525568 59636 33554432000 1073741824 1073778376 140735700666272 140642715894184 140643218362396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15483] ppid=15438 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
################
# More data... #
################
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 4455 0 0 0 446 54 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 7273 0 0 0 402 59 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 5802 0 0 0 459 61 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=5.12 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 4774 0 0 0 449 63 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=5.21 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 5168 0 0 0 460 61 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 3637 0 0 0 432 62 0 0 20 0 22 0 6617615 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=11.05 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 3575 0 0 0 1095 10 0 0 20 0 22 0 6617616 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 17204 0 0 0 227 3 0 0 20 0 22 0 6617619 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13405 0 0 0 261 4 0 0 20 0 22 0 6617619 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 51 0 0 0 7 14 0 0 20 0 22 0 6617619 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6617687 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15647] ppid=15438 vsize=9824732 CPUtime=837.75 cores=1,3,5,7
/proc/15441/task/15647/stat : 15647 (java) R 15438 15441 11545 0 -1 4202560 237 0 0 0 83761 14 0 0 20 0 22 0 6619743 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642715885568 140643218516399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15648] ppid=15438 vsize=9824732 CPUtime=837.86 cores=1,3,5,7
/proc/15441/task/15648/stat : 15648 (java) R 15438 15441 11545 0 -1 4202560 221 0 0 0 83772 14 0 0 20 0 22 0 6619743 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642712735984 140643218528384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15649] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15649/stat : 15649 (java) S 15438 15441 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6619743 10060525568 1248853 33554432000 1073741824 1073778376 140735700666272 140642714842024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1768.64
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.708 s]
/proc/loadavg: 3.97 4.19 4.16 6/219 15831
/proc/meminfo: memFree=20349576/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 82049 0 1 0 179462 543 0 0 20 0 22 0 6617613 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2456183 1284739 2303 9 0 2446860 0
[pid=15441/tid=15443] ppid=15438 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15438 15441 11545 0 -1 4202560 2468 0 1 0 79 4 0 0 20 0 22 0 6617614 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643371729784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15444] ppid=15438 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15438 15441 11545 0 -1 4202560 4787 0 0 0 437 57 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643344182184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15445] ppid=15438 vsize=9824732 CPUtime=4.66 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15438 15441 11545 0 -1 4202560 7176 0 0 0 412 54 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643343129640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15446] ppid=15438 vsize=9824732 CPUtime=5.25 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 4479 0 0 0 469 56 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 7345 0 0 0 420 60 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 5825 0 0 0 471 61 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 4797 0 0 0 466 65 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 5182 0 0 0 469 62 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 3681 0 0 0 445 63 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=11.06 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 3591 0 0 0 1095 11 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 17204 0 0 0 227 3 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13405 0 0 0 261 4 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 53 0 0 0 8 14 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6617687 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15647] ppid=15438 vsize=9824732 CPUtime=852.77 cores=1,3,5,7
/proc/15441/task/15647/stat : 15647 (java) R 15438 15441 11545 0 -1 4202560 238 0 0 0 85263 14 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642715892240 140643218242338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15648] ppid=15438 vsize=9824732 CPUtime=852.89 cores=1,3,5,7
/proc/15441/task/15648/stat : 15648 (java) R 15438 15441 11545 0 -1 4202560 223 0 0 0 85275 14 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642712734864 140643217754815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15649] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15649/stat : 15649 (java) S 15438 15441 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642714842024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 15441 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+897.708 s]
/proc/loadavg: 3.97 4.19 4.16 6/219 15831
/proc/meminfo: memFree=20349576/32872528 swapFree=13208/1155804
[pid=15441] ppid=15438 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15438 15441 11545 0 -1 4202496 82049 0 1 0 179462 543 0 0 20 0 22 0 6617613 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140735700657408 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15441/statm: 2456183 1284739 2303 9 0 2446860 0
[pid=15441/tid=15443] ppid=15438 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15438 15441 11545 0 -1 4202560 2468 0 1 0 79 4 0 0 20 0 22 0 6617614 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643371729784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15444] ppid=15438 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15438 15441 11545 0 -1 4202560 4787 0 0 0 437 57 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643344182184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15445] ppid=15438 vsize=9824732 CPUtime=4.66 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15438 15441 11545 0 -1 4202560 7176 0 0 0 412 54 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643343129640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15446] ppid=15438 vsize=9824732 CPUtime=5.25 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15438 15441 11545 0 -1 4202560 4479 0 0 0 469 56 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643342076584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15447] ppid=15438 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15438 15441 11545 0 -1 4202560 7345 0 0 0 420 60 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643341024040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15448] ppid=15438 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15438 15441 11545 0 -1 4202560 5825 0 0 0 471 61 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643339970984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15449] ppid=15438 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15438 15441 11545 0 -1 4202560 4797 0 0 0 466 65 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643338918440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15450] ppid=15438 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15438 15441 11545 0 -1 4202560 5182 0 0 0 469 62 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643337865384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15451] ppid=15438 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15438 15441 11545 0 -1 4202560 3681 0 0 0 445 63 0 0 20 0 22 0 6617615 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140643336812840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15452] ppid=15438 vsize=9824732 CPUtime=11.06 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15438 15441 11545 0 -1 4202560 3591 0 0 0 1095 11 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642724318056 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15453] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15438 15441 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642723264376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15454] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15438 15441 11545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 6617616 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642722211208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15455] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642721159952 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15456] ppid=15438 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15438 15441 11545 0 -1 4202560 17204 0 0 0 227 3 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642720106808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15457] ppid=15438 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15438 15441 11545 0 -1 4202560 13405 0 0 0 261 4 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642719054264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15458] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15438 15441 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642718001400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15441/tid=15459] ppid=15438 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/15441/task/15459/stat : 15459 (java) S 15438 15441 11545 0 -1 4202560 53 0 0 0 8 14 0 0 20 0 22 0 6617619 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642716949064 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15462] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15462/stat : 15462 (java) S 15438 15441 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6617687 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642713789736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15441/tid=15647] ppid=15438 vsize=9824732 CPUtime=852.77 cores=1,3,5,7
/proc/15441/task/15647/stat : 15647 (java) R 15438 15441 11545 0 -1 4202560 238 0 0 0 85263 14 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642715892240 140643218242338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15441/tid=15648] ppid=15438 vsize=9824732 CPUtime=852.89 cores=1,3,5,7
/proc/15441/task/15648/stat : 15648 (java) R 15438 15441 11545 0 -1 4202560 223 0 0 0 85275 14 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642712734864 140643217754815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15441/tid=15649] ppid=15438 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15649/stat : 15649 (java) S 15438 15441 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6619743 10060525568 1284739 33554432000 1073741824 1073778376 140735700666272 140642714842024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15441 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=291834
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=841112
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.765
CPU time (s): 1800.05
CPU user time (s): 1794.62
CPU system time (s): 5.43
CPU usage (%): 200.504
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.29
system time used= 5.84111
maximum resident set size= 5139072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24659
involuntary context switches= 33152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74213 second user time and 7.30389 second system time
The end