Trace number 3707423

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 3.2UNSAT 1012.53 1012.69

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
MD5SUM12591fb3a3171df58322c5e93cb6a45b
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.86272
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707423-1338140523.opb
0.00/0.00	c File size is 83383 bytes.
0.00/0.00	c Highest Coefficient sum: 723
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.00	c Obj. Vars: 0 (0 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    231     2586     8096    3     5473    1880      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1012.43/1012.68	c      101    231     2753    14269    5     5810    2069    167   5050 0.02
1012.43/1012.68	c      252    231     2955    22099    7     6215    2276    369   5361 0.05
1012.43/1012.68	c      480    231     3248    36236   11     6808    2504    662   5217 0.09
1012.43/1012.68	c      820    231     3636    54323   14     7592    2755   1050   4767 0.17
1012.43/1012.68	c     1329    231     4218    78275   18     8765    3031   1632   4287 0.31
1012.43/1012.68	c     2093    231     5060   107559   21    10460    3335   2474   4152 0.50
1012.43/1012.68	c     3239    231     4514    75952   16     9378    3669   1928   3865 0.84
1012.43/1012.68	c     4961    231     4434    74802   16     9179    4036   1848   3758 1.32
1012.43/1012.68	c     7548    231     5073    87166   17    10464    4440   2487   3882 1.94
1012.43/1012.68	c    11429    231     6826   172552   25    14125    4885   4240   3742 3.05
1012.43/1012.68	c    17251    231     5499   111669   20    11387    5374   2913   3531 4.88
1012.43/1012.68	c    25988    231     6580   142582   21    13502    5912   3994   3570 7.28
1012.43/1012.68	c    39098    231     5543   113734   20    11422    6504   2957   3383 11.56
1012.43/1012.68	c    58769    231     6689   159869   23    13792    7155   4103   3315 17.72
1012.43/1012.68	c    88284    231     9067   270905   29    18669    7871   6481   3188 27.68
1012.43/1012.68	c   132554    231     8443   213352   25    17342    8659   5857   3008 44.07
1012.43/1012.68	c   198964    231    10197   292405   28    20838    9525   7611   2804 70.93
1012.43/1012.68	c   298588    231     8608   253663   29    17654   10478   6022   2598 114.91
1012.43/1012.68	c   448024    231    13020   393658   30    26500   11526  10434   2485 180.24
1012.43/1012.68	c   672184    231    10392   306675   29    21136   12679   7806   2365 284.18
1012.43/1012.68	c  1008428    231    14828   469921   31    30012   13947  12242   2242 449.74
1012.43/1012.68	c  1512799    231    10551   367003   34    21512   15342   7965   2124 712.00
1012.43/1012.68	c Backtracks by Clause: 2060716
1012.43/1012.68	c Backtracks by PB constraint: 2309
1012.43/1012.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1012.43/1012.68	c   22  2063025 440709  2886083    12524   350955   9938   2037 1012.53
1012.43/1012.68	s UNSATISFIABLE
1012.43/1012.68	c Total time: 1012.53 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3707423-1338140523/watcher-3707423-1338140523 -o /tmp/evaluation-result-3707423-1338140523/solver-3707423-1338140523 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707423-1338140523.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: 2.01 2.00 1.92 3/176 12133
/proc/meminfo: memFree=28181596/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=11020 CPUtime=0 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 280180847 11284480 280 33554432000 134512640 137138936 4292851888 4292850400 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 2755 281 180 642 0 2090 0

[startup+0.0675011 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12133
/proc/meminfo: memFree=28181596/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=11452 CPUtime=0.06 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 488 0 0 0 6 0 0 0 20 0 1 0 280180847 11726848 420 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 2863 420 192 642 0 2219 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11452

[startup+0.100271 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12133
/proc/meminfo: memFree=28181596/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=11580 CPUtime=0.09 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 528 0 0 0 9 0 0 0 20 0 1 0 280180847 11857920 460 33554432000 134512640 137138936 4292851888 4292850168 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 2895 460 192 642 0 2251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11580

[startup+0.300241 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12133
/proc/meminfo: memFree=28181596/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=12204 CPUtime=0.29 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 676 0 0 0 29 0 0 0 20 0 1 0 280180847 12496896 608 33554432000 134512640 137138936 4292851888 4292850168 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3051 608 192 642 0 2407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12204

[startup+0.700236 s]
/proc/loadavg: 2.01 2.00 1.92 3/176 12133
/proc/meminfo: memFree=28181596/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=13080 CPUtime=0.69 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 904 0 0 0 69 0 0 0 20 0 1 0 280180847 13393920 836 33554432000 134512640 137138936 4292851888 4292850816 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3270 836 192 642 0 2626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13080

[startup+1.50023 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12134
/proc/meminfo: memFree=28178364/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=13328 CPUtime=1.48 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 965 0 0 0 148 0 0 0 20 0 1 0 280180847 13647872 897 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3332 897 192 642 0 2688 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13328

[startup+3.10024 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12134
/proc/meminfo: memFree=28178008/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=13816 CPUtime=3.09 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 1081 0 0 0 308 1 0 0 20 0 1 0 280180847 14147584 1013 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3454 1013 192 642 0 2810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13816

[startup+6.30024 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28266676/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=14416 CPUtime=6.28 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 1243 0 0 0 627 1 0 0 20 0 1 0 280180847 14761984 1174 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3604 1174 192 642 0 2960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14416

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28264964/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=15032 CPUtime=12.68 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 1398 0 0 0 1265 3 0 0 20 0 1 0 280180847 15392768 1329 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3758 1329 192 642 0 3114 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15032

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28262956/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=15768 CPUtime=25.48 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 1585 0 0 0 2541 7 0 0 20 0 1 0 280180847 16146432 1516 33554432000 134512640 137138936 4292851888 4292850816 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 3942 1516 192 642 0 3298 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15768

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28261528/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=17124 CPUtime=51.08 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 1917 0 0 0 5095 13 0 0 20 0 1 0 280180847 17534976 1847 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4281 1847 192 642 0 3637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17124

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28259480/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=18192 CPUtime=102.27 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2186 0 0 0 10206 21 0 0 20 0 1 0 280180847 18628608 2116 33554432000 134512640 137138936 4292851888 4292850816 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4548 2116 192 642 0 3904 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18192

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28258424/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=18780 CPUtime=162.27 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2321 0 0 0 16196 31 0 0 20 0 1 0 280180847 19230720 2250 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4695 2250 192 642 0 4051 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18780

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12172
/proc/meminfo: memFree=28257804/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=18576 CPUtime=222.25 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2322 0 0 0 22184 41 0 0 20 0 1 0 280180847 19021824 2218 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4644 2218 192 642 0 4000 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 18576

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12210
/proc/meminfo: memFree=28259060/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=19144 CPUtime=282.24 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2463 0 0 0 28175 49 0 0 20 0 1 0 280180847 19603456 2359 33554432000 134512640 137138936 4292851888 4292850784 134542246 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4786 2359 192 642 0 4142 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19144

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12211
/proc/meminfo: memFree=28257324/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=19608 CPUtime=342.23 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2568 0 0 0 34165 58 0 0 20 0 1 0 280180847 20078592 2464 33554432000 134512640 137138936 4292851888 4292850816 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4902 2464 192 642 0 4258 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 19608

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12211
/proc/meminfo: memFree=28256764/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=19608 CPUtime=402.23 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2568 0 0 0 40156 67 0 0 20 0 1 0 280180847 20078592 2464 33554432000 134512640 137138936 4292851888 4292850816 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4902 2464 192 642 0 4258 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 19608

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12211
/proc/meminfo: memFree=28256516/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=19720 CPUtime=462.22 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2591 0 0 0 46145 77 0 0 20 0 1 0 280180847 20193280 2487 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 4930 2487 192 642 0 4286 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 19720

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12214
/proc/meminfo: memFree=28252724/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=21316 CPUtime=522.21 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2990 0 0 0 52136 85 0 0 20 0 1 0 280180847 21827584 2885 33554432000 134512640 137138936 4292851888 4292850748 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5329 2885 192 642 0 4685 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 21316

[startup+582.3 s]
/proc/loadavg: 2.15 2.03 1.93 3/177 12214
/proc/meminfo: memFree=28252544/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=21292 CPUtime=582.19 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2990 0 0 0 58126 93 0 0 20 0 1 0 280180847 21803008 2885 33554432000 134512640 137138936 4292851888 4292850432 134618912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5323 2885 192 642 0 4679 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 21292

[startup+642.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 12215
/proc/meminfo: memFree=28252420/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=21288 CPUtime=642.2 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2990 0 0 0 64117 103 0 0 20 0 1 0 280180847 21798912 2885 33554432000 134512640 137138936 4292851888 4292850644 136502585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5322 2885 192 642 0 4678 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 21288

[startup+702.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 12215
/proc/meminfo: memFree=28252544/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=21288 CPUtime=702.18 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 2990 0 0 0 70107 111 0 0 20 0 1 0 280180847 21798912 2885 33554432000 134512640 137138936 4292851888 4292849188 136500245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5322 2885 192 642 0 4678 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 21288

[startup+762.307 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12215
/proc/meminfo: memFree=28251364/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22520 CPUtime=762.17 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3298 0 0 0 76099 118 0 0 20 0 1 0 280180847 23060480 3192 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5630 3192 192 642 0 4986 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 22520

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12215
/proc/meminfo: memFree=28251364/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22520 CPUtime=822.16 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3298 0 0 0 82088 128 0 0 20 0 1 0 280180847 23060480 3192 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5630 3192 192 642 0 4986 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 22520

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12215
/proc/meminfo: memFree=28251116/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22520 CPUtime=882.16 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3298 0 0 0 88078 138 0 0 20 0 1 0 280180847 23060480 3192 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5630 3192 192 642 0 4986 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 22520

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250372/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22868 CPUtime=942.15 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 94070 145 0 0 20 0 1 0 280180847 23416832 3283 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5717 3283 192 642 0 5073 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 22868

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1002.13 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 100060 153 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292850816 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 22736

Solver just ended. Dumping a history of the last processes samples

[startup+1004.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1004.53 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 100300 153 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1004.53
Current children cumulated vsize (KiB) 22736

[startup+1007.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1007.74 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 100620 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1007.74
Current children cumulated vsize (KiB) 22736

[startup+1011.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1010.93 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 100939 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292850384 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1010.93
Current children cumulated vsize (KiB) 22736

[startup+1011.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1011.74 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 101020 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292851004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1011.74
Current children cumulated vsize (KiB) 22736

[startup+1012.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1012.13 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 101059 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292850816 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1012.13
Current children cumulated vsize (KiB) 22736

[startup+1012.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1012.33 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 101079 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292850640 134578578 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1012.33
Current children cumulated vsize (KiB) 22736

[startup+1012.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12216
/proc/meminfo: memFree=28250000/32873844 swapFree=7620/7620
[pid=12133] ppid=12131 vsize=22736 CPUtime=1012.43 cores=0,2,4,6
/proc/12133/stat : 12133 (bsolo) R 12131 12133 10269 0 -1 4202496 3389 0 0 0 101089 154 0 0 20 0 1 0 280180847 23281664 3258 33554432000 134512640 137138936 4292851888 4292850816 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12133/statm: 5684 3258 192 642 0 5040 0
Current children cumulated CPU time (s) 1012.43
Current children cumulated vsize (KiB) 22736

Child status: 0
Real time (s): 1012.69
CPU time (s): 1012.53
CPU user time (s): 1010.98
CPU system time (s): 1.54876
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 22888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1010.98
system time used= 1.54876
maximum resident set size= 13132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3389
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= 8
involuntary context switches= 1130

runsolver used 1.50377 second user time and 4.02839 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-27 19:42:03
IDJOB=3707423
IDBENCH=1315
IDSOLVER=2286
FILE ID=node107/3707423-1338140523
RUNJOBID= node107-1338138724-12012
PBS_JOBID= 14624494
Free space on /tmp= 71568 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707423-1338140523/watcher-3707423-1338140523 -o /tmp/evaluation-result-3707423-1338140523/solver-3707423-1338140523 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707423-1338140523.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b
RANDOM SEED=1841111524

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28182224 kB
Buffers:          359492 kB
Cached:          3394740 kB
SwapCached:            0 kB
Active:           916552 kB
Inactive:        2943324 kB
Active(anon):     108124 kB
Inactive(anon):        0 kB
Active(file):     808428 kB
Inactive(file):  2943324 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:        166460 kB
Mapped:            15064 kB
Shmem:               200 kB
Slab:             691288 kB
SReclaimable:     133804 kB
SUnreclaim:       557484 kB
KernelStack:        1472 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     227644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71564 MiB
End job on node107 at 2012-05-27 19:58:56