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-3738235-1338724996/watcher-3738235-1338724996 -o /tmp/evaluation-result-3738235-1338724996/solver-3738235-1338724996 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3738235-1338724996.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.30 3.48 3.57 2/194 18194
/proc/meminfo: memFree=26059604/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18194/stat : 18194 (java) R 18192 18194 12644 0 -1 4202496 626 0 0 0 0 0 0 0 20 0 1 0 338625006 23793664 355 33554432000 1073741824 1073778376 140733527283232 140733527272296 270698330689 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 5809 365 280 9 0 128 0
[startup+0.0658821 s]
/proc/loadavg: 3.30 3.48 3.57 2/194 18194
/proc/meminfo: memFree=26059604/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11586392 CPUtime=0.05 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 4423 0 1 0 4 1 0 0 20 0 18 0 338625006 11864465408 12787 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2896598 12787 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392
[startup+0.100263 s]
/proc/loadavg: 3.30 3.48 3.57 2/194 18194
/proc/meminfo: memFree=26059604/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 5298 0 1 0 8 2 0 0 20 0 18 0 338625006 11864465408 13647 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2896598 13647 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300171 s]
/proc/loadavg: 3.30 3.48 3.57 2/194 18194
/proc/meminfo: memFree=26059604/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11586392 CPUtime=0.48 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 6331 0 1 0 46 2 0 0 20 0 18 0 338625006 11864465408 16371 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2896598 16371 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700218 s]
/proc/loadavg: 3.30 3.48 3.57 2/194 18194
/proc/meminfo: memFree=26059604/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 9415 0 1 0 122 5 0 0 20 0 19 0 338625006 12137111552 37904 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 37904 2257 9 0 2953849 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 11852648
[startup+1.50061 s]
/proc/loadavg: 3.30 3.48 3.57 1/213 18222
/proc/meminfo: memFree=25855504/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 13782 0 1 0 154 8 0 0 20 0 19 0 338625006 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 41652 2259 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.51 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3413 0 1 0 48 3 0 0 20 0 19 0 338625007 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) S 18192 18194 12644 0 -1 4202560 4098 0 0 0 44 0 0 0 20 0 19 0 338625012 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135622117560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18192 18194 12644 0 -1 4202560 4971 0 0 0 43 0 0 0 20 0 19 0 338625012 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135621064760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18219] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18219/stat : 18219 (java) S 18192 18194 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338625059 12137111552 41652 33554432000 1073741824 1073778376 140733527283232 140135614748200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 11852648
[startup+3.10056 s]
/proc/loadavg: 3.52 3.53 3.58 2/216 18237
/proc/meminfo: memFree=25683520/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=1.99 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 13868 0 1 0 189 10 0 0 20 0 22 0 338625006 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 46316 2265 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3414 0 1 0 49 3 0 0 20 0 22 0 338625007 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338625008 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338625010 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338625010 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338625010 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625012 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.54 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) R 18192 18194 12644 0 -1 4202560 4099 0 0 0 54 0 0 0 20 0 22 0 338625012 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135622117560 140135814995273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) R 18192 18194 12644 0 -1 4202560 5018 0 0 0 55 0 0 0 20 0 22 0 338625012 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135621051904 140135812886142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625012 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338625012 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18231] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18231/stat : 18231 (java) S 18192 18194 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338625160 12137111552 46316 33554432000 1073741824 1073778376 140733527283232 140135615800616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 11852648
heavy processes:
[startup+6.30076 s]
/proc/loadavg: 3.52 3.53 3.58 5/219 18261
/proc/meminfo: memFree=25256944/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=4.69 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 19318 0 1 0 443 26 0 0 20 0 19 0 338625006 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 104811 2291 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3415 0 1 0 49 3 0 0 20 0 19 0 338625007 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0.07 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 19 0 338625010 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) S 18192 18194 12644 0 -1 4202560 7970 0 0 0 98 0 0 0 20 0 19 0 338625012 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135622117560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18192 18194 12644 0 -1 4202560 6368 0 0 0 85 0 0 0 20 0 19 0 338625012 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135621064760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18231] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18231/stat : 18231 (java) S 18192 18194 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338625160 12137111552 104811 33554432000 1073741824 1073778376 140733527283232 140135615800616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 11852648
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+7.90062 s]
/proc/loadavg: 3.56 3.53 3.58 3/216 18279
/proc/meminfo: memFree=25155964/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=6.06 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 19413 0 1 0 575 31 0 0 20 0 19 0 338625006 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 128901 2292 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3415 0 1 0 49 3 0 0 20 0 19 0 338625007 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 39 0 0 0 16 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) S 18192 18194 12644 0 -1 4202560 7972 0 0 0 99 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135622117560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18192 18194 12644 0 -1 4202560 6386 0 0 0 92 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135621064760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18231] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18231/stat : 18231 (java) S 18192 18194 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338625160 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135615800616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 11852648
[startup+8.30076 s]
/proc/loadavg: 3.56 3.53 3.58 3/216 18279
/proc/meminfo: memFree=25155964/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=6.21 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 19424 0 1 0 588 33 0 0 20 0 19 0 338625006 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 128901 2292 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3415 0 1 0 49 3 0 0 20 0 19 0 338625007 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 39 0 0 0 16 1 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) S 18192 18194 12644 0 -1 4202560 7972 0 0 0 99 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135622117560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18192 18194 12644 0 -1 4202560 6387 0 0 0 92 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135621064760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18231] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18231/stat : 18231 (java) S 18192 18194 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338625160 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135615800616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 11852648
[startup+8.5006 s]
/proc/loadavg: 3.56 3.53 3.58 3/216 18279
/proc/meminfo: memFree=25155964/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=11852648 CPUtime=6.21 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18192 18194 12644 0 -1 4202496 19424 0 1 0 588 33 0 0 20 0 19 0 338625006 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140733527274368 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 2963162 128901 2292 9 0 2953849 0
[pid=18194/tid=18196] ppid=18192 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18192 18194 12644 0 -1 4202560 3415 0 1 0 49 3 0 0 20 0 19 0 338625007 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135809029272 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18197] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135798090536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18198] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18192 18194 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135797037736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18199] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135795985448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18200] ppid=18192 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18192 18194 12644 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135794932648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18201] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18192 18194 12644 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135793879336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18194/tid=18202] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18192 18194 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135792826536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18203] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18192 18194 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135791774248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18204] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18192 18194 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338625008 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135638526376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18205] ppid=18192 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18192 18194 12644 0 -1 4202560 39 0 0 0 16 1 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135626328808 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18206] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18192 18194 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135625274872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18207] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18192 18194 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338625010 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135624222472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18208] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135623170960 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) S 18192 18194 12644 0 -1 4202560 7972 0 0 0 99 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135622117560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18210] ppid=18192 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18192 18194 12644 0 -1 4202560 6387 0 0 0 92 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135621064760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18211] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18211/stat : 18211 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135620012664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18194/tid=18212] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18192 18194 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338625012 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135618960072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18194/tid=18231] ppid=18192 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18231/stat : 18231 (java) S 18192 18194 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338625160 12137111552 128901 33554432000 1073741824 1073778376 140733527283232 140135615800616 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 11852648
[startup+8.60057 s]
/proc/loadavg: 3.56 3.53 3.58 3/216 18279
/proc/meminfo: memFree=25155964/32873648 swapFree=6864/6864
[pid=18194] ppid=18192 vsize=0 CPUtime=6.3 cores=0,2,4,6
/proc/18194/stat : 18194 (java) Z 18192 18194 12644 0 -1 4203532 19447 0 1 0 592 38 0 0 20 0 2 0 338625006 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18194/statm: 0 0 0 0 0 0 0
[pid=18194/tid=18209] ppid=18192 vsize=0 CPUtime=1 cores=0,2,4,6
/proc/18194/task/18209/stat : 18209 (java) R 18192 18194 12644 0 -1 4203588 7985 0 0 0 100 0 0 0 20 0 2 0 338625012 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 8.60348
CPU time (s): 6.30204
CPU user time (s): 5.9201
CPU system time (s): 0.381941
CPU usage (%): 73.2499
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9201
system time used= 0.381941
maximum resident set size= 515680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19447
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 956
involuntary context switches= 241
runsolver used 0.035994 second user time and 0.068989 second system time
The end