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-4110513-1466347531/watcher-4110513-1466347531 -o /tmp/evaluation-result-4110513-1466347531/solver-4110513-1466347531 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466347527-21911 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110513-1466347531.wbo
pid=22074
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.15 1.16 1.26 2/171 22077
/proc/meminfo: memFree=31237740/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22077/stat : 22077 (java) R 22074 22077 18872 0 -1 4202496 762 0 0 0 0 0 0 0 20 0 1 0 36803256 23793664 411 33554432000 1073741824 1073778376 140737158381312 140737158370376 270109030963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 5809 422 322 9 0 128 0
[startup+0.100115 s]
/proc/loadavg: 1.15 1.16 1.26 2/171 22077
/proc/meminfo: memFree=31237740/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 4458 0 1 0 9 1 0 0 20 0 18 0 36803256 9787879424 5573 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2389619 5573 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 1.15 1.16 1.26 2/171 22077
/proc/meminfo: memFree=31237740/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 4726 0 1 0 22 1 0 0 20 0 18 0 36803256 9787879424 7844 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2389619 7844 2196 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300262 s]
/proc/loadavg: 1.15 1.16 1.26 2/171 22077
/proc/meminfo: memFree=31237740/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 7352 0 1 0 50 2 0 0 20 0 18 0 36803256 9787879424 16251 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2389619 16251 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700222 s]
/proc/loadavg: 1.15 1.16 1.26 2/171 22077
/proc/meminfo: memFree=31237740/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9558476 CPUtime=1.3 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 8104 0 1 0 117 13 0 0 20 0 18 0 36803256 9787879424 86905 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2389619 86905 2252 9 0 2380296 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9558476
[startup+1.50084 s]
/proc/loadavg: 1.14 1.16 1.26 2/212 22154
/proc/meminfo: memFree=30816368/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9558476 CPUtime=2.79 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 14742 0 1 0 256 23 0 0 20 0 18 0 36803256 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2389619 109083 2267 9 0 2380296 0
[pid=22077/tid=22079] ppid=22074 vsize=9558476 CPUtime=1.26 cores=0,2,4,6
/proc/22077/task/22079/stat : 22079 (java) R 22074 22077 18872 0 -1 4202560 2585 0 1 0 121 5 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910230756440 139910171021914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22080] ppid=22074 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/22077/task/22080/stat : 22080 (java) S 22074 22077 18872 0 -1 4202560 113 0 0 0 8 3 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910074808744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22081] ppid=22074 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22081/stat : 22081 (java) S 22074 22077 18872 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910073756200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22082] ppid=22074 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/22077/task/22082/stat : 22082 (java) S 22074 22077 18872 0 -1 4202560 103 0 0 0 4 1 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910072703144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22083] ppid=22074 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 67 0 0 0 10 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 86 0 0 0 4 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 36803257 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) S 22074 22077 18872 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 36803259 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910055029096 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 36803259 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 36803259 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 36803261 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9558476 CPUtime=0.35 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) S 22074 22077 18872 0 -1 4202560 4543 0 0 0 35 0 0 0 20 0 18 0 36803261 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910050818872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 5542 0 0 0 38 0 0 0 20 0 18 0 36803261 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 36803261 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 36803261 9787879424 109083 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 9558476
[startup+3.10078 s]
/proc/loadavg: 1.14 1.16 1.26 5/219 22164
/proc/meminfo: memFree=30681784/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9824732 CPUtime=5.88 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 15247 0 1 0 561 27 0 0 20 0 22 0 36803256 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2456183 146628 2282 9 0 2446860 0
[pid=22077/tid=22079] ppid=22074 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/22077/task/22079/stat : 22079 (java) S 22074 22077 18872 0 -1 4202560 2667 0 1 0 199 6 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910230758264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22080] ppid=22074 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/22077/task/22080/stat : 22080 (java) S 22074 22077 18872 0 -1 4202560 113 0 0 0 8 3 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910074808744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22081] ppid=22074 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22081/stat : 22081 (java) S 22074 22077 18872 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910073756200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22082] ppid=22074 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/22077/task/22082/stat : 22082 (java) S 22074 22077 18872 0 -1 4202560 103 0 0 0 4 1 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910072703144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22083] ppid=22074 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 67 0 0 0 10 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 86 0 0 0 4 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 22 0 36803257 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) S 22074 22077 18872 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910055029096 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) R 22074 22077 18872 0 -1 4202560 4597 0 0 0 73 0 0 0 20 0 22 0 36803261 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910050818872 139910238503856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 5589 0 0 0 69 0 0 0 20 0 22 0 36803261 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22163] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22163/stat : 22163 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803444 10060525568 146628 33554432000 1073741824 1073778376 140737158381312 139910044451624 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 9824732
[startup+6.30105 s]
/proc/loadavg: 1.14 1.16 1.26 5/219 22167
/proc/meminfo: memFree=30420288/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9824732 CPUtime=12.97 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 17797 0 1 0 1268 29 0 0 20 0 22 0 36803256 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2456183 156393 2283 9 0 2446860 0
[pid=22077/tid=22079] ppid=22074 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/22077/task/22079/stat : 22079 (java) S 22074 22077 18872 0 -1 4202560 2667 0 1 0 199 6 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910230758264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22080] ppid=22074 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/22077/task/22080/stat : 22080 (java) S 22074 22077 18872 0 -1 4202560 113 0 0 0 8 3 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910074808744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22081] ppid=22074 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22081/stat : 22081 (java) S 22074 22077 18872 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910073756200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22082] ppid=22074 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/22077/task/22082/stat : 22082 (java) S 22074 22077 18872 0 -1 4202560 103 0 0 0 4 1 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910072703144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22083] ppid=22074 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 67 0 0 0 10 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 86 0 0 0 4 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 22 0 36803257 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) S 22074 22077 18872 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910055029096 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36803259 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) S 22074 22077 18872 0 -1 4202560 5559 0 0 0 105 0 0 0 20 0 22 0 36803261 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910050818872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 7140 0 0 0 107 1 0 0 20 0 22 0 36803261 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803261 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22163] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22163/stat : 22163 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36803444 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910044451624 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22165] ppid=22074 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/22077/task/22165/stat : 22165 (java) R 22074 22077 18872 0 -1 4202560 11 0 0 0 348 0 0 0 20 0 22 0 36803535 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910046555232 139910170513356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22166] ppid=22074 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/22077/task/22166/stat : 22166 (java) R 22074 22077 18872 0 -1 4202560 38 0 0 0 347 0 0 0 20 0 22 0 36803535 10060525568 156393 33554432000 1073741824 1073778376 140737158381312 139910045502584 139910171880837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22167] ppid=22074 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=22077/tid=22083] ppid=22074 vsize=9957860 CPUtime=0.71 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 399 0 0 0 53 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9957860 CPUtime=0.65 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 397 0 0 0 49 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9957860 CPUtime=0.72 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 474 0 0 0 54 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9957860 CPUtime=0.68 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 310 0 0 0 49 19 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9957860 CPUtime=0.54 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 226 0 0 0 42 12 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9957860 CPUtime=1.87 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) R 22074 22077 18872 0 -1 4202560 1343 0 0 0 183 4 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910055027848 139910234919228 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9957860 CPUtime=1.8 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) S 22074 22077 18872 0 -1 4202560 5610 0 0 0 178 2 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910050818872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9957860 CPUtime=1.22 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 7143 0 0 0 121 1 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 53 0 0 0 19 20 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22177] ppid=22074 vsize=9957860 CPUtime=584.49 cores=0,2,4,6
/proc/22077/task/22177/stat : 22177 (java) S 22074 22077 18872 0 -1 4202560 18 0 0 0 58441 8 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910046555256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22178] ppid=22074 vsize=9957860 CPUtime=584.37 cores=0,2,4,6
/proc/22077/task/22178/stat : 22178 (java) S 22074 22077 18872 0 -1 4202560 644 0 0 0 58424 13 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910045502200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22179] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22179/stat : 22179 (java) S 22074 22077 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 36834571 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910043400056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22194] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22194/stat : 22194 (java) S 22074 22077 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910042345576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22195] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22195/stat : 22195 (java) S 22074 22077 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910041292744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 9957860
[startup+901.401 s]
/proc/loadavg: 4.16 4.00 3.02 2/193 22228
/proc/meminfo: memFree=29163272/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9957860 CPUtime=1801.93 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 21954 0 1 0 180018 175 0 0 20 0 23 0 36803256 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2489465 519761 2297 9 0 2480142 0
[pid=22077/tid=22079] ppid=22074 vsize=9957860 CPUtime=2.47 cores=0,2,4,6
/proc/22077/task/22079/stat : 22079 (java) S 22074 22077 18872 0 -1 4202560 2675 0 1 0 239 8 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910230757976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22080] ppid=22074 vsize=9957860 CPUtime=0.58 cores=0,2,4,6
/proc/22077/task/22080/stat : 22080 (java) S 22074 22077 18872 0 -1 4202560 323 0 0 0 42 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910074808744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22081] ppid=22074 vsize=9957860 CPUtime=0.61 cores=0,2,4,6
/proc/22077/task/22081/stat : 22081 (java) S 22074 22077 18872 0 -1 4202560 393 0 0 0 45 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910073756200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22082] ppid=22074 vsize=9957860 CPUtime=0.51 cores=0,2,4,6
/proc/22077/task/22082/stat : 22082 (java) S 22074 22077 18872 0 -1 4202560 285 0 0 0 41 10 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910072703144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22083] ppid=22074 vsize=9957860 CPUtime=0.71 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 399 0 0 0 53 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9957860 CPUtime=0.65 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 397 0 0 0 49 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9957860 CPUtime=0.72 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 474 0 0 0 54 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9957860 CPUtime=0.68 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 310 0 0 0 49 19 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9957860 CPUtime=0.54 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 226 0 0 0 42 12 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9957860 CPUtime=2.07 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) R 22074 22077 18872 0 -1 4202560 1343 0 0 0 203 4 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910055027848 270117906253 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9957860 CPUtime=1.8 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) S 22074 22077 18872 0 -1 4202560 5610 0 0 0 178 2 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910050818872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9957860 CPUtime=1.22 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 7143 0 0 0 121 1 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 53 0 0 0 19 20 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22177] ppid=22074 vsize=9957860 CPUtime=584.49 cores=0,2,4,6
/proc/22077/task/22177/stat : 22177 (java) S 22074 22077 18872 0 -1 4202560 18 0 0 0 58441 8 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910046555256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22178] ppid=22074 vsize=9957860 CPUtime=584.37 cores=0,2,4,6
/proc/22077/task/22178/stat : 22178 (java) S 22074 22077 18872 0 -1 4202560 644 0 0 0 58424 13 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910045502200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22179] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22179/stat : 22179 (java) S 22074 22077 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 36834571 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910043400056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22194] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22194/stat : 22194 (java) S 22074 22077 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910042345576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22195] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22195/stat : 22195 (java) S 22074 22077 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910041292744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 9957860
[startup+901.501 s]
/proc/loadavg: 4.16 4.00 3.02 2/193 22228
/proc/meminfo: memFree=29163272/32872528 swapFree=526336/559040
[pid=22077] ppid=22074 vsize=9957860 CPUtime=1802.03 cores=0,2,4,6
/proc/22077/stat : 22077 (java) S 22074 22077 18872 0 -1 4202496 21954 0 1 0 180028 175 0 0 20 0 23 0 36803256 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 140737158372448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22077/statm: 2489465 519761 2297 9 0 2480142 0
[pid=22077/tid=22079] ppid=22074 vsize=9957860 CPUtime=2.47 cores=0,2,4,6
/proc/22077/task/22079/stat : 22079 (java) S 22074 22077 18872 0 -1 4202560 2675 0 1 0 239 8 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910230757976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22080] ppid=22074 vsize=9957860 CPUtime=0.58 cores=0,2,4,6
/proc/22077/task/22080/stat : 22080 (java) S 22074 22077 18872 0 -1 4202560 323 0 0 0 42 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910074808744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22081] ppid=22074 vsize=9957860 CPUtime=0.61 cores=0,2,4,6
/proc/22077/task/22081/stat : 22081 (java) S 22074 22077 18872 0 -1 4202560 393 0 0 0 45 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910073756200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22082] ppid=22074 vsize=9957860 CPUtime=0.51 cores=0,2,4,6
/proc/22077/task/22082/stat : 22082 (java) S 22074 22077 18872 0 -1 4202560 285 0 0 0 41 10 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910072703144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22083] ppid=22074 vsize=9957860 CPUtime=0.71 cores=0,2,4,6
/proc/22077/task/22083/stat : 22083 (java) S 22074 22077 18872 0 -1 4202560 399 0 0 0 53 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910071650600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22084] ppid=22074 vsize=9957860 CPUtime=0.65 cores=0,2,4,6
/proc/22077/task/22084/stat : 22084 (java) S 22074 22077 18872 0 -1 4202560 397 0 0 0 49 16 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910070598568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22085] ppid=22074 vsize=9957860 CPUtime=0.72 cores=0,2,4,6
/proc/22077/task/22085/stat : 22085 (java) S 22074 22077 18872 0 -1 4202560 474 0 0 0 54 18 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910069546024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22086] ppid=22074 vsize=9957860 CPUtime=0.68 cores=0,2,4,6
/proc/22077/task/22086/stat : 22086 (java) S 22074 22077 18872 0 -1 4202560 310 0 0 0 49 19 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910068492968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22087] ppid=22074 vsize=9957860 CPUtime=0.54 cores=0,2,4,6
/proc/22077/task/22087/stat : 22087 (java) S 22074 22077 18872 0 -1 4202560 226 0 0 0 42 12 0 0 20 0 23 0 36803257 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910067440424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22088] ppid=22074 vsize=9957860 CPUtime=2.17 cores=0,2,4,6
/proc/22077/task/22088/stat : 22088 (java) R 22074 22077 18872 0 -1 4202560 1343 0 0 0 213 4 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910055027848 139910237614151 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22089] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22089/stat : 22089 (java) S 22074 22077 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910053975416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22090] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22090/stat : 22090 (java) S 22074 22077 18872 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 36803259 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910052922248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22092] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22092/stat : 22092 (java) S 22074 22077 18872 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910051870992 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22093] ppid=22074 vsize=9957860 CPUtime=1.8 cores=0,2,4,6
/proc/22077/task/22093/stat : 22093 (java) S 22074 22077 18872 0 -1 4202560 5610 0 0 0 178 2 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910050818872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22094] ppid=22074 vsize=9957860 CPUtime=1.22 cores=0,2,4,6
/proc/22077/task/22094/stat : 22094 (java) S 22074 22077 18872 0 -1 4202560 7143 0 0 0 121 1 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910049766328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22095] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22095/stat : 22095 (java) S 22074 22077 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910048713464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22096] ppid=22074 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/22077/task/22096/stat : 22096 (java) S 22074 22077 18872 0 -1 4202560 53 0 0 0 19 20 0 0 20 0 23 0 36803261 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910047661128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22077/tid=22177] ppid=22074 vsize=9957860 CPUtime=584.49 cores=0,2,4,6
/proc/22077/task/22177/stat : 22177 (java) S 22074 22077 18872 0 -1 4202560 18 0 0 0 58441 8 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910046555256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22178] ppid=22074 vsize=9957860 CPUtime=584.37 cores=0,2,4,6
/proc/22077/task/22178/stat : 22178 (java) S 22074 22077 18872 0 -1 4202560 644 0 0 0 58424 13 0 0 20 0 23 0 36834554 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910045502200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22077/tid=22179] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22179/stat : 22179 (java) S 22074 22077 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 36834571 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910043400056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22077/tid=22194] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22194/stat : 22194 (java) S 22074 22077 18872 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910042345576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22077/tid=22195] ppid=22074 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/22077/task/22195/stat : 22195 (java) S 22074 22077 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 36893207 10196848640 519761 33554432000 1073741824 1073778376 140737158381312 139910041292744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 9957860
Child ended because it received signal 9 (SIGKILL)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22077 and gives
# childrusage.ru_utime.tv_sec=1797
# childrusage.ru_utime.tv_usec=258775
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=90682
# CPU time returned by wait4() is 1799.35
# while last known CPU time is 1802.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.33002
# lost CPU user time (s): 1.41998
# lost CPU system time (s): -0.09
Real time (s): 901.515
CPU time (s): 1803.36
CPU user time (s): 1801.7
CPU system time (s): 1.66
CPU usage (%): 200.037
Max. virtual memory (cumulated for all children) (KiB): 9957860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.26
system time used= 2.09068
maximum resident set size= 2079044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21954
page faults= 1
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21628
involuntary context switches= 9753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15206 second user time and 7.47686 second system time
The end