Trace number 1877341

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.1? 1798 1798.54

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
MD5SUM9f20f031d3068edba1350cbde5c721b5
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 benchmark26.9349
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 641
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1877341-1245115963.opb
0.00/0.00	c File size is 83375 bytes.
0.00/0.01	c Highest Coefficient sum: 641
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5707
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.022 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     5470    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
1797.96/1798.53	c      101    231     2759    13895    5     5823    2069    173   2525 0.04
1797.96/1798.53	c      254    231     3008    23542    7     6328    2276    422   3735 0.07
1797.96/1798.53	c      479    231     3332    41104   12     7002    2504    746   3601 0.13
1797.96/1798.53	c      818    231     3773    70302   18     7921    2755   1187   2870 0.28
1797.96/1798.53	c     1329    231     4425   107703   24     9302    3031   1839   2658 0.50
1797.96/1798.53	c     2097    231     5374   160228   29    11223    3335   2788   2274 0.92
1797.96/1798.53	c     3243    231     5040   146310   29    10459    3669   2454   1915 1.69
1797.96/1798.53	c     4964    231     4988   113983   22    10286    4036   2402   1833 2.71
1797.96/1798.53	c     7549    231     5647   111403   19    11664    4440   3061   1932 3.91
1797.96/1798.53	c    11429    231     5094    87923   17    10495    4885   2508   1972 5.79
1797.96/1798.53	c    17253    231     6175   127696   20    12674    5374   3589   1989 8.67
1797.96/1798.53	c    25993    231     6985   197469   28    14493    5912   4399   1912 13.59
1797.96/1798.53	c    39104    231     5543   131293   23    11456    6504   2957   1798 21.74
1797.96/1798.53	c    58774    231     6273   172205   27    12930    7155   3687   1673 35.11
1797.96/1798.53	c    88285    231     7658   250797   32    15786    7871   5072   1517 58.17
1797.96/1798.53	c   132555    231     9684   364444   37    19921    8659   7098   1373 96.51
1797.96/1798.53	c   198965    231     8920   280388   31    18381    9525   6334   1279 155.51
1797.96/1798.53	c   298585    231    11872   336711   28    24151   10478   9286   1215 245.66
1797.96/1798.53	c   448023    231    10874   323371   29    22129   11526   8288   1149 389.74
1797.96/1798.53	c   672181    231     9058   279139   30    18523   12679   6472   1087 618.20
1797.96/1798.53	c  1008424    231    15066   465605   30    30541   13947  12480   1010 997.83
1797.96/1798.53	c  1512796    231    12565   421152   33    25543   15342   9979    917 1649.57
1797.96/1798.53	c Resources Exceeded
1797.96/1798.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.53	c   22  1614874 331185  2202489    14195   455948  11609    898 1798.00
1797.96/1798.53	s UNKNOWN
1797.96/1798.53	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-1877341-1245115963/watcher-1877341-1245115963 -o /tmp/evaluation-result-1877341-1245115963/solver-1877341-1245115963 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877341-1245115963.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.07 3/64 31149
/proc/meminfo: memFree=1819168/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=10792 CPUtime=0
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 179195899 11051008 234 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 2698 234 174 640 0 2033 0

[startup+0.0528949 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 31149
/proc/meminfo: memFree=1819168/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=11236 CPUtime=0.04
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 422 0 0 0 4 0 0 0 18 0 1 0 179195899 11505664 385 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 2809 385 196 640 0 2165 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11236

[startup+0.101897 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 31149
/proc/meminfo: memFree=1819168/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=11492 CPUtime=0.09
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 478 0 0 0 9 0 0 0 18 0 1 0 179195899 11767808 441 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 2873 441 196 640 0 2229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11492

[startup+0.30191 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 31149
/proc/meminfo: memFree=1819168/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=12000 CPUtime=0.29
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 625 0 0 0 29 0 0 0 19 0 1 0 179195899 12288000 588 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3000 588 196 640 0 2356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12000

[startup+0.701935 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 31149
/proc/meminfo: memFree=1819168/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=12896 CPUtime=0.69
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 853 0 0 0 69 0 0 0 23 0 1 0 179195899 13205504 816 1992294400 134512640 137136520 4294956256 18446744073709551615 136502299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3224 816 196 640 0 2580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12896

[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1816152/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=13896 CPUtime=1.49
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1106 0 0 0 148 1 0 0 25 0 1 0 179195899 14229504 1069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3474 1069 196 640 0 2830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13896

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1815512/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=14024 CPUtime=3.09
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1124 0 0 0 308 1 0 0 25 0 1 0 179195899 14360576 1087 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3506 1087 196 640 0 2862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14024

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1815256/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=14028 CPUtime=6.29
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1124 0 0 0 627 2 0 0 25 0 1 0 179195899 14364672 1087 1992294400 134512640 137136520 4294956256 18446744073709551615 134599897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3507 1087 196 640 0 2863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14028

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1814936/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=14636 CPUtime=12.68
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1273 0 0 0 1265 3 0 0 25 0 1 0 179195899 14987264 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3659 1236 196 640 0 3015 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14636

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1813784/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=15488 CPUtime=25.48
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1494 0 0 0 2542 6 0 0 25 0 1 0 179195899 15859712 1457 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 3872 1457 196 640 0 3228 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15488

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 31150
/proc/meminfo: memFree=1812696/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=16580 CPUtime=51.07
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 1756 0 0 0 5097 10 0 0 25 0 1 0 179195899 16977920 1719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4145 1719 197 640 0 3501 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16580

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.06 2/65 31150
/proc/meminfo: memFree=1811416/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=17804 CPUtime=102.27
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2063 0 0 0 10209 18 0 0 25 0 1 0 179195899 18231296 2026 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4451 2026 197 640 0 3807 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17804

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/65 31150
/proc/meminfo: memFree=1811096/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18048 CPUtime=162.25
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2136 0 0 0 16197 28 0 0 25 0 1 0 179195899 18481152 2099 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4512 2099 197 640 0 3868 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18048

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 31150
/proc/meminfo: memFree=1810840/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18292 CPUtime=222.23
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2198 0 0 0 22187 36 0 0 25 0 1 0 179195899 18731008 2161 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4573 2161 197 640 0 3929 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18292

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 31150
/proc/meminfo: memFree=1810776/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18292 CPUtime=282.22
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2199 0 0 0 28175 47 0 0 25 0 1 0 179195899 18731008 2162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4573 2162 197 640 0 3929 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18292

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 31150
/proc/meminfo: memFree=1810648/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18412 CPUtime=342.21
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2229 0 0 0 34164 57 0 0 25 0 1 0 179195899 18853888 2192 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4603 2192 197 640 0 3959 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18412

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 31150
/proc/meminfo: memFree=1810584/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18416 CPUtime=402.19
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2230 0 0 0 40152 67 0 0 25 0 1 0 179195899 18857984 2193 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4604 2193 197 640 0 3960 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 18416

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 31150
/proc/meminfo: memFree=1810584/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18416 CPUtime=462.18
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2230 0 0 0 46143 75 0 0 25 0 1 0 179195899 18857984 2193 1992294400 134512640 137136520 4294956256 18446744073709551615 134551248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4604 2193 197 640 0 3960 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 18416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 31150
/proc/meminfo: memFree=1810584/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18416 CPUtime=522.17
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2230 0 0 0 52133 84 0 0 25 0 1 0 179195899 18857984 2193 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4604 2193 197 640 0 3960 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 18416

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 31150
/proc/meminfo: memFree=1810648/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=18416 CPUtime=582.15
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2230 0 0 0 58121 94 0 0 25 0 1 0 179195899 18857984 2193 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 4604 2193 197 640 0 3960 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 18416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 31150
/proc/meminfo: memFree=1809048/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=20000 CPUtime=642.14
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2621 0 0 0 64110 104 0 0 25 0 1 0 179195899 20480000 2584 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5000 2584 197 640 0 4356 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 20000

[startup+702.302 s]

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

/proc/meminfo: memFree=1807704/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21044 CPUtime=1062.04
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 106044 160 0 0 25 0 1 0 179195899 21549056 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5261 2843 197 640 0 4617 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 21044

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807704/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21028 CPUtime=1122.02
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 112033 169 0 0 25 0 1 0 179195899 21532672 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5257 2843 197 640 0 4613 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 21028

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807640/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21028 CPUtime=1182
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 118024 176 0 0 25 0 1 0 179195899 21532672 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5257 2843 197 640 0 4613 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 21028

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807640/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21028 CPUtime=1241.99
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 124015 184 0 0 25 0 1 0 179195899 21532672 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5257 2843 197 640 0 4613 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 21028

[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31152
/proc/meminfo: memFree=1807576/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21024 CPUtime=1301.98
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 130006 192 0 0 25 0 1 0 179195899 21528576 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5256 2843 197 640 0 4612 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 21024

[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 31152
/proc/meminfo: memFree=1807576/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21020 CPUtime=1361.96
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 135996 200 0 0 25 0 1 0 179195899 21524480 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5255 2843 197 640 0 4611 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 21020

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807512/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21020 CPUtime=1421.95
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 141987 208 0 0 25 0 1 0 179195899 21524480 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5255 2843 197 640 0 4611 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 21020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807512/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21016 CPUtime=1481.93
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 147977 216 0 0 25 0 1 0 179195899 21520384 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5254 2843 197 640 0 4610 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 21016

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807576/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21016 CPUtime=1541.92
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 153967 225 0 0 25 0 1 0 179195899 21520384 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5254 2843 197 640 0 4610 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 21016

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807576/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21016 CPUtime=1601.9
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2880 0 0 0 159957 233 0 0 25 0 1 0 179195899 21520384 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5254 2843 197 640 0 4610 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 21016

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31152
/proc/meminfo: memFree=1807448/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1661.89
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2894 0 0 0 165948 241 0 0 25 0 1 0 179195899 21606400 2857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2857 197 640 0 4631 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 21100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31158
/proc/meminfo: memFree=1807192/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1721.87
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 171938 249 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 21100

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 31634
/proc/meminfo: memFree=1775248/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1781.76
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 177917 259 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 21100

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

[startup+1791.91 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775312/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1791.36
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 178876 260 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 136499606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 21100

[startup+1795.1 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775376/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1794.56
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 179195 261 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 134544029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 21100

[startup+1796.7 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775376/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1796.15
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 179354 261 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 21100

[startup+1797.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775376/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1796.96
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 179434 262 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 21100

[startup+1798.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775376/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1797.76
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 179514 262 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 136295553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 21100

[startup+1798.51 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31634
/proc/meminfo: memFree=1775376/2055920 swapFree=4191900/4192956
[pid=31149] ppid=31147 vsize=21100 CPUtime=1797.96
/proc/31149/stat : 31149 (bsolo) R 31147 31149 30908 0 -1 4194304 2901 0 0 0 179534 262 0 0 25 0 1 0 179195899 21606400 2864 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31149/statm: 5275 2864 197 640 0 4631 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 21100

Child status: 0
Real time (s): 1798.54
CPU time (s): 1798
CPU user time (s): 1795.38
CPU system time (s): 2.6226
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 21100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.38
system time used= 2.6226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2902
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= 2
involuntary context switches= 2207

runsolver used 1.3168 second user time and 3.83642 second system time

The end

Launcher Data 

Begin job on node29 at 2009-06-16 03:32:43
IDJOB=1877341
IDBENCH=1270
IDSOLVER=699
FILE ID=node29/1877341-1245115963
PBS_JOBID= 9363669
Free space on /tmp= 66244 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877341-1245115963/watcher-1877341-1245115963 -o /tmp/evaluation-result-1877341-1245115963/solver-1877341-1245115963 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877341-1245115963.opb

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

MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5
RANDOM SEED=1643021387

node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.237
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.237
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1819648 kB
Buffers:         21188 kB
Cached:         153112 kB
SwapCached:        256 kB
Active:          42972 kB
Inactive:       144084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819648 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4024 kB
Writeback:           0 kB
Mapped:          21248 kB
Slab:            35152 kB
Committed_AS:   159228 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66240 MiB
End job on node29 at 2009-06-16 04:02:42