Trace number 3463392

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 1320.38 1320.34

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
MD5SUMdf3a88f9ce76cdc5f93bc528741f3e95
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark8.78666
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 671
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-3463392-1307174942.opb
0.00/0.00	c File size is 83373 bytes.
0.00/0.00	c Highest Coefficient sum: 671
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: 5707
0.00/0.00	c Obj. Vars: 0 (0 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 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.
1320.33/1320.33	c      101    231     2759    14273    5     5825    2069    173   4590 0.02
1320.33/1320.33	c      251    231     2981    21845    7     6268    2276    395   6435 0.04
1320.33/1320.33	c      478    231     3250    35026   10     6811    2504    664   5195 0.09
1320.33/1320.33	c      816    231     3622    47508   13     7556    2755   1036   5037 0.16
1320.33/1320.33	c     1325    231     4163    66971   16     8638    3031   1577   4537 0.29
1320.33/1320.33	c     2090    231     4980   101878   20    10316    3335   2394   3928 0.53
1320.33/1320.33	c     3236    231     4444    79260   17     9205    3669   1858   3517 0.92
1320.33/1320.33	c     4958    231     4422    69798   15     9171    4036   1836   3491 1.42
1320.33/1320.33	c     7542    231     5040    98973   19    10390    4440   2454   3486 2.16
1320.33/1320.33	c    11421    231     6747   148163   21    13804    4885   4161   3459 3.30
1320.33/1320.33	c    17244    231     5224   112897   21    10797    5374   2638   3267 5.28
1320.33/1320.33	c    25982    231     6170   161814   26    12727    5912   3584   3037 8.55
1320.33/1320.33	c    39093    231     7863   226492   28    16115    6504   5277   2881 13.57
1320.33/1320.33	c    58765    231     8385   210860   25    17117    7155   5799   2872 20.46
1320.33/1320.33	c    88276    231     6664   169630   25    13717    7871   4078   2759 31.99
1320.33/1320.33	c   132546    231     9480   252903   26    19337    8659   6894   2629 50.40
1320.33/1320.33	c   198956    231    10366   335765   32    21243    9525   7780   2490 79.88
1320.33/1320.33	c   298580    231    10521   325898   30    21648   10478   7935   2313 129.05
1320.33/1320.33	c   448015    231    11893   358904   30    24201   11526   9307   2219 201.84
1320.33/1320.33	c   672173    231    12505   385699   30    25515   12679   9919   2109 318.62
1320.33/1320.33	c  1008418    231    12999   374791   28    26373   13947  10413   1973 511.07
1320.33/1320.33	c  1512791    231    12068   364922   30    24674   15342   9482   1856 814.93
1320.33/1320.33	c  2269355    210    13504   333282   24    27388   16877  10918   1758 1290.20
1320.33/1320.33	c Backtracks by Clause: 2316900
1320.33/1320.33	c Backtracks by PB constraint: 2247
1320.33/1320.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1320.33/1320.33	c   23  2319147 508595  3247793    14121   336757  11535   1756 1320.37
1320.33/1320.33	s UNSATISFIABLE
1320.33/1320.33	c Total time: 1320.37 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463392-1307174942/watcher-3463392-1307174942 -o /tmp/evaluation-result-3463392-1307174942/solver-3463392-1307174942 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463392-1307174942.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.12 1.74 1.74 2/524 27460
/proc/meminfo: memFree=23878828/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=11328 CPUtime=0.01 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 449 0 0 0 1 0 0 0 18 0 1 0 829091959 11599872 382 33554432000 134512640 137138936 4288066064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 2832 382 192 642 0 2188 0

[startup+0.104531 s]
/proc/loadavg: 2.12 1.74 1.74 2/524 27460
/proc/meminfo: memFree=23878828/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=11576 CPUtime=0.1 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 527 0 0 0 10 0 0 0 18 0 1 0 829091959 11853824 460 33554432000 134512640 137138936 4288066064 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 2894 460 192 642 0 2250 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11576

[startup+0.20049 s]
/proc/loadavg: 2.12 1.74 1.74 2/524 27460
/proc/meminfo: memFree=23878828/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=11824 CPUtime=0.19 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 591 0 0 0 19 0 0 0 18 0 1 0 829091959 12107776 524 33554432000 134512640 137138936 4288066064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 2956 524 192 642 0 2312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11824

[startup+0.300501 s]
/proc/loadavg: 2.12 1.74 1.74 2/524 27460
/proc/meminfo: memFree=23878828/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=12072 CPUtime=0.29 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 650 0 0 0 29 0 0 0 18 0 1 0 829091959 12361728 583 33554432000 134512640 137138936 4288066064 18446744073709551615 134575837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3018 583 192 642 0 2374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12072

[startup+0.700427 s]
/proc/loadavg: 2.12 1.74 1.74 2/524 27460
/proc/meminfo: memFree=23878828/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=12928 CPUtime=0.69 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 859 0 0 0 69 0 0 0 18 0 1 0 829091959 13238272 792 33554432000 134512640 137138936 4288066064 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3232 792 192 642 0 2588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12928

[startup+1.50028 s]
/proc/loadavg: 2.12 1.74 1.74 3/525 27461
/proc/meminfo: memFree=23875508/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=13296 CPUtime=1.49 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 952 0 0 0 149 0 0 0 20 0 1 0 829091959 13615104 885 33554432000 134512640 137138936 4288066064 18446744073709551615 134599922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3324 885 192 642 0 2680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13296

[startup+3.10101 s]
/proc/loadavg: 2.12 1.74 1.74 3/525 27461
/proc/meminfo: memFree=23874144/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=13792 CPUtime=3.09 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 1078 0 0 0 308 1 0 0 25 0 1 0 829091959 14123008 1011 33554432000 134512640 137138936 4288066064 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3448 1011 192 642 0 2804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13792

[startup+6.30042 s]
/proc/loadavg: 2.11 1.75 1.74 3/525 27461
/proc/meminfo: memFree=23873148/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=14768 CPUtime=6.29 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 1312 0 0 0 627 2 0 0 25 0 1 0 829091959 15122432 1245 33554432000 134512640 137138936 4288066064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3692 1245 192 642 0 3048 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14768

[startup+12.7002 s]
/proc/loadavg: 2.10 1.75 1.74 3/525 27462
/proc/meminfo: memFree=23871692/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=15264 CPUtime=12.69 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 1453 0 0 0 1266 3 0 0 25 0 1 0 829091959 15630336 1386 33554432000 134512640 137138936 4288066064 18446744073709551615 134603088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3816 1386 192 642 0 3172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15264

[startup+25.501 s]
/proc/loadavg: 2.08 1.76 1.74 3/525 27462
/proc/meminfo: memFree=23871924/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=15392 CPUtime=25.49 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 1479 0 0 0 2543 6 0 0 25 0 1 0 829091959 15761408 1412 33554432000 134512640 137138936 4288066064 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 3848 1412 192 642 0 3204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15392

[startup+51.1003 s]
/proc/loadavg: 2.13 1.80 1.75 3/525 27463
/proc/meminfo: memFree=23870536/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=16728 CPUtime=51.09 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 1802 0 0 0 5098 11 0 0 25 0 1 0 829091959 17129472 1735 33554432000 134512640 137138936 4288066064 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4182 1735 192 642 0 3538 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16728

[startup+102.301 s]
/proc/loadavg: 2.05 1.83 1.76 3/525 27464
/proc/meminfo: memFree=23867420/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=18184 CPUtime=102.31 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2166 0 0 0 10212 19 0 0 25 0 1 0 829091959 18620416 2099 33554432000 134512640 137138936 4288066064 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4546 2099 192 642 0 3902 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18184

[startup+162.3 s]
/proc/loadavg: 2.02 1.85 1.77 3/525 27466
/proc/meminfo: memFree=23866884/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=18480 CPUtime=162.3 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2242 0 0 0 16201 29 0 0 25 0 1 0 829091959 18923520 2175 33554432000 134512640 137138936 4288066064 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4620 2175 192 642 0 3976 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 18480

[startup+222.319 s]
/proc/loadavg: 2.00 1.88 1.79 3/525 27467
/proc/meminfo: memFree=23866592/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=19016 CPUtime=222.32 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2396 0 0 0 22193 39 0 0 25 0 1 0 829091959 19472384 2310 33554432000 134512640 137138936 4288066064 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4754 2310 192 642 0 4110 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 19016

[startup+282.301 s]
/proc/loadavg: 2.00 1.90 1.80 3/525 27469
/proc/meminfo: memFree=23867296/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=19096 CPUtime=282.3 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2416 0 0 0 28182 48 0 0 25 0 1 0 829091959 19554304 2330 33554432000 134512640 137138936 4288066064 18446744073709551615 134599966 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4774 2330 192 642 0 4130 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19096

[startup+342.301 s]
/proc/loadavg: 2.00 1.91 1.81 3/525 27470
/proc/meminfo: memFree=23866152/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=19692 CPUtime=342.3 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2572 0 0 0 34174 56 0 0 25 0 1 0 829091959 20164608 2486 33554432000 134512640 137138936 4288066064 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 4923 2486 192 642 0 4279 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19692

[startup+402.301 s]
/proc/loadavg: 2.00 1.93 1.82 3/525 27472
/proc/meminfo: memFree=23864632/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20308 CPUtime=402.3 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2729 0 0 0 40167 63 0 0 25 0 1 0 829091959 20795392 2643 33554432000 134512640 137138936 4288066064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5077 2643 192 642 0 4433 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20308

[startup+462.301 s]
/proc/loadavg: 2.06 1.95 1.83 3/525 27474
/proc/meminfo: memFree=23865336/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20308 CPUtime=462.31 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2729 0 0 0 46158 73 0 0 25 0 1 0 829091959 20795392 2643 33554432000 134512640 137138936 4288066064 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5077 2643 192 642 0 4433 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20308

[startup+522.3 s]
/proc/loadavg: 2.07 1.97 1.84 3/525 27475
/proc/meminfo: memFree=23865280/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20252 CPUtime=522.3 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2730 0 0 0 52149 81 0 0 25 0 1 0 829091959 20738048 2639 33554432000 134512640 137138936 4288066064 18446744073709551615 134575873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5063 2639 192 642 0 4419 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20252

[startup+582.3 s]
/proc/loadavg: 2.12 2.00 1.86 3/525 27477
/proc/meminfo: memFree=23865336/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20252 CPUtime=582.31 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2730 0 0 0 58140 91 0 0 25 0 1 0 829091959 20738048 2639 33554432000 134512640 137138936 4288066064 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5063 2639 192 642 0 4419 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20252

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=23863896/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20252 CPUtime=702.31 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2730 0 0 0 70125 106 0 0 25 0 1 0 829091959 20738048 2639 33554432000 134512640 137138936 4288066064 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5063 2639 192 642 0 4419 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20252

[startup+762.301 s]
/proc/loadavg: 2.01 2.00 1.88 3/525 27482
/proc/meminfo: memFree=23863864/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20236 CPUtime=762.33 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2730 0 0 0 76118 115 0 0 25 0 1 0 829091959 20721664 2635 33554432000 134512640 137138936 4288066064 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5059 2635 192 642 0 4415 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 20236

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/525 27483
/proc/meminfo: memFree=23863328/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=20976 CPUtime=822.31 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 2906 0 0 0 82107 124 0 0 25 0 1 0 829091959 21479424 2810 33554432000 134512640 137138936 4288066064 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5244 2810 192 642 0 4600 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20976

[startup+882.32 s]
/proc/loadavg: 2.00 2.00 1.89 3/525 27485
/proc/meminfo: memFree=23861424/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21648 CPUtime=882.34 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3070 0 0 0 88102 132 0 0 25 0 1 0 829091959 22167552 2974 33554432000 134512640 137138936 4288066064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5412 2974 192 642 0 4768 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 21648

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/525 27486
/proc/meminfo: memFree=23861648/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=942.32 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3127 0 0 0 94092 140 0 0 25 0 1 0 829091959 22409216 3031 33554432000 134512640 137138936 4288066064 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3031 192 642 0 4827 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 21884

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/525 27488
/proc/meminfo: memFree=23861996/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21876 CPUtime=1002.32 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3132 0 0 0 100084 148 0 0 25 0 1 0 829091959 22401024 3036 33554432000 134512640 137138936 4288066064 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5469 3036 192 642 0 4825 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21876

[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 1.92 3/525 27490
/proc/meminfo: memFree=23861824/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21876 CPUtime=1062.32 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3132 0 0 0 106076 156 0 0 25 0 1 0 829091959 22401024 3036 33554432000 134512640 137138936 4288066064 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5469 3036 192 642 0 4825 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 21876

[startup+1122.3 s]
/proc/loadavg: 2.17 2.05 1.93 3/525 27491
/proc/meminfo: memFree=23862272/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21876 CPUtime=1122.32 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3132 0 0 0 112067 165 0 0 25 0 1 0 829091959 22401024 3036 33554432000 134512640 137138936 4288066064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5469 3036 192 642 0 4825 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21876

[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 1.93 3/525 27520
/proc/meminfo: memFree=23817328/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21876 CPUtime=1182.33 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3132 0 0 0 118060 173 0 0 25 0 1 0 829091959 22401024 3036 33554432000 134512640 137138936 4288066064 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5469 3036 192 642 0 4825 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 21876

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 1.93 3/525 27521
/proc/meminfo: memFree=23687916/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21876 CPUtime=1242.33 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3132 0 0 0 124052 181 0 0 25 0 1 0 829091959 22401024 3036 33554432000 134512640 137138936 4288066064 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5469 3036 192 642 0 4825 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 21876

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23592900/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1302.33 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 130044 189 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21884

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

[startup+1305.6 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23587688/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1305.63 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 130374 189 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1305.63
Current children cumulated vsize (KiB) 21884

[startup+1312 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23577760/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1312.03 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131013 190 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1312.03
Current children cumulated vsize (KiB) 21884

[startup+1315.2 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23570444/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1315.23 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131333 190 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1315.23
Current children cumulated vsize (KiB) 21884

[startup+1318.4 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23565484/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1318.43 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131652 191 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 136505044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1318.43
Current children cumulated vsize (KiB) 21884

[startup+1319.2 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23563252/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1319.23 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131732 191 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1319.23
Current children cumulated vsize (KiB) 21884

[startup+1320 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23561764/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1320.05 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131814 191 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1320.05
Current children cumulated vsize (KiB) 21884

[startup+1320.2 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23561764/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1320.23 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131832 191 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1320.23
Current children cumulated vsize (KiB) 21884

[startup+1320.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/525 27523
/proc/meminfo: memFree=23561764/32951124 swapFree=56930356/67111528
[pid=27460] ppid=27458 vsize=21884 CPUtime=1320.33 cores=0,2,4,6
/proc/27460/stat : 27460 (bsolo) R 27458 27460 25956 0 -1 4202496 3134 0 0 0 131842 191 0 0 25 0 1 0 829091959 22409216 3038 33554432000 134512640 137138936 4288066064 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27460/statm: 5471 3038 192 642 0 4827 0
Current children cumulated CPU time (s) 1320.33
Current children cumulated vsize (KiB) 21884

Child status: 0
Real time (s): 1320.34
CPU time (s): 1320.38
CPU user time (s): 1318.46
CPU system time (s): 1.91571
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1318.46
system time used= 1.91571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3134
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= 2707

runsolver used 7.35388 second user time and 15.3317 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-04 10:09:02
IDJOB=3463392
IDBENCH=1337
IDSOLVER=1955
FILE ID=node137/3463392-1307174942
RUNJOBID= node137-1307174661-27288
PBS_JOBID= 13508854
Free space on /tmp= 73728 MiB

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

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

MD5SUM BENCH= df3a88f9ce76cdc5f93bc528741f3e95
RANDOM SEED=552298025

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23879108 kB
Buffers:        280024 kB
Cached:         512624 kB
SwapCached:      12312 kB
Active:        8348280 kB
Inactive:       462404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23879108 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:            4208 kB
Writeback:           0 kB
AnonPages:     8015604 kB
Mapped:          22172 kB
Slab:           117640 kB
PageTables:      74140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162555348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73720 MiB
End job on node137 at 2011-06-04 10:31:03