Trace number 3707435

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 1017.05 1017.2

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
MD5SUMbe6efe3218879d0d0c6c419c0919396c
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 benchmark2.23166
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 683
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-3707435-1338139993.opb
0.00/0.00	c File size is 83375 bytes.
0.00/0.00	c Highest Coefficient sum: 683
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.00	c Obj. Vars: 0 (0 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 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     5474    1880      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1017.03/1017.20	c      101    231     2752    14150    5     5808    2069    166   4809 0.02
1017.03/1017.20	c      252    231     2965    23142    7     6235    2276    379   5860 0.04
1017.03/1017.20	c      480    231     3232    33202   10     6768    2504    646   5517 0.09
1017.03/1017.20	c      818    231     3603    51095   14     7633    2755   1017   5112 0.16
1017.03/1017.20	c     1326    231     4144    75360   18     8733    3031   1558   4636 0.29
1017.03/1017.20	c     2089    231     4969   103880   20    10386    3335   2383   4379 0.48
1017.03/1017.20	c     3237    231     4414    65932   14     9133    3669   1828   4155 0.78
1017.03/1017.20	c     4958    231     6249   138658   22    12805    4036   3663   4090 1.21
1017.03/1017.20	c     7543    231     4775    97293   20     9858    4440   2189   3668 2.06
1017.03/1017.20	c    11422    231     6612   181561   27    13551    4885   4026   3392 3.37
1017.03/1017.20	c    17244    231     5313   116058   21    10935    5374   2727   3291 5.24
1017.03/1017.20	c    25981    231     6475   160546   24    13316    5912   3889   3204 8.11
1017.03/1017.20	c    39091    231     8234   228227   27    16907    6504   5648   3227 12.11
1017.03/1017.20	c    58762    231     5984   115344   19    12298    7155   3398   3117 18.85
1017.03/1017.20	c    88274    231     7990   210742   26    16352    7871   5404   2811 31.40
1017.03/1017.20	c   132546    231     6523   167799   25    13465    8659   3937   2709 48.92
1017.03/1017.20	c   198956    231    10151   274640   27    20772    9525   7565   2647 75.14
1017.03/1017.20	c   298577    231     9122   241221   26    18633   10478   6536   2538 117.63
1017.03/1017.20	c   448013    231    12189   386638   31    24818   11526   9603   2446 183.11
1017.03/1017.20	c   672172    231    11693   338364   28    23744   12679   9107   2425 277.15
1017.03/1017.20	c  1008416    231    11400   349933   30    23286   13947   8814   2356 427.94
1017.03/1017.20	c  1512787    231    12024   452293   37    24511   15342   9438   2222 680.74
1017.03/1017.20	c Backtracks by Clause: 2130283
1017.03/1017.20	c Backtracks by PB constraint: 1837
1017.03/1017.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1017.03/1017.20	c   22  2132120 449863  2938208    12352   335663   9766   2096 1017.04
1017.03/1017.20	s UNSATISFIABLE
1017.03/1017.20	c Total time: 1017.04 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3707435-1338139993/watcher-3707435-1338139993 -o /tmp/evaluation-result-3707435-1338139993/solver-3707435-1338139993 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707435-1338139993.opb 

running on 4 cores: 0,2,4,6

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.92 2.00 1.99 2/174 4646
/proc/meminfo: memFree=27915128/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=11020 CPUtime=0 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 280125192 11284480 284 33554432000 134512640 137138936 4289393584 4289392096 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 2755 285 181 642 0 2090 0

[startup+0.0705871 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 4646
/proc/meminfo: memFree=27915128/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=11452 CPUtime=0.06 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 497 0 0 0 6 0 0 0 20 0 1 0 280125192 11726848 429 33554432000 134512640 137138936 4289393584 4289391864 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 2863 429 192 642 0 2219 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11452

[startup+0.1003 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 4646
/proc/meminfo: memFree=27915128/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=11580 CPUtime=0.09 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 524 0 0 0 9 0 0 0 20 0 1 0 280125192 11857920 456 33554432000 134512640 137138936 4289393584 4289390328 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 2895 456 192 642 0 2251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11580

[startup+0.300263 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 4646
/proc/meminfo: memFree=27915128/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=12188 CPUtime=0.29 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 682 0 0 0 29 0 0 0 20 0 1 0 280125192 12480512 614 33554432000 134512640 137138936 4289393584 4289392512 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3047 614 192 642 0 2403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12188

[startup+0.70027 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 4646
/proc/meminfo: memFree=27915128/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=13180 CPUtime=0.69 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 910 0 0 0 69 0 0 0 20 0 1 0 280125192 13496320 842 33554432000 134512640 137138936 4289393584 4289392512 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3295 842 192 642 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13180

[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 4647
/proc/meminfo: memFree=27912408/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=13556 CPUtime=1.49 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1015 0 0 0 148 1 0 0 20 0 1 0 280125192 13881344 947 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3389 947 192 642 0 2745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13556

[startup+3.10027 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 4647
/proc/meminfo: memFree=27911788/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=14172 CPUtime=3.09 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1183 0 0 0 308 1 0 0 20 0 1 0 280125192 14512128 1115 33554432000 134512640 137138936 4289393584 4289392008 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3543 1115 192 642 0 2899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14172

[startup+6.30027 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 4647
/proc/meminfo: memFree=27910920/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=14660 CPUtime=6.29 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1297 0 0 0 627 2 0 0 20 0 1 0 280125192 15011840 1229 33554432000 134512640 137138936 4289393584 4289392512 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3665 1229 192 642 0 3021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14660

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 4647
/proc/meminfo: memFree=27909952/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=15156 CPUtime=12.69 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1428 0 0 0 1266 3 0 0 20 0 1 0 280125192 15519744 1360 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 3789 1360 192 642 0 3145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15156

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4647
/proc/meminfo: memFree=27908720/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=16620 CPUtime=25.49 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1794 0 0 0 2544 5 0 0 20 0 1 0 280125192 17018880 1726 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4155 1726 192 642 0 3511 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16620

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4647
/proc/meminfo: memFree=27908844/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=16872 CPUtime=51.08 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1848 0 0 0 5100 8 0 0 20 0 1 0 280125192 17276928 1780 33554432000 134512640 137138936 4289393584 4289392164 136501693 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4218 1780 192 642 0 3574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16872

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 4686
/proc/meminfo: memFree=29199304/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=17444 CPUtime=102.28 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 1980 0 0 0 10212 16 0 0 20 0 1 0 280125192 17862656 1912 33554432000 134512640 137138936 4289393584 4289392512 134542289 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4361 1912 192 642 0 3717 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17444

[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 4686
/proc/meminfo: memFree=29194468/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=18880 CPUtime=162.27 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2354 0 0 0 16201 26 0 0 20 0 1 0 280125192 19333120 2283 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4720 2283 192 642 0 4076 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18880

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4686
/proc/meminfo: memFree=29193040/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=18884 CPUtime=222.25 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2356 0 0 0 22189 36 0 0 20 0 1 0 280125192 19337216 2285 33554432000 134512640 137138936 4289393584 4289392512 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4721 2285 192 642 0 4077 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 18884

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 4686
/proc/meminfo: memFree=29192792/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=18892 CPUtime=282.25 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2358 0 0 0 28179 46 0 0 20 0 1 0 280125192 19345408 2287 33554432000 134512640 137138936 4289393584 4289392164 136501682 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 4723 2287 192 642 0 4079 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 18892

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 4686
/proc/meminfo: memFree=29190744/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20304 CPUtime=342.24 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2704 0 0 0 34167 57 0 0 20 0 1 0 280125192 20791296 2632 33554432000 134512640 137138936 4289393584 4289392512 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5076 2632 192 642 0 4432 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20304

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 4688
/proc/meminfo: memFree=29190612/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20296 CPUtime=402.23 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2704 0 0 0 40155 68 0 0 20 0 1 0 280125192 20783104 2632 33554432000 134512640 137138936 4289393584 4289392296 136504259 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5074 2632 192 642 0 4430 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 20296

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 4690
/proc/meminfo: memFree=29190424/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20552 CPUtime=462.21 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2772 0 0 0 46142 79 0 0 20 0 1 0 280125192 21045248 2700 33554432000 134512640 137138936 4289393584 4289392512 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5138 2700 192 642 0 4494 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20552

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4728
/proc/meminfo: memFree=29192976/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20984 CPUtime=522.21 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2881 0 0 0 52132 89 0 0 20 0 1 0 280125192 21487616 2809 33554432000 134512640 137138936 4289393584 4289392512 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5246 2809 192 642 0 4602 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20984

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 4728
/proc/meminfo: memFree=29191736/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20980 CPUtime=582.2 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2881 0 0 0 58122 98 0 0 20 0 1 0 280125192 21483520 2809 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5245 2809 192 642 0 4601 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20980

[startup+642.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29190744/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=20976 CPUtime=642.2 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 2881 0 0 0 64112 108 0 0 20 0 1 0 280125192 21479424 2809 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5244 2809 192 642 0 4600 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 20976

[startup+702.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4729
/proc/meminfo: memFree=29190124/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=21596 CPUtime=702.18 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3031 0 0 0 70102 116 0 0 20 0 1 0 280125192 22114304 2959 33554432000 134512640 137138936 4289393584 4289392512 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5399 2959 192 642 0 4755 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 21596

[startup+762.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4729
/proc/meminfo: memFree=29189192/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=21592 CPUtime=762.18 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3031 0 0 0 76094 124 0 0 20 0 1 0 280125192 22110208 2959 33554432000 134512640 137138936 4289393584 4289392164 136500378 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5398 2959 192 642 0 4754 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 21592

[startup+822.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/175 4729
/proc/meminfo: memFree=29188944/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=21592 CPUtime=822.16 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3034 0 0 0 82085 131 0 0 20 0 1 0 280125192 22110208 2962 33554432000 134512640 137138936 4289393584 4289392512 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5398 2962 192 642 0 4754 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 21592

[startup+882.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 4729
/proc/meminfo: memFree=29188944/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=21584 CPUtime=882.15 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3034 0 0 0 88076 139 0 0 20 0 1 0 280125192 22102016 2962 33554432000 134512640 137138936 4289393584 4289392480 134542898 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5396 2962 192 642 0 4752 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 21584

[startup+942.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/175 4729
/proc/meminfo: memFree=29187888/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=21580 CPUtime=942.14 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3034 0 0 0 94066 148 0 0 20 0 1 0 280125192 22097920 2962 33554432000 134512640 137138936 4289393584 4289392512 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5395 2962 192 642 0 4751 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 21580

[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/174 4729
/proc/meminfo: memFree=29186468/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1002.13 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 100056 157 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392512 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 22376

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

[startup+1004.7 s]
/proc/loadavg: 2.03 2.04 2.00 3/174 4729
/proc/meminfo: memFree=29186468/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1004.53 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 100296 157 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392480 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1004.53
Current children cumulated vsize (KiB) 22376

[startup+1011.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186320/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1010.94 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 100936 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392112 134603210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1010.94
Current children cumulated vsize (KiB) 22376

[startup+1014.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186320/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1014.13 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 101255 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392512 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1014.13
Current children cumulated vsize (KiB) 22376

[startup+1015.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186320/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1015.73 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 101415 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392512 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (KiB) 22376

[startup+1016.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186444/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1016.53 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 101495 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392296 136504093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1016.53
Current children cumulated vsize (KiB) 22376

[startup+1017.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186444/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1016.93 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 101535 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392700 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1016.93
Current children cumulated vsize (KiB) 22376

[startup+1017.2 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 4733
/proc/meminfo: memFree=29186444/32873852 swapFree=6856/6856
[pid=4646] ppid=4644 vsize=22376 CPUtime=1017.03 cores=0,2,4,6
/proc/4646/stat : 4646 (bsolo) R 4644 4646 1566 0 -1 4202496 3227 0 0 0 101545 158 0 0 20 0 1 0 280125192 22913024 3154 33554432000 134512640 137138936 4289393584 4289392512 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4646/statm: 5594 3154 192 642 0 4950 0
Current children cumulated CPU time (s) 1017.03
Current children cumulated vsize (KiB) 22376

Child status: 0
Real time (s): 1017.2
CPU time (s): 1017.05
CPU user time (s): 1015.46
CPU system time (s): 1.58976
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 22448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1015.46
system time used= 1.58976
maximum resident set size= 12616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3227
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= 8
involuntary context switches= 1046

runsolver used 6.91095 second user time and 6.76997 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-27 19:33:13
IDJOB=3707435
IDBENCH=1274
IDSOLVER=2286
FILE ID=node128/3707435-1338139993
RUNJOBID= node128-1338138177-4375
PBS_JOBID= 14624501
Free space on /tmp= 71336 MiB

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

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

MD5SUM BENCH= be6efe3218879d0d0c6c419c0919396c
RANDOM SEED=874316351

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27916028 kB
Buffers:          434204 kB
Cached:          2363264 kB
SwapCached:          620 kB
Active:          2349308 kB
Inactive:        1750904 kB
Active(anon):    1292852 kB
Inactive(anon):    12304 kB
Active(file):    1056456 kB
Inactive(file):  1738600 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67107296 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:       1308904 kB
Mapped:            15072 kB
Shmem:               200 kB
Slab:             717068 kB
SReclaimable:     159268 kB
SUnreclaim:       557800 kB
KernelStack:        1456 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1423488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1081344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node128 at 2012-05-27 19:50:10