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-4092310-1467322121/watcher-4092310-1467322121 -o /tmp/evaluation-result-4092310-1467322121/solver-4092310-1467322121 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467322048-22958 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092310-1467322121.wbo
pid=23717
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: 2.38 2.88 2.52 2/194 23720
/proc/meminfo: memFree=27914988/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 11238137 98570240 978 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 24065 978 744 9 0 16771 0
[pid=23720/tid=23721] ppid=23717 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) R 23717 23720 22185 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 11238137 98570240 978 33554432000 1073741824 1073778376 140736781137104 140175080422952 260190324096 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100119 s]
/proc/loadavg: 2.38 2.88 2.52 2/194 23720
/proc/meminfo: memFree=27914988/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 4462 0 1 0 10 0 0 0 20 0 18 0 11238137 9787879424 6096 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2389619 6096 2156 9 0 2380296 0
[pid=23720/tid=23721] ppid=23717 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) R 23717 23720 22185 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 11238137 9787879424 6100 33554432000 1073741824 1073778376 140736781137104 140175080426400 140174931614804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200286 s]
/proc/loadavg: 2.38 2.88 2.52 2/194 23720
/proc/meminfo: memFree=27914988/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 4819 0 1 0 26 1 0 0 20 0 22 0 11238137 10060525568 7906 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 7906 2222 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2421 0 1 0 16 0 0 0 20 0 22 0 11238137 10060525568 7906 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732
[startup+0.300283 s]
/proc/loadavg: 2.38 2.88 2.52 2/194 23720
/proc/meminfo: memFree=27914988/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 7838 0 1 0 66 1 0 0 20 0 22 0 11238137 10060525568 9975 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 9975 2247 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2421 0 1 0 16 0 0 0 20 0 22 0 11238137 10060525568 9975 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732
[startup+0.700267 s]
/proc/loadavg: 2.38 2.88 2.52 2/194 23720
/proc/meminfo: memFree=27914988/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 15821 0 1 0 146 4 0 0 20 0 22 0 11238137 10060525568 16420 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 16420 2254 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2421 0 1 0 16 0 0 0 20 0 22 0 11238137 10060525568 16420 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9824732
[startup+1.50079 s]
/proc/loadavg: 2.38 2.88 2.52 1/213 23754
/proc/meminfo: memFree=27834124/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 18312 0 1 0 176 9 0 0 20 0 19 0 11238137 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 19080 2260 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2422 0 1 0 16 0 0 0 20 0 19 0 11238137 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 22185 0 -1 4202560 8516 0 0 0 48 0 0 0 20 0 19 0 11238142 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174429624760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 22185 0 -1 4202560 6023 0 0 0 45 2 0 0 20 0 19 0 11238142 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174428571960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174427519352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174426466760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23745] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23745/stat : 23745 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11238155 10060525568 19080 33554432000 1073741824 1073778376 140736781137104 140174422254888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 2.19 2.83 2.50 2/213 23769
/proc/meminfo: memFree=27819332/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 18341 0 1 0 178 9 0 0 20 0 19 0 11238137 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 23177 2260 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2423 0 1 0 16 0 0 0 20 0 19 0 11238137 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11238138 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11238139 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 22185 0 -1 4202560 8516 0 0 0 49 0 0 0 20 0 19 0 11238142 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174429624760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 22185 0 -1 4202560 6023 0 0 0 47 2 0 0 20 0 19 0 11238142 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174428571960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174427519352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11238142 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174426466760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23745] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23745/stat : 23745 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11238155 10060525568 23177 33554432000 1073741824 1073778376 140736781137104 140174422254888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=32 pid=1815 uid=0 cmd=
[startup+6.30093 s]
/proc/loadavg: 2.19 2.83 2.50 2/215 23805
/proc/meminfo: memFree=27719000/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=3.99 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 20568 0 1 0 386 13 0 0 20 0 21 0 11238137 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 47590 2281 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2424 0 1 0 17 0 0 0 20 0 21 0 11238137 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140175080428408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 11238138 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 47590 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
################
# More data... #
################
[pid=23720/tid=25118] ppid=23717 vsize=9824732 CPUtime=1624.49 cores=1,3,5,7
/proc/23720/task/25118/stat : 25118 (java) R 23717 23720 22185 0 -1 4202560 443 0 0 0 162422 27 0 0 20 0 21 0 11247804 10060525568 114228 33554432000 1073741824 1073778376 140736781137104 140174425410144 140174932473711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25119] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/25119/stat : 25119 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 11247806 10060525568 114228 33554432000 1073741824 1073778376 140736781137104 140174424360616 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1709.39
Current children cumulated vsize (KiB) 9824732
[startup+1782.3 s]
/proc/loadavg: 1.18 1.23 1.40 2/190 25171
/proc/meminfo: memFree=27622108/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1769.43 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 33235 0 1 0 176789 154 0 0 20 0 21 0 11238137 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 115527 2287 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2440 0 1 0 36 11 0 0 20 0 21 0 11238137 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140175080428520 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 493 0 0 0 42 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 755 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 800 0 0 0 35 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 314 0 0 0 41 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 385 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 464 0 0 0 38 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 418 0 0 0 38 6 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 402 0 0 0 37 5 0 0 20 0 21 0 11238138 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 164 0 0 0 3 8 0 0 20 0 21 0 11238139 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 22185 0 -1 4202560 17245 0 0 0 152 2 0 0 20 0 21 0 11238142 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174429624760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 22185 0 -1 4202560 6893 0 0 0 103 2 0 0 20 0 21 0 11238142 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174428571960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174427519352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 22185 0 -1 4202560 104 0 0 0 9 11 0 0 20 0 21 0 11238142 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174426466760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23745] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23745/stat : 23745 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 11238155 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174422254888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25118] ppid=23717 vsize=9824732 CPUtime=1684.47 cores=1,3,5,7
/proc/23720/task/25118/stat : 25118 (java) R 23717 23720 22185 0 -1 4202560 446 0 0 0 168418 29 0 0 20 0 21 0 11247804 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174425410480 140174932097849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=25119] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/25119/stat : 25119 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 11247806 10060525568 115527 33554432000 1073741824 1073778376 140736781137104 140174424360616 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1769.43
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.91 s]
/proc/loadavg: 1.16 1.23 1.39 2/190 25171
/proc/meminfo: memFree=27622112/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 33245 0 1 0 179851 155 0 0 20 0 21 0 11238137 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 115532 2287 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2440 0 1 0 36 11 0 0 20 0 21 0 11238137 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175080428520 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 493 0 0 0 42 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 755 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 800 0 0 0 36 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 314 0 0 0 41 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 385 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 464 0 0 0 38 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 418 0 0 0 39 6 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 402 0 0 0 38 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 171 0 0 0 3 8 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 22185 0 -1 4202560 17245 0 0 0 152 2 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174429624760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 22185 0 -1 4202560 6893 0 0 0 103 2 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174428571960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174427519352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 22185 0 -1 4202560 106 0 0 0 9 11 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174426466760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23745] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23745/stat : 23745 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 11238155 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174422254888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25118] ppid=23717 vsize=9824732 CPUtime=1715.06 cores=1,3,5,7
/proc/23720/task/25118/stat : 25118 (java) R 23717 23720 22185 0 -1 4202560 447 0 0 0 171476 30 0 0 20 0 21 0 11247804 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174425410240 140174932447613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25119] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/25119/stat : 25119 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 11247806 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174424360616 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 23720 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1812.91 s]
/proc/loadavg: 1.16 1.23 1.39 2/190 25171
/proc/meminfo: memFree=27622112/32872528 swapFree=1634416/1797936
[pid=23720] ppid=23717 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 22185 0 -1 4202496 33245 0 1 0 179851 155 0 0 20 0 21 0 11238137 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140736781128240 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2456183 115532 2287 9 0 2446860 0
[pid=23720/tid=23721] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23721/stat : 23721 (java) S 23717 23720 22185 0 -1 4202560 2440 0 1 0 36 11 0 0 20 0 21 0 11238137 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175080428520 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 22185 0 -1 4202560 493 0 0 0 42 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175052880936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 22185 0 -1 4202560 755 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175051828136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 22185 0 -1 4202560 800 0 0 0 36 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140175050775336 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 22185 0 -1 4202560 314 0 0 0 41 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174920559272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 22185 0 -1 4202560 385 0 0 0 40 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174919506472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 22185 0 -1 4202560 464 0 0 0 38 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174918453672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 22185 0 -1 4202560 418 0 0 0 39 6 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174917400872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 22185 0 -1 4202560 402 0 0 0 38 5 0 0 20 0 21 0 11238138 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174916348072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 22185 0 -1 4202560 171 0 0 0 3 8 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174433836008 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 22185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174432782072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 22185 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 21 0 11238139 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174431729160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174430677648 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 22185 0 -1 4202560 17245 0 0 0 152 2 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174429624760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 22185 0 -1 4202560 6893 0 0 0 103 2 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174428571960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 22185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174427519352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 22185 0 -1 4202560 106 0 0 0 9 11 0 0 20 0 21 0 11238142 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174426466760 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23745] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23745/stat : 23745 (java) S 23717 23720 22185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 11238155 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174422254888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25118] ppid=23717 vsize=9824732 CPUtime=1715.06 cores=1,3,5,7
/proc/23720/task/25118/stat : 25118 (java) R 23717 23720 22185 0 -1 4202560 447 0 0 0 171476 30 0 0 20 0 21 0 11247804 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174425410240 140174932447613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=25119] ppid=23717 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23720/task/25119/stat : 25119 (java) S 23717 23720 22185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 11247806 10060525568 115532 33554432000 1073741824 1073778376 140736781137104 140174424360616 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1812.92
CPU time (s): 1800.43
CPU user time (s): 1798.49
CPU system time (s): 1.9407
CPU usage (%): 99.3107
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.9407
maximum resident set size= 462200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33271
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80813
involuntary context switches= 47580
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4534 second user time and 12.4221 second system time
The end