runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457494-1307221395/watcher-3457494-1307221395 -o /tmp/evaluation-result-3457494-1307221395/solver-3457494-1307221395 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457494-1307221395.opb
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.01 2.02 2.00 2/452 12088
/proc/meminfo: memFree=8852464/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12088/stat : 12088 (java) R 12086 12088 11532 0 -1 4202496 1032 0 0 0 0 0 0 0 25 0 1 0 833739094 23580672 776 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46996480734144 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12088/statm: 5757 792 588 9 0 124 0
[pid=12088/tid=12089] ppid=12086 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 3199 0 1 0 0 0 0 0 18 0 2 0 833739095 10694979584 4016 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.106591 s]
/proc/loadavg: 2.01 2.02 2.00 2/452 12088
/proc/meminfo: memFree=8852464/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10540256 CPUtime=0.11 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 13112 0 1 0 9 2 0 0 25 0 18 0 833739094 10793222144 12775 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2635064 12776 2093 9 0 2625798 0
[pid=12088/tid=12089] ppid=12086 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 11169 0 1 0 7 1 0 0 18 0 18 0 833739095 10793222144 12776 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46996480534040 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540256
[startup+0.200542 s]
/proc/loadavg: 2.01 2.02 2.00 2/452 12088
/proc/meminfo: memFree=8852464/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10546044 CPUtime=0.31 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 16861 0 1 0 28 3 0 0 25 0 19 0 833739094 10799149056 15500 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2636511 15500 2177 9 0 2627245 0
[pid=12088/tid=12089] ppid=12086 vsize=10546044 CPUtime=0.17 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 11814 0 1 0 16 1 0 0 18 0 19 0 833739095 10799149056 15500 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46996481631076 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10546044
[startup+0.300524 s]
/proc/loadavg: 2.01 2.02 2.00 2/452 12088
/proc/meminfo: memFree=8852464/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10546044 CPUtime=0.55 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 19824 0 1 0 52 3 0 0 25 0 19 0 833739094 10799149056 17188 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2636511 17188 2192 9 0 2627245 0
[pid=12088/tid=12089] ppid=12086 vsize=10546044 CPUtime=0.27 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 13320 0 1 0 26 1 0 0 18 0 19 0 833739095 10799149056 17188 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505552374 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546044
[startup+0.700454 s]
/proc/loadavg: 2.01 2.02 2.00 2/452 12088
/proc/meminfo: memFree=8852464/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=1.69 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 55239 0 1 0 160 9 0 0 25 0 19 0 833739094 10810306560 44000 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 44003 2217 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=0.67 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 35082 0 1 0 62 5 0 0 18 0 19 0 833739095 10810306560 44005 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505552245 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556940
[startup+1.50136 s]
/proc/loadavg: 2.01 2.02 2.00 3/471 12107
/proc/meminfo: memFree=8511628/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=2.69 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 141093 0 1 0 250 19 0 0 25 0 19 0 833739094 10810306560 129824 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 129829 2219 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=1.48 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 120872 0 1 0 133 15 0 0 18 0 19 0 833739095 10810306560 129831 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505552431 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833739097 10810306560 129834 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 129837 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 129840 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 129842 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 129845 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 129847 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 129850 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 129852 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 129855 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833739098 10810306560 129858 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833739098 10810306560 129861 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 129864 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=0.62 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 10673 0 0 0 60 2 0 0 20 0 19 0 833739101 10810306560 129867 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8395 0 0 0 55 1 0 0 15 0 19 0 833739101 10810306560 129869 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 129871 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 129874 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 129877 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10556940
[startup+3.10108 s]
/proc/loadavg: 2.01 2.02 2.00 3/471 12107
/proc/meminfo: memFree=8035596/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=4.3 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 313573 0 1 0 391 39 0 0 25 0 19 0 833739094 10810306560 302304 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 302308 2220 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=3.08 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 293351 0 1 0 273 35 0 0 19 0 19 0 833739095 10810306560 302310 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505552388 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833739097 10810306560 302312 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 302314 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 302316 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 302318 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 302321 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 302323 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 302325 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 302328 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833739098 10810306560 302330 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833739098 10810306560 302332 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833739098 10810306560 302335 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 302337 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=0.64 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 10674 0 0 0 62 2 0 0 15 0 19 0 833739101 10810306560 302338 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8395 0 0 0 55 1 0 0 15 0 19 0 833739101 10810306560 302339 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 302342 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 302345 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 302348 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10556940
[startup+6.30153 s]
/proc/loadavg: 2.01 2.02 2.00 3/471 12107
/proc/meminfo: memFree=6626076/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=7.5 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 653098 0 1 0 677 73 0 0 25 0 19 0 833739094 10810306560 640296 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 640301 2221 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=6.27 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 632875 0 1 0 558 69 0 0 21 0 19 0 833739095 10810306560 640303 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505552245 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833739097 10810306560 640306 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 640309 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 640312 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 640314 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 640317 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833739097 10810306560 640321 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 640324 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833739097 10810306560 640327 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833739098 10810306560 640329 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833739098 10810306560 640332 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833739098 10810306560 640335 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 640337 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=0.64 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 10674 0 0 0 62 2 0 0 15 0 19 0 833739101 10810306560 640340 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8395 0 0 0 55 1 0 0 15 0 19 0 833739101 10810306560 640344 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=1.13 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 17115 0 0 0 110 3 0 0 16 0 19 0 833739101 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8510 0 0 0 73 1 0 0 16 0 19 0 833739101 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 898496 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.7
Current children cumulated vsize (KiB) 10556940
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/471 12250
/proc/meminfo: memFree=5271980/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=1728.19 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 920578 0 1 0 172710 109 0 0 25 0 19 0 833739094 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 900361 2258 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=1719.47 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 853148 0 1 0 171854 93 0 0 25 0 19 0 833739095 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505589562 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0.81 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 4884 0 0 0 81 0 0 0 16 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0.68 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 3751 0 0 0 68 0 0 0 16 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0.79 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 4153 0 0 0 78 1 0 0 15 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0.69 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 3869 0 0 0 69 0 0 0 15 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0.7 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 3765 0 0 0 70 0 0 0 15 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0.76 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 5316 0 0 0 75 1 0 0 16 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0.73 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 3552 0 0 0 72 1 0 0 15 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0.69 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 3030 0 0 0 69 0 0 0 15 0 19 0 833739097 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 5858 0 0 0 54 2 0 0 15 0 19 0 833739098 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=1.43 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 19490 0 0 0 140 3 0 0 15 0 19 0 833739101 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8510 0 0 0 73 1 0 0 16 0 19 0 833739101 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 900361 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.19
Current children cumulated vsize (KiB) 10556940
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/471 12251
/proc/meminfo: memFree=5237536/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=1788.39 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 921398 0 1 0 178729 110 0 0 25 0 19 0 833739094 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 901162 2258 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=1779.39 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 853154 0 1 0 177846 93 0 0 25 0 19 0 833739095 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505590911 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0.85 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 5150 0 0 0 85 0 0 0 16 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0.73 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 3857 0 0 0 73 0 0 0 16 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0.84 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 4208 0 0 0 83 1 0 0 15 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 3996 0 0 0 74 0 0 0 15 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0.72 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 3826 0 0 0 72 0 0 0 15 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0.78 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 5334 0 0 0 77 1 0 0 16 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0.76 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 3697 0 0 0 75 1 0 0 16 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0.7 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 3058 0 0 0 70 0 0 0 15 0 19 0 833739097 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 5862 0 0 0 54 2 0 0 15 0 19 0 833739098 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=1.43 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 19490 0 0 0 140 3 0 0 15 0 19 0 833739101 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8510 0 0 0 73 1 0 0 16 0 19 0 833739101 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 901162 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 10556940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/471 12252
/proc/meminfo: memFree=5236308/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=10556940 CPUtime=1800.03 cores=1,3,5,7
/proc/12088/stat : 12088 (java) S 12086 12088 11532 0 -1 4202496 921471 0 1 0 179893 110 0 0 25 0 19 0 833739094 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 2639235 901232 2258 9 0 2629969 0
[pid=12088/tid=12089] ppid=12086 vsize=10556940 CPUtime=1790.99 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4202560 853155 0 1 0 179006 93 0 0 25 0 19 0 833739095 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 46912505706803 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12088/tid=12091] ppid=12086 vsize=10556940 CPUtime=0.85 cores=1,3,5,7
/proc/12088/task/12091/stat : 12091 (java) S 12086 12088 11532 0 -1 4202560 5150 0 0 0 85 0 0 0 15 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12092] ppid=12086 vsize=10556940 CPUtime=0.73 cores=1,3,5,7
/proc/12088/task/12092/stat : 12092 (java) S 12086 12088 11532 0 -1 4202560 3857 0 0 0 73 0 0 0 15 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12093] ppid=12086 vsize=10556940 CPUtime=0.84 cores=1,3,5,7
/proc/12088/task/12093/stat : 12093 (java) S 12086 12088 11532 0 -1 4202560 4215 0 0 0 83 1 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12094] ppid=12086 vsize=10556940 CPUtime=0.76 cores=1,3,5,7
/proc/12088/task/12094/stat : 12094 (java) S 12086 12088 11532 0 -1 4202560 4020 0 0 0 76 0 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12095] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12095/stat : 12095 (java) S 12086 12088 11532 0 -1 4202560 3850 0 0 0 74 0 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12096] ppid=12086 vsize=10556940 CPUtime=0.79 cores=1,3,5,7
/proc/12088/task/12096/stat : 12096 (java) S 12086 12088 11532 0 -1 4202560 5341 0 0 0 78 1 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 5 0 0 0
[pid=12088/tid=12097] ppid=12086 vsize=10556940 CPUtime=0.76 cores=1,3,5,7
/proc/12088/task/12097/stat : 12097 (java) S 12086 12088 11532 0 -1 4202560 3697 0 0 0 75 1 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12098] ppid=12086 vsize=10556940 CPUtime=0.71 cores=1,3,5,7
/proc/12088/task/12098/stat : 12098 (java) S 12086 12088 11532 0 -1 4202560 3066 0 0 0 71 0 0 0 16 0 19 0 833739097 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12099] ppid=12086 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/12088/task/12099/stat : 12099 (java) S 12086 12088 11532 0 -1 4202560 5862 0 0 0 54 2 0 0 15 0 19 0 833739098 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 0 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12100] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12100/stat : 12100 (java) S 12086 12088 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12101] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12101/stat : 12101 (java) S 12086 12088 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833739098 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12102] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12102/stat : 12102 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676631985 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12103] ppid=12086 vsize=10556940 CPUtime=1.43 cores=1,3,5,7
/proc/12088/task/12103/stat : 12103 (java) S 12086 12088 11532 0 -1 4202560 19490 0 0 0 140 3 0 0 15 0 19 0 833739101 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12104] ppid=12086 vsize=10556940 CPUtime=0.74 cores=1,3,5,7
/proc/12088/task/12104/stat : 12104 (java) S 12086 12088 11532 0 -1 4202560 8510 0 0 0 73 1 0 0 16 0 19 0 833739101 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 1 0 0 0
[pid=12088/tid=12105] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12105/stat : 12105 (java) S 12086 12088 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833739101 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624281 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
[pid=12088/tid=12106] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12106/stat : 12106 (java) S 12086 12088 11532 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 833739101 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 3 0 0 0
[pid=12088/tid=12107] ppid=12086 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/12088/task/12107/stat : 12107 (java) S 12086 12088 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833739108 10810306560 901232 33554432000 1073741824 1073778376 140735297426368 18446744073709551615 274676624896 0 4 0 16800975 18446604465154214912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10556940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.02 s]
/proc/loadavg: 2.01 2.03 2.00 3/471 12252
/proc/meminfo: memFree=5236308/32951132 swapFree=67093840/67111528
[pid=12088] ppid=12086 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/12088/stat : 12088 (java) Z 12086 12088 11532 0 -1 4203548 921511 0 1 0 179901 116 0 0 17 0 2 0 833739094 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12088/statm: 0 0 0 0 0 0 0
[pid=12088/tid=12089] ppid=12086 vsize=0 CPUtime=1791.08 cores=1,3,5,7
/proc/12088/task/12089/stat : 12089 (java) R 12086 12088 11532 0 -1 4203588 853155 0 1 0 179009 99 0 0 25 0 2 0 833739095 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.1
CPU time (s): 1800.25
CPU user time (s): 1799.02
CPU system time (s): 1.23481
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 10556940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.23481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921511
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41904
involuntary context switches= 29114
runsolver used 7.67883 second user time and 18.4992 second system time
The end