Trace number 1880214

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 pb? (TO) 1800.12 1800.63

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
MD5SUM0fea7c185f4d6e2091fba763db8ccbcc
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 benchmark16.5305
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 685
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: Generic Pseudo-Boolean 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-1880214-1245117768.opb
0.00/0.00	c File size is 83375 bytes.
0.00/0.01	c Highest Coefficient sum: 685
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5706
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.023 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     5471    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
1800.09/1800.61	c      100    231     2786    20853    7     8658    2069    200   1923 0.05
1800.09/1800.61	c      253    231     3091    42762   13    13708    2276    505   2126 0.12
1800.09/1800.61	c      479    231     3540    77530   21    21170    2504    954   1835 0.26
1800.09/1800.61	c      819    231     4213   137834   32    38739    2755   1627   1240 0.66
1800.09/1800.61	c     1328    231     5228   234100   44    66294    3031   2642    821 1.62
1800.09/1800.61	c     2092    231     5103   229234   44    83036    3335   2517    537 3.89
1800.09/1800.61	c     3238    231     5564   281760   50   108840    3669   2978    377 8.58
1800.09/1800.61	c     4960    231     5107   252203   49   111932    4036   2521    230 21.54
1800.09/1800.61	c     7545    231     6021   358306   59   139151    4440   3435    181 41.48
1800.09/1800.61	c    11425    231     6787   444145   65   168475    4885   4201    152 74.83
1800.09/1800.61	c    17249    231     5585   306982   54   133536    5374   2999    130 131.91
1800.09/1800.61	c    25990    231     6170   378382   61   167199    5912   3584    119 216.75
1800.09/1800.61	c    39100    231     7796   564376   72   216765    6504   5210    104 374.57
1800.09/1800.61	c    58771    231     6632   444635   67   181077    7155   4046     92 633.07
1800.09/1800.61	c    88286    231     6582   425508   64   177613    7871   3996     86 1023.68
1800.09/1800.61	c   132562    231     9824   776027   78   289366    8659   7238     81 1620.54
1800.09/1800.61	c Caught signal: 15
1800.09/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.61	c   16   144418  21986   183870     8368   622557   5782     80 1800.10
1800.09/1800.61	s UNKNOWN
1800.09/1800.61	c Total time: 1800.1 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-1880214-1245117768/watcher-1880214-1245117768 -o /tmp/evaluation-result-1880214-1245117768/solver-1880214-1245117768 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880214-1245117768.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.07 1.04 1.01 2/64 2716
/proc/meminfo: memFree=1419400/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=10792 CPUtime=0
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 248 0 0 0 0 0 0 0 21 0 1 0 179376452 11051008 232 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 2698 232 174 640 0 2033 0

[startup+0.0922649 s]
/proc/loadavg: 1.07 1.04 1.01 2/64 2716
/proc/meminfo: memFree=1419400/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=11624 CPUtime=0.09
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 510 0 0 0 9 0 0 0 21 0 1 0 179376452 11902976 473 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 2906 473 196 640 0 2262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11624

[startup+0.101266 s]
/proc/loadavg: 1.07 1.04 1.01 2/64 2716
/proc/meminfo: memFree=1419400/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=11628 CPUtime=0.09
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 523 0 0 0 9 0 0 0 21 0 1 0 179376452 11907072 486 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 2907 486 196 640 0 2263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11628

[startup+0.301286 s]
/proc/loadavg: 1.07 1.04 1.01 2/64 2716
/proc/meminfo: memFree=1419400/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=12532 CPUtime=0.29
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 746 0 0 0 29 0 0 0 23 0 1 0 179376452 12832768 709 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 3133 709 197 640 0 2489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12532

[startup+0.701326 s]
/proc/loadavg: 1.07 1.04 1.01 2/64 2716
/proc/meminfo: memFree=1419400/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=13704 CPUtime=0.69
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 1049 0 0 0 69 0 0 0 25 0 1 0 179376452 14032896 1012 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 3426 1012 197 640 0 2782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13704

[startup+1.50141 s]
/proc/loadavg: 1.07 1.04 1.01 2/65 2717
/proc/meminfo: memFree=1415424/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=15396 CPUtime=1.49
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 1470 0 0 0 149 0 0 0 25 0 1 0 179376452 15765504 1433 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 3849 1433 197 640 0 3205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15396

[startup+3.10157 s]
/proc/loadavg: 1.07 1.04 1.01 2/65 2717
/proc/meminfo: memFree=1413376/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=16572 CPUtime=3.09
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 1770 0 0 0 309 0 0 0 25 0 1 0 179376452 16969728 1733 1992294400 134512640 137136520 4294956256 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 4143 1733 197 640 0 3499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16572

[startup+6.30189 s]
/proc/loadavg: 1.06 1.04 1.01 2/65 2717
/proc/meminfo: memFree=1411904/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=17748 CPUtime=6.29
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 2072 0 0 0 628 1 0 0 25 0 1 0 179376452 18173952 2035 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 4437 2035 197 640 0 3793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17748

[startup+12.7015 s]
/proc/loadavg: 1.06 1.04 1.01 2/65 2717
/proc/meminfo: memFree=1410504/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=19056 CPUtime=12.69
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 2372 0 0 0 1268 1 0 0 25 0 1 0 179376452 19513344 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 4764 2335 197 640 0 4120 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19056

[startup+25.5018 s]
/proc/loadavg: 1.04 1.03 1.01 2/65 2717
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=20736 CPUtime=25.49
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 2792 0 0 0 2547 2 0 0 25 0 1 0 179376452 21233664 2755 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 5184 2755 197 640 0 4540 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20736

[startup+51.1014 s]
/proc/loadavg: 1.03 1.03 1.01 2/65 2717
/proc/meminfo: memFree=1408072/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=21396 CPUtime=51.07
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 2981 0 0 0 5105 2 0 0 25 0 1 0 179376452 21909504 2944 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 5349 2944 197 640 0 4705 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21396

[startup+102.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2717
/proc/meminfo: memFree=1406728/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=22812 CPUtime=102.26
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 3321 0 0 0 10223 3 0 0 25 0 1 0 179376452 23359488 3284 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 5703 3284 197 640 0 5059 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22812

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2717
/proc/meminfo: memFree=1405960/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=23604 CPUtime=162.24
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 3513 0 0 0 16219 5 0 0 25 0 1 0 179376452 24170496 3476 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 5901 3476 197 640 0 5257 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23604

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2717
/proc/meminfo: memFree=1405768/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=23736 CPUtime=222.22
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 3555 0 0 0 22216 6 0 0 25 0 1 0 179376452 24305664 3518 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 5934 3518 197 640 0 5290 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 23736

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2717
/proc/meminfo: memFree=1404232/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=25268 CPUtime=282.21
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 3928 0 0 0 28213 8 0 0 25 0 1 0 179376452 25874432 3891 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6317 3891 197 640 0 5673 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25268

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1404040/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=25396 CPUtime=342.19
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 3961 0 0 0 34210 9 0 0 25 0 1 0 179376452 26005504 3924 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6349 3924 197 640 0 5705 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25396

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1403080/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=26696 CPUtime=402.17
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4307 0 0 0 40207 10 0 0 25 0 1 0 179376452 27336704 4270 1992294400 134512640 137136520 4294956256 18446744073709551615 134551115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6674 4270 197 640 0 6030 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 26696

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1402568/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=26832 CPUtime=462.15
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4332 0 0 0 46204 11 0 0 25 0 1 0 179376452 27475968 4295 1992294400 134512640 137136520 4294956256 18446744073709551615 134605843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6708 4295 197 640 0 6064 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 26832

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1402504/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=26832 CPUtime=522.14
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4332 0 0 0 52201 13 0 0 25 0 1 0 179376452 27475968 4295 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6708 4295 197 640 0 6064 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 26832

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1402440/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=26832 CPUtime=582.12
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4332 0 0 0 58198 14 0 0 25 0 1 0 179376452 27475968 4295 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6708 4295 197 640 0 6064 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 26832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1402440/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=26832 CPUtime=642.11
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4339 0 0 0 64196 15 0 0 25 0 1 0 179376452 27475968 4302 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 6708 4302 197 640 0 6064 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 26832

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1401096/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=28252 CPUtime=822.05
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4675 0 0 0 82187 18 0 0 25 0 1 0 179376452 28930048 4638 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7063 4638 197 640 0 6419 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 28252

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1401032/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=28248 CPUtime=882.04
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4675 0 0 0 88184 20 0 0 25 0 1 0 179376452 28925952 4638 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7062 4638 197 640 0 6418 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 28248

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1400968/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=28244 CPUtime=942.02
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4675 0 0 0 94181 21 0 0 25 0 1 0 179376452 28921856 4638 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7061 4638 197 640 0 6417 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 28244

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1401032/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=28244 CPUtime=1002
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 4675 0 0 0 100178 22 0 0 25 0 1 0 179376452 28921856 4638 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7061 4638 197 640 0 6417 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 28244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399432/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29812 CPUtime=1061.99
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5074 0 0 0 106176 23 0 0 25 0 1 0 179376452 30527488 5037 1992294400 134512640 137136520 4294956256 18446744073709551615 136498184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7453 5037 197 640 0 6809 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 29812

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399240/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1121.97
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 112172 25 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 29944

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399304/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1181.95
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 118169 26 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 29944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399240/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1241.94
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 124166 28 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 29944

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399240/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1301.92
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 130163 29 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 29944

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399176/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1361.91
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 136160 31 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 29944

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399112/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1421.89
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 142158 31 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 29944

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399112/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1481.87
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 148155 32 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 29944

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399048/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1541.86
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 154153 33 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 29944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1399048/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=29944 CPUtime=1601.83
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5113 0 0 0 160150 33 0 0 25 0 1 0 179376452 30662656 5076 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7486 5076 197 640 0 6842 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 29944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1397832/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=31256 CPUtime=1661.82
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5426 0 0 0 166147 35 0 0 25 0 1 0 179376452 32006144 5389 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7814 5389 197 640 0 7170 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 31256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1397768/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=31252 CPUtime=1721.81
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5426 0 0 0 172145 36 0 0 25 0 1 0 179376452 32002048 5389 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7813 5389 197 640 0 7169 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 31252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1397704/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=31252 CPUtime=1781.79
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5426 0 0 0 178143 36 0 0 25 0 1 0 179376452 32002048 5389 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7813 5389 197 640 0 7169 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 31252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2717
/proc/meminfo: memFree=1397384/2055920 swapFree=4192812/4192956
[pid=2716] ppid=2714 vsize=31632 CPUtime=1800.09
/proc/2716/stat : 2716 (bsolo) R 2714 2716 1525 0 -1 4194304 5520 0 0 0 179973 36 0 0 25 0 1 0 179376452 32391168 5483 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2716/statm: 7908 5483 197 640 0 7264 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 31632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.372943
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 31632

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

runsolver used 1.63875 second user time and 4.92325 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-16 04:02:48
IDJOB=1880214
IDBENCH=1289
IDSOLVER=701
FILE ID=node27/1880214-1245117768
PBS_JOBID= 9363660
Free space on /tmp= 66288 MiB

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

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

MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc
RANDOM SEED=1082886722

node27.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		: 2800.234
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	: 5521.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		: 2800.234
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:       1419816 kB
Buffers:         64064 kB
Cached:         487820 kB
SwapCached:        140 kB
Active:         147656 kB
Inactive:       418760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4016 kB
Writeback:           0 kB
Mapped:          24204 kB
Slab:            55604 kB
Committed_AS:   146536 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66284 MiB
End job on node27 at 2009-06-16 04:32:50