Trace number 3463086

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 1116.03 1116.11

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
MD5SUM12591fb3a3171df58322c5e93cb6a45b
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 benchmark10.9803
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 723
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463086-1307174882.opb
0.00/0.01	c File size is 83383 bytes.
0.00/0.01	c Highest Coefficient sum: 723
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.004 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.01	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     5473    1880      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1116.01/1116.10	c      101    231     2753    14269    5     5810    2069    167   4809 0.02
1116.01/1116.10	c      252    231     2955    22099    7     6215    2276    369   5040 0.05
1116.01/1116.10	c      480    231     3248    36236   11     6808    2504    662   4897 0.10
1116.01/1116.10	c      820    231     3636    54323   14     7592    2755   1050   4456 0.18
1116.01/1116.10	c     1329    231     4218    78275   18     8765    3031   1632   3990 0.33
1116.01/1116.10	c     2093    231     5060   107559   21    10460    3335   2474   3861 0.54
1116.01/1116.10	c     3239    231     4514    75952   16     9378    3669   1928   3590 0.90
1116.01/1116.10	c     4961    231     4434    74802   16     9179    4036   1848   3491 1.42
1116.01/1116.10	c     7548    231     5073    87166   17    10464    4440   2487   3606 2.09
1116.01/1116.10	c    11429    231     6826   172552   25    14125    4885   4240   3470 3.29
1116.01/1116.10	c    17251    231     5499   111669   20    11387    5374   2913   3242 5.32
1116.01/1116.10	c    25988    231     6580   142582   21    13502    5912   3994   3218 8.07
1116.01/1116.10	c    39098    231     5543   113734   20    11422    6504   2957   3012 12.98
1116.01/1116.10	c    58769    231     6689   159869   23    13792    7155   4103   2943 19.96
1116.01/1116.10	c    88284    231     9067   270905   29    18669    7871   6481   2904 30.39
1116.01/1116.10	c   132554    231     8443   213352   25    17342    8659   5857   2770 47.84
1116.01/1116.10	c   198964    231    10197   292405   28    20838    9525   7611   2592 76.74
1116.01/1116.10	c   298588    231     8608   253663   29    17654   10478   6022   2408 123.97
1116.01/1116.10	c   448024    231    13020   393658   30    26500   11526  10434   2290 195.56
1116.01/1116.10	c   672184    231    10392   306675   29    21136   12679   7806   2171 309.53
1116.01/1116.10	c  1008428    231    14828   469921   31    30012   13947  12242   2056 490.47
1116.01/1116.10	c  1512799    231    10551   367003   34    21512   15342   7965   1938 780.33
1116.01/1116.10	c Backtracks by Clause: 2060716
1116.01/1116.10	c Backtracks by PB constraint: 2309
1116.01/1116.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1116.01/1116.10	c   22  2063025 440709  2886083    12524   350955   9938   1848 1116.03
1116.01/1116.10	s UNSATISFIABLE
1116.01/1116.10	c Total time: 1116.03 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-3463086-1307174882/watcher-3463086-1307174882 -o /tmp/evaluation-result-3463086-1307174882/solver-3463086-1307174882 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463086-1307174882.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: 2.01 2.02 1.99 3/488 19313
/proc/meminfo: memFree=21326728/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=10880 CPUtime=0 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 561679501 11141120 240 33554432000 134512640 137138936 4291791664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 2720 240 172 642 0 2055 0

[startup+0.115032 s]
/proc/loadavg: 2.01 2.02 1.99 3/488 19313
/proc/meminfo: memFree=21326728/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=11576 CPUtime=0.1 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 531 0 0 0 10 0 0 0 25 0 1 0 561679501 11853824 464 33554432000 134512640 137138936 4291791664 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 2894 464 192 642 0 2250 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11576

[startup+0.201031 s]
/proc/loadavg: 2.01 2.02 1.99 3/488 19313
/proc/meminfo: memFree=21326728/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=11940 CPUtime=0.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 598 0 0 0 19 0 0 0 25 0 1 0 561679501 12226560 531 33554432000 134512640 137138936 4291791664 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 2985 531 192 642 0 2341 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11940

[startup+0.301003 s]
/proc/loadavg: 2.01 2.02 1.99 3/488 19313
/proc/meminfo: memFree=21326728/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=12076 CPUtime=0.29 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 660 0 0 0 29 0 0 0 25 0 1 0 561679501 12365824 593 33554432000 134512640 137138936 4291791664 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3019 593 192 642 0 2375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12076

[startup+0.70094 s]
/proc/loadavg: 2.01 2.02 1.99 3/488 19313
/proc/meminfo: memFree=21326728/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=12952 CPUtime=0.69 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 879 0 0 0 69 0 0 0 25 0 1 0 561679501 13262848 812 33554432000 134512640 137138936 4291791664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3238 812 192 642 0 2594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12952

[startup+1.50079 s]
/proc/loadavg: 2.01 2.02 1.99 3/489 19314
/proc/meminfo: memFree=21323372/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=13324 CPUtime=1.49 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 964 0 0 0 149 0 0 0 25 0 1 0 561679501 13643776 897 33554432000 134512640 137138936 4291791664 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3331 897 192 642 0 2687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13324

[startup+3.10051 s]
/proc/loadavg: 2.01 2.02 1.99 3/489 19314
/proc/meminfo: memFree=21322004/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=13692 CPUtime=3.08 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 1042 0 0 0 308 0 0 0 25 0 1 0 561679501 14020608 975 33554432000 134512640 137138936 4291791664 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3423 975 192 642 0 2779 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13692

[startup+6.30096 s]
/proc/loadavg: 2.01 2.02 1.99 3/489 19314
/proc/meminfo: memFree=21320764/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=14412 CPUtime=6.29 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 1241 0 0 0 628 1 0 0 25 0 1 0 561679501 14757888 1174 33554432000 134512640 137138936 4291791664 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3603 1174 192 642 0 2959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14412

[startup+12.7008 s]
/proc/loadavg: 2.01 2.02 1.99 3/489 19314
/proc/meminfo: memFree=21320000/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=14900 CPUtime=12.69 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 1349 0 0 0 1266 3 0 0 25 0 1 0 561679501 15257600 1282 33554432000 134512640 137138936 4291791664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19313/statm: 3725 1282 192 642 0 3081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14900

[startup+25.5006 s]
/proc/loadavg: 2.01 2.02 1.99 3/489 19315
/proc/meminfo: memFree=21319372/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=15764 CPUtime=25.39 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 1583 0 0 0 2533 6 0 0 25 0 1 0 561679501 16142336 1516 33554432000 134512640 137138936 4291791664 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 3941 1516 192 642 0 3297 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 15764

[startup+51.101 s]
/proc/loadavg: 2.00 2.02 1.99 3/489 19315
/proc/meminfo: memFree=21318760/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=16996 CPUtime=50.98 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 1883 0 0 0 5087 11 0 0 25 0 1 0 561679501 17403904 1816 33554432000 134512640 137138936 4291791664 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4249 1816 192 642 0 3605 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 16996

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/489 19317
/proc/meminfo: memFree=21315396/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=18188 CPUtime=102.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2183 0 0 0 10200 19 0 0 25 0 1 0 561679501 18624512 2116 33554432000 134512640 137138936 4291791664 18446744073709551615 134599984 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4547 2116 192 642 0 3903 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 18188

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/489 19318
/proc/meminfo: memFree=21312628/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=18776 CPUtime=162.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2317 0 0 0 16192 27 0 0 25 0 1 0 561679501 19226624 2250 33554432000 134512640 137138936 4291791664 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4694 2250 192 642 0 4050 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 18776

[startup+222.318 s]
/proc/loadavg: 2.00 2.00 1.99 3/489 19320
/proc/meminfo: memFree=21312232/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=18624 CPUtime=222.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2318 0 0 0 22185 36 0 0 25 0 1 0 561679501 19070976 2231 33554432000 134512640 137138936 4291791664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4656 2231 192 642 0 4012 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 18624

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/489 19322
/proc/meminfo: memFree=21313324/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=18928 CPUtime=282.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2402 0 0 0 28174 45 0 0 25 0 1 0 561679501 19382272 2302 33554432000 134512640 137138936 4291791664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4732 2302 192 642 0 4088 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 18928

[startup+342.301 s]
/proc/loadavg: 2.14 2.04 2.00 3/489 19323
/proc/meminfo: memFree=21312804/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=19604 CPUtime=342.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2564 0 0 0 34166 53 0 0 25 0 1 0 561679501 20074496 2464 33554432000 134512640 137138936 4291791664 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4901 2464 192 642 0 4257 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 19604

[startup+402.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/489 19325
/proc/meminfo: memFree=21311804/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=19604 CPUtime=402.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2564 0 0 0 40159 60 0 0 25 0 1 0 561679501 20074496 2464 33554432000 134512640 137138936 4291791664 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4901 2464 192 642 0 4257 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 19604

[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/489 19326
/proc/meminfo: memFree=21309076/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=19604 CPUtime=462.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2564 0 0 0 46150 69 0 0 25 0 1 0 561679501 20074496 2464 33554432000 134512640 137138936 4291791664 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 4901 2464 192 642 0 4257 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 19604

[startup+522.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/489 19328
/proc/meminfo: memFree=21308080/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=20264 CPUtime=522.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2724 0 0 0 52142 77 0 0 25 0 1 0 561679501 20750336 2624 33554432000 134512640 137138936 4291791664 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5066 2624 192 642 0 4422 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 20264

[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/489 19330
/proc/meminfo: memFree=21307700/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=21308 CPUtime=582.19 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2985 0 0 0 58134 85 0 0 25 0 1 0 561679501 21819392 2885 33554432000 134512640 137138936 4291791664 18446744073709551615 134552131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5327 2885 192 642 0 4683 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 21308

[startup+642.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 19331
/proc/meminfo: memFree=21307548/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=21288 CPUtime=642.2 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2985 0 0 0 64125 95 0 0 25 0 1 0 561679501 21798912 2885 33554432000 134512640 137138936 4291791664 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5322 2885 192 642 0 4678 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 21288

[startup+702.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 19333
/proc/meminfo: memFree=21307520/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=21284 CPUtime=702.2 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2985 0 0 0 70116 104 0 0 25 0 1 0 561679501 21794816 2885 33554432000 134512640 137138936 4291791664 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5321 2885 192 642 0 4677 0
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (KiB) 21284

[startup+762.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19334
/proc/meminfo: memFree=21306136/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=21284 CPUtime=762.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 2985 0 0 0 76109 112 0 0 25 0 1 0 561679501 21794816 2885 33554432000 134512640 137138936 4291791664 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5321 2885 192 642 0 4677 0
Current children cumulated CPU time (s) 762.21
Current children cumulated vsize (KiB) 21284

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19336
/proc/meminfo: memFree=21302904/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22516 CPUtime=822.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3292 0 0 0 82100 121 0 0 25 0 1 0 561679501 23056384 3192 33554432000 134512640 137138936 4291791664 18446744073709551615 134603175 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5629 3192 192 642 0 4985 0
Current children cumulated CPU time (s) 822.21
Current children cumulated vsize (KiB) 22516

[startup+882.319 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 19367
/proc/meminfo: memFree=21372844/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22516 CPUtime=882.22 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3292 0 0 0 88093 129 0 0 25 0 1 0 561679501 23056384 3192 33554432000 134512640 137138936 4291791664 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5629 3192 192 642 0 4985 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 22516

[startup+942.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/489 19368
/proc/meminfo: memFree=21335416/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22516 CPUtime=942.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3292 0 0 0 94084 137 0 0 25 0 1 0 561679501 23056384 3192 33554432000 134512640 137138936 4291791664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5629 3192 192 642 0 4985 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 22516

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/489 19370
/proc/meminfo: memFree=21334020/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22884 CPUtime=1002.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 100076 145 0 0 25 0 1 0 561679501 23433216 3283 33554432000 134512640 137138936 4291791664 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5721 3283 192 642 0 5077 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 22884

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 19371
/proc/meminfo: memFree=21334004/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22844 CPUtime=1062.21 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 106068 153 0 0 25 0 1 0 561679501 23392256 3283 33554432000 134512640 137138936 4291791664 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5711 3283 192 642 0 5067 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 22844

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

[startup+1075.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 19372
/proc/meminfo: memFree=21333996/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22844 CPUtime=1075.11 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 107357 154 0 0 25 0 1 0 561679501 23392256 3283 33554432000 134512640 137138936 4291791664 18446744073709551615 134599839 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5711 3283 192 642 0 5067 0
Current children cumulated CPU time (s) 1075.11
Current children cumulated vsize (KiB) 22844

[startup+1100.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19372
/proc/meminfo: memFree=21333980/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1100.71 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 109914 157 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1100.71
Current children cumulated vsize (KiB) 22732

[startup+1107.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1107.11 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 110553 158 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1107.11
Current children cumulated vsize (KiB) 22732

[startup+1110.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1110.31 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 110873 158 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1110.31
Current children cumulated vsize (KiB) 22732

[startup+1113.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1113.51 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 111192 159 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1113.51
Current children cumulated vsize (KiB) 22732

[startup+1115.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1115.11 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 111352 159 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1115.11
Current children cumulated vsize (KiB) 22732

[startup+1115.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1115.51 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 111392 159 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1115.51
Current children cumulated vsize (KiB) 22732

[startup+1116 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1115.91 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 111432 159 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1115.91
Current children cumulated vsize (KiB) 22732

[startup+1116.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19373
/proc/meminfo: memFree=21333984/32951124 swapFree=46575304/67111528
[pid=19313] ppid=19311 vsize=22732 CPUtime=1116.01 cores=0,2,4,6
/proc/19313/stat : 19313 (bsolo) R 19311 19313 17058 0 -1 4202496 3383 0 0 0 111442 159 0 0 25 0 1 0 561679501 23277568 3258 33554432000 134512640 137138936 4291791664 18446744073709551615 134551488 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19313/statm: 5683 3258 192 642 0 5039 0
Current children cumulated CPU time (s) 1116.01
Current children cumulated vsize (KiB) 22732

Child status: 0
Real time (s): 1116.11
CPU time (s): 1116.03
CPU user time (s): 1114.43
CPU system time (s): 1.59476
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 22884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1114.43
system time used= 1.59476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3383
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= 4
involuntary context switches= 1739

runsolver used 5.58815 second user time and 11.6662 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 10:08:02
IDJOB=3463086
IDBENCH=1315
IDSOLVER=1955
FILE ID=node107/3463086-1307174882
RUNJOBID= node107-1307173959-19065
PBS_JOBID= 13508844
Free space on /tmp= 73880 MiB

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

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

MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b
RANDOM SEED=1225371212

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21327008 kB
Buffers:        334476 kB
Cached:        2172664 kB
SwapCached:      22548 kB
Active:        9244600 kB
Inactive:      2029360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21327008 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            3892 kB
Writeback:           0 kB
AnonPages:     8761944 kB
Mapped:          33480 kB
Slab:           186660 kB
PageTables:      94612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145168904 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= 73876 MiB
End job on node107 at 2011-06-04 10:26:39