Trace number 359279

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, and are wall clock time (not CPU 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.0.16? 1800.01 1800.65

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
MD5SUM7f91f8d08a20ca0a8483dc7b1c14e540
Bench CategorySATUNSAT-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 benchmark143.279
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb
0.00/0.00	c File size is 83381 bytes.
0.00/0.01	c Highest Coefficient sum: 671
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.02	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5708
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.00/0.03	c Pre-processing Time: 0.026 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    231     2586     8096    3     5473    1880      0      0 0.03
0.00/0.03	c Switching off LPR mode.
1799.95/1800.64	c      100    231     2686    13886    5     5676    2069    100   2631 0.04
1799.95/1800.64	c      251    231     2837    20430    7     5979    2276    251   4735 0.05
1799.95/1800.64	c      477    231     3063    30012    9     6431    2504    477   5611 0.09
1799.95/1800.64	c      816    231     3402    45256   13     7108    2755    816   6135 0.13
1799.95/1800.64	c     1324    231     3910    66315   16     8124    3031   1324   5858 0.23
1799.95/1800.64	c     2087    231     4673    94973   20     9649    3335   2087   5580 0.37
1799.95/1800.64	c     3233    231     5819   145752   25    11941    3669   3233   4705 0.69
1799.95/1800.64	c     4955    231     5625   146491   26    11553    4036   3039   4061 1.22
1799.95/1800.64	c     7540    231     6106   174190   28    12514    4440   3520   3846 1.96
1799.95/1800.64	c    11420    231     5374   149038   27    11050    4885   2788   3462 3.30
1799.95/1800.64	c    17242    231     6059   183949   30    12420    5374   3473   3226 5.34
1799.95/1800.64	c    25981    231     6412   170600   26    13128    5912   3826   3094 8.40
1799.95/1800.64	c    39091    231     7208   196411   27    14720    6504   4622   3147 12.42
1799.95/1800.64	c    58762    231     6739   185211   27    13781    7155   4153   2965 19.82
1799.95/1800.64	c    88275    231     6651   188526   28    13606    7871   4065   2808 31.43
1799.95/1800.64	c   132545    231    10412   308103   29    21128    8659   7826   2615 50.68
1799.95/1800.64	c   198958    231    10209   329985   32    20722    9525   7623   2362 84.22
1799.95/1800.64	c   298579    231     7660   199343   26    15624   10478   5074   2094 142.58
1799.95/1800.64	c   448015    231    12587   427624   33    25478   11526  10001   1952 229.43
1799.95/1800.64	c   672174    231    13539   454176   33    27382   12679  10953   1763 381.13
1799.95/1800.64	c  1008418    231    14280   522930   36    28864   13947  11694   1568 643.09
1799.95/1800.64	c  1512790    231    15723   605414   38    31749   15342  13137   1399 1080.64
1799.95/1800.64	c  2269353    231    16984   626434   36    34271   16877  14398   1263 1795.52
1799.95/1800.64	c Resources Exceeded
1799.95/1800.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.64	c   23  2272678 389003  2923420    11740   378228   9154   1262 1800.00
1799.95/1800.64	s UNKNOWN
1799.95/1800.64	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-359279-1176925624 -o ROOT/results/node74/solver-359279-1176925624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.96 3/66 23816
/proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=4008 CPUtime=0
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 140477115 4104192 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1002 337 282 324 0 50 0

[startup+0.0948379 s]
/proc/loadavg: 0.91 0.97 0.96 3/66 23816
/proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=4720 CPUtime=0.08
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 619 0 0 0 8 0 0 0 18 0 1 0 140477115 4833280 566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1180 566 311 324 0 249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4720

[startup+0.102838 s]
/proc/loadavg: 0.91 0.97 0.96 3/66 23816
/proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=4848 CPUtime=0.09
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 628 0 0 0 9 0 0 0 18 0 1 0 140477115 4964352 575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1212 575 311 324 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.302862 s]
/proc/loadavg: 0.91 0.97 0.96 3/66 23816
/proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=5500 CPUtime=0.29
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 811 0 0 0 28 1 0 0 19 0 1 0 140477115 5632000 758 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1375 758 311 324 0 444 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5500

[startup+0.701907 s]
/proc/loadavg: 0.91 0.97 0.96 3/66 23816
/proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=6544 CPUtime=0.69
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1066 0 0 0 68 1 0 0 22 0 1 0 140477115 6701056 1013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1636 1013 311 324 0 705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6544

[startup+1.502 s]
/proc/loadavg: 0.91 0.97 0.96 2/67 23817
/proc/meminfo: memFree=1791824/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=7200 CPUtime=1.49
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1218 0 0 0 148 1 0 0 25 0 1 0 140477115 7372800 1165 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1800 1165 311 324 0 869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7200

[startup+3.10118 s]
/proc/loadavg: 0.91 0.97 0.96 2/67 23817
/proc/meminfo: memFree=1791312/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=7724 CPUtime=3.08
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1375 0 0 0 307 1 0 0 25 0 1 0 140477115 7909376 1322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 1931 1322 311 324 0 1000 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7724

[startup+6.30155 s]
/proc/loadavg: 0.92 0.97 0.96 2/67 23817
/proc/meminfo: memFree=1790096/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=8624 CPUtime=6.29
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1596 0 0 0 627 2 0 0 25 0 1 0 140477115 8830976 1543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2156 1543 311 324 0 1225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8624

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.96 2/67 23817
/proc/meminfo: memFree=1789776/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=8628 CPUtime=12.68
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1597 0 0 0 1266 2 0 0 25 0 1 0 140477115 8835072 1544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2157 1544 311 324 0 1226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8628

[startup+25.5028 s]
/proc/loadavg: 1.02 0.99 0.96 2/67 23817
/proc/meminfo: memFree=1789072/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=9412 CPUtime=25.49
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1774 0 0 0 2543 6 0 0 25 0 1 0 140477115 9637888 1721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2353 1721 311 324 0 1422 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9412

[startup+51.1027 s]
/proc/loadavg: 1.09 1.00 0.97 2/67 23817
/proc/meminfo: memFree=1788624/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=9792 CPUtime=51.07
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1889 0 0 0 5095 12 0 0 25 0 1 0 140477115 10027008 1836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2448 1836 311 324 0 1517 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9792

[startup+102.306 s]
/proc/loadavg: 1.09 1.01 0.97 2/67 23817
/proc/meminfo: memFree=1787216/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=11312 CPUtime=102.26
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2252 0 0 0 10204 22 0 0 25 0 1 0 140477115 11583488 2199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2828 2199 311 324 0 1897 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11312

[startup+162.302 s]
/proc/loadavg: 1.14 1.04 0.98 2/67 23817
/proc/meminfo: memFree=1787088/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=11308 CPUtime=162.24
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2269 0 0 0 16192 32 0 0 25 0 1 0 140477115 11579392 2216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2827 2216 311 324 0 1896 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11308

[startup+222.302 s]
/proc/loadavg: 1.12 1.05 0.99 2/67 23817
/proc/meminfo: memFree=1786576/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=11828 CPUtime=222.22
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2401 0 0 0 22180 42 0 0 25 0 1 0 140477115 12111872 2348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 2957 2348 311 324 0 2026 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 11828

[startup+282.302 s]
/proc/loadavg: 1.11 1.05 0.99 2/67 23817
/proc/meminfo: memFree=1786192/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=12220 CPUtime=282.21
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2491 0 0 0 28167 54 0 0 25 0 1 0 140477115 12513280 2438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3055 2438 311 324 0 2124 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 12220

[startup+342.302 s]
/proc/loadavg: 1.13 1.07 1.00 2/67 23817
/proc/meminfo: memFree=1786192/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=12220 CPUtime=342.19
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2491 0 0 0 34157 62 0 0 25 0 1 0 140477115 12513280 2438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3055 2438 311 324 0 2124 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 12220

[startup+402.302 s]
/proc/loadavg: 1.14 1.08 1.01 2/67 23817
/proc/meminfo: memFree=1785104/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=13204 CPUtime=402.17
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2745 0 0 0 40145 72 0 0 25 0 1 0 140477115 13520896 2692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3301 2692 311 324 0 2370 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 13204

[startup+462.302 s]
/proc/loadavg: 1.13 1.09 1.01 2/67 23817
/proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=13684 CPUtime=462.15
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 46135 80 0 0 25 0 1 0 140477115 14012416 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3421 2797 311 324 0 2490 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 13684

[startup+522.301 s]
/proc/loadavg: 1.13 1.10 1.02 2/67 23817
/proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=13684 CPUtime=522.14
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 52125 89 0 0 25 0 1 0 140477115 14012416 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3421 2797 311 324 0 2490 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 13684

[startup+582.302 s]
/proc/loadavg: 1.12 1.11 1.02 2/67 23817
/proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=13676 CPUtime=582.11
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 58112 99 0 0 25 0 1 0 140477115 14004224 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3419 2797 311 324 0 2488 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 13676

[startup+642.302 s]
/proc/loadavg: 1.08 1.10 1.02 2/67 23817
/proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=13636 CPUtime=642.1
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 64103 107 0 0 25 0 1 0 140477115 13963264 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3409 2797 311 324 0 2478 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 13636


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

/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15264 CPUtime=1121.85
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 112014 171 0 0 25 0 1 0 140477115 15630336 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3816 3193 311 324 0 2885 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 15264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 24015
/proc/meminfo: memFree=1782672/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1181.83
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 118005 178 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 15256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 24015
/proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1241.81
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 123995 186 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 15256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 24015
/proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1301.8
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 129986 194 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 15256

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 24015
/proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1361.78
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 135975 203 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 15256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 24015
/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1421.77
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 141967 210 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 15256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1481.75
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 147957 218 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 15256

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15256 CPUtime=1541.73
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 153947 226 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3814 3193 311 324 0 2883 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 15256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15252 CPUtime=1601.71
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 159938 233 0 0 25 0 1 0 140477115 15618048 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3813 3193 311 324 0 2882 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 15252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15252 CPUtime=1661.69
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 165928 241 0 0 25 0 1 0 140477115 15618048 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3813 3193 311 324 0 2882 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 15252

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15248 CPUtime=1721.67
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 171918 249 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3812 3193 311 324 0 2881 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 15248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15248 CPUtime=1781.66
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 177908 258 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3812 3193 311 324 0 2881 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 15248

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15248 CPUtime=1791.26
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 178867 259 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3812 3193 311 324 0 2881 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 15248

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15248 CPUtime=1794.46
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 179187 259 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3812 3193 311 324 0 2881 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 15248

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15252 CPUtime=1797.66
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3247 0 0 0 179506 260 0 0 25 0 1 0 140477115 15618048 3194 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3813 3194 311 324 0 2882 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 15252

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15644 CPUtime=1799.25
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3350 0 0 0 179665 260 0 0 25 0 1 0 140477115 16019456 3297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3911 3297 311 324 0 2980 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (KiB) 15644

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15764 CPUtime=1799.65
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179705 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3941 3318 311 324 0 3010 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 15764

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15764 CPUtime=1799.85
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179725 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3941 3318 311 324 0 3010 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (KiB) 15764

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=1781968/2055920 swapFree=4183056/4192956
[pid=23816] ppid=23814 vsize=15764 CPUtime=1799.95
/proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179735 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10190564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23816/statm: 3941 3318 311 324 0 3010 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 15764

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.01
CPU user time (s): 1797.4
CPU system time (s): 2.6116
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 15764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 2.6116
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3372
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= 12
involuntary context switches= 2445

runsolver used 1.43378 second user time and 3.9524 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Wed Apr 18 19:47:04 UTC 2007

IDJOB= 359279
IDBENCH= 1277
IDSOLVER= 163
FILE ID= node74/359279-1176925624

PBS_JOBID= 4595257

Free space on /tmp= 103201 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-359279-1176925624 -o ROOT/results/node74/solver-359279-1176925624 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7f91f8d08a20ca0a8483dc7b1c14e540

RANDOM SEED= 479412968

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.213
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.213
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:       1795504 kB
Buffers:         13268 kB
Cached:         196776 kB
SwapCached:       2796 kB
Active:          80968 kB
Inactive:       139188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795504 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            4468 kB
Writeback:           0 kB
Mapped:          16276 kB
Slab:            26080 kB
Committed_AS:  1993216 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103201 MiB

End job on node74 on Wed Apr 18 20:17:04 UTC 2007