Trace number 2656535

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.2 Card? 1798.01 1798.58

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
MD5SUM80da336e36371770b02ed1fca93b5c11
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 benchmark184.282
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 655
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656535-1276304180.opb
0.00/0.00	c File size is 83373 bytes.
0.00/0.01	c Highest Coefficient sum: 655
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.024 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     5473    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
1797.93/1798.57	c      101    231     2753    14269    5     5810    2069    167   2295 0.04
1797.93/1798.57	c      251    231     2973    22623    7     6255    2276    387   2885 0.09
1797.93/1798.57	c      476    231     3264    37337   11     6839    2504    678   2783 0.17
1797.93/1798.57	c      818    231     3667    56113   15     7652    2755   1081   2572 0.32
1797.93/1798.57	c     1326    231     4216    78390   18     8794    3031   1630   2326 0.57
1797.93/1798.57	c     2089    231     5045   116294   23    10511    3335   2459   2072 1.01
1797.93/1798.57	c     3238    231     4520    78906   17     9364    3669   1934   1904 1.70
1797.93/1798.57	c     4959    231     4423    73136   16     9179    4036   1837   1921 2.58
1797.93/1798.57	c     7544    231     5022    97816   19    10349    4440   2436   1880 4.01
1797.93/1798.57	c    11423    231     6711   130481   19    13744    4885   4125   1942 5.88
1797.93/1798.57	c    17248    231     5184    99400   19    10679    5374   2598   1883 9.16
1797.93/1798.57	c    25986    231     6176   188101   30    12759    5912   3590   1668 15.57
1797.93/1798.57	c    39096    231     8066   225925   28    16617    6504   5480   1545 25.29
1797.93/1798.57	c    58769    231     8843   257756   29    18140    7155   6257   1498 39.23
1797.93/1798.57	c    88280    231     7110   168461   23    14577    7871   4524   1467 60.16
1797.93/1798.57	c   132550    231     6523   172632   26    13400    8659   3937   1357 97.65
1797.93/1798.57	c   198961    231     7080   191206   27    14494    9525   4494   1245 159.78
1797.93/1798.57	c   298581    231     8499   211595   24    17323   10478   5913   1176 253.81
1797.93/1798.57	c   448016    231    10180   300546   29    20822   11526   7594   1116 401.18
1797.93/1798.57	c   672175    231    12814   404079   31    26108   12679  10228   1030 652.39
1797.93/1798.57	c  1008419    231    10443   300478   28    21223   13947   7857    962 1047.92
1797.93/1798.57	c  1512790    231    14978   507186   33    30444   15342  12392    880 1717.82
1797.93/1798.57	c Resources Exceeded
1797.93/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.57	c   22  1568239 318531  2126320    13234   459791  10648    872 1798.00
1797.93/1798.57	s UNKNOWN
1797.93/1798.57	c Total time: 1798 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-2656535-1276304180/watcher-2656535-1276304180 -o /tmp/evaluation-result-2656535-1276304180/solver-2656535-1276304180 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656535-1276304180.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7122
/proc/meminfo: memFree=1537508/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=10880 CPUtime=0
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 6021681 11141120 256 1992294400 134512640 137138936 4289776448 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 2720 256 175 642 0 2055 0

[startup+0.092791 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7122
/proc/meminfo: memFree=1537508/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=11320 CPUtime=0.08
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 507 0 0 0 8 0 0 0 20 0 1 0 6021681 11591680 404 1992294400 134512640 137138936 4289776448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 2830 404 192 642 0 2186 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11320

[startup+0.101792 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7122
/proc/meminfo: memFree=1537508/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=11452 CPUtime=0.09
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 514 0 0 0 9 0 0 0 20 0 1 0 6021681 11726848 411 1992294400 134512640 137138936 4289776448 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 2863 411 192 642 0 2219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11452

[startup+0.301815 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7122
/proc/meminfo: memFree=1537508/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=11828 CPUtime=0.29
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 624 0 0 0 29 0 0 0 20 0 1 0 6021681 12111872 521 1992294400 134512640 137138936 4289776448 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 2957 521 192 642 0 2313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11828

[startup+0.701861 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7122
/proc/meminfo: memFree=1537508/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=12444 CPUtime=0.69
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 765 0 0 0 69 0 0 0 20 0 1 0 6021681 12742656 662 1992294400 134512640 137138936 4289776448 18446744073709551615 134545203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3111 662 192 642 0 2467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12444

[startup+1.50095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7123
/proc/meminfo: memFree=1535144/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=13308 CPUtime=1.49
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 987 0 0 0 148 1 0 0 22 0 1 0 6021681 13627392 884 1992294400 134512640 137138936 4289776448 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3327 884 192 642 0 2683 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13308

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7123
/proc/meminfo: memFree=1534276/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=13312 CPUtime=3.09
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 1006 0 0 0 308 1 0 0 25 0 1 0 6021681 13631488 903 1992294400 134512640 137138936 4289776448 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3328 903 192 642 0 2684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13312

[startup+6.30151 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7123
/proc/meminfo: memFree=1533904/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=13680 CPUtime=6.29
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 1089 0 0 0 627 2 0 0 25 0 1 0 6021681 14008320 986 1992294400 134512640 137138936 4289776448 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3420 986 192 642 0 2776 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13680

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7125
/proc/meminfo: memFree=1532664/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=15036 CPUtime=12.69
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 1412 0 0 0 1265 4 0 0 25 0 1 0 6021681 15396864 1309 1992294400 134512640 137138936 4289776448 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3759 1309 192 642 0 3115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15036

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7125
/proc/meminfo: memFree=1531796/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=15776 CPUtime=25.48
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 1605 0 0 0 2541 7 0 0 25 0 1 0 6021681 16154624 1502 1992294400 134512640 137138936 4289776448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3944 1502 192 642 0 3300 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15776

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7125
/proc/meminfo: memFree=1531672/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=15780 CPUtime=51.08
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 1614 0 0 0 5095 13 0 0 25 0 1 0 6021681 16158720 1511 1992294400 134512640 137138936 4289776448 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 3945 1511 192 642 0 3301 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15780

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7127
/proc/meminfo: memFree=1530060/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17368 CPUtime=102.27
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2013 0 0 0 10202 25 0 0 25 0 1 0 6021681 17784832 1910 1992294400 134512640 137138936 4289776448 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4342 1910 192 642 0 3698 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17368

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7127
/proc/meminfo: memFree=1529688/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17732 CPUtime=162.24
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2093 0 0 0 16185 39 0 0 25 0 1 0 6021681 18157568 1990 1992294400 134512640 137138936 4289776448 18446744073709551615 134598948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4433 1990 192 642 0 3789 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 17732

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7129
/proc/meminfo: memFree=1529440/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17736 CPUtime=222.22
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2111 0 0 0 22169 53 0 0 25 0 1 0 6021681 18161664 2008 1992294400 134512640 137138936 4289776448 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4434 2008 192 642 0 3790 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 17736

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7140
/proc/meminfo: memFree=1528200/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17736 CPUtime=282.19
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2112 0 0 0 28151 68 0 0 25 0 1 0 6021681 18161664 2009 1992294400 134512640 137138936 4289776448 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4434 2009 192 642 0 3790 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 17736

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7142
/proc/meminfo: memFree=1528324/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17820 CPUtime=342.18
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2113 0 0 0 34137 81 0 0 25 0 1 0 6021681 18247680 2010 1992294400 134512640 137138936 4289776448 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4455 2010 192 642 0 3811 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 17820

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7144
/proc/meminfo: memFree=1528324/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=17812 CPUtime=402.15
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2113 0 0 0 40121 94 0 0 25 0 1 0 6021681 18239488 2010 1992294400 134512640 137138936 4289776448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4453 2010 192 642 0 3809 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 17812

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7146
/proc/meminfo: memFree=1527580/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=19156 CPUtime=462.13
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2467 0 0 0 46108 105 0 0 25 0 1 0 6021681 19615744 2364 1992294400 134512640 137138936 4289776448 18446744073709551615 134542883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4789 2364 192 642 0 4145 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 19156

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7146
/proc/meminfo: memFree=1527580/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=19156 CPUtime=522.12
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2467 0 0 0 52094 118 0 0 25 0 1 0 6021681 19615744 2364 1992294400 134512640 137138936 4289776448 18446744073709551615 136500308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4789 2364 192 642 0 4145 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 19156

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7148
/proc/meminfo: memFree=1527580/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=19156 CPUtime=582.1
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2467 0 0 0 58081 129 0 0 25 0 1 0 6021681 19615744 2364 1992294400 134512640 137138936 4289776448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4789 2364 192 642 0 4145 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 19156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7150
/proc/meminfo: memFree=1527580/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=19064 CPUtime=642.08
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2467 0 0 0 64066 142 0 0 25 0 1 0 6021681 19521536 2341 1992294400 134512640 137138936 4289776448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4766 2341 192 642 0 4122 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 19064

[startup+702.302 s]

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

/proc/meminfo: memFree=1526216/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=19708 CPUtime=1061.95
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2610 0 0 0 105967 228 0 0 25 0 1 0 6021681 20180992 2484 1992294400 134512640 137138936 4289776448 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 4927 2484 192 642 0 4283 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 19708

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 7165
/proc/meminfo: memFree=1525968/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20048 CPUtime=1121.93
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2697 0 0 0 111955 238 0 0 25 0 1 0 6021681 20529152 2571 1992294400 134512640 137138936 4289776448 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5012 2571 192 642 0 4368 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 20048

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7167
/proc/meminfo: memFree=1525968/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20260 CPUtime=1181.9
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2747 0 0 0 117939 251 0 0 25 0 1 0 6021681 20746240 2621 1992294400 134512640 137138936 4289776448 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5065 2621 192 642 0 4421 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 20260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7169
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20384 CPUtime=1241.88
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2786 0 0 0 123927 261 0 0 25 0 1 0 6021681 20873216 2660 1992294400 134512640 137138936 4289776448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5096 2660 192 642 0 4452 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 20384

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7171
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20384 CPUtime=1301.87
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2786 0 0 0 129915 272 0 0 25 0 1 0 6021681 20873216 2660 1992294400 134512640 137138936 4289776448 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5096 2660 192 642 0 4452 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 20384

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7171
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20384 CPUtime=1361.85
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2786 0 0 0 135902 283 0 0 25 0 1 0 6021681 20873216 2660 1992294400 134512640 137138936 4289776448 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5096 2660 192 642 0 4452 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 20384

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7173
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20384 CPUtime=1421.84
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2786 0 0 0 141889 295 0 0 25 0 1 0 6021681 20873216 2660 1992294400 134512640 137138936 4289776448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5096 2660 192 642 0 4452 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 20384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7175
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=20384 CPUtime=1481.82
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 2786 0 0 0 147874 308 0 0 25 0 1 0 6021681 20873216 2660 1992294400 134512640 137138936 4289776448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5096 2660 192 642 0 4452 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 20384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7177
/proc/meminfo: memFree=1524976/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=21212 CPUtime=1541.8
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3004 0 0 0 153859 321 0 0 25 0 1 0 6021681 21721088 2878 1992294400 134512640 137138936 4289776448 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5303 2878 192 642 0 4659 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 21212

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7179
/proc/meminfo: memFree=1524852/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=21212 CPUtime=1601.78
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3004 0 0 0 159844 334 0 0 25 0 1 0 6021681 21721088 2878 1992294400 134512640 137138936 4289776448 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5303 2878 192 642 0 4659 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 21212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7181
/proc/meminfo: memFree=1524852/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=21212 CPUtime=1661.76
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3004 0 0 0 165829 347 0 0 25 0 1 0 6021681 21721088 2878 1992294400 134512640 137138936 4289776448 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5303 2878 192 642 0 4659 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 21212

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7181
/proc/meminfo: memFree=1524728/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=21216 CPUtime=1721.75
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3005 0 0 0 171816 359 0 0 25 0 1 0 6021681 21725184 2879 1992294400 134512640 137138936 4289776448 18446744073709551615 134604016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 21216

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1781.73
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 177804 369 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 22192

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1791.33
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 178763 370 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 22192

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1794.53
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 179082 371 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 22192

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1796.12
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 179241 371 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 22192

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1796.92
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 179321 371 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 22192

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1797.73
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 179401 372 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 22192

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7183
/proc/meminfo: memFree=1523736/2059040 swapFree=4192956/4192956
[pid=7122] ppid=7120 vsize=22192 CPUtime=1797.93
/proc/7122/stat : 7122 (bsolo_pb10) R 7120 7122 6335 0 -1 4202496 3233 0 0 0 179421 372 0 0 25 0 1 0 6021681 22724608 3107 1992294400 134512640 137138936 4289776448 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7122/statm: 5548 3107 192 642 0 4904 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 22192

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.01
CPU user time (s): 1794.28
CPU system time (s): 3.72343
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 22192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 3.72343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3233
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= 1
involuntary context switches= 4063

runsolver used 2.87656 second user time and 8.58169 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-12 02:56:20
IDJOB=2656535
IDBENCH=1338
IDSOLVER=1162
FILE ID=node006/2656535-1276304180
PBS_JOBID= 11173117
Free space on /tmp= 62472 MiB

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

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

MD5SUM BENCH= 80da336e36371770b02ed1fca93b5c11
RANDOM SEED=1441862249

node006.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1538036 kB
Buffers:         81684 kB
Cached:         311976 kB
SwapCached:          0 kB
Active:         174880 kB
Inactive:       278064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1538036 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       59300 kB
Mapped:          15460 kB
Slab:            46308 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node006 at 2010-06-12 03:26:19