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-4119365-1467254306/watcher-4119365-1467254306 -o /tmp/evaluation-result-4119365-1467254306/solver-4119365-1467254306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119365-1467254306.opb
pid=12594
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.19 3.83 3.90 4/197 12597
/proc/meminfo: memFree=28466112/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9212 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (java) R 12594 12597 8968 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 6326742 9433088 65 33554432000 1073741824 1073778376 140737189575760 140737189572888 218225507013 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2306 77 60 9 0 38 0
[startup+0.100111 s]
/proc/loadavg: 3.19 3.83 3.90 4/197 12597
/proc/meminfo: memFree=28466112/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 4466 0 1 0 8 1 0 0 20 0 18 0 6326742 9787879424 5585 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2389619 5585 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 3.19 3.83 3.90 4/197 12597
/proc/meminfo: memFree=28466112/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 4637 0 1 0 20 1 0 0 20 0 18 0 6326742 9787879424 6746 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2389619 6746 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300222 s]
/proc/loadavg: 3.19 3.83 3.90 4/197 12597
/proc/meminfo: memFree=28466112/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 5773 0 1 0 43 1 0 0 20 0 18 0 6326742 9787879424 8564 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2389619 8564 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700256 s]
/proc/loadavg: 3.19 3.83 3.90 4/197 12597
/proc/meminfo: memFree=28466112/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 11414 0 1 0 147 4 0 0 20 0 19 0 6326742 10060525568 18504 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 18504 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9824732
[startup+1.50078 s]
/proc/loadavg: 3.25 3.83 3.90 3/216 12622
/proc/meminfo: memFree=28347916/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 18190 0 1 0 261 8 0 0 20 0 22 0 6326742 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 40355 2271 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2512 0 1 0 34 1 0 0 20 0 22 0 6326743 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) R 12594 12597 8968 0 -1 4202560 7778 0 0 0 65 2 0 0 20 0 22 0 6326748 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984550509368 139984738292814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) R 12594 12597 8968 0 -1 4202560 6502 0 0 0 68 0 0 0 20 0 22 0 6326748 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984549456704 139984737521899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12615/stat : 12615 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984547351624 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12618] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12618/stat : 12618 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326780 10060525568 40355 33554432000 1073741824 1073778376 140737189575760 139984543937320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 3.25 3.83 3.90 5/219 12628
/proc/meminfo: memFree=28290196/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=6.37 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 18313 0 1 0 628 9 0 0 20 0 22 0 6326742 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 46085 2293 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2512 0 1 0 34 1 0 0 20 0 22 0 6326743 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) S 12594 12597 8968 0 -1 4202560 7814 0 0 0 92 2 0 0 20 0 22 0 6326748 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984550509368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) S 12594 12597 8968 0 -1 4202560 6537 0 0 0 88 0 0 0 20 0 22 0 6326748 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984549456824 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12615/stat : 12615 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984547351624 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12618] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12618/stat : 12618 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326780 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984543937320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12623] ppid=12594 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/12597/task/12623/stat : 12623 (java) R 12594 12597 8968 0 -1 4202560 6 0 0 0 168 0 0 0 20 0 22 0 6326881 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984546040920 139984603711248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12624] ppid=12594 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/12597/task/12624/stat : 12624 (java) R 12594 12597 8968 0 -1 4202560 28 0 0 0 169 0 0 0 20 0 22 0 6326881 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984544988936 139984603756231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12625] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12625/stat : 12625 (java) S 12594 12597 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6326881 10060525568 46085 33554432000 1073741824 1073778376 140737189575760 139984542885032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 3.31 3.83 3.90 3/216 12634
/proc/meminfo: memFree=28047908/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=13.02 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 18371 0 1 0 1292 10 0 0 20 0 22 0 6326742 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 50611 2293 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2512 0 1 0 34 1 0 0 20 0 22 0 6326743 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 6326744 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) S 12594 12597 8968 0 -1 4202560 7822 0 0 0 100 2 0 0 20 0 22 0 6326748 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984550509368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) S 12594 12597 8968 0 -1 4202560 6549 0 0 0 102 0 0 0 20 0 22 0 6326748 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984549456824 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 50611 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 4.05 4.05 4.00 5/219 12870
/proc/meminfo: memFree=20468440/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=1768.64 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 42436 0 1 0 176466 398 0 0 20 0 22 0 6326742 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 995164 2302 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2518 0 1 0 36 3 0 0 20 0 22 0 6326743 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 2472 0 0 0 253 41 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 3351 0 0 0 250 44 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 2535 0 0 0 259 45 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 2426 0 0 0 244 43 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 2317 0 0 0 259 45 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 2016 0 0 0 294 47 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 2431 0 0 0 277 52 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 2627 0 0 0 253 41 0 0 20 0 22 0 6326744 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 2694 0 0 0 802 7 0 0 20 0 22 0 6326745 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) S 12594 12597 8968 0 -1 4202560 7832 0 0 0 105 2 0 0 20 0 22 0 6326748 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984550509368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) S 12594 12597 8968 0 -1 4202560 6556 0 0 0 109 0 0 0 20 0 22 0 6326748 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984549456824 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/12597/task/12615/stat : 12615 (java) S 12594 12597 8968 0 -1 4202560 50 0 0 0 10 20 0 0 20 0 22 0 6326748 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984547351624 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12618] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12618/stat : 12618 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326780 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984543937320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12623] ppid=12594 vsize=9824732 CPUtime=866.36 cores=1,3,5,7
/proc/12597/task/12623/stat : 12623 (java) R 12594 12597 8968 0 -1 4202560 318 0 0 0 86618 18 0 0 20 0 22 0 6326881 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984546033936 139984603711299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12624] ppid=12594 vsize=9824732 CPUtime=866.38 cores=1,3,5,7
/proc/12597/task/12624/stat : 12624 (java) R 12594 12597 8968 0 -1 4202560 926 0 0 0 86617 21 0 0 20 0 22 0 6326881 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984544988128 139984603997379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12625] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12625/stat : 12625 (java) S 12594 12597 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6326881 10060525568 995164 33554432000 1073741824 1073778376 140737189575760 139984542885032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1768.64
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.901 s]
/proc/loadavg: 4.04 4.05 4.00 5/219 12870
/proc/meminfo: memFree=20468320/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 42452 0 1 0 179603 398 0 0 20 0 22 0 6326742 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 995177 2302 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2518 0 1 0 36 3 0 0 20 0 22 0 6326743 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 2476 0 0 0 257 41 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 3351 0 0 0 253 44 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 2535 0 0 0 264 45 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 2426 0 0 0 249 43 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 2317 0 0 0 269 45 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 2016 0 0 0 297 47 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 2435 0 0 0 282 52 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 2627 0 0 0 258 41 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 2701 0 0 0 802 7 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) S 12594 12597 8968 0 -1 4202560 7832 0 0 0 105 2 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984550509368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) S 12594 12597 8968 0 -1 4202560 6556 0 0 0 109 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984549456824 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/12597/task/12615/stat : 12615 (java) S 12594 12597 8968 0 -1 4202560 50 0 0 0 11 20 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984547351624 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12618] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12618/stat : 12618 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326780 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984543937320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12623] ppid=12594 vsize=9824732 CPUtime=881.85 cores=1,3,5,7
/proc/12597/task/12623/stat : 12623 (java) R 12594 12597 8968 0 -1 4202560 318 0 0 0 88167 18 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984546033936 139984603739459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12624] ppid=12594 vsize=9824732 CPUtime=881.87 cores=1,3,5,7
/proc/12597/task/12624/stat : 12624 (java) R 12594 12597 8968 0 -1 4202560 927 0 0 0 88166 21 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984544988544 139984603997440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12625] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12625/stat : 12625 (java) S 12594 12597 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984542885032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 12597 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+897.901 s]
/proc/loadavg: 4.04 4.05 4.00 5/219 12870
/proc/meminfo: memFree=20468320/32872528 swapFree=7620/7620
[pid=12597] ppid=12594 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/12597/stat : 12597 (java) S 12594 12597 8968 0 -1 4202496 42452 0 1 0 179603 398 0 0 20 0 22 0 6326742 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 140737189566896 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12597/statm: 2456183 995177 2302 9 0 2446860 0
[pid=12597/tid=12599] ppid=12594 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/12597/task/12599/stat : 12599 (java) S 12594 12597 8968 0 -1 4202560 2518 0 1 0 36 3 0 0 20 0 22 0 6326743 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984730547064 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12600] ppid=12594 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/12597/task/12600/stat : 12600 (java) S 12594 12597 8968 0 -1 4202560 2476 0 0 0 257 41 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984574499240 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12601] ppid=12594 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/12597/task/12601/stat : 12601 (java) S 12594 12597 8968 0 -1 4202560 3351 0 0 0 253 44 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984573446696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12602] ppid=12594 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/12597/task/12602/stat : 12602 (java) S 12594 12597 8968 0 -1 4202560 2535 0 0 0 264 45 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984572393640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12603] ppid=12594 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/12597/task/12603/stat : 12603 (java) S 12594 12597 8968 0 -1 4202560 2426 0 0 0 249 43 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984571341096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12604] ppid=12594 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/12597/task/12604/stat : 12604 (java) S 12594 12597 8968 0 -1 4202560 2317 0 0 0 269 45 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984570289064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12605] ppid=12594 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/12597/task/12605/stat : 12605 (java) S 12594 12597 8968 0 -1 4202560 2016 0 0 0 297 47 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984569236520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12606] ppid=12594 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/12597/task/12606/stat : 12606 (java) S 12594 12597 8968 0 -1 4202560 2435 0 0 0 282 52 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984568183464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12607] ppid=12594 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/12597/task/12607/stat : 12607 (java) S 12594 12597 8968 0 -1 4202560 2627 0 0 0 258 41 0 0 20 0 22 0 6326744 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984567130920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12608] ppid=12594 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/12597/task/12608/stat : 12608 (java) S 12594 12597 8968 0 -1 4202560 2701 0 0 0 802 7 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984554719592 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12609] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12609/stat : 12609 (java) S 12594 12597 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984553665912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12610] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12610/stat : 12610 (java) S 12594 12597 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6326745 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984552612744 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12611] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12611/stat : 12611 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984551561488 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12612] ppid=12594 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/12597/task/12612/stat : 12612 (java) S 12594 12597 8968 0 -1 4202560 7832 0 0 0 105 2 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984550509368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12613] ppid=12594 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/12597/task/12613/stat : 12613 (java) S 12594 12597 8968 0 -1 4202560 6556 0 0 0 109 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984549456824 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12614] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12614/stat : 12614 (java) S 12594 12597 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984548403960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12597/tid=12615] ppid=12594 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/12597/task/12615/stat : 12615 (java) S 12594 12597 8968 0 -1 4202560 50 0 0 0 11 20 0 0 20 0 22 0 6326748 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984547351624 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12618] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12618/stat : 12618 (java) S 12594 12597 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6326780 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984543937320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12597/tid=12623] ppid=12594 vsize=9824732 CPUtime=881.85 cores=1,3,5,7
/proc/12597/task/12623/stat : 12623 (java) R 12594 12597 8968 0 -1 4202560 318 0 0 0 88167 18 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984546033936 139984603739459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12597/tid=12624] ppid=12594 vsize=9824732 CPUtime=881.87 cores=1,3,5,7
/proc/12597/task/12624/stat : 12624 (java) R 12594 12597 8968 0 -1 4202560 927 0 0 0 88166 21 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984544988544 139984603997440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12597/tid=12625] ppid=12594 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12597/task/12625/stat : 12625 (java) S 12594 12597 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6326881 10060525568 995177 33554432000 1073741824 1073778376 140737189575760 139984542885032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 897.956
CPU time (s): 1800.68
CPU user time (s): 1796.18
CPU system time (s): 4.50331
CPU usage (%): 200.531
Max. virtual memory (cumulated for all children) (KiB): 9825852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 4.50331
maximum resident set size= 3980820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42490
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23720
involuntary context switches= 24684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33419 second user time and 7.8818 second system time
The end