Trace number 2657364

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.2 Cl? 1798 1798.49

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
MD5SUM07abcf74f2aa8e328290ac3dd6aefa51
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 benchmark208.517
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 661
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657364-1276285545.opb
0.00/0.00	c File size is 83385 bytes.
0.00/0.01	c Highest Coefficient sum: 661
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.024 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    231     2586     8096    3     5474    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
1797.91/1798.49	c      100    231     2686    11724    4     5676    2069    100   2941 0.03
1797.91/1798.49	c      251    231     2837    19333    6     5978    2276    251   4563 0.06
1797.91/1798.49	c      477    231     3063    30646   10     6429    2504    477   5300 0.09
1797.91/1798.49	c      817    231     3403    45424   13     7110    2755    817   5074 0.16
1797.91/1798.49	c     1327    231     3913    68821   17     8129    3031   1327   4790 0.28
1797.91/1798.49	c     2090    231     4676    97948   20     9655    3335   2090   4082 0.51
1797.91/1798.49	c     3236    231     5822   146607   25    11946    3669   3236   3315 0.98
1797.91/1798.49	c     4958    231     5590   118833   21    11483    4036   3004   3206 1.55
1797.91/1798.49	c     7542    231     6057   139301   22    12418    4440   3471   3117 2.42
1797.91/1798.49	c    11421    231     5268   121656   23    10838    4885   2682   2939 3.88
1797.91/1798.49	c    17245    231     6003   145442   24    12311    5374   3417   2694 6.40
1797.91/1798.49	c    25982    231     6374   137512   21    13051    5912   3788   2681 9.69
1797.91/1798.49	c    39094    231     7220   190451   26    14744    6504   4634   2593 15.08
1797.91/1798.49	c    58766    231     6700   150929   22    13703    7155   4114   2465 23.84
1797.91/1798.49	c    88278    231     6713   171684   25    13730    7871   4127   2275 38.80
1797.91/1798.49	c   132550    231     6523   159738   24    13350    8659   3937   2092 63.35
1797.91/1798.49	c   198960    231    10807   336394   31    21918    9525   8221   1892 105.12
1797.91/1798.49	c   298581    231     8249   225170   27    16800   10478   5663   1756 170.03
1797.91/1798.49	c   448018    231     8100   221852   27    16505   11526   5514   1628 275.08
1797.91/1798.49	c   672180    231     9045   249421   27    18394   12679   6459   1447 464.41
1797.91/1798.49	c  1008423    231     9816   270056   27    19936   13947   7230   1296 777.96
1797.91/1798.49	c  1512796    231    11245   356955   31    22794   15342   8659   1158 1305.27
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   22  1933967 384414  2616830    12086   389825   9500   1075 1798.00
1797.91/1798.49	s UNKNOWN
1797.91/1798.49	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657364-1276285545/watcher-2657364-1276285545 -o /tmp/evaluation-result-2657364-1276285545/solver-2657364-1276285545 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657364-1276285545.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 5342
/proc/meminfo: memFree=1563080/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=10880 CPUtime=0
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 4156308 11141120 255 1992294400 134512640 137138936 4289808496 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 2720 256 175 642 0 2055 0

[startup+0.074914 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 5342
/proc/meminfo: memFree=1563080/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=11448 CPUtime=0.07
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 511 0 0 0 7 0 0 0 20 0 1 0 4156308 11722752 408 1992294400 134512640 137138936 4289808496 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 2862 408 190 642 0 2218 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11448

[startup+0.101917 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 5342
/proc/meminfo: memFree=1563080/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=11580 CPUtime=0.09
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 541 0 0 0 9 0 0 0 20 0 1 0 4156308 11857920 438 1992294400 134512640 137138936 4289808496 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 2895 438 190 642 0 2251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11580

[startup+0.300939 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 5342
/proc/meminfo: memFree=1563080/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=12092 CPUtime=0.29
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 690 0 0 0 29 0 0 0 20 0 1 0 4156308 12382208 587 1992294400 134512640 137138936 4289808496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3023 587 190 642 0 2379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12092

[startup+0.700984 s]
/proc/loadavg: 1.00 1.00 1.10 3/106 5342
/proc/meminfo: memFree=1563080/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=12860 CPUtime=0.69
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 873 0 0 0 69 0 0 0 20 0 1 0 4156308 13168640 770 1992294400 134512640 137138936 4289808496 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3215 770 190 642 0 2571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12860

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5343
/proc/meminfo: memFree=1560220/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=13624 CPUtime=1.49
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1068 0 0 0 148 1 0 0 22 0 1 0 4156308 13950976 965 1992294400 134512640 137138936 4289808496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3406 965 190 642 0 2762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13624

[startup+3.10025 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5343
/proc/meminfo: memFree=1559600/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=14012 CPUtime=3.08
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1152 0 0 0 307 1 0 0 25 0 1 0 4156308 14348288 1049 1992294400 134512640 137138936 4289808496 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3503 1049 190 642 0 2859 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14012

[startup+6.30061 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5343
/proc/meminfo: memFree=1558484/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=14652 CPUtime=6.29
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1332 0 0 0 626 3 0 0 25 0 1 0 4156308 15003648 1229 1992294400 134512640 137138936 4289808496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3663 1229 190 642 0 3019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14652

[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5343
/proc/meminfo: memFree=1558236/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=14908 CPUtime=12.69
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1392 0 0 0 1264 5 0 0 25 0 1 0 4156308 15265792 1289 1992294400 134512640 137138936 4289808496 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3727 1289 190 642 0 3083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14908

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5343
/proc/meminfo: memFree=1557864/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=15420 CPUtime=25.49
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1506 0 0 0 2539 10 0 0 25 0 1 0 4156308 15790080 1403 1992294400 134512640 137138936 4289808496 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 3855 1403 190 642 0 3211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15420

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5345
/proc/meminfo: memFree=1556872/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=16288 CPUtime=51.08
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1724 0 0 0 5090 18 0 0 25 0 1 0 4156308 16678912 1621 1992294400 134512640 137138936 4289808496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4072 1621 190 642 0 3428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16288

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5345
/proc/meminfo: memFree=1555880/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=16924 CPUtime=102.27
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1900 0 0 0 10191 36 0 0 25 0 1 0 4156308 17330176 1797 1992294400 134512640 137138936 4289808496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4231 1797 190 642 0 3587 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16924

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5347
/proc/meminfo: memFree=1555508/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=17292 CPUtime=162.25
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 1977 0 0 0 16169 56 0 0 25 0 1 0 4156308 17707008 1874 1992294400 134512640 137138936 4289808496 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4323 1874 190 642 0 3679 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17292

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5349
/proc/meminfo: memFree=1555260/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=17664 CPUtime=222.23
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2072 0 0 0 22150 73 0 0 25 0 1 0 4156308 18087936 1969 1992294400 134512640 137138936 4289808496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4416 1969 190 642 0 3772 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17664

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5351
/proc/meminfo: memFree=1554268/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=18536 CPUtime=282.22
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2289 0 0 0 28131 91 0 0 25 0 1 0 4156308 18980864 2186 1992294400 134512640 137138936 4289808496 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4634 2186 190 642 0 3990 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18536

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5353
/proc/meminfo: memFree=1554268/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=18536 CPUtime=342.2
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2304 0 0 0 34114 106 0 0 25 0 1 0 4156308 18980864 2201 1992294400 134512640 137138936 4289808496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4634 2201 190 642 0 3990 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 18536

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5353
/proc/meminfo: memFree=1554144/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=18640 CPUtime=402.19
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2317 0 0 0 40096 123 0 0 25 0 1 0 4156308 19087360 2214 1992294400 134512640 137138936 4289808496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4660 2214 190 642 0 4016 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 18640

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5355
/proc/meminfo: memFree=1554144/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=18640 CPUtime=462.17
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2317 0 0 0 46078 139 0 0 25 0 1 0 4156308 19087360 2214 1992294400 134512640 137138936 4289808496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4660 2214 190 642 0 4016 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 18640

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5357
/proc/meminfo: memFree=1553276/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=19416 CPUtime=522.15
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2517 0 0 0 52060 155 0 0 25 0 1 0 4156308 19881984 2414 1992294400 134512640 137138936 4289808496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4854 2414 190 642 0 4210 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 19416

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5359
/proc/meminfo: memFree=1553152/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=19416 CPUtime=582.14
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2517 0 0 0 58041 173 0 0 25 0 1 0 4156308 19881984 2414 1992294400 134512640 137138936 4289808496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4854 2414 190 642 0 4210 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 19416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 5361
/proc/meminfo: memFree=1553152/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=19416 CPUtime=642.13
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2517 0 0 0 64025 188 0 0 25 0 1 0 4156308 19881984 2414 1992294400 134512640 137138936 4289808496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4854 2414 190 642 0 4210 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 19416

[startup+702.301 s]

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

/proc/meminfo: memFree=1551788/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=19972 CPUtime=1121.98
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2666 0 0 0 111883 315 0 0 25 0 1 0 4156308 20451328 2563 1992294400 134512640 137138936 4289808496 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 4993 2563 190 642 0 4349 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 19972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5384
/proc/meminfo: memFree=1551788/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=20100 CPUtime=1181.97
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2698 0 0 0 117869 328 0 0 25 0 1 0 4156308 20582400 2595 1992294400 134512640 137138936 4289808496 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5025 2595 190 642 0 4381 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 20100

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5386
/proc/meminfo: memFree=1551664/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=20100 CPUtime=1241.94
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2698 0 0 0 123853 341 0 0 25 0 1 0 4156308 20582400 2595 1992294400 134512640 137138936 4289808496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5025 2595 190 642 0 4381 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 20100

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5386
/proc/meminfo: memFree=1551540/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=20216 CPUtime=1301.94
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2712 0 0 0 129839 355 0 0 25 0 1 0 4156308 20701184 2609 1992294400 134512640 137138936 4289808496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5054 2609 190 642 0 4410 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 20216

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5388
/proc/meminfo: memFree=1551168/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21104 CPUtime=1361.92
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 2947 0 0 0 135823 369 0 0 25 0 1 0 4156308 21610496 2844 1992294400 134512640 137138936 4289808496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5276 2844 190 642 0 4632 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 21104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5390
/proc/meminfo: memFree=1550796/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21484 CPUtime=1421.91
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3043 0 0 0 141810 381 0 0 25 0 1 0 4156308 21999616 2940 1992294400 134512640 137138936 4289808496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5371 2940 190 642 0 4727 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 21484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5392
/proc/meminfo: memFree=1550796/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21560 CPUtime=1481.89
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 147794 395 0 0 25 0 1 0 4156308 22077440 2947 1992294400 134512640 137138936 4289808496 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5390 2947 190 642 0 4746 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 21560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5394
/proc/meminfo: memFree=1550672/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21544 CPUtime=1541.88
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 153778 410 0 0 25 0 1 0 4156308 22061056 2947 1992294400 134512640 137138936 4289808496 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5386 2947 190 642 0 4742 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 21544

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5394
/proc/meminfo: memFree=1550672/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21536 CPUtime=1601.86
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 159762 424 0 0 25 0 1 0 4156308 22052864 2947 1992294400 134512640 137138936 4289808496 18446744073709551615 135984593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5384 2947 190 642 0 4740 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 21536

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5396
/proc/meminfo: memFree=1550548/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21536 CPUtime=1661.84
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 165745 439 0 0 25 0 1 0 4156308 22052864 2947 1992294400 134512640 137138936 4289808496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5384 2947 190 642 0 4740 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 21536

[startup+1722.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 5401
/proc/meminfo: memFree=1549804/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21536 CPUtime=1721.82
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 171729 453 0 0 25 0 1 0 4156308 22052864 2947 1992294400 134512640 137138936 4289808496 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5384 2947 190 642 0 4740 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 21536

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549804/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1781.8
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 177715 465 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 21480

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

[startup+1791.91 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1791.41
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 178674 467 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 21480

[startup+1795.1 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1794.61
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 178993 468 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 21480

[startup+1796.7 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1796.21
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 179152 469 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 21480

[startup+1797.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1797
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 179231 469 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 21480

[startup+1797.9 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1797.4
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 179271 469 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 21480

[startup+1798.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1797.8
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 179311 469 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 21480

[startup+1798.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5403
/proc/meminfo: memFree=1549928/2059040 swapFree=4192956/4192956
[pid=5342] ppid=5340 vsize=21480 CPUtime=1797.91
/proc/5342/stat : 5342 (bsolo_pb10) R 5340 5342 4503 0 -1 4202496 3050 0 0 0 179322 469 0 0 25 0 1 0 4156308 21995520 2943 1992294400 134512640 137138936 4289808496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5342/statm: 5370 2943 190 642 0 4726 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 21480

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798
CPU user time (s): 1793.31
CPU system time (s): 4.69429
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 21624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 4.69429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3050
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= 1
involuntary context switches= 2729

runsolver used 3.10953 second user time and 8.34873 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-11 21:45:46
IDJOB=2657364
IDBENCH=1282
IDSOLVER=1163
FILE ID=node009/2657364-1276285545
PBS_JOBID= 11173102
Free space on /tmp= 62432 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657364-1276285545/watcher-2657364-1276285545 -o /tmp/evaluation-result-2657364-1276285545/solver-2657364-1276285545 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657364-1276285545.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 07abcf74f2aa8e328290ac3dd6aefa51
RANDOM SEED=832605195

node009.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1563484 kB
Buffers:         57892 kB
Cached:         311460 kB
SwapCached:          0 kB
Active:         170588 kB
Inactive:       257888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1563484 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:       59160 kB
Mapped:          15392 kB
Slab:            45276 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181380 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node009 at 2010-06-11 22:15:44