Trace number 1877367

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.1UNSAT 477.426 477.662

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
MD5SUM86320fff0968ff7a2805751d322618eb
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 benchmark8.60569
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 815
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: Cardinality Constraint 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-1877367-1245118886.opb
0.00/0.00	c File size is 83389 bytes.
0.00/0.01	c Highest Coefficient sum: 815
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 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.021 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     5472    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
477.35/477.66	c      101    231     2755    13323    4     5818    2069    169   2729 0.04
477.35/477.66	c      253    231     2990    25936    8     6286    2276    404   3666 0.07
477.35/477.66	c      478    231     3290    43418   13     6893    2504    704   3567 0.13
477.35/477.66	c      817    231     3700    67014   18     7717    2755   1114   3154 0.26
477.35/477.66	c     1325    231     4317   100445   23     8956    3031   1731   2825 0.47
477.35/477.66	c     2088    231     5238   152399   29    10803    3335   2652   2380 0.88
477.35/477.66	c     3237    231     4830   117294   24     9968    3669   2244   2077 1.56
477.35/477.66	c     4960    231     4734    77905   16     9811    4036   2148   2246 2.21
477.35/477.66	c     7546    231     5329   122630   23    11034    4440   2743   2239 3.37
477.35/477.66	c    11425    231     4806   102034   21     9964    4885   2220   2067 5.53
477.35/477.66	c    17249    231     5941   121915   20    12239    5374   3355   2034 8.48
477.35/477.66	c    25986    231     6904   186737   27    14406    5912   4318   2033 12.78
477.35/477.66	c    39097    231     5834   104165   17    11980    6504   3248   1938 20.17
477.35/477.66	c    58767    231     7117   156973   22    14549    7155   4531   1895 31.01
477.35/477.66	c    88278    231     6469   153544   23    13251    7871   3883   1730 51.02
477.35/477.66	c   132548    231     7023   185461   26    14495    8659   4437   1600 82.82
477.35/477.66	c   198959    231     9207   216279   23    18737    9525   6621   1532 129.84
477.35/477.66	c   298580    231     7932   194688   24    16203   10478   5346   1417 210.59
477.35/477.66	c   448015    227    11806   310003   26    24023   11526   9220   1323 338.42
477.35/477.66	c Backtracks by Clause: 593762
477.35/477.66	c Backtracks by PB constraint: 599
477.35/477.66	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
477.35/477.66	c   19   594361 144005   889293    12648   270666  10062   1244 477.42
477.35/477.66	s UNSATISFIABLE
477.35/477.66	c Total time: 477.424 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-1877367-1245118886/watcher-1877367-1245118886 -o /tmp/evaluation-result-1877367-1245118886/solver-1877367-1245118886 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877367-1245118886.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.01 1.00 3/64 4190
/proc/meminfo: memFree=1237512/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=10792 CPUtime=0
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 179488597 11051008 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 2698 236 175 640 0 2033 0

[startup+0.070793 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 4190
/proc/meminfo: memFree=1237512/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=11364 CPUtime=0.06
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 451 0 0 0 6 0 0 0 18 0 1 0 179488597 11636736 414 1992294400 134512640 137136520 4294956256 18446744073709551615 134598568 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 2841 414 196 640 0 2197 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11364

[startup+0.101797 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 4190
/proc/meminfo: memFree=1237512/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=11492 CPUtime=0.09
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 485 0 0 0 9 0 0 0 18 0 1 0 179488597 11767808 448 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 2873 448 196 640 0 2229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11492

[startup+0.301818 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 4190
/proc/meminfo: memFree=1237512/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=11988 CPUtime=0.29
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 629 0 0 0 29 0 0 0 20 0 1 0 179488597 12275712 592 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 2997 592 196 640 0 2353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11988

[startup+0.701864 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 4190
/proc/meminfo: memFree=1237512/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=12860 CPUtime=0.69
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 845 0 0 0 69 0 0 0 24 0 1 0 179488597 13168640 808 1992294400 134512640 137136520 4294956256 18446744073709551615 136502044 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3215 808 196 640 0 2571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12860

[startup+1.50196 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4191
/proc/meminfo: memFree=1234496/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=13740 CPUtime=1.49
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1063 0 0 0 149 0 0 0 25 0 1 0 179488597 14069760 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3435 1026 196 640 0 2791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13740

[startup+3.10114 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4191
/proc/meminfo: memFree=1233984/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=13744 CPUtime=3.09
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1065 0 0 0 308 1 0 0 25 0 1 0 179488597 14073856 1028 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3436 1028 196 640 0 2792 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13744

[startup+6.30152 s]
/proc/loadavg: 1.00 1.01 1.00 4/65 4191
/proc/meminfo: memFree=1233600/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=13996 CPUtime=6.29
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1130 0 0 0 627 2 0 0 25 0 1 0 179488597 14331904 1093 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4190/statm: 3499 1093 196 640 0 2855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13996

[startup+12.7012 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4191
/proc/meminfo: memFree=1233160/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=14360 CPUtime=12.67
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1224 0 0 0 1264 3 0 0 25 0 1 0 179488597 14704640 1187 1992294400 134512640 137136520 4294956256 18446744073709551615 134544562 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3590 1187 196 640 0 2946 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14360

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1232392/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=15216 CPUtime=25.47
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1415 0 0 0 2541 6 0 0 25 0 1 0 179488597 15581184 1378 1992294400 134512640 137136520 4294956256 18446744073709551615 136502025 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3804 1378 196 640 0 3160 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 15216

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1231944/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=15808 CPUtime=51.05
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1569 0 0 0 5095 10 0 0 25 0 1 0 179488597 16187392 1532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 3952 1532 196 640 0 3308 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 15808

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1231304/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=16392 CPUtime=102.24
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1711 0 0 0 10204 20 0 0 25 0 1 0 179488597 16785408 1674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4098 1674 197 640 0 3454 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 16392

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1230792/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=16756 CPUtime=162.22
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1821 0 0 0 16190 32 0 0 25 0 1 0 179488597 17158144 1784 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4189 1784 197 640 0 3545 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 16756

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1230664/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=16884 CPUtime=222.19
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1846 0 0 0 22177 42 0 0 25 0 1 0 179488597 17289216 1809 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4221 1809 197 640 0 3577 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 16884

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1230664/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=16980 CPUtime=282.16
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1880 0 0 0 28163 53 0 0 25 0 1 0 179488597 17387520 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4245 1843 197 640 0 3601 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 16980

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1230408/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17204 CPUtime=342.13
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1918 0 0 0 34150 63 0 0 25 0 1 0 179488597 17616896 1881 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4301 1881 197 640 0 3657 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 17204

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1230216/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17444 CPUtime=402.08
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 1979 0 0 0 40136 72 0 0 25 0 1 0 179488597 17862656 1942 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4361 1942 197 640 0 3717 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 17444

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=18000 CPUtime=462.06
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 46126 80 0 0 25 0 1 0 179488597 18432000 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4500 2078 197 640 0 3856 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 18000

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

[startup+467.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17992 CPUtime=466.85
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 46605 80 0 0 25 0 1 0 179488597 18423808 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4498 2078 197 640 0 3854 0
Current children cumulated CPU time (s) 466.85
Current children cumulated vsize (KiB) 17992

[startup+473.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=473.26
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47244 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134599977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 473.26
Current children cumulated vsize (KiB) 17988

[startup+475.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=474.86
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47404 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 474.86
Current children cumulated vsize (KiB) 17988

[startup+476.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=476.46
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47564 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 476.46
Current children cumulated vsize (KiB) 17988

[startup+477.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=476.85
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47603 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 476.85
Current children cumulated vsize (KiB) 17988

[startup+477.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=477.25
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47643 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 477.25
Current children cumulated vsize (KiB) 17988

[startup+477.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4191
/proc/meminfo: memFree=1229640/2055920 swapFree=4191900/4192956
[pid=4190] ppid=4188 vsize=17988 CPUtime=477.35
/proc/4190/stat : 4190 (bsolo) R 4188 4190 2914 0 -1 4194304 2115 0 0 0 47653 82 0 0 25 0 1 0 179488597 18419712 2078 1992294400 134512640 137136520 4294956256 18446744073709551615 136500530 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4190/statm: 4497 2078 197 640 0 3853 0
Current children cumulated CPU time (s) 477.35
Current children cumulated vsize (KiB) 17988

Child status: 0
Real time (s): 477.662
CPU time (s): 477.426
CPU user time (s): 476.598
CPU system time (s): 0.828873
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 18000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 476.598
system time used= 0.828873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2116
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= 1658

runsolver used 0.373943 second user time and 1.37179 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-16 04:21:26
IDJOB=1877367
IDBENCH=1304
IDSOLVER=699
FILE ID=node28/1877367-1245118886
PBS_JOBID= 9363637
Free space on /tmp= 66176 MiB

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

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

MD5SUM BENCH= 86320fff0968ff7a2805751d322618eb
RANDOM SEED=1124652046

node28.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:       1237992 kB
Buffers:         45116 kB
Cached:         693240 kB
SwapCached:        260 kB
Active:         105756 kB
Inactive:       646876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1237992 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4024 kB
Writeback:           0 kB
Mapped:          22592 kB
Slab:            51216 kB
Committed_AS:   142992 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66172 MiB
End job on node28 at 2009-06-16 04:29:23