runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3717884-1338256617/watcher-3717884-1338256617 -o /tmp/evaluation-result-3717884-1338256617/solver-3717884-1338256617 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717884-1338256617.wbo
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: 1.91 1.98 1.99 3/194 12156
/proc/meminfo: memFree=30764064/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12156/stat : 12156 (java) D 12154 12156 6458 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291786532 9515008 182 33554432000 1073741824 1073778376 140734223905632 140734223896664 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12156/statm: 2323 182 140 9 0 71 0
[startup+0.0792181 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 12156
/proc/meminfo: memFree=30764064/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 3307 0 1 0 4 1 0 0 20 0 18 0 291786532 9787817984 4516 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2389604 4517 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416
[startup+0.100286 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 12156
/proc/meminfo: memFree=30764064/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 4275 0 1 0 8 1 0 0 20 0 18 0 291786532 9787817984 5471 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2389604 5471 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416
[startup+0.300198 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 12156
/proc/meminfo: memFree=30764064/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9558416 CPUtime=0.47 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 5577 0 1 0 45 2 0 0 20 0 18 0 291786532 9787817984 8405 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2389604 8405 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558416
[startup+0.700304 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 12156
/proc/meminfo: memFree=30764064/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9558416 CPUtime=1.23 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 7906 0 1 0 115 8 0 0 20 0 18 0 291786532 9787817984 44614 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2389604 44614 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9558416
[startup+1.50077 s]
/proc/loadavg: 1.91 1.98 1.99 3/212 12174
/proc/meminfo: memFree=30552436/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9558416 CPUtime=2.55 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 8937 0 1 0 229 26 0 0 20 0 18 0 291786532 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2389604 98646 2248 9 0 2380296 0
[pid=12156/tid=12158] ppid=12154 vsize=9558416 CPUtime=1.24 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2562 0 1 0 118 6 0 0 20 0 18 0 291786533 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864432958600 139864285040657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 109 0 0 0 5 1 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 151 0 0 0 5 2 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 96 0 0 0 6 2 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 68 0 0 0 6 1 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 96 0 0 0 5 2 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9558416 CPUtime=0.15 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 77 0 0 0 11 4 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9558416 CPUtime=0.17 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 273 0 0 0 12 5 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 53 0 0 0 3 3 0 0 20 0 18 0 291786534 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 291786536 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291786536 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291786536 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291786538 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9558416 CPUtime=0.18 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 988 0 0 0 18 0 0 0 20 0 18 0 291786538 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9558416 CPUtime=0.23 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 3095 0 0 0 23 0 0 0 20 0 18 0 291786538 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291786538 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291786538 9787817984 98646 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9558416
[startup+3.1008 s]
/proc/loadavg: 1.91 1.98 1.99 3/213 12175
/proc/meminfo: memFree=30377552/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9624980 CPUtime=5.07 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 11011 0 1 0 467 40 0 0 20 0 19 0 291786532 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2406245 123256 2267 9 0 2396937 0
[pid=12156/tid=12158] ppid=12154 vsize=9624980 CPUtime=2.7 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2575 0 1 0 264 6 0 0 20 0 19 0 291786533 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864432959032 139864285525324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 132 0 0 0 10 3 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 200 0 0 0 12 4 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 206 0 0 0 12 5 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 101 0 0 0 10 4 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 118 0 0 0 8 3 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 94 0 0 0 15 4 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 419 0 0 0 17 7 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 87 0 0 0 9 3 0 0 20 0 19 0 291786534 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1605 0 0 0 45 0 0 0 20 0 19 0 291786538 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4096 0 0 0 49 2 0 0 20 0 19 0 291786538 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 123256 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9624980
[startup+6.30081 s]
/proc/loadavg: 2.08 2.02 2.00 3/213 12175
/proc/meminfo: memFree=30278940/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9624980 CPUtime=8.29 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 11014 0 1 0 788 41 0 0 20 0 19 0 291786532 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2406245 123039 2267 9 0 2396937 0
[pid=12156/tid=12158] ppid=12154 vsize=9624980 CPUtime=5.9 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2578 0 1 0 584 6 0 0 20 0 19 0 291786533 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864432958168 139864285317368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 132 0 0 0 10 3 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 200 0 0 0 12 4 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 206 0 0 0 12 5 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 101 0 0 0 10 4 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 118 0 0 0 8 3 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 94 0 0 0 15 4 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 419 0 0 0 17 7 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 87 0 0 0 9 3 0 0 20 0 19 0 291786534 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1605 0 0 0 45 0 0 0 20 0 19 0 291786538 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4096 0 0 0 49 2 0 0 20 0 19 0 291786538 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 123039 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 9624980
[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 12175
/proc/meminfo: memFree=30278824/32873844 swapFree=6608/6608
################
# More data... #
################
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1622 0 0 0 50 0 0 0 20 0 19 0 291786538 9855979520 158382 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4647 0 0 0 61 2 0 0 20 0 19 0 291786538 9855979520 158382 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158382 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 99 0 0 0 43 59 0 0 20 0 19 0 291786538 9855979520 158382 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 158382 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.86
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/213 12271
/proc/meminfo: memFree=30749128/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9624980 CPUtime=1786.96 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 106111 0 1 0 178532 164 0 0 20 0 19 0 291786532 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2406245 158383 2282 9 0 2396937 0
[pid=12156/tid=12158] ppid=12154 vsize=9624980 CPUtime=1769.29 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2593 0 1 0 176897 32 0 0 20 0 19 0 291786533 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864432959808 139864285370949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 170 0 0 0 26 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 223 0 0 0 27 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 257 0 0 0 33 8 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 129 0 0 0 28 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 144 0 0 0 26 5 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 125 0 0 0 36 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 613 0 0 0 39 9 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 114 0 0 0 32 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9624980 CPUtime=7.64 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 94192 0 0 0 741 23 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1622 0 0 0 50 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4647 0 0 0 61 2 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=1.06 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 103 0 0 0 45 61 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.96
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.11 2.08 2.02 3/213 12272
/proc/meminfo: memFree=30746956/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 106111 0 1 0 179844 164 0 0 20 0 19 0 291786532 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2406245 158383 2282 9 0 2396937 0
[pid=12156/tid=12158] ppid=12154 vsize=9624980 CPUtime=1782.36 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2593 0 1 0 178203 33 0 0 20 0 19 0 291786533 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864432959808 139864285464285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 170 0 0 0 26 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 223 0 0 0 27 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 257 0 0 0 33 8 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 129 0 0 0 28 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 144 0 0 0 26 5 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 125 0 0 0 36 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 613 0 0 0 39 9 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 114 0 0 0 32 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9624980 CPUtime=7.64 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 94192 0 0 0 741 23 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1622 0 0 0 50 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4647 0 0 0 61 2 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=1.07 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 103 0 0 0 46 61 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.4 s]
/proc/loadavg: 2.11 2.08 2.02 3/213 12272
/proc/meminfo: memFree=30746956/32873844 swapFree=6608/6608
[pid=12156] ppid=12154 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/12156/stat : 12156 (java) S 12154 12156 6458 0 -1 4202496 106111 0 1 0 179844 164 0 0 20 0 19 0 291786532 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 140736778977136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12156/statm: 2406245 158383 2282 9 0 2396937 0
[pid=12156/tid=12158] ppid=12154 vsize=9624980 CPUtime=1782.36 cores=1,3,5,7
/proc/12156/task/12158/stat : 12158 (java) R 12154 12156 6458 0 -1 4202560 2593 0 1 0 178203 33 0 0 20 0 19 0 291786533 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864432959808 139864285464285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12156/tid=12159] ppid=12154 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/12156/task/12159/stat : 12159 (java) S 12154 12156 6458 0 -1 4202560 170 0 0 0 26 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864405412392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12160] ppid=12154 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12156/task/12160/stat : 12160 (java) S 12154 12156 6458 0 -1 4202560 223 0 0 0 27 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864404359592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12161] ppid=12154 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/12156/task/12161/stat : 12161 (java) S 12154 12156 6458 0 -1 4202560 257 0 0 0 33 8 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864403306792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12162] ppid=12154 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/12156/task/12162/stat : 12162 (java) S 12154 12156 6458 0 -1 4202560 129 0 0 0 28 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864273627304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12163] ppid=12154 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/12156/task/12163/stat : 12163 (java) S 12154 12156 6458 0 -1 4202560 144 0 0 0 26 5 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864272575528 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12164] ppid=12154 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/12156/task/12164/stat : 12164 (java) S 12154 12156 6458 0 -1 4202560 125 0 0 0 36 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864271522728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12165] ppid=12154 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/12156/task/12165/stat : 12165 (java) S 12154 12156 6458 0 -1 4202560 613 0 0 0 39 9 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864270469928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12166] ppid=12154 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/12156/task/12166/stat : 12166 (java) S 12154 12156 6458 0 -1 4202560 114 0 0 0 32 6 0 0 20 0 19 0 291786534 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139864269417128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12167] ppid=12154 vsize=9624980 CPUtime=7.64 cores=1,3,5,7
/proc/12156/task/12167/stat : 12167 (java) S 12154 12156 6458 0 -1 4202560 94192 0 0 0 741 23 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863786904040 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12168] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12168/stat : 12168 (java) S 12154 12156 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863785850104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12169] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12169/stat : 12169 (java) S 12154 12156 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291786536 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863784797192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12170] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12170/stat : 12170 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863783745680 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12171] ppid=12154 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/12156/task/12171/stat : 12171 (java) S 12154 12156 6458 0 -1 4202560 1622 0 0 0 50 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863782693816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12156/tid=12172] ppid=12154 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/12156/task/12172/stat : 12172 (java) S 12154 12156 6458 0 -1 4202560 4647 0 0 0 61 2 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863781641016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12173] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12173/stat : 12173 (java) S 12154 12156 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863780588408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12156/tid=12174] ppid=12154 vsize=9624980 CPUtime=1.07 cores=1,3,5,7
/proc/12156/task/12174/stat : 12174 (java) S 12154 12156 6458 0 -1 4202560 103 0 0 0 46 61 0 0 20 0 19 0 291786538 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863779535816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12156/tid=12175] ppid=12154 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12156/task/12175/stat : 12175 (java) S 12154 12156 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291786730 9855979520 158383 33554432000 1073741824 1073778376 140736778986000 139863778481320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12156 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=638325
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=853718
# CPU time returned by wait4() is 1795.49
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.43
CPU time (s): 1800.08
CPU user time (s): 1798.44
CPU system time (s): 1.64
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 1.85372
maximum resident set size= 660496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106151
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38505
involuntary context switches= 4965
runsolver used 10.9503 second user time and 11.9632 second system time
The end