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-3729746-1338683137/watcher-3729746-1338683137 -o /tmp/evaluation-result-3729746-1338683137/solver-3729746-1338683137 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729746-1338683137.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 2.01 1.94 3/176 30331
/proc/meminfo: memFree=31441816/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=11016 CPUtime=0 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 334440713 11280384 299 33554432000 134512640 137136520 4286786672 4286785440 134519766 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 2754 299 188 641 0 2089 0
[startup+0.060672 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 30331
/proc/meminfo: memFree=31441816/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=11448 CPUtime=0.05 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 488 0 0 0 5 0 0 0 20 0 1 0 334440713 11722752 421 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 2862 421 196 641 0 2218 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11448
[startup+0.100261 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 30331
/proc/meminfo: memFree=31441816/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=11696 CPUtime=0.09 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 540 0 0 0 9 0 0 0 20 0 1 0 334440713 11976704 473 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 2924 473 196 641 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11696
[startup+0.30023 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 30331
/proc/meminfo: memFree=31441816/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=12320 CPUtime=0.29 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 698 0 0 0 29 0 0 0 20 0 1 0 334440713 12615680 631 33554432000 134512640 137136520 4286786672 4286785256 135982525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3080 631 196 641 0 2436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12320
[startup+0.700224 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 30331
/proc/meminfo: memFree=31441816/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=13188 CPUtime=0.69 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 914 0 0 0 69 0 0 0 20 0 1 0 334440713 13504512 847 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3297 847 196 641 0 2653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13188
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 30332
/proc/meminfo: memFree=31439096/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=13192 CPUtime=1.49 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 931 0 0 0 149 0 0 0 20 0 1 0 334440713 13508608 864 33554432000 134512640 137136520 4286786672 4286784952 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3298 864 196 641 0 2654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13192
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 30332
/proc/meminfo: memFree=31438352/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=14180 CPUtime=3.09 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 1183 0 0 0 308 1 0 0 20 0 1 0 334440713 14520320 1116 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3545 1116 196 641 0 2901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14180
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 30332
/proc/meminfo: memFree=31436808/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=15024 CPUtime=6.29 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 1381 0 0 0 627 2 0 0 20 0 1 0 334440713 15384576 1313 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3756 1313 196 641 0 3112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15024
[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 1.94 3/177 30332
/proc/meminfo: memFree=31436220/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=15276 CPUtime=12.68 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 1460 0 0 0 1265 3 0 0 20 0 1 0 334440713 15642624 1392 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 3819 1392 196 641 0 3175 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15276
[startup+25.5002 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 30332
/proc/meminfo: memFree=31435360/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=16008 CPUtime=25.49 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 1624 0 0 0 2543 6 0 0 20 0 1 0 334440713 16392192 1556 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4002 1556 197 641 0 3358 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16008
[startup+51.1002 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 30333
/proc/meminfo: memFree=31434180/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=17428 CPUtime=51.08 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 1990 0 0 0 5098 10 0 0 20 0 1 0 334440713 17846272 1921 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4357 1921 197 641 0 3713 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17428
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 30333
/proc/meminfo: memFree=31433808/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=17432 CPUtime=102.28 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2004 0 0 0 10207 21 0 0 20 0 1 0 334440713 17850368 1935 33554432000 134512640 137136520 4286786672 4286785600 134543954 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4358 1935 197 641 0 3714 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17432
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432940/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=18160 CPUtime=162.26 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2170 0 0 0 16192 34 0 0 20 0 1 0 334440713 18595840 2101 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4540 2101 197 641 0 3896 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18160
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30333
/proc/meminfo: memFree=31432256/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=19228 CPUtime=222.25 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2455 0 0 0 22179 46 0 0 20 0 1 0 334440713 19689472 2385 33554432000 134512640 137136520 4286786672 4286785600 134544428 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4807 2385 197 641 0 4163 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 19228
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 30384
/proc/meminfo: memFree=31438268/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=19236 CPUtime=282.25 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2457 0 0 0 28169 56 0 0 20 0 1 0 334440713 19697664 2387 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4809 2387 197 641 0 4165 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 19236
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/176 30384
/proc/meminfo: memFree=31436980/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=19484 CPUtime=342.23 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2517 0 0 0 34158 65 0 0 20 0 1 0 334440713 19951616 2447 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4871 2447 197 641 0 4227 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 19484
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30385
/proc/meminfo: memFree=31437096/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=19480 CPUtime=402.23 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2517 0 0 0 40148 75 0 0 20 0 1 0 334440713 19947520 2447 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4870 2447 197 641 0 4226 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 19480
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30385
/proc/meminfo: memFree=31435544/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=19980 CPUtime=462.21 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2633 0 0 0 46138 83 0 0 20 0 1 0 334440713 20459520 2563 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 4995 2563 197 641 0 4351 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 19980
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30385
/proc/meminfo: memFree=31434116/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=20832 CPUtime=522.21 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2856 0 0 0 52129 92 0 0 20 0 1 0 334440713 21331968 2785 33554432000 134512640 137136520 4286786672 4286785600 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5208 2785 197 641 0 4564 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30386
/proc/meminfo: memFree=31434108/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=20832 CPUtime=582.19 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2856 0 0 0 58117 102 0 0 20 0 1 0 334440713 21331968 2785 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5208 2785 197 641 0 4564 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 20832
[startup+642.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 30386
/proc/meminfo: memFree=31433248/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=20832 CPUtime=642.2 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 2856 0 0 0 64108 112 0 0 20 0 1 0 334440713 21331968 2785 33554432000 134512640 137136520 4286786672 4286785264 134616680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5208 2785 197 641 0 4564 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 20832
[startup+702.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 30387
/proc/meminfo: memFree=31431572/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=22128 CPUtime=702.18 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 3167 0 0 0 70097 121 0 0 20 0 1 0 334440713 22659072 3096 33554432000 134512640 137136520 4286786672 4286785600 134544604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5532 3096 197 641 0 4888 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 22128
[startup+762.307 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 30387
/proc/meminfo: memFree=31431572/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=22124 CPUtime=762.18 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 3167 0 0 0 76086 132 0 0 20 0 1 0 334440713 22654976 3096 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5531 3096 197 641 0 4887 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 22124
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30387
/proc/meminfo: memFree=31431696/32873844 swapFree=7116/7116
[pid=30331] ppid=30329 vsize=22120 CPUtime=822.16 cores=1,3,5,7
/proc/30331/stat : 30331 (bsolo) R 30329 30331 29538 0 -1 4202496 3167 0 0 0 82076 140 0 0 20 0 1 0 334440713 22650880 3096 33554432000 134512640 137136520 4286786672 4286785788 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30331/statm: 5530 3096 197 641 0 4886 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 22120
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 822.371
CPU time (s): 822.241
CPU user time (s): 820.832
CPU system time (s): 1.40879
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 22136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.832
system time used= 1.40878
maximum resident set size= 12384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 853
runsolver used 1.3128 second user time and 3.9384 second system time
The end