Trace number 3463382

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.2UNSAT 1270.41 1270.39

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
MD5SUM8485c5b622ae9efcb86cc93d1fd8b600
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.8518
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 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463382-1307174925.opb
0.00/0.00	c File size is 83377 bytes.
0.00/0.00	c Highest Coefficient sum: 697
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5706
0.00/0.00	c Obj. Vars: 0 (0 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    231     2586     8096    3     5472    1880      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1270.32/1270.38	c      101    231     2754    14314    5     5813    2069    168   5050 0.02
1270.32/1270.38	c      251    231     2974    22964    7     6251    2276    388   6435 0.04
1270.32/1270.38	c      477    231     3246    34916   10     6801    2504    660   5962 0.08
1270.32/1270.38	c      815    231     3601    48894   13     7600    2755   1015   5326 0.15
1270.32/1270.38	c     1326    231     4131    71447   17     8692    3031   1545   4752 0.28
1270.32/1270.38	c     2090    231     4963   109362   22    10413    3335   2377   4300 0.49
1270.32/1270.38	c     3236    231     4423    79888   18     9222    3669   1837   3908 0.83
1270.32/1270.38	c     4958    231     4422    82284   18     9164    4036   1836   3784 1.31
1270.32/1270.38	c     7545    231     5052    97717   19    10432    4440   2466   3664 2.06
1270.32/1270.38	c    11427    231     6869   161366   23    14072    4885   4283   3676 3.11
1270.32/1270.38	c    17249    231     5432   118744   21    11304    5374   2846   3556 4.85
1270.32/1270.38	c    25987    231     6368   155516   24    13175    5912   3782   3479 7.47
1270.32/1270.38	c    39099    231     8223   260189   31    16995    6504   5637   3292 11.87
1270.32/1270.38	c    58769    231     5912   132199   22    12163    7155   3326   3080 19.08
1270.32/1270.38	c    88280    231     8743   253550   29    17880    7871   6157   2989 29.53
1270.32/1270.38	c   132551    231     7936   236402   29    16395    8659   5350   2761 48.01
1270.32/1270.38	c   198961    231     6983   222862   31    14369    9525   4397   2575 77.26
1270.32/1270.38	c   298582    231    11625   355151   30    23760   10478   9039   2488 119.99
1270.32/1270.38	c   448018    231    10257   285146   27    20854   11526   7671   2368 189.14
1270.32/1270.38	c   672177    231    11270   355692   31    22947   12679   8684   2222 302.46
1270.32/1270.38	c  1008424    231    10534   277352   26    21447   13947   7948   2144 470.34
1270.32/1270.38	c  1512796    231    12928   421671   32    26298   15342  10342   1984 762.45
1270.32/1270.38	c  2269361    210    10861   256934   23    22047   16877   8275   1847 1228.02
1270.32/1270.38	c Backtracks by Clause: 2340495
1270.32/1270.38	c Backtracks by PB constraint: 2211
1270.32/1270.38	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1270.32/1270.38	c   23  2342706 465915  3180867    19551   516829  16965   1844 1270.41
1270.32/1270.38	s UNSATISFIABLE
1270.32/1270.38	c Total time: 1270.41 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463382-1307174925/watcher-3463382-1307174925 -o /tmp/evaluation-result-3463382-1307174925/solver-3463382-1307174925 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463382-1307174925.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.23 1.59 1.82 2/514 14840
/proc/meminfo: memFree=19197776/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=11196 CPUtime=0 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 402 0 0 0 0 0 0 0 25 0 1 0 907723235 11464704 336 33554432000 134512640 137138936 4293490672 18446744073709551615 134550694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 2799 337 183 642 0 2155 0

[startup+0.0649121 s]
/proc/loadavg: 1.23 1.59 1.82 2/514 14840
/proc/meminfo: memFree=19197776/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=11448 CPUtime=0.05 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 496 0 0 0 5 0 0 0 25 0 1 0 907723235 11722752 430 33554432000 134512640 137138936 4293490672 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 2862 430 192 642 0 2218 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11448

[startup+0.100916 s]
/proc/loadavg: 1.23 1.59 1.82 2/514 14840
/proc/meminfo: memFree=19197776/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 532 0 0 0 9 0 0 0 25 0 1 0 907723235 11849728 466 33554432000 134512640 137138936 4293490672 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 2893 466 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572

[startup+0.300876 s]
/proc/loadavg: 1.23 1.59 1.82 2/514 14840
/proc/meminfo: memFree=19197776/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=12180 CPUtime=0.29 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 675 0 0 0 29 0 0 0 25 0 1 0 907723235 12472320 609 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3045 609 192 642 0 2401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12180

[startup+0.700797 s]
/proc/loadavg: 1.23 1.59 1.82 2/514 14840
/proc/meminfo: memFree=19197776/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=13164 CPUtime=0.69 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 920 0 0 0 69 0 0 0 25 0 1 0 907723235 13479936 854 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3291 854 192 642 0 2647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13164

[startup+1.50066 s]
/proc/loadavg: 1.23 1.59 1.82 3/515 14841
/proc/meminfo: memFree=19193676/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=13536 CPUtime=1.49 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1000 0 0 0 149 0 0 0 25 0 1 0 907723235 13860864 934 33554432000 134512640 137138936 4293490672 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3384 934 192 642 0 2740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13536

[startup+3.10039 s]
/proc/loadavg: 1.23 1.59 1.82 3/515 14841
/proc/meminfo: memFree=19191944/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=13784 CPUtime=3.09 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1077 0 0 0 308 1 0 0 25 0 1 0 907723235 14114816 1011 33554432000 134512640 137138936 4293490672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3446 1011 192 642 0 2802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13784

[startup+6.30081 s]
/proc/loadavg: 1.30 1.60 1.82 3/515 14841
/proc/meminfo: memFree=19190908/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=14516 CPUtime=6.29 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1243 0 0 0 626 3 0 0 25 0 1 0 907723235 14864384 1177 33554432000 134512640 137138936 4293490672 18446744073709551615 134552410 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3629 1177 192 642 0 2985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14516

[startup+12.7007 s]
/proc/loadavg: 1.35 1.61 1.82 3/515 14841
/proc/meminfo: memFree=19188244/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=15756 CPUtime=12.69 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1574 0 0 0 1264 5 0 0 25 0 1 0 907723235 16134144 1508 33554432000 134512640 137138936 4293490672 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3939 1508 192 642 0 3295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15756

[startup+25.5005 s]
/proc/loadavg: 1.49 1.62 1.82 3/515 14841
/proc/meminfo: memFree=19186872/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=15980 CPUtime=25.5 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1623 0 0 0 2541 9 0 0 25 0 1 0 907723235 16363520 1557 33554432000 134512640 137138936 4293490672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 3995 1557 192 642 0 3351 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 15980

[startup+51.101 s]
/proc/loadavg: 1.67 1.65 1.83 3/515 14869
/proc/meminfo: memFree=19186648/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=17084 CPUtime=51.1 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 1896 0 0 0 5095 15 0 0 25 0 1 0 907723235 17494016 1830 33554432000 134512640 137138936 4293490672 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 4271 1830 192 642 0 3627 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17084

[startup+102.319 s]
/proc/loadavg: 1.85 1.70 1.83 3/515 14870
/proc/meminfo: memFree=19182448/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=18308 CPUtime=102.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2195 0 0 0 10202 29 0 0 25 0 1 0 907723235 18747392 2129 33554432000 134512640 137138936 4293490672 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 4577 2129 192 642 0 3933 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18308

[startup+162.301 s]
/proc/loadavg: 1.94 1.76 1.84 3/515 14872
/proc/meminfo: memFree=19181780/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=18756 CPUtime=162.29 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2314 0 0 0 16183 46 0 0 25 0 1 0 907723235 19206144 2248 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 4689 2248 192 642 0 4045 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18756

[startup+222.301 s]
/proc/loadavg: 1.98 1.80 1.84 3/515 14874
/proc/meminfo: memFree=19179624/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=19816 CPUtime=222.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2586 0 0 0 22165 65 0 0 25 0 1 0 907723235 20291584 2520 33554432000 134512640 137138936 4293490672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 4954 2520 192 642 0 4310 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19816

[startup+282.301 s]
/proc/loadavg: 1.99 1.83 1.85 3/515 14875
/proc/meminfo: memFree=19181056/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=19816 CPUtime=282.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2586 0 0 0 28150 80 0 0 25 0 1 0 907723235 20291584 2520 33554432000 134512640 137138936 4293490672 18446744073709551615 134578659 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 4954 2520 192 642 0 4310 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19816

[startup+342.301 s]
/proc/loadavg: 1.99 1.86 1.86 3/515 14877
/proc/meminfo: memFree=19179512/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20928 CPUtime=342.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2855 0 0 0 34136 94 0 0 25 0 1 0 907723235 21430272 2789 33554432000 134512640 137138936 4293490672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5232 2789 192 642 0 4588 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20928

[startup+402.3 s]
/proc/loadavg: 1.99 1.88 1.86 3/515 14878
/proc/meminfo: memFree=19179456/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20804 CPUtime=402.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2855 0 0 0 40118 112 0 0 25 0 1 0 907723235 21303296 2776 33554432000 134512640 137138936 4293490672 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5201 2776 192 642 0 4557 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20804

[startup+462.301 s]
/proc/loadavg: 2.08 1.93 1.88 3/515 14880
/proc/meminfo: memFree=19179152/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20792 CPUtime=462.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2855 0 0 0 46102 128 0 0 25 0 1 0 907723235 21291008 2773 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5198 2773 192 642 0 4554 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20792

[startup+522.3 s]
/proc/loadavg: 2.08 1.95 1.89 3/515 14882
/proc/meminfo: memFree=19179108/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20788 CPUtime=522.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2856 0 0 0 52086 144 0 0 25 0 1 0 907723235 21286912 2772 33554432000 134512640 137138936 4293490672 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5197 2772 192 642 0 4553 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20788

[startup+582.301 s]
/proc/loadavg: 2.03 1.96 1.89 3/515 14883
/proc/meminfo: memFree=19178936/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20788 CPUtime=582.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2856 0 0 0 58073 157 0 0 25 0 1 0 907723235 21286912 2772 33554432000 134512640 137138936 4293490672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5197 2772 192 642 0 4553 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20788

[startup+642.3 s]
/proc/loadavg: 2.01 1.97 1.90 3/515 14885
/proc/meminfo: memFree=19178884/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20788 CPUtime=642.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2856 0 0 0 64062 169 0 0 25 0 1 0 907723235 21286912 2772 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5197 2772 192 642 0 4553 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20788

[startup+702.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/515 14886
/proc/meminfo: memFree=19176592/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=20788 CPUtime=702.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 2856 0 0 0 70048 182 0 0 25 0 1 0 907723235 21286912 2772 33554432000 134512640 137138936 4293490672 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5197 2772 192 642 0 4553 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 20788

[startup+762.319 s]
/proc/loadavg: 2.00 1.97 1.91 3/515 14888
/proc/meminfo: memFree=19176792/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21476 CPUtime=762.33 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3013 0 0 0 76039 194 0 0 25 0 1 0 907723235 21991424 2929 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5369 2929 192 642 0 4725 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 21476

[startup+822.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/515 14890
/proc/meminfo: memFree=19176868/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21480 CPUtime=822.3 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3014 0 0 0 82024 206 0 0 25 0 1 0 907723235 21995520 2930 33554432000 134512640 137138936 4293490672 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5370 2930 192 642 0 4726 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 21480

[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/515 14891
/proc/meminfo: memFree=19175460/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21840 CPUtime=882.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3113 0 0 0 88013 218 0 0 25 0 1 0 907723235 22364160 3029 33554432000 134512640 137138936 4293490672 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5460 3029 192 642 0 4816 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21840

[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/515 14893
/proc/meminfo: memFree=19175280/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21840 CPUtime=942.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3113 0 0 0 94002 229 0 0 25 0 1 0 907723235 22364160 3029 33554432000 134512640 137138936 4293490672 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5460 3029 192 642 0 4816 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21840

[startup+1002.3 s]
/proc/loadavg: 2.06 1.99 1.91 3/515 14894
/proc/meminfo: memFree=19175976/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21996 CPUtime=1002.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3157 0 0 0 99991 240 0 0 25 0 1 0 907723235 22523904 3073 33554432000 134512640 137138936 4293490672 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5499 3073 192 642 0 4855 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21996

[startup+1062.3 s]
/proc/loadavg: 2.14 2.02 1.93 3/515 14896
/proc/meminfo: memFree=19175424/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21992 CPUtime=1062.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3157 0 0 0 105978 253 0 0 25 0 1 0 907723235 22519808 3073 33554432000 134512640 137138936 4293490672 18446744073709551615 134542672 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5498 3073 192 642 0 4854 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21992

[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/515 14898
/proc/meminfo: memFree=19175868/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21992 CPUtime=1122.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3157 0 0 0 111964 267 0 0 25 0 1 0 907723235 22519808 3073 33554432000 134512640 137138936 4293490672 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5498 3073 192 642 0 4854 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 21992

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/515 14899
/proc/meminfo: memFree=19175572/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=21992 CPUtime=1182.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3157 0 0 0 117953 278 0 0 25 0 1 0 907723235 22519808 3073 33554432000 134512640 137138936 4293490672 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5498 3073 192 642 0 4854 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 21992

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/515 14901
/proc/meminfo: memFree=19172788/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1242.31 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 123941 290 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 22000

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

[startup+1254.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/515 14901
/proc/meminfo: memFree=19172772/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1254.32 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 125139 293 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 134603153 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1254.32
Current children cumulated vsize (KiB) 22000

[startup+1260.7 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19173516/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1260.72 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 125777 295 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1260.72
Current children cumulated vsize (KiB) 22000

[startup+1267.1 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19174880/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1267.12 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 126416 296 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1267.12
Current children cumulated vsize (KiB) 22000

[startup+1268.7 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19174628/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1268.72 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 126575 297 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1268.72
Current children cumulated vsize (KiB) 22000

[startup+1269.5 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19173512/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1269.52 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 126655 297 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1269.52
Current children cumulated vsize (KiB) 22000

[startup+1269.9 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19173512/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1269.92 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 126695 297 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1269.92
Current children cumulated vsize (KiB) 22000

[startup+1270.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/515 14901
/proc/meminfo: memFree=19173512/32950940 swapFree=67111364/67111528
[pid=14840] ppid=14838 vsize=22000 CPUtime=1270.32 cores=1,3,5,7
/proc/14840/stat : 14840 (bsolo) R 14838 14840 13684 0 -1 4202496 3159 0 0 0 126735 297 0 0 25 0 1 0 907723235 22528000 3075 33554432000 134512640 137138936 4293490672 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14840/statm: 5500 3075 192 642 0 4856 0
Current children cumulated CPU time (s) 1270.32
Current children cumulated vsize (KiB) 22000

Child status: 0
Real time (s): 1270.39
CPU time (s): 1270.41
CPU user time (s): 1267.44
CPU system time (s): 2.97555
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1267.44
system time used= 2.97555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1945

runsolver used 6.10407 second user time and 14.8467 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-04 10:08:45
IDJOB=3463382
IDBENCH=1327
IDSOLVER=1955
FILE ID=node117/3463382-1307174925
RUNJOBID= node117-1307174922-14794
PBS_JOBID= 13508821
Free space on /tmp= 73628 MiB

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

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

MD5SUM BENCH= 8485c5b622ae9efcb86cc93d1fd8b600
RANDOM SEED=2118406775

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19198056 kB
Buffers:        374656 kB
Cached:        3190376 kB
SwapCached:          0 kB
Active:       10266416 kB
Inactive:      3089700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19198056 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8020 kB
Writeback:          20 kB
AnonPages:     9791248 kB
Mapped:          42748 kB
Slab:           270528 kB
PageTables:      57924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149502348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73624 MiB
End job on node117 at 2011-06-04 10:29:55