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-3733422-1338743170/watcher-3733422-1338743170 -o /tmp/evaluation-result-3733422-1338743170/solver-3733422-1338743170 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733422-1338743170.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.76 3.85 3.80 4/195 30240
/proc/meminfo: memFree=25937652/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30240/stat : 30240 (java6) D 30238 30240 21196 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 340442470 9515008 176 33554432000 1073741824 1073778376 140736347907184 140736347889912 227512501136 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2323 176 133 9 0 71 0
[startup+0.0905769 s]
/proc/loadavg: 3.76 3.85 3.80 4/195 30240
/proc/meminfo: memFree=25937652/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 4134 0 1 0 6 0 0 0 20 0 18 0 340442470 2764726272 5853 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 674982 5853 1932 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100244 s]
/proc/loadavg: 3.76 3.85 3.80 4/195 30240
/proc/meminfo: memFree=25937652/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 4695 0 1 0 8 1 0 0 20 0 18 0 340442470 2764726272 6400 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 674982 6400 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300234 s]
/proc/loadavg: 3.76 3.85 3.80 4/195 30240
/proc/meminfo: memFree=25937652/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2700188 CPUtime=0.58 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 13811 0 1 0 56 2 0 0 20 0 18 0 340442470 2764992512 15160 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 675047 15160 2219 9 0 665741 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2700188
[startup+0.700179 s]
/proc/loadavg: 3.76 3.85 3.80 4/195 30240
/proc/meminfo: memFree=25937652/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2833056 CPUtime=1.5 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 18629 0 1 0 145 5 0 0 20 0 18 0 340442470 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 708264 20471 2249 9 0 698958 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2833056
Solver just ended. Dumping a history of the last processes samples
[startup+1.1067 s]
/proc/loadavg: 3.76 3.85 3.80 3/213 30260
/proc/meminfo: memFree=25859776/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2833056 CPUtime=1.5 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 18629 0 1 0 145 5 0 0 20 0 18 0 340442470 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 708264 20471 2249 9 0 698958 0
[pid=30240/tid=30242] ppid=30238 vsize=2833056 CPUtime=0.35 cores=0,2,4,6
/proc/30240/task/30242/stat : 30242 (java) S 30238 30240 21196 0 -1 4202560 2806 0 1 0 33 2 0 0 20 0 18 0 340442471 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596676277400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30243] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596660558888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596659506088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596658453288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30246] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596657400488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30247] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596656347688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30248] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596655294888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596654242088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30250] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30238 30240 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596653189288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30251] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30238 30240 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596640779240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30252] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30238 30240 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596639725304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30238 30240 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596638672392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596637620880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30238 vsize=2833056 CPUtime=0.44 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30238 30240 21196 0 -1 4202560 5156 0 0 0 44 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596636567992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30238 vsize=2833056 CPUtime=0.44 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30238 30240 21196 0 -1 4202560 9425 0 0 0 43 1 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596635515192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30257] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596634462584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30258] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596633409992 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2833056
[startup+1.30053 s]
/proc/loadavg: 3.76 3.85 3.80 3/213 30260
/proc/meminfo: memFree=25859776/32873624 swapFree=7112/7112
[pid=30240] ppid=30238 vsize=2833056 CPUtime=1.5 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30238 30240 21196 0 -1 4202496 18629 0 1 0 145 5 0 0 20 0 18 0 340442470 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140733878748400 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30240/statm: 708264 20471 2249 9 0 698958 0
[pid=30240/tid=30242] ppid=30238 vsize=2833056 CPUtime=0.35 cores=0,2,4,6
/proc/30240/task/30242/stat : 30242 (java) S 30238 30240 21196 0 -1 4202560 2806 0 1 0 33 2 0 0 20 0 18 0 340442471 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596676277400 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30243] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596660558888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596659506088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596658453288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30246] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596657400488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30247] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596656347688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30248] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596655294888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596654242088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30250] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30238 30240 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340442473 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596653189288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30251] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30238 30240 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596640779240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30252] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30238 30240 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596639725304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30238 30240 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340442474 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596638672392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596637620880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30238 vsize=2833056 CPUtime=0.44 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30238 30240 21196 0 -1 4202560 5156 0 0 0 44 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596636567992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30238 vsize=2833056 CPUtime=0.44 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30238 30240 21196 0 -1 4202560 9425 0 0 0 43 1 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596635515192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30257] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596634462584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30258] ppid=30238 vsize=2833056 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30238 30240 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340442477 2901049344 20471 33554432000 1073741824 1073778376 140733878757264 140596633409992 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2833056
Child status: 20
Real time (s): 1.39094
CPU time (s): 1.53277
CPU user time (s): 1.45178
CPU system time (s): 0.080987
CPU usage (%): 110.196
Max. virtual memory (cumulated for all children) (KiB): 2833056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45178
system time used= 0.080987
maximum resident set size= 83968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18642
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= 404
involuntary context switches= 25
runsolver used 0.007998 second user time and 0.008998 second system time
The end