Trace number 3462994

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? 1798 1798.16

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
MD5SUM9a7dcf907234f84f0d33881f56632ec3
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 benchmark37.2583
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 625
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462994-1307175017.opb
0.00/0.01	c File size is 83369 bytes.
0.00/0.01	c Highest Coefficient sum: 625
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.005 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.01	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.
1797.94/1798.15	c      101    231     2752    14150    5     5811    2069    166   4590 0.02
1797.94/1798.15	c      257    231     2972    22713    7     6249    2276    386   5840 0.04
1797.94/1798.15	c      483    231     3244    36981   11     6810    2504    658   5138 0.09
1797.94/1798.15	c      822    231     3607    52089   14     7536    2755   1021   4644 0.18
1797.94/1798.15	c     1330    231     4142    72083   17     8655    3031   1556   4448 0.30
1797.94/1798.15	c     2093    231     4967   102770   20    10307    3335   2381   4144 0.51
1797.94/1798.15	c     3241    231     4413    75811   17     9139    3669   1827   3721 0.87
1797.94/1798.15	c     4962    231     6222   146458   23    12782    4036   3636   3529 1.41
1797.94/1798.15	c     7550    231     4716    85134   18     9741    4440   2130   3361 2.25
1797.94/1798.15	c    11429    231     6463   154075   23    13245    4885   3877   3301 3.46
1797.94/1798.15	c    17253    231     5030    89499   17    10377    5374   2444   3284 5.25
1797.94/1798.15	c    25990    231     5962   140727   23    12271    5912   3376   3107 8.36
1797.94/1798.15	c    39100    231     7716   220227   28    15905    6504   5130   2927 13.36
1797.94/1798.15	c    58772    231     8647   244109   28    17649    7155   6061   2768 21.23
1797.94/1798.15	c    88284    231     7159   201938   28    14656    7871   4573   2648 33.34
1797.94/1798.15	c   132558    231     9974   309379   31    20433    8659   7388   2551 51.96
1797.94/1798.15	c   198969    231    10083   364924   36    20549    9525   7497   2371 83.88
1797.94/1798.15	c   298592    231     9258   292717   31    19001   10478   6672   2202 135.55
1797.94/1798.15	c   448028    231     7939   225624   28    16248   11526   5353   2142 209.16
1797.94/1798.15	c   672186    231    13288   439641   33    26986   12679  10702   2035 330.31
1797.94/1798.15	c  1008429    231    11370   355009   31    23135   13947   8784   1923 524.18
1797.94/1798.15	c  1512801    231    14856   534715   35    30281   15342  12270   1777 850.95
1797.94/1798.15	c  2269366    231    14894   587553   39    30379   16877  12308   1653 1372.81
1797.94/1798.15	c Resources Exceeded
1797.94/1798.15	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.15	c   23  2866691 557311  3816682    17245   597241  14659   1594 1798.00
1797.94/1798.15	s UNKNOWN
1797.94/1798.15	c Total time: 1798 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-3462994-1307175017/watcher-3462994-1307175017 -o /tmp/evaluation-result-3462994-1307175017/solver-3462994-1307175017 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462994-1307175017.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.04 2.05 2.01 3/530 5001
/proc/meminfo: memFree=15227316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=10876 CPUtime=0 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 269 0 0 0 0 0 0 0 25 0 1 0 829100378 11137024 224 33554432000 134512640 137138936 4291647088 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 2719 224 169 642 0 2054 0

[startup+0.037967 s]
/proc/loadavg: 2.04 2.05 2.01 3/530 5001
/proc/meminfo: memFree=15227316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=11320 CPUtime=0.02 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 452 0 0 0 2 0 0 0 25 0 1 0 829100378 11591680 386 33554432000 134512640 137138936 4291647088 18446744073709551615 134551392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 2830 386 192 642 0 2186 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11320

[startup+0.101003 s]
/proc/loadavg: 2.04 2.05 2.01 3/530 5001
/proc/meminfo: memFree=15227316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=11568 CPUtime=0.09 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 522 0 0 0 9 0 0 0 25 0 1 0 829100378 11845632 456 33554432000 134512640 137138936 4291647088 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 2892 456 192 642 0 2248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11568

[startup+0.300966 s]
/proc/loadavg: 2.04 2.05 2.01 3/530 5001
/proc/meminfo: memFree=15227316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=12180 CPUtime=0.28 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 658 0 0 0 28 0 0 0 25 0 1 0 829100378 12472320 592 33554432000 134512640 137138936 4291647088 18446744073709551615 134603236 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3045 592 192 642 0 2401 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12180

[startup+0.700897 s]
/proc/loadavg: 2.04 2.05 2.01 3/530 5001
/proc/meminfo: memFree=15227316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=13040 CPUtime=0.68 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 887 0 0 0 68 0 0 0 25 0 1 0 829100378 13352960 821 33554432000 134512640 137138936 4291647088 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3260 821 192 642 0 2616 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13040

[startup+1.50077 s]
/proc/loadavg: 2.04 2.05 2.01 3/531 5002
/proc/meminfo: memFree=15224084/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=13532 CPUtime=1.48 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 999 0 0 0 148 0 0 0 25 0 1 0 829100378 13856768 933 33554432000 134512640 137138936 4291647088 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3383 933 192 642 0 2739 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13532

[startup+3.10044 s]
/proc/loadavg: 2.04 2.05 2.01 3/531 5002
/proc/meminfo: memFree=15222472/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=13896 CPUtime=3.09 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 1087 0 0 0 308 1 0 0 25 0 1 0 829100378 14229504 1021 33554432000 134512640 137138936 4291647088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3474 1021 192 642 0 2830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13896

[startup+6.30093 s]
/proc/loadavg: 2.12 2.07 2.01 3/531 5002
/proc/meminfo: memFree=15221964/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=14516 CPUtime=6.29 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 1268 0 0 0 628 1 0 0 25 0 1 0 829100378 14864384 1202 33554432000 134512640 137138936 4291647088 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3629 1202 192 642 0 2985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14516

[startup+12.7008 s]
/proc/loadavg: 2.19 2.09 2.02 3/531 5002
/proc/meminfo: memFree=15220516/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=14884 CPUtime=12.69 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 1362 0 0 0 1266 3 0 0 25 0 1 0 829100378 15241216 1296 33554432000 134512640 137138936 4291647088 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3721 1296 192 642 0 3077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14884

[startup+25.5006 s]
/proc/loadavg: 2.15 2.08 2.02 3/531 5002
/proc/meminfo: memFree=15219648/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=15872 CPUtime=25.48 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 1598 0 0 0 2542 6 0 0 25 0 1 0 829100378 16252928 1532 33554432000 134512640 137138936 4291647088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 3968 1532 192 642 0 3324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15872

[startup+51.1002 s]
/proc/loadavg: 2.16 2.09 2.02 3/531 5002
/proc/meminfo: memFree=15218456/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=16472 CPUtime=51.02 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 1735 0 0 0 5091 11 0 0 25 0 1 0 829100378 16867328 1669 33554432000 134512640 137138936 4291647088 18446744073709551615 134575454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4118 1669 192 642 0 3474 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 16472

[startup+102.319 s]
/proc/loadavg: 2.23 2.11 2.03 3/531 5004
/proc/meminfo: memFree=15215600/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=18372 CPUtime=102.24 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2211 0 0 0 10205 19 0 0 25 0 1 0 829100378 18812928 2145 33554432000 134512640 137138936 4291647088 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4593 2145 192 642 0 3949 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 18372

[startup+162.301 s]
/proc/loadavg: 2.16 2.10 2.03 3/531 5006
/proc/meminfo: memFree=15215836/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=18348 CPUtime=162.22 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2227 0 0 0 16193 29 0 0 25 0 1 0 829100378 18788352 2161 33554432000 134512640 137138936 4291647088 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4587 2161 192 642 0 3943 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 18348

[startup+222.301 s]
/proc/loadavg: 2.06 2.08 2.02 3/531 5006
/proc/meminfo: memFree=15214712/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=19456 CPUtime=222.22 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2488 0 0 0 22182 40 0 0 25 0 1 0 829100378 19922944 2422 33554432000 134512640 137138936 4291647088 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4864 2422 192 642 0 4220 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 19456

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/531 5008
/proc/meminfo: memFree=15215192/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=19456 CPUtime=282.22 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2488 0 0 0 28173 49 0 0 25 0 1 0 829100378 19922944 2422 33554432000 134512640 137138936 4291647088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4864 2422 192 642 0 4220 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19456

[startup+342.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/531 5010
/proc/meminfo: memFree=15215184/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=19564 CPUtime=342.21 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2512 0 0 0 34164 57 0 0 25 0 1 0 829100378 20033536 2446 33554432000 134512640 137138936 4291647088 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 4891 2446 192 642 0 4247 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 19564

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/531 5012
/proc/meminfo: memFree=15214064/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=20356 CPUtime=402.21 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2712 0 0 0 40154 67 0 0 25 0 1 0 829100378 20844544 2646 33554432000 134512640 137138936 4291647088 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5089 2646 192 642 0 4445 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 20356

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5014
/proc/meminfo: memFree=15213932/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=20356 CPUtime=462.21 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2712 0 0 0 46146 75 0 0 25 0 1 0 829100378 20844544 2646 33554432000 134512640 137138936 4291647088 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5089 2646 192 642 0 4445 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20356

[startup+522.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/531 5014
/proc/meminfo: memFree=15212688/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=20312 CPUtime=522.2 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 2712 0 0 0 52139 81 0 0 25 0 1 0 829100378 20799488 2646 33554432000 134512640 137138936 4291647088 18446744073709551615 136504446 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5078 2646 192 642 0 4434 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 20312

[startup+582.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/531 5016
/proc/meminfo: memFree=15210696/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22124 CPUtime=582.21 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3154 0 0 0 58131 90 0 0 25 0 1 0 829100378 22654976 3088 33554432000 134512640 137138936 4291647088 18446744073709551615 134598934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5531 3088 192 642 0 4887 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 22124

[startup+642.301 s]

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

/proc/meminfo: memFree=14846500/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22316 CPUtime=1062.18 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3203 0 0 0 106066 152 0 0 25 0 1 0 829100378 22851584 3137 33554432000 134512640 137138936 4291647088 18446744073709551615 134609266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5579 3137 192 642 0 4935 0
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (KiB) 22316

[startup+1122.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/531 5057
/proc/meminfo: memFree=14811644/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22312 CPUtime=1122.18 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3203 0 0 0 112059 159 0 0 25 0 1 0 829100378 22847488 3137 33554432000 134512640 137138936 4291647088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5578 3137 192 642 0 4934 0
Current children cumulated CPU time (s) 1122.18
Current children cumulated vsize (KiB) 22312

[startup+1182.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/531 5059
/proc/meminfo: memFree=14727316/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22312 CPUtime=1182.17 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3217 0 0 0 118049 168 0 0 25 0 1 0 829100378 22847488 3151 33554432000 134512640 137138936 4291647088 18446744073709551615 134573907 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5578 3151 192 642 0 4934 0
Current children cumulated CPU time (s) 1182.17
Current children cumulated vsize (KiB) 22312

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/531 5061
/proc/meminfo: memFree=14694572/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22312 CPUtime=1242.17 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3217 0 0 0 124042 175 0 0 25 0 1 0 829100378 22847488 3151 33554432000 134512640 137138936 4291647088 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5578 3151 192 642 0 4934 0
Current children cumulated CPU time (s) 1242.17
Current children cumulated vsize (KiB) 22312

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/531 5063
/proc/meminfo: memFree=14665300/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22312 CPUtime=1302.17 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3217 0 0 0 130035 182 0 0 25 0 1 0 829100378 22847488 3151 33554432000 134512640 137138936 4291647088 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5578 3151 192 642 0 4934 0
Current children cumulated CPU time (s) 1302.17
Current children cumulated vsize (KiB) 22312

[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/531 5065
/proc/meminfo: memFree=14633056/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=22760 CPUtime=1362.16 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3314 0 0 0 136027 189 0 0 25 0 1 0 829100378 23306240 3248 33554432000 134512640 137138936 4291647088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5690 3248 192 642 0 5046 0
Current children cumulated CPU time (s) 1362.16
Current children cumulated vsize (KiB) 22760

[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 5065
/proc/meminfo: memFree=14598952/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=23456 CPUtime=1422.18 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3492 0 0 0 142023 195 0 0 25 0 1 0 829100378 24018944 3426 33554432000 134512640 137138936 4291647088 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5864 3426 192 642 0 5220 0
Current children cumulated CPU time (s) 1422.18
Current children cumulated vsize (KiB) 23456

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/531 5067
/proc/meminfo: memFree=14563980/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=23872 CPUtime=1482.15 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3594 0 0 0 148014 201 0 0 25 0 1 0 829100378 24444928 3528 33554432000 134512640 137138936 4291647088 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 5968 3528 192 642 0 5324 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 23872

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5069
/proc/meminfo: memFree=14528140/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24516 CPUtime=1542.15 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 154007 208 0 0 25 0 1 0 829100378 25104384 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134551922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6129 3690 192 642 0 5485 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 24516

[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/531 5071
/proc/meminfo: memFree=14489692/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24508 CPUtime=1602.15 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 159999 216 0 0 25 0 1 0 829100378 25096192 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6127 3690 192 642 0 5483 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 24508

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/531 5073
/proc/meminfo: memFree=14274424/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24504 CPUtime=1662.14 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 165991 223 0 0 25 0 1 0 829100378 25092096 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 136297622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6126 3690 192 642 0 5482 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 24504

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/531 5073
/proc/meminfo: memFree=14125120/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24504 CPUtime=1722.14 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 171983 231 0 0 25 0 1 0 829100378 25092096 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6126 3690 192 642 0 5482 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 24504

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14124004/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1782.14 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 177975 239 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 24484

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

[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1791.76 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 178936 240 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1791.76
Current children cumulated vsize (KiB) 24484

[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1794.94 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 179254 240 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1794.94
Current children cumulated vsize (KiB) 24484

[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1796.54 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 179413 241 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (KiB) 24484

[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1797.34 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 179493 241 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 24484

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1797.74 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 179533 241 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 24484

[startup+1798.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5075
/proc/meminfo: memFree=14123876/32951132 swapFree=46579808/67111528
[pid=5001] ppid=4999 vsize=24484 CPUtime=1797.94 cores=0,2,4,6
/proc/5001/stat : 5001 (bsolo) R 4999 5001 4029 0 -1 4202496 3756 0 0 0 179553 241 0 0 25 0 1 0 829100378 25071616 3690 33554432000 134512640 137138936 4291647088 18446744073709551615 134600499 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5001/statm: 6121 3690 192 642 0 5477 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 24484

Child status: 0
Real time (s): 1798.16
CPU time (s): 1798
CPU user time (s): 1795.59
CPU system time (s): 2.41563
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 24524

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

runsolver used 10.1585 second user time and 20.9288 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 10:10:17
IDJOB=3462994
IDBENCH=1356
IDSOLVER=1955
FILE ID=node128/3462994-1307175017
RUNJOBID= node128-1307174881-4950
PBS_JOBID= 13508827
Free space on /tmp= 73916 MiB

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

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

MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3
RANDOM SEED=1187149085

node128.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.852
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.70
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.852
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.852
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.82
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.852
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.75
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.852
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15227604 kB
Buffers:        330340 kB
Cached:        3482096 kB
SwapCached:      35620 kB
Active:        9035140 kB
Inactive:      8373804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15227604 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:    13570536 kB
Mapped:          18496 kB
Slab:           133740 kB
PageTables:     112380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174814588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73896 MiB
End job on node128 at 2011-06-04 10:40:16