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-3730252-1338680163/watcher-3730252-1338680163 -o /tmp/evaluation-result-3730252-1338680163/solver-3730252-1338680163 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730252-1338680163.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29151/stat : 29151 (java) D 29149 29151 28219 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334141238 9515008 183 33554432000 1073741824 1073778376 140737284997696 140737284988728 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29151/statm: 2323 183 140 9 0 71 0
[startup+0.0814681 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 4071 0 1 0 4 1 0 0 20 0 18 0 334141238 3027767296 5789 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739201 5789 1768 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.10035 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 334141238 3028844544 5859 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300315 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 8389 0 1 0 48 2 0 0 20 0 18 0 334141238 3028844544 11689 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739464 11689 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856
[startup+0.700311 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1.38 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10799 0 1 0 135 3 0 0 20 0 19 0 334141238 3097006080 19462 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 19462 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420
[startup+1.50079 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30341048/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10809 0 1 0 217 3 0 0 20 0 19 0 334141238 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 23559 2276 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3075 0 1 0 144 2 0 0 20 0 19 0 334141239 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982210331136 139982061319644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3341 0 0 0 38 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 33 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420
[startup+3.10083 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30322492/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=3.87 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10823 0 1 0 383 4 0 0 20 0 19 0 334141238 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 30216 2277 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3088 0 1 0 303 2 0 0 20 0 19 0 334141239 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982210331272 139982061298642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3342 0 0 0 44 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 33 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 3024420
[startup+6.30083 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30277064/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=7.09 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10843 0 1 0 705 4 0 0 20 0 19 0 334141238 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 39400 2277 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3108 0 1 0 621 3 0 0 20 0 19 0 334141239 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982210329120 139982061323707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3342 0 0 0 46 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 34 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3199 0 0 0 38 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 99 0 0 0 48 56 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.55
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 29267
/proc/meminfo: memFree=29298268/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1786.59 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 178451 208 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1775.15 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 177481 34 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061297874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 57 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 2.08 2.02 1.92 3/213 29268
/proc/meminfo: memFree=29298516/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 179792 209 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1788.52 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 178817 35 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061298147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 58 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.7 s]
/proc/loadavg: 2.08 2.02 1.92 3/213 29268
/proc/meminfo: memFree=29298516/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 179792 209 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1788.52 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 178817 35 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061298147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 58 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29151 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=298377
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=572608
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.72
CPU time (s): 1800.01
CPU user time (s): 1797.92
CPU system time (s): 2.09
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.3
system time used= 2.57261
maximum resident set size= 1679136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13254
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38027
involuntary context switches= 4150
runsolver used 6.87096 second user time and 16.6615 second system time
The end