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-4116662-1466962946/watcher-4116662-1466962946 -o /tmp/evaluation-result-4116662-1466962946/solver-4116662-1466962946 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116662-1466962946.opb
pid=21433
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.19 4.25 4.26 4/197 21436
/proc/meminfo: memFree=27181108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21436/stat : 21436 (java) R 21433 21436 18126 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 29333977 2560000 43 33554432000 1073741824 1073778376 140735757924816 140735477813432 266426482248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 625 46 37 9 0 29 0
[startup+0.100061 s]
/proc/loadavg: 4.19 4.25 4.26 4/197 21436
/proc/meminfo: memFree=27181108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 4422 0 1 0 7 2 0 0 20 0 18 0 29333977 9787879424 6042 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2389619 6042 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 4.19 4.25 4.26 4/197 21436
/proc/meminfo: memFree=27181108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 4717 0 1 0 21 2 0 0 20 0 18 0 29333977 9787879424 6796 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2389619 6796 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300211 s]
/proc/loadavg: 4.19 4.25 4.26 4/197 21436
/proc/meminfo: memFree=27181108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 5767 0 1 0 45 2 0 0 20 0 18 0 29333977 9787879424 8508 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2389619 8508 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700177 s]
/proc/loadavg: 4.19 4.25 4.26 4/197 21436
/proc/meminfo: memFree=27181108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 14578 0 1 0 168 5 0 0 20 0 22 0 29333977 10060525568 23803 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 23803 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 4.19 4.25 4.26 8/219 21458
/proc/meminfo: memFree=27048628/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 23658 0 1 0 462 8 0 0 20 0 22 0 29333977 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 47456 2292 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 29333978 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29333980 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/21436/task/21451/stat : 21451 (java) S 21433 21436 18126 0 -1 4202560 8047 0 0 0 108 2 0 0 20 0 22 0 29333984 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806891154360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21452] ppid=21433 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/21436/task/21452/stat : 21452 (java) R 21433 21436 18126 0 -1 4202560 11655 0 0 0 109 2 0 0 20 0 22 0 29333984 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806017294952 139807077856397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21453] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21453/stat : 21453 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806016265080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21454] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21454/stat : 21454 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806015212488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21455] ppid=21433 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/21436/task/21455/stat : 21455 (java) R 21433 21436 18126 0 -1 4202560 17 0 0 0 94 0 0 0 20 0 22 0 29334029 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806014157672 139806907281704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21456] ppid=21433 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/21436/task/21456/stat : 21456 (java) R 21433 21436 18126 0 -1 4202560 73 0 0 0 92 2 0 0 20 0 22 0 29334029 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806013103904 139806907540352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21457] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21457/stat : 21457 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334030 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806012052392 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21458] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21458/stat : 21458 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334031 10060525568 47456 33554432000 1073741824 1073778376 140735757924816 139806010999592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 9824732
[startup+3.10086 s]
/proc/loadavg: 4.19 4.25 4.26 5/219 21458
/proc/meminfo: memFree=26902108/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=8.5 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 25219 0 1 0 835 15 0 0 20 0 22 0 29333977 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 90890 2292 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 29333978 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 29333980 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/21436/task/21451/stat : 21451 (java) S 21433 21436 18126 0 -1 4202560 8048 0 0 0 120 2 0 0 20 0 22 0 29333984 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806891154360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21452] ppid=21433 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/21436/task/21452/stat : 21452 (java) R 21433 21436 18126 0 -1 4202560 12935 0 0 0 146 3 0 0 20 0 22 0 29333984 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806017317688 139807077856392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21453] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21453/stat : 21453 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806016265080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21454] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21454/stat : 21454 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806015212488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21455] ppid=21433 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/21436/task/21455/stat : 21455 (java) R 21433 21436 18126 0 -1 4202560 20 0 0 0 247 0 0 0 20 0 22 0 29334029 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806014148640 139806907261821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21456] ppid=21433 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/21436/task/21456/stat : 21456 (java) R 21433 21436 18126 0 -1 4202560 131 0 0 0 242 4 0 0 20 0 22 0 29334029 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806013104680 139806907300846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21457] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21457/stat : 21457 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334030 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806012052392 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21458] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21458/stat : 21458 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334031 10060525568 90890 33554432000 1073741824 1073778376 140735757924816 139806010999592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.5
Current children cumulated vsize (KiB) 9824732
[startup+6.30102 s]
/proc/loadavg: 4.25 4.26 4.26 5/219 21458
/proc/meminfo: memFree=26573748/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=15.29 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 25836 0 1 0 1503 26 0 0 20 0 22 0 29333977 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 161063 2292 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2481 0 1 0 46 2 0 0 20 0 22 0 29333978 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 66 0 0 0 5 2 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 69 0 0 0 5 2 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 81 0 0 0 8 2 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 29333980 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 161063 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.55 3.68 4.07 4/191 21508
/proc/meminfo: memFree=26497976/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=1655.01 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 37660 0 1 0 165285 216 0 0 20 0 22 0 29333977 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 948571 2301 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2483 0 1 0 48 4 0 0 20 0 22 0 29333978 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 651 0 0 0 280 22 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 597 0 0 0 280 18 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 761 0 0 0 302 17 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 616 0 0 0 265 15 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 535 0 0 0 273 15 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 675 0 0 0 245 19 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 677 0 0 0 260 18 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 789 0 0 0 287 20 0 0 20 0 22 0 29333980 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 2216 0 0 0 344 7 0 0 20 0 22 0 29333981 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/21436/task/21451/stat : 21451 (java) S 21433 21436 18126 0 -1 4202560 11679 0 0 0 187 3 0 0 20 0 22 0 29333984 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806891154360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21452] ppid=21433 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/21436/task/21452/stat : 21452 (java) S 21433 21436 18126 0 -1 4202560 12956 0 0 0 161 3 0 0 20 0 22 0 29333984 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806017317688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21453] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21453/stat : 21453 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806016265080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21454] ppid=21433 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21436/task/21454/stat : 21454 (java) S 21433 21436 18126 0 -1 4202560 47 0 0 0 13 22 0 0 20 0 22 0 29333984 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806015212488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21455] ppid=21433 vsize=9824732 CPUtime=812.02 cores=1,3,5,7
/proc/21436/task/21455/stat : 21455 (java) R 21433 21436 18126 0 -1 4202560 86 0 0 0 81187 15 0 0 20 0 22 0 29334029 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806014148720 139806907261821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21456] ppid=21433 vsize=9824732 CPUtime=811.85 cores=1,3,5,7
/proc/21436/task/21456/stat : 21456 (java) R 21433 21436 18126 0 -1 4202560 1627 0 0 0 81134 51 0 0 20 0 22 0 29334029 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806013102576 139806907492529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21457] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21457/stat : 21457 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334030 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806012052392 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21458] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21458/stat : 21458 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334031 10060525568 948571 33554432000 1073741824 1073778376 140735757924816 139806010999592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1655.01
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 2.40 3.43 3.95 3/191 21510
/proc/meminfo: memFree=26452904/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=1775.13 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 37757 0 1 0 177290 223 0 0 20 0 22 0 29333977 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 959841 2301 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2483 0 1 0 49 4 0 0 20 0 22 0 29333978 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 671 0 0 0 285 23 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 599 0 0 0 283 18 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 771 0 0 0 304 18 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 635 0 0 0 270 17 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 547 0 0 0 275 16 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 684 0 0 0 247 20 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 688 0 0 0 261 19 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 790 0 0 0 289 20 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 2224 0 0 0 344 7 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/21436/task/21451/stat : 21451 (java) S 21433 21436 18126 0 -1 4202560 11679 0 0 0 187 3 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806891154360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21452] ppid=21433 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/21436/task/21452/stat : 21452 (java) S 21433 21436 18126 0 -1 4202560 12956 0 0 0 161 3 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806017317688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21453] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21453/stat : 21453 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806016265080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21454] ppid=21433 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21436/task/21454/stat : 21454 (java) S 21433 21436 18126 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806015212488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21455] ppid=21433 vsize=9824732 CPUtime=871.95 cores=1,3,5,7
/proc/21436/task/21455/stat : 21455 (java) R 21433 21436 18126 0 -1 4202560 87 0 0 0 87179 16 0 0 20 0 22 0 29334029 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806014148720 139806907261826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21456] ppid=21433 vsize=9824732 CPUtime=871.77 cores=1,3,5,7
/proc/21436/task/21456/stat : 21456 (java) R 21433 21436 18126 0 -1 4202560 1627 0 0 0 87125 52 0 0 20 0 22 0 29334029 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806013103536 139806907492596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21457] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21457/stat : 21457 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334030 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806012052392 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21458] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21458/stat : 21458 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334031 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806010999592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1775.13
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.801 s]
/proc/loadavg: 2.39 3.38 3.93 4/191 21511
/proc/meminfo: memFree=26453020/32872528 swapFree=1437460/1543748
[pid=21436] ppid=21433 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/21436/stat : 21436 (java) S 21433 21436 18126 0 -1 4202496 37759 0 1 0 179788 223 0 0 20 0 22 0 29333977 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 140735757915952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21436/statm: 2456183 959841 2301 9 0 2446860 0
[pid=21436/tid=21438] ppid=21433 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/21436/task/21438/stat : 21438 (java) S 21433 21436 18126 0 -1 4202560 2483 0 1 0 49 4 0 0 20 0 22 0 29333978 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807071896440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21439] ppid=21433 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/21436/task/21439/stat : 21439 (java) S 21433 21436 18126 0 -1 4202560 671 0 0 0 285 23 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807033387560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21440] ppid=21433 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/21436/task/21440/stat : 21440 (java) S 21433 21436 18126 0 -1 4202560 599 0 0 0 283 18 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807032334760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21441] ppid=21433 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/21436/task/21441/stat : 21441 (java) S 21433 21436 18126 0 -1 4202560 771 0 0 0 304 18 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807031281960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21442] ppid=21433 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/21436/task/21442/stat : 21442 (java) S 21433 21436 18126 0 -1 4202560 635 0 0 0 270 17 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807030229160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21443] ppid=21433 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/21436/task/21443/stat : 21443 (java) S 21433 21436 18126 0 -1 4202560 547 0 0 0 275 16 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807029177384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21444] ppid=21433 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/21436/task/21444/stat : 21444 (java) S 21433 21436 18126 0 -1 4202560 684 0 0 0 247 20 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807028124584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21445] ppid=21433 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/21436/task/21445/stat : 21445 (java) S 21433 21436 18126 0 -1 4202560 688 0 0 0 261 19 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807027071784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21446] ppid=21433 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/21436/task/21446/stat : 21446 (java) S 21433 21436 18126 0 -1 4202560 790 0 0 0 289 20 0 0 20 0 22 0 29333980 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139807026018984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21436/tid=21447] ppid=21433 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/21436/task/21447/stat : 21447 (java) S 21433 21436 18126 0 -1 4202560 2224 0 0 0 344 7 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806895364584 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21448] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21448/stat : 21448 (java) S 21433 21436 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806894310648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21449] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21449/stat : 21449 (java) S 21433 21436 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29333981 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806893257736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21450] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21450/stat : 21450 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806892206224 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21451] ppid=21433 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/21436/task/21451/stat : 21451 (java) S 21433 21436 18126 0 -1 4202560 11679 0 0 0 187 3 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806891154360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21452] ppid=21433 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/21436/task/21452/stat : 21452 (java) S 21433 21436 18126 0 -1 4202560 12956 0 0 0 161 3 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806017317688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21453] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21453/stat : 21453 (java) S 21433 21436 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806016265080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21454] ppid=21433 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21436/task/21454/stat : 21454 (java) S 21433 21436 18126 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 29333984 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806015212488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21455] ppid=21433 vsize=9824732 CPUtime=884.44 cores=1,3,5,7
/proc/21436/task/21455/stat : 21455 (java) R 21433 21436 18126 0 -1 4202560 87 0 0 0 88428 16 0 0 20 0 22 0 29334029 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806014148720 139806907261821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21436/tid=21456] ppid=21433 vsize=9824732 CPUtime=884.26 cores=1,3,5,7
/proc/21436/task/21456/stat : 21456 (java) R 21433 21436 18126 0 -1 4202560 1627 0 0 0 88373 53 0 0 20 0 22 0 29334029 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806013103536 139806907749320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21436/tid=21457] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21457/stat : 21457 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334030 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806012052392 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21436/tid=21458] ppid=21433 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21436/task/21458/stat : 21458 (java) S 21433 21436 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29334031 10060525568 959841 33554432000 1073741824 1073778376 140735757924816 139806010999592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 21436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.856
CPU time (s): 1800.69
CPU user time (s): 1797.93
CPU system time (s): 2.76658
CPU usage (%): 201.227
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 2.76658
maximum resident set size= 3839480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37795
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23975
involuntary context switches= 24391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31304 second user time and 6.88595 second system time
The end