Trace number 2656863

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 Card? 1798 1798.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
MD5SUM76a48b8845ca731b7df3e7e82d604015
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 benchmark63.3934
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 687
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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656863-1276314814.opb
0.00/0.00	c File size is 83375 bytes.
0.00/0.01	c Highest Coefficient sum: 687
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: 5709
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.98/1798.52	c      101    231     2752    14163    5     5811    2069    166   2295 0.04
1797.98/1798.52	c      252    231     2958    22392    7     6224    2276    372   2964 0.09
1797.98/1798.52	c      479    231     3228    33047   10     6764    2504    642   2868 0.17
1797.98/1798.52	c      818    231     3615    47722   13     7540    2755   1029   2791 0.29
1797.98/1798.52	c     1326    231     4161    70097   16     8636    3031   1575   2535 0.52
1797.98/1798.52	c     2089    231     4956   100802   20    10246    3335   2370   2310 0.90
1797.98/1798.52	c     3235    231     4381    73572   16     9080    3669   1795   2030 1.59
1797.98/1798.52	c     4957    231     6190   136645   22    12739    4036   3604   2015 2.46
1797.98/1798.52	c     7541    231     4716    88867   18     9774    4440   2130   1899 3.97
1797.98/1798.52	c    11421    231     6603   188176   28    13612    4885   4017   1791 6.37
1797.98/1798.52	c    17244    231     5138   100553   19    10590    5374   2552   1699 10.14
1797.98/1798.52	c    25981    231     5916   151807   25    12199    5912   3330   1596 16.28
1797.98/1798.52	c    39091    231     7367   224921   30    15256    6504   4781   1513 25.83
1797.98/1798.52	c    58761    231     7884   256174   32    16232    7155   5298   1410 41.66
1797.98/1798.52	c    88271    231     9567   295145   30    19665    7871   6981   1357 65.01
1797.98/1798.52	c   132544    231     7867   234066   29    16198    8659   5281   1265 104.77
1797.98/1798.52	c   198956    231     9039   318729   35    18658    9525   6453   1149 173.07
1797.98/1798.52	c   298578    231     7438   216702   29    15250   10478   4852   1083 275.61
1797.98/1798.52	c   448015    231    11887   347827   29    24144   11526   9301   1035 432.50
1797.98/1798.52	c   672173    231    12947   485195   37    26494   12679  10361    978 686.96
1797.98/1798.52	c  1008416    231    10269   318289   30    20922   13947   7683    890 1132.49
1797.98/1798.52	c Resources Exceeded
1797.98/1798.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.52	c   21  1494178 305087  2047265    16423   602811  13837    831 1798.00
1797.98/1798.52	s UNKNOWN
1797.98/1798.52	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-2656863-1276314814/watcher-2656863-1276314814 -o /tmp/evaluation-result-2656863-1276314814/solver-2656863-1276314814 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656863-1276314814.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: 2.24 2.38 1.92 3/106 6948
/proc/meminfo: memFree=1533020/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=10880 CPUtime=0
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 335 0 0 0 0 0 0 0 24 0 1 0 5136775 11141120 254 1992294400 134512640 137138936 4293122384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 2720 254 175 642 0 2055 0

[startup+0.0560761 s]
/proc/loadavg: 2.24 2.38 1.92 3/106 6948
/proc/meminfo: memFree=1533020/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=11320 CPUtime=0.05
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 483 0 0 0 5 0 0 0 24 0 1 0 5136775 11591680 381 1992294400 134512640 137138936 4293122384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 2830 381 192 642 0 2186 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11320

[startup+0.101078 s]
/proc/loadavg: 2.24 2.38 1.92 3/106 6948
/proc/meminfo: memFree=1533020/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=11448 CPUtime=0.09
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 510 0 0 0 9 0 0 0 24 0 1 0 5136775 11722752 408 1992294400 134512640 137138936 4293122384 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 2862 408 192 642 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448

[startup+0.301094 s]
/proc/loadavg: 2.24 2.38 1.92 3/106 6948
/proc/meminfo: memFree=1533020/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=11820 CPUtime=0.29
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 606 0 0 0 29 0 0 0 25 0 1 0 5136775 12103680 504 1992294400 134512640 137138936 4293122384 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 2955 504 192 642 0 2311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11820

[startup+0.701126 s]
/proc/loadavg: 2.24 2.38 1.92 3/106 6948
/proc/meminfo: memFree=1533020/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=12312 CPUtime=0.69
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 752 0 0 0 69 0 0 0 25 0 1 0 5136775 12607488 650 1992294400 134512640 137138936 4293122384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3078 650 192 642 0 2434 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12312

[startup+1.50019 s]
/proc/loadavg: 2.14 2.36 1.91 2/107 6949
/proc/meminfo: memFree=1530780/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=13172 CPUtime=1.49
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 969 0 0 0 148 1 0 0 25 0 1 0 5136775 13488128 867 1992294400 134512640 137138936 4293122384 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3293 867 192 642 0 2649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13172

[startup+3.10032 s]
/proc/loadavg: 2.14 2.36 1.91 2/107 6949
/proc/meminfo: memFree=1529912/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=13552 CPUtime=3.08
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1039 0 0 0 307 1 0 0 25 0 1 0 5136775 13877248 937 1992294400 134512640 137138936 4293122384 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3388 937 192 642 0 2744 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13552

[startup+6.30157 s]
/proc/loadavg: 2.05 2.34 1.90 2/107 6949
/proc/meminfo: memFree=1528928/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=14172 CPUtime=6.29
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1199 0 0 0 627 2 0 0 25 0 1 0 5136775 14512128 1097 1992294400 134512640 137138936 4293122384 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3543 1097 192 642 0 2899 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14172

[startup+12.7011 s]
/proc/loadavg: 1.96 2.32 1.90 2/107 6949
/proc/meminfo: memFree=1528432/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=14532 CPUtime=12.68
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1308 0 0 0 1264 4 0 0 25 0 1 0 5136775 14880768 1206 1992294400 134512640 137138936 4293122384 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3633 1206 192 642 0 2989 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14532

[startup+25.5011 s]
/proc/loadavg: 1.82 2.27 1.89 2/107 6949
/proc/meminfo: memFree=1527440/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=15628 CPUtime=25.49
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1568 0 0 0 2541 8 0 0 25 0 1 0 5136775 16003072 1466 1992294400 134512640 137138936 4293122384 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 3907 1466 192 642 0 3263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15628

[startup+51.1011 s]
/proc/loadavg: 1.49 2.15 1.86 2/107 6949
/proc/meminfo: memFree=1526572/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=16604 CPUtime=51.06
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1803 0 0 0 5092 14 0 0 25 0 1 0 5136775 17002496 1701 1992294400 134512640 137138936 4293122384 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4151 1701 192 642 0 3507 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 16604

[startup+102.309 s]
/proc/loadavg: 1.21 1.97 1.81 2/107 6951
/proc/meminfo: memFree=1526076/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=16848 CPUtime=102.26
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 1866 0 0 0 10199 27 0 0 25 0 1 0 5136775 17252352 1764 1992294400 134512640 137138936 4293122384 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4212 1764 192 642 0 3568 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16848

[startup+162.301 s]
/proc/loadavg: 1.08 1.79 1.76 2/107 6953
/proc/meminfo: memFree=1525208/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=17700 CPUtime=162.24
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2080 0 0 0 16185 39 0 0 25 0 1 0 5136775 18124800 1978 1992294400 134512640 137138936 4293122384 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4425 1978 192 642 0 3781 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 17700

[startup+222.302 s]
/proc/loadavg: 1.03 1.64 1.71 2/107 6953
/proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=18312 CPUtime=222.22
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2241 0 0 0 22171 51 0 0 25 0 1 0 5136775 18751488 2139 1992294400 134512640 137138936 4293122384 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4578 2139 192 642 0 3934 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 18312

[startup+282.301 s]
/proc/loadavg: 1.01 1.52 1.66 2/107 6955
/proc/meminfo: memFree=1524092/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=18672 CPUtime=282.2
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2323 0 0 0 28156 64 0 0 25 0 1 0 5136775 19120128 2221 1992294400 134512640 137138936 4293122384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4668 2221 192 642 0 4024 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 18672

[startup+342.301 s]
/proc/loadavg: 1.00 1.43 1.62 2/107 6957
/proc/meminfo: memFree=1523596/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19156 CPUtime=342.19
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2453 0 0 0 34144 75 0 0 25 0 1 0 5136775 19615744 2351 1992294400 134512640 137138936 4293122384 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4789 2351 192 642 0 4145 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 19156

[startup+402.302 s]
/proc/loadavg: 1.00 1.35 1.58 2/107 6959
/proc/meminfo: memFree=1523596/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19124 CPUtime=402.17
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2453 0 0 0 40128 89 0 0 25 0 1 0 5136775 19582976 2351 1992294400 134512640 137138936 4293122384 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4781 2351 192 642 0 4137 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 19124

[startup+462.302 s]
/proc/loadavg: 1.00 1.28 1.54 2/107 6970
/proc/meminfo: memFree=1522852/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19120 CPUtime=462.14
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2454 0 0 0 46111 103 0 0 25 0 1 0 5136775 19578880 2352 1992294400 134512640 137138936 4293122384 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4780 2352 192 642 0 4136 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 19120

[startup+522.301 s]
/proc/loadavg: 1.00 1.23 1.50 2/107 6970
/proc/meminfo: memFree=1522976/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19120 CPUtime=522.12
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2454 0 0 0 52095 117 0 0 25 0 1 0 5136775 19578880 2352 1992294400 134512640 137138936 4293122384 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4780 2352 192 642 0 4136 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 19120

[startup+582.301 s]
/proc/loadavg: 1.00 1.18 1.47 2/107 6972
/proc/meminfo: memFree=1522852/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19460 CPUtime=582.11
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2523 0 0 0 58083 128 0 0 25 0 1 0 5136775 19927040 2421 1992294400 134512640 137138936 4293122384 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4865 2421 192 642 0 4221 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 19460

[startup+642.302 s]
/proc/loadavg: 1.00 1.15 1.43 2/107 6974
/proc/meminfo: memFree=1522852/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=19456 CPUtime=642.11
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2523 0 0 0 64072 139 0 0 25 0 1 0 5136775 19922944 2421 1992294400 134512640 137138936 4293122384 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 4864 2421 192 642 0 4220 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 19456

[startup+702.302 s]

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

/proc/meminfo: memFree=1521364/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20912 CPUtime=1061.97
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2900 0 0 0 105973 224 0 0 25 0 1 0 5136775 21413888 2798 1992294400 134512640 137138936 4293122384 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5228 2798 192 642 0 4584 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 20912

[startup+1122.3 s]
/proc/loadavg: 1.05 1.06 1.26 2/107 6986
/proc/meminfo: memFree=1521240/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20912 CPUtime=1121.96
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2900 0 0 0 111960 236 0 0 25 0 1 0 5136775 21413888 2798 1992294400 134512640 137138936 4293122384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5228 2798 192 642 0 4584 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 20912

[startup+1182.3 s]
/proc/loadavg: 1.02 1.05 1.24 2/107 6988
/proc/meminfo: memFree=1521240/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20916 CPUtime=1181.94
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 117947 247 0 0 25 0 1 0 5136775 21417984 2799 1992294400 134512640 137138936 4293122384 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5229 2799 192 642 0 4585 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 20916

[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.22 2/107 6990
/proc/meminfo: memFree=1521116/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1241.93
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 123932 261 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 20876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/107 6992
/proc/meminfo: memFree=1520992/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1301.91
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 129918 273 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 20876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.19 2/107 6994
/proc/meminfo: memFree=1520992/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1361.89
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 135906 283 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 20876

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 6994
/proc/meminfo: memFree=1520992/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1421.88
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 141891 297 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 20876

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 6996
/proc/meminfo: memFree=1520868/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1481.86
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 147876 310 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 20876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 6998
/proc/meminfo: memFree=1520868/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=20876 CPUtime=1541.84
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2901 0 0 0 153862 322 0 0 25 0 1 0 5136775 21377024 2794 1992294400 134512640 137138936 4293122384 18446744073709551615 134542848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5219 2794 192 642 0 4575 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 20876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 7000
/proc/meminfo: memFree=1520744/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=21212 CPUtime=1601.83
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 2968 0 0 0 159848 335 0 0 25 0 1 0 5136775 21721088 2861 1992294400 134512640 137138936 4293122384 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5303 2861 192 642 0 4659 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 21212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 7002
/proc/meminfo: memFree=1520496/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=21556 CPUtime=1661.8
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3053 0 0 0 165835 345 0 0 25 0 1 0 5136775 22073344 2946 1992294400 134512640 137138936 4293122384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5389 2946 192 642 0 4745 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 21556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 7002
/proc/meminfo: memFree=1519380/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22480 CPUtime=1721.79
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 171823 356 0 0 25 0 1 0 5136775 23019520 3181 1992294400 134512640 137138936 4293122384 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5620 3181 192 642 0 4976 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 22480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1781.77
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 177809 368 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 22408

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1791.38
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 178768 370 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 22408

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1794.57
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 179087 370 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 22408

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1796.17
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 179247 370 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 22408

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1796.97
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 179327 370 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 22408

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7004
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1797.78
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 179407 371 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 22408

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7006
/proc/meminfo: memFree=1519132/2059040 swapFree=4192956/4192956
[pid=6948] ppid=6946 vsize=22408 CPUtime=1797.98
/proc/6948/stat : 6948 (bsolo_pb10) R 6946 6948 5928 0 -1 4202496 3288 0 0 0 179427 371 0 0 25 0 1 0 5136775 22945792 3177 1992294400 134512640 137138936 4293122384 18446744073709551615 134542223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6948/statm: 5602 3177 192 642 0 4958 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 22408

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798
CPU user time (s): 1794.29
CPU system time (s): 3.71344
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 22552

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

runsolver used 3.15452 second user time and 8.30474 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-12 05:53:34
IDJOB=2656863
IDBENCH=1365
IDSOLVER=1162
FILE ID=node026/2656863-1276314814
PBS_JOBID= 11173136
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= 76a48b8845ca731b7df3e7e82d604015
RANDOM SEED=1449992511

node026.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.201
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.40
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.201
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1533548 kB
Buffers:         85788 kB
Cached:         312368 kB
SwapCached:          0 kB
Active:         176776 kB
Inactive:       280484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1533548 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4028 kB
Writeback:           0 kB
AnonPages:       59092 kB
Mapped:          15324 kB
Slab:            46476 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180240 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= 62508 MiB
End job on node026 at 2010-06-12 06:23:32