Trace number 1878851

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 3.1 clUNSAT 1138.11 1138.43

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
MD5SUMff92e7f0cc5c4d2f39e30a6748b3406b
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 benchmark6.77697
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.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878851-1245124292.opb
0.00/0.00	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.012 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5713
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.023 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    231     2586     8096    3     5475    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
1138.07/1138.43	c      100    231     2686    11625    4     5677    2069    100   3030 0.03
1138.07/1138.43	c      251    231     2837    17159    6     5977    2276    251   5020 0.05
1138.07/1138.43	c      478    231     3064    24938    8     6432    2504    478   5690 0.08
1138.07/1138.43	c      819    231     3405    38490   11     7115    2755    819   5609 0.15
1138.07/1138.43	c     1328    231     3914    57290   14     8132    3031   1328   5312 0.25
1138.07/1138.43	c     2091    231     4677    87222   18     9657    3335   2091   4943 0.42
1138.07/1138.43	c     3237    231     5823   132893   22    11948    3669   3237   3981 0.81
1138.07/1138.43	c     4959    231     5648   124392   22    11601    4036   3062   3567 1.39
1138.07/1138.43	c     7545    231     6121   144630   23    12546    4440   3535   3356 2.25
1138.07/1138.43	c    11426    231     5374   115557   21    11051    4885   2788   3142 3.64
1138.07/1138.43	c    17250    231     6086   112344   18    12476    5374   3500   3084 5.59
1138.07/1138.43	c    25988    231     6426   119680   18    13156    5912   3840   3117 8.34
1138.07/1138.43	c    39098    231     7273   155384   21    14850    6504   4687   2979 13.12
1138.07/1138.43	c    58770    231     6775   147561   21    13854    7155   4189   2712 21.66
1138.07/1138.43	c    88282    231     6808   147477   21    13919    7871   4222   2427 36.36
1138.07/1138.43	c   132552    231     6673   146887   22    13650    8659   4087   2266 58.48
1138.07/1138.43	c   198962    231    10981   301848   27    22266    9525   8395   2070 96.09
1138.07/1138.43	c   298585    231     8292   190618   22    16888   10478   5706   1881 158.68
1138.07/1138.43	c   448024    231     7992   184197   23    16288   11526   5406   1686 265.72
1138.07/1138.43	c   672182    231     9022   240557   26    18347   12679   6436   1511 444.74
1138.07/1138.43	c  1008426    231    10328   285893   27    20960   13947   7742   1350 746.48
1138.07/1138.43	c Backtracks by Clause: 0
1138.07/1138.43	c Backtracks by PB constraint: 0
1138.07/1138.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1138.07/1138.43	c   21  1390505 305410  1961326    10500   236821   7914   1221 1138.11
1138.07/1138.43	s UNSATISFIABLE
1138.07/1138.43	c Total time: 1138.11 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878851-1245124292/watcher-1878851-1245124292 -o /tmp/evaluation-result-1878851-1245124292/solver-1878851-1245124292 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878851-1245124292.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 10728
/proc/meminfo: memFree=1116792/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=10792 CPUtime=0
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 180029569 11051008 232 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 2698 232 174 640 0 2033 0

[startup+0.053434 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 10728
/proc/meminfo: memFree=1116792/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=11236 CPUtime=0.04
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 419 0 0 0 4 0 0 0 18 0 1 0 180029569 11505664 382 1992294400 134512640 137136520 4294956256 18446744073709551615 134572223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 2809 382 195 640 0 2165 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11236

[startup+0.101439 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 10728
/proc/meminfo: memFree=1116792/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=11364 CPUtime=0.09
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 465 0 0 0 9 0 0 0 18 0 1 0 180029569 11636736 428 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 2841 428 195 640 0 2197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364

[startup+0.301459 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 10728
/proc/meminfo: memFree=1116792/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=12008 CPUtime=0.29
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 611 0 0 0 29 0 0 0 19 0 1 0 180029569 12296192 574 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3002 574 195 640 0 2358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12008

[startup+0.701501 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 10728
/proc/meminfo: memFree=1116792/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=12768 CPUtime=0.69
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 822 0 0 0 69 0 0 0 22 0 1 0 180029569 13074432 785 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3192 785 195 640 0 2548 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12768

[startup+1.50158 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10729
/proc/meminfo: memFree=1113904/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=13404 CPUtime=1.49
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 957 0 0 0 148 1 0 0 25 0 1 0 180029569 13725696 920 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3351 920 195 640 0 2707 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13404

[startup+3.10175 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10729
/proc/meminfo: memFree=1113520/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=13792 CPUtime=3.09
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1079 0 0 0 308 1 0 0 25 0 1 0 180029569 14123008 1042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3448 1042 195 640 0 2804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13792

[startup+6.30108 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10729
/proc/meminfo: memFree=1112944/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=14048 CPUtime=6.29
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1122 0 0 0 625 4 0 0 25 0 1 0 180029569 14385152 1085 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3512 1085 195 640 0 2868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14048

[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1112640/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=14308 CPUtime=12.69
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1185 0 0 0 1262 7 0 0 25 0 1 0 180029569 14651392 1148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3577 1148 195 640 0 2933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14308

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1111424/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=15460 CPUtime=25.48
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1490 0 0 0 2537 11 0 0 25 0 1 0 180029569 15831040 1453 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3865 1453 195 640 0 3221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15460

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1111296/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=15692 CPUtime=51.08
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1534 0 0 0 5092 16 0 0 25 0 1 0 180029569 16068608 1497 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 3923 1497 195 640 0 3279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15692

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1110272/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=16692 CPUtime=102.26
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1789 0 0 0 10195 31 0 0 25 0 1 0 180029569 17092608 1752 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4173 1752 195 640 0 3529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16692

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1110016/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=16944 CPUtime=162.24
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1852 0 0 0 16182 42 0 0 25 0 1 0 180029569 17350656 1815 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4236 1815 195 640 0 3592 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16944

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10731
/proc/meminfo: memFree=1109568/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=17328 CPUtime=222.23
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 1951 0 0 0 22169 54 0 0 25 0 1 0 180029569 17743872 1914 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4332 1914 195 640 0 3688 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17328

[startup+282.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 10731
/proc/meminfo: memFree=1108992/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=17932 CPUtime=282.21
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2096 0 0 0 28155 66 0 0 25 0 1 0 180029569 18362368 2059 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4483 2059 195 640 0 3839 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17932

[startup+342.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 10731
/proc/meminfo: memFree=1108864/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18020 CPUtime=342.19
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2119 0 0 0 34141 78 0 0 25 0 1 0 180029569 18452480 2082 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4505 2082 195 640 0 3861 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 18020

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10731
/proc/meminfo: memFree=1108800/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18016 CPUtime=402.18
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2119 0 0 0 40127 91 0 0 25 0 1 0 180029569 18448384 2082 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4504 2082 195 640 0 3860 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 18016

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10731
/proc/meminfo: memFree=1108416/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18400 CPUtime=462.16
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2217 0 0 0 46115 101 0 0 25 0 1 0 180029569 18841600 2180 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4600 2180 195 640 0 3956 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 18400

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10731
/proc/meminfo: memFree=1108096/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18656 CPUtime=522.15
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2295 0 0 0 52103 112 0 0 25 0 1 0 180029569 19103744 2258 1992294400 134512640 137136520 4294956256 18446744073709551615 136502019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4664 2258 195 640 0 4020 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 18656

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107968/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18656 CPUtime=582.12
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2295 0 0 0 58088 124 0 0 25 0 1 0 180029569 19103744 2258 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4664 2258 195 640 0 4020 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 18656

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107968/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18656 CPUtime=642.11
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2295 0 0 0 64076 135 0 0 25 0 1 0 180029569 19103744 2258 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4664 2258 195 640 0 4020 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 18656

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1108032/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=18656 CPUtime=702.09
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2295 0 0 0 70063 146 0 0 25 0 1 0 180029569 19103744 2258 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4664 2258 195 640 0 4020 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 18656

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107264/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19404 CPUtime=762.08
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2467 0 0 0 76052 156 0 0 25 0 1 0 180029569 19869696 2430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4851 2430 195 640 0 4207 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 19404

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19588 CPUtime=822.06
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2513 0 0 0 82040 166 0 0 25 0 1 0 180029569 20058112 2476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4897 2476 195 640 0 4253 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 19588

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19584 CPUtime=882.04
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2513 0 0 0 88028 176 0 0 25 0 1 0 180029569 20054016 2476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4896 2476 195 640 0 4252 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 19584

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107136/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=942.02
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2513 0 0 0 94018 184 0 0 25 0 1 0 180029569 20049920 2476 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2476 195 640 0 4251 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 19580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1002.01
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 100008 193 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 19580

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107136/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1061.99
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 105996 203 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 19580

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1121.98
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 111986 212 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 19580

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

[startup+1126.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1125.97
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 112385 212 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1125.97
Current children cumulated vsize (KiB) 19580

[startup+1132.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1132.37
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113023 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1132.37
Current children cumulated vsize (KiB) 19580

[startup+1135.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1135.57
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113343 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1135.57
Current children cumulated vsize (KiB) 19580

[startup+1137.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1137.17
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113503 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1137.17
Current children cumulated vsize (KiB) 19580

[startup+1137.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1137.57
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113543 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 136502216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1137.57
Current children cumulated vsize (KiB) 19580

[startup+1138.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1137.97
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113583 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1137.97
Current children cumulated vsize (KiB) 19580

[startup+1138.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10737
/proc/meminfo: memFree=1107072/2055920 swapFree=4191900/4192956
[pid=10728] ppid=10726 vsize=19580 CPUtime=1138.07
/proc/10728/stat : 10728 (bsolo) R 10726 10728 9552 0 -1 4194304 2514 0 0 0 113593 214 0 0 25 0 1 0 180029569 20049920 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10728/statm: 4895 2477 195 640 0 4251 0
Current children cumulated CPU time (s) 1138.07
Current children cumulated vsize (KiB) 19580

Child status: 0
Real time (s): 1138.43
CPU time (s): 1138.11
CPU user time (s): 1135.96
CPU system time (s): 2.14967
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 19644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1135.96
system time used= 2.14967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1238

runsolver used 0.811876 second user time and 2.37864 second system time

The end

Launcher Data 

Begin job on node24 at 2009-06-16 05:51:32
IDJOB=1878851
IDBENCH=1364
IDSOLVER=700
FILE ID=node24/1878851-1245124292
PBS_JOBID= 9363639
Free space on /tmp= 66364 MiB

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

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

MD5SUM BENCH= ff92e7f0cc5c4d2f39e30a6748b3406b
RANDOM SEED=1839078028

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1117272 kB
Buffers:         56736 kB
Cached:         801640 kB
SwapCached:        260 kB
Active:         159488 kB
Inactive:       711684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1117272 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          21252 kB
Slab:            53404 kB
Committed_AS:   177868 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node24 at 2009-06-16 06:10:31