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-4119293-1467252446/watcher-4119293-1467252446 -o /tmp/evaluation-result-4119293-1467252446/solver-4119293-1467252446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9331 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119293-1467252446.opb
pid=11533
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.92 3.96 3.85 4/197 11536
/proc/meminfo: memFree=25442204/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11536/stat : 11536 (java) D 11533 11536 8968 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 6140765 9515008 182 33554432000 1073741824 1073778376 140735756816496 140735756807528 218234699445 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/11536/statm: 2323 182 140 9 0 71 0
[startup+0.100058 s]
/proc/loadavg: 3.92 3.96 3.85 4/197 11536
/proc/meminfo: memFree=25442204/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 4453 0 1 0 7 2 0 0 20 0 18 0 6140765 9787879424 5572 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2389619 5572 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200249 s]
/proc/loadavg: 3.92 3.96 3.85 4/197 11536
/proc/meminfo: memFree=25442204/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 4647 0 1 0 15 2 0 0 20 0 19 0 6140765 10060525568 7270 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 7270 2173 9 0 2446860 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9824732
[startup+0.300313 s]
/proc/loadavg: 3.92 3.96 3.85 4/197 11536
/proc/meminfo: memFree=25442204/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 4647 0 1 0 15 2 0 0 20 0 19 0 6140765 10060525568 7270 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 7270 2173 9 0 2446860 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9824732
[startup+0.700236 s]
/proc/loadavg: 3.92 3.96 3.85 4/197 11536
/proc/meminfo: memFree=25442204/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 4673 0 1 0 15 2 0 0 20 0 19 0 6140765 10060525568 8306 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 8306 2173 9 0 2446860 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9824732
[startup+1.5008 s]
/proc/loadavg: 3.92 3.96 3.85 4/216 11561
/proc/meminfo: memFree=25417484/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 4700 0 1 0 18 3 0 0 20 0 19 0 6140765 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 9348 2187 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2452 0 1 0 11 2 0 0 20 0 19 0 6140766 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) S 11533 11536 8968 0 -1 4202560 390 0 0 0 1 0 0 0 20 0 19 0 6140772 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817850915256 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) S 11533 11536 8968 0 -1 4202560 508 0 0 0 1 0 0 0 20 0 19 0 6140772 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817849862456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11557] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11557/stat : 11557 (java) S 11533 11536 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6140782 10060525568 9348 33554432000 1073741824 1073778376 140736227170096 139817844549032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732
[startup+3.10076 s]
/proc/loadavg: 3.92 3.96 3.85 7/219 11570
/proc/meminfo: memFree=25382716/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 15826 0 1 0 193 11 0 0 20 0 19 0 6140765 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 28816 2251 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2453 0 1 0 12 2 0 0 20 0 19 0 6140766 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6140767 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6140769 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) S 11533 11536 8968 0 -1 4202560 4934 0 0 0 40 2 0 0 20 0 19 0 6140772 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817850915256 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) S 11533 11536 8968 0 -1 4202560 7025 0 0 0 72 2 0 0 20 0 19 0 6140772 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817849862456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6140772 10060525568 28816 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.3008 s]
/proc/loadavg: 3.93 3.96 3.85 5/219 11579
/proc/meminfo: memFree=25118168/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=8.06 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 23721 0 1 0 780 26 0 0 20 0 22 0 6140765 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 88256 2281 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2454 0 1 0 12 2 0 0 20 0 22 0 6140766 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 6140767 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) R 11533 11536 8968 0 -1 4202560 12150 0 0 0 82 2 0 0 20 0 22 0 6140772 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817850915256 139818035013057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) R 11533 11536 8968 0 -1 4202560 7253 0 0 0 100 2 0 0 20 0 22 0 6140772 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817849862296 139818037882431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11573] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11573/stat : 11573 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6141033 10060525568 88256 33554432000 1073741824 1073778376 140736227170096 139817845601704 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 9824732
[startup+12.701 s]
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.10 4.04 3.93 5/219 11833
/proc/meminfo: memFree=23130688/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=1766.12 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 37301 0 1 0 176449 163 0 0 20 0 22 0 6140765 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 486377 2289 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2463 0 1 0 15 3 0 0 20 0 22 0 6140766 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 378 0 0 0 208 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 379 0 0 0 231 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 391 0 0 0 220 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 463 0 0 0 206 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 430 0 0 0 212 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 510 0 0 0 213 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 427 0 0 0 217 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 415 0 0 0 207 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 1451 0 0 0 120 26 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) S 11533 11536 8968 0 -1 4202560 15020 0 0 0 111 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817850915256 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) S 11533 11536 8968 0 -1 4202560 12018 0 0 0 201 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817849862456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11573] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11573/stat : 11573 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6141033 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817845601704 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11694] ppid=11533 vsize=9824732 CPUtime=859.05 cores=0,2,4,6
/proc/11536/task/11694/stat : 11694 (java) R 11533 11536 8968 0 -1 4202560 157 0 0 0 85890 15 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817844546400 139817903896223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11695] ppid=11533 vsize=9824732 CPUtime=859.07 cores=0,2,4,6
/proc/11536/task/11695/stat : 11695 (java) R 11533 11536 8968 0 -1 4202560 876 0 0 0 85868 39 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817843494272 139817904541215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11696] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11696/stat : 11696 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817846653864 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1766.12
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.301 s]
/proc/loadavg: 4.08 4.04 3.93 5/219 11833
/proc/meminfo: memFree=23130568/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 37303 0 1 0 179847 163 0 0 20 0 22 0 6140765 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 486377 2289 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2463 0 1 0 15 4 0 0 20 0 22 0 6140766 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 378 0 0 0 208 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 379 0 0 0 231 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 391 0 0 0 220 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 463 0 0 0 206 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 430 0 0 0 212 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 510 0 0 0 213 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 427 0 0 0 217 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 415 0 0 0 207 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 1451 0 0 0 120 26 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) S 11533 11536 8968 0 -1 4202560 15020 0 0 0 111 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817850915256 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) S 11533 11536 8968 0 -1 4202560 12018 0 0 0 201 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817849862456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 53 0 0 0 15 16 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11573] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11573/stat : 11573 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6141033 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817845601704 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11694] ppid=11533 vsize=9824732 CPUtime=876.04 cores=0,2,4,6
/proc/11536/task/11694/stat : 11694 (java) R 11533 11536 8968 0 -1 4202560 157 0 0 0 87589 15 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817844539488 139817903959867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11695] ppid=11533 vsize=9824732 CPUtime=876.06 cores=0,2,4,6
/proc/11536/task/11695/stat : 11695 (java) R 11533 11536 8968 0 -1 4202560 876 0 0 0 87567 39 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817843494272 139817904541202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11696] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11696/stat : 11696 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817846653864 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 11536 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+899.301 s]
/proc/loadavg: 4.08 4.04 3.93 5/219 11833
/proc/meminfo: memFree=23130568/32872528 swapFree=7620/7620
[pid=11536] ppid=11533 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/11536/stat : 11536 (java) S 11533 11536 8968 0 -1 4202496 37303 0 1 0 179847 163 0 0 20 0 22 0 6140765 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 140736227161232 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11536/statm: 2456183 486377 2289 9 0 2446860 0
[pid=11536/tid=11538] ppid=11533 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/11536/task/11538/stat : 11538 (java) S 11533 11536 8968 0 -1 4202560 2463 0 1 0 15 4 0 0 20 0 22 0 6140766 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139818030895992 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11539] ppid=11533 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/11536/task/11539/stat : 11539 (java) S 11533 11536 8968 0 -1 4202560 378 0 0 0 208 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817874906152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11540] ppid=11533 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/11536/task/11540/stat : 11540 (java) S 11533 11536 8968 0 -1 4202560 379 0 0 0 231 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817873853352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11541] ppid=11533 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/11536/task/11541/stat : 11541 (java) S 11533 11536 8968 0 -1 4202560 391 0 0 0 220 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817872800552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11542] ppid=11533 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/11536/task/11542/stat : 11542 (java) S 11533 11536 8968 0 -1 4202560 463 0 0 0 206 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817871747752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11543] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11543/stat : 11543 (java) S 11533 11536 8968 0 -1 4202560 430 0 0 0 212 9 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817870694952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11544] ppid=11533 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/11536/task/11544/stat : 11544 (java) S 11533 11536 8968 0 -1 4202560 510 0 0 0 213 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817869642152 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11545] ppid=11533 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/11536/task/11545/stat : 11545 (java) S 11533 11536 8968 0 -1 4202560 427 0 0 0 217 7 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817868589352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11546] ppid=11533 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/11536/task/11546/stat : 11546 (java) S 11533 11536 8968 0 -1 4202560 415 0 0 0 207 8 0 0 20 0 22 0 6140767 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817867536552 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11547] ppid=11533 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/11536/task/11547/stat : 11547 (java) S 11533 11536 8968 0 -1 4202560 1451 0 0 0 120 26 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817855126504 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11548] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11548/stat : 11548 (java) S 11533 11536 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817854072568 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11549] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11549/stat : 11549 (java) S 11533 11536 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6140769 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817853019656 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11550] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11550/stat : 11550 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817851968144 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11551] ppid=11533 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/11536/task/11551/stat : 11551 (java) S 11533 11536 8968 0 -1 4202560 15020 0 0 0 111 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817850915256 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11552] ppid=11533 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/11536/task/11552/stat : 11552 (java) S 11533 11536 8968 0 -1 4202560 12018 0 0 0 201 3 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817849862456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11536/tid=11553] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11553/stat : 11553 (java) S 11533 11536 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817848809848 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11554] ppid=11533 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/11536/task/11554/stat : 11554 (java) S 11533 11536 8968 0 -1 4202560 53 0 0 0 15 16 0 0 20 0 22 0 6140772 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817847757256 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11573] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11573/stat : 11573 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6141033 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817845601704 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11536/tid=11694] ppid=11533 vsize=9824732 CPUtime=876.04 cores=0,2,4,6
/proc/11536/task/11694/stat : 11694 (java) R 11533 11536 8968 0 -1 4202560 157 0 0 0 87589 15 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817844539488 139817903959867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11536/tid=11695] ppid=11533 vsize=9824732 CPUtime=876.06 cores=0,2,4,6
/proc/11536/task/11695/stat : 11695 (java) R 11533 11536 8968 0 -1 4202560 876 0 0 0 87567 39 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817843494272 139817904541202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11536/tid=11696] ppid=11533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11536/task/11696/stat : 11696 (java) S 11533 11536 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6142436 10060525568 486377 33554432000 1073741824 1073778376 140736227170096 139817846653864 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 899.364
CPU time (s): 1800.88
CPU user time (s): 1798.77
CPU system time (s): 2.11268
CPU usage (%): 200.239
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 2.11268
maximum resident set size= 2944076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37347
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= 30064
involuntary context switches= 40936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63314 second user time and 7.51286 second system time
The end