Trace number 432337

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, and are wall clock time (not CPU 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.0.17UNSAT 1551.58 1552.04

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
MD5SUM490d573a1d39845890b306c349815f34
Bench CategorySATUNSAT-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 benchmark31.3106
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 749
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb
0.00/0.00	c File size is 83383 bytes.
0.00/0.02	c Highest Coefficient sum: 749
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.016 s
0.00/0.02	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.00/0.03	c Pre-processing Time: 0.027 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    231     2586     8096    3     5473    1880      0      0 0.03
0.00/0.03	c Switching off LPR mode.
1551.55/1552.01	c      105    231     2691    13579    5     5686    2069    105   2763 0.04
1551.55/1552.01	c      255    231     2841    20818    7     5986    2276    255   4722 0.05
1551.55/1552.01	c      484    231     3070    31177   10     6444    2504    484   5975 0.08
1551.55/1552.01	c      823    231     3409    48573   14     7123    2755    823   6282 0.13
1551.55/1552.01	c     1331    231     3917    70360   17     8139    3031   1331   6133 0.22
1551.55/1552.01	c     2094    231     4680   103321   22     9663    3335   2094   5598 0.37
1551.55/1552.01	c     3243    231     5829   158561   27    11963    3669   3243   4639 0.70
1551.55/1552.01	c     4967    231     5633   149941   26    11571    4036   3047   4212 1.18
1551.55/1552.01	c     7552    231     6114   169676   27    12533    4440   3528   3908 1.93
1551.55/1552.01	c    11433    231     5386   143998   26    11077    4885   2800   3492 3.27
1551.55/1552.01	c    17257    231     6124   143530   23    12551    5374   3538   3352 5.15
1551.55/1552.01	c    25994    231     6457   163187   25    13217    5912   3871   3379 7.69
1551.55/1552.01	c    39104    231     7310   199694   27    14925    6504   4724   3206 12.20
1551.55/1552.01	c    58778    231     6886   178479   25    14076    7155   4300   3058 19.22
1551.55/1552.01	c    88288    231     6875   171461   24    14053    7871   4289   2913 30.30
1551.55/1552.01	c   132558    231     6647   157220   23    13598    8659   4061   2773 47.80
1551.55/1552.01	c   198968    231    10991   343348   31    22287    9525   8405   2507 79.34
1551.55/1552.01	c   298589    231     8484   219409   25    17272   10478   5898   2325 128.42
1551.55/1552.01	c   448026    231     8397   233971   27    17099   11526   5811   2091 214.16
1551.55/1552.01	c   672186    231     9475   279826   29    19255   12679   6889   1897 354.31
1551.55/1552.01	c  1008430    231    10645   318710   29    21595   13947   8059   1733 581.87
1551.55/1552.01	c  1512801    231    12264   387716   31    24833   15342   9678   1558 970.82
1551.55/1552.01	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1551.55/1552.01	c   22  2144687 439016  2965650    14025   430734  11439   1382 1551.57
1551.55/1552.01	s UNSATISFIABLE
1551.55/1552.01	c Total time: 1551.57 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-432337-1177942789 -o ROOT/results/node12/solver-432337-1177942789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 32017
/proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=19632 CPUtime=0
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270316274 20103168 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 4908 332 279 324 0 3957 0

[startup+0.105554 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 32017
/proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=4848 CPUtime=0.09
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 635 0 0 0 9 0 0 0 18 0 1 0 270316274 4964352 585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1212 585 308 324 0 282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.201564 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 32017
/proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=5236 CPUtime=0.19
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 745 0 0 0 19 0 0 0 18 0 1 0 270316274 5361664 694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1309 694 309 324 0 379 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5236

[startup+0.301573 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 32017
/proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=5624 CPUtime=0.29
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 828 0 0 0 29 0 0 0 19 0 1 0 270316274 5758976 777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1406 777 309 324 0 476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5624

[startup+0.701613 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 32017
/proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=6668 CPUtime=0.69
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1096 0 0 0 68 1 0 0 23 0 1 0 270316274 6828032 1045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1667 1045 309 324 0 737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6668

[startup+1.50169 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 32018
/proc/meminfo: memFree=1764600/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=7200 CPUtime=1.49
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1238 0 0 0 148 1 0 0 25 0 1 0 270316274 7372800 1187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1800 1187 309 324 0 870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7200

[startup+3.10185 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 32018
/proc/meminfo: memFree=1764216/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=7848 CPUtime=3.09
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1392 0 0 0 308 1 0 0 25 0 1 0 270316274 8036352 1341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 1962 1341 309 324 0 1032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7848

[startup+6.30117 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 32018
/proc/meminfo: memFree=1763256/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=8100 CPUtime=6.29
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1440 0 0 0 628 1 0 0 25 0 1 0 270316274 8294400 1389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2025 1389 309 324 0 1095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8100

[startup+12.7018 s]
/proc/loadavg: 0.22 0.05 0.02 2/78 32018
/proc/meminfo: memFree=1763192/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=8232 CPUtime=12.69
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1489 0 0 0 1268 1 0 0 25 0 1 0 270316274 8429568 1438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2058 1438 309 324 0 1128 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8232

[startup+25.5011 s]
/proc/loadavg: 0.34 0.08 0.02 2/78 32018
/proc/meminfo: memFree=1762040/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=9536 CPUtime=25.48
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1806 0 0 0 2547 1 0 0 25 0 1 0 270316274 9764864 1755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2384 1755 309 324 0 1454 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9536

[startup+51.1016 s]
/proc/loadavg: 0.56 0.15 0.05 2/78 32018
/proc/meminfo: memFree=1761784/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=9804 CPUtime=51.07
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1888 0 0 0 5105 2 0 0 25 0 1 0 270316274 10039296 1837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2451 1837 309 324 0 1521 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9804

[startup+102.302 s]
/proc/loadavg: 0.82 0.29 0.10 2/78 32018
/proc/meminfo: memFree=1761144/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=10548 CPUtime=102.25
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2056 0 0 0 10223 2 0 0 25 0 1 0 270316274 10801152 2005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10128892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2637 2005 309 324 0 1707 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10548

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/78 32018
/proc/meminfo: memFree=1760440/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=11156 CPUtime=162.24
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2226 0 0 0 16221 3 0 0 25 0 1 0 270316274 11423744 2175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2789 2175 309 324 0 1859 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11156

[startup+222.306 s]
/proc/loadavg: 0.97 0.52 0.20 2/78 32018
/proc/meminfo: memFree=1759672/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=11932 CPUtime=222.23
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 22219 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2983 2367 309 324 0 2053 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 11932

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/78 32018
/proc/meminfo: memFree=1759608/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=11932 CPUtime=282.2
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 28216 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2983 2367 309 324 0 2053 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 11932

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/78 32018
/proc/meminfo: memFree=1759608/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=11932 CPUtime=342.18
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 34214 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 2983 2367 309 324 0 2053 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 11932

[startup+402.302 s]
/proc/loadavg: 1.08 0.76 0.34 2/78 32018
/proc/meminfo: memFree=1758136/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13448 CPUtime=402.17
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 40212 5 0 0 25 0 1 0 270316274 13770752 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3362 2734 309 324 0 2432 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 13448

[startup+462.302 s]
/proc/loadavg: 1.13 0.83 0.40 2/78 32018
/proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13444 CPUtime=462.15
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 46209 6 0 0 25 0 1 0 270316274 13766656 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3361 2734 309 324 0 2431 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 13444

[startup+522.302 s]
/proc/loadavg: 1.17 0.89 0.44 2/78 32018
/proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13436 CPUtime=522.14
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 52208 6 0 0 25 0 1 0 270316274 13758464 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3359 2734 309 324 0 2429 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 13436

[startup+582.302 s]
/proc/loadavg: 1.06 0.91 0.47 2/78 32018
/proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13432 CPUtime=582.12
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 58205 7 0 0 25 0 1 0 270316274 13754368 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3358 2734 309 324 0 2428 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 13432

[startup+642.301 s]
/proc/loadavg: 1.02 0.92 0.50 2/78 32018
/proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13972 CPUtime=642.1
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 64203 7 0 0 25 0 1 0 270316274 14307328 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3493 2868 309 324 0 2563 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 13972


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

/proc/meminfo: memFree=1757624/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13968 CPUtime=822.06
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 82197 9 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3492 2868 309 324 0 2562 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 13968

[startup+882.305 s]
/proc/loadavg: 1.00 0.95 0.60 2/78 32020
/proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13968 CPUtime=882.04
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 88195 9 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3492 2868 309 324 0 2562 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 13968

[startup+942.301 s]
/proc/loadavg: 1.00 0.96 0.63 2/78 32020
/proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=13968 CPUtime=942.02
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 94192 10 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3492 2868 309 324 0 2562 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 13968

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.65 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1002
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 100190 10 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 15160

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1061.99
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 106188 11 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 15160

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.68 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1121.97
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 112186 11 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 15160

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1181.96
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 118184 12 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 15160

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/78 32020
/proc/meminfo: memFree=1756344/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1241.94
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 124182 12 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 15160

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/78 32020
/proc/meminfo: memFree=1756344/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1301.93
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 130180 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 15160

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/78 32020
/proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1361.9
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 136177 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 15160

[startup+1422.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/78 32020
/proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1421.89
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 142176 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 15160

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/78 32020
/proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1481.87
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 148173 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 15160

[startup+1542.31 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1541.85
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154171 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 15160

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

[startup+1542.4 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1541.95
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154181 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 15160

[startup+1548.8 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1548.35
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154821 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1548.35
Current children cumulated vsize (KiB) 15160

[startup+1550.4 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1549.95
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154981 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1549.95
Current children cumulated vsize (KiB) 15160

[startup+1551.2 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1550.75
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155061 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1550.75
Current children cumulated vsize (KiB) 15160

[startup+1551.6 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1551.15
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155101 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10127233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1551.15
Current children cumulated vsize (KiB) 15160

[startup+1552 s]
/proc/loadavg: 1.00 0.97 0.78 2/78 32020
/proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956
[pid=32017] ppid=32015 vsize=15160 CPUtime=1551.55
/proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155141 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32017/statm: 3790 3178 309 324 0 2860 0
Current children cumulated CPU time (s) 1551.55
Current children cumulated vsize (KiB) 15160

Child status: 0
Real time (s): 1552.04
CPU time (s): 1551.58
CPU user time (s): 1551.42
CPU system time (s): 0.150977
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 15160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1551.42
system time used= 0.150977
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= 11
involuntary context switches= 32784

runsolver used 1.23081 second user time and 3.20551 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Apr 30 14:19:49 UTC 2007

IDJOB= 432337
IDBENCH= 1324
IDSOLVER= 199
FILE ID= node12/432337-1177942789

PBS_JOBID= 4727830

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-432337-1177942789 -o ROOT/results/node12/solver-432337-1177942789 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  490d573a1d39845890b306c349815f34

RANDOM SEED= 230898619

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.239
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.239
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:       1768472 kB
Buffers:         38524 kB
Cached:         155316 kB
SwapCached:      11792 kB
Active:         133264 kB
Inactive:        83716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768472 kB
SwapTotal:     4192956 kB
SwapFree:      4160076 kB
Dirty:            6748 kB
Writeback:           0 kB
Mapped:          29960 kB
Slab:            55968 kB
Committed_AS:  6240412 kB
PageTables:       1792 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= 66558 MiB

End job on node12 on Mon Apr 30 14:45:41 UTC 2007