Trace number 362771

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16? (TO) 1800.07 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stair.opb
MD5SUM98b9ab286036da69f2015d2ff2a12818
Bench CategoryOPT-SMALLINT (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 benchmark18.3192
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524930
Number of bits of the biggest sum of numbers20
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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb
0.00/0.01	c File size is 794556 bytes.
0.09/0.15	c Highest Coefficient sum: 524930
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.147 s
0.09/0.16	c Var: 11454 Constr: 571 1/0/570 Lit: 112673 Watch. Lit: 37268
0.09/0.16	c Obj. Vars: 30 (0.261917 % of total variables)
1.28/1.39	c Pre-processing Time: 1.38 s
1.28/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.39	c        0   9853      571   111015  194    86489  221070      0      0 1.38
1.28/1.39	c Switching off LPR mode.
1799.91/1800.58	c      101   9853      672   114844  170   103742  243178    101     69 1.46
1799.91/1800.58	c      252   9853      823   123649  150   104196  267496    252    162 1.55
1799.91/1800.58	c      478   9853     1049   136987  130   104378  294246    478    285 1.67
1799.91/1800.58	c      817   9853     1388   160216  115   105298  323671    817    455 1.79
1799.91/1800.58	c     1325   9853     1896   192407  101   105800  356039   1325    612 2.17
1799.91/1800.58	c     2090   9853     2661   247402   92   107402  391643   2090    697 3.00
1799.91/1800.58	c     3236   9853     3807   297433   78   109507  430808   3236    942 3.43
1799.91/1800.58	c     4959   9853     5530   436444   78   113445  473889   4959   1086 4.57
1799.91/1800.58	c     7544   9853     8115   654555   80   118634  521278   7544   1428 5.28
1799.91/1800.58	c    11423   9853    11994   932216   77   126092  573406  11423   1515 7.54
1799.91/1800.58	c    17245   9853    17816  1198639   67   137727  630747  17245   1733 9.95
1799.91/1800.58	c    25989   9852    26560  1555615   58   155359  693822  25989   1668 15.58
1799.91/1800.58	c    39100   9852    39671  2229269   56   181429  763205  39100   1135 34.44
1799.91/1800.58	c    58770   9839    59341  3795976   63   224158  839526  58770    944 62.20
1799.91/1800.58	c    88281   9839    88852  4964857   55   283566  923479  88281    572 154.23
1799.91/1800.58	c   132551   9838   133122  7720653   57   370815  500000 132551    482 274.66
1799.91/1800.58	c   198964   9838   199535 11205616   56   503296  550001 198964    357 556.79
1799.91/1800.58	c   298584   9834   299155 15733842   52   702303  605002 298584    251 1185.57
1799.91/1800.58	c   448019   9833   448590 23411323   52  1002107  665503 448019    272 1641.46
1799.91/1800.58	c Resources Exceeded
1799.91/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.58	c   19   486135  79059   790849   486706 26605510 486135    270 1800.00
1799.91/1800.58	s UNKNOWN
1799.91/1800.58	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-362771-1177017889 -o ROOT/results/node3/solver-362771-1177017889 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.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: 1.05 1.01 1.00 3/77 17477
/proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=20324 CPUtime=0
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 362 0 3 0 0 0 0 0 18 0 1 0 177826647 20811776 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 5081 333 281 324 0 3956 0

[startup+0.020094 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 17477
/proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=12788 CPUtime=0
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 439 0 3 0 0 0 0 0 18 0 1 0 177826647 13094912 410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 3197 410 295 324 0 2072 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12788

[startup+0.102117 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 17477
/proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=5908 CPUtime=0.09
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 800 0 3 0 9 0 0 0 18 0 1 0 177826647 6049792 771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 1477 771 406 324 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908

[startup+0.30214 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 17477
/proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=9020 CPUtime=0.29
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 1811 0 3 0 28 1 0 0 19 0 1 0 177826647 9236480 1588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 2255 1588 306 324 0 1324 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9020

[startup+0.701204 s]
/proc/loadavg: 1.05 1.01 1.00 3/77 17477
/proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=9152 CPUtime=0.69
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 1831 0 3 0 68 1 0 0 22 0 1 0 177826647 9371648 1608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 2288 1608 306 324 0 1357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9152

[startup+1.50134 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1770136/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=10756 CPUtime=1.49
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 2355 0 3 0 147 2 0 0 25 0 1 0 177826647 11014144 2042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 2689 2042 312 324 0 1758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10756

[startup+3.10159 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1770072/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=11808 CPUtime=3.08
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 2604 0 3 0 306 2 0 0 25 0 1 0 177826647 12091392 2291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 2952 2291 312 324 0 2021 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11808

[startup+6.30112 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1762968/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=19480 CPUtime=6.28
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 4540 0 3 0 624 4 0 0 25 0 1 0 177826647 19947520 4227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 4870 4227 312 324 0 3939 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19480

[startup+12.7012 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1753752/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=27448 CPUtime=12.67
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 6507 0 3 0 1262 5 0 0 25 0 1 0 177826647 28106752 6194 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 6862 6194 312 324 0 5931 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27448

[startup+25.5012 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1743576/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=37384 CPUtime=25.47
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 8988 0 3 0 2537 10 0 0 25 0 1 0 177826647 38281216 8675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 9346 8675 312 324 0 8415 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 37384

[startup+51.1024 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 17478
/proc/meminfo: memFree=1732440/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=48608 CPUtime=51.06
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 11791 0 3 0 5091 15 0 0 25 0 1 0 177826647 49774592 11478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 12152 11478 312 324 0 11221 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 48608

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 17478
/proc/meminfo: memFree=1706904/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=73904 CPUtime=102.25
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 18130 0 3 0 10200 25 0 0 25 0 1 0 177826647 75677696 17817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 18476 17817 312 324 0 17545 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73904

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17478
/proc/meminfo: memFree=1696920/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=84140 CPUtime=162.22
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 20685 0 3 0 16190 32 0 0 25 0 1 0 177826647 86159360 20372 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 21035 20372 312 324 0 20104 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 84140

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17478
/proc/meminfo: memFree=1677528/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=103172 CPUtime=222.21
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 25459 0 3 0 22179 42 0 0 25 0 1 0 177826647 105648128 25146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 25793 25146 312 324 0 24862 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 103172

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17478
/proc/meminfo: memFree=1656088/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=124832 CPUtime=282.19
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 30856 0 3 0 28166 53 0 0 25 0 1 0 177826647 127827968 30543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 31208 30543 312 324 0 30277 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 124832

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17478
/proc/meminfo: memFree=1640088/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=140540 CPUtime=342.17
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 34795 0 3 0 34157 60 0 0 25 0 1 0 177826647 143912960 34482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11355989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 35135 34482 312 324 0 34204 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 140540

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1630552/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=150012 CPUtime=402.15
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 37166 0 3 0 40148 67 0 0 25 0 1 0 177826647 153612288 36853 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 37503 36853 312 324 0 36572 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 150012

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1618392/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=162192 CPUtime=462.13
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 40218 0 3 0 46139 74 0 0 25 0 1 0 177826647 166084608 39905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 40548 39905 312 324 0 39617 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 162192

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1609816/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=170744 CPUtime=522.11
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 42347 0 3 0 52132 79 0 0 25 0 1 0 177826647 174841856 42034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 42686 42034 312 324 0 41755 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 170744

[startup+582.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17480
/proc/meminfo: memFree=1601560/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=179032 CPUtime=582.1
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 44405 0 3 0 58126 84 0 0 25 0 1 0 177826647 183328768 44092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 44758 44092 312 324 0 43827 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 179032

[startup+642.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 17480
/proc/meminfo: memFree=1591448/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=188940 CPUtime=642.08
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 46910 0 3 0 64119 89 0 0 25 0 1 0 177826647 193474560 46597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 47235 46597 312 324 0 46304 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 188940


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17480
/proc/meminfo: memFree=1569560/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=210736 CPUtime=822.02
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 52357 0 3 0 82098 104 0 0 25 0 1 0 177826647 215793664 52044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 52684 52044 312 324 0 51753 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 210736

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1561944/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=218320 CPUtime=882
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 54238 0 3 0 88090 110 0 0 25 0 1 0 177826647 223559680 53925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 54580 53925 312 324 0 53649 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 218320

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1556504/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=223800 CPUtime=941.98
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 55607 0 3 0 94084 114 0 0 25 0 1 0 177826647 229171200 55294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 55950 55294 312 324 0 55019 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 223800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1551256/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=228988 CPUtime=1001.96
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 56918 0 3 0 100078 118 0 0 25 0 1 0 177826647 234483712 56605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 57247 56605 312 324 0 56316 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 228988

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1546200/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=234060 CPUtime=1061.95
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 58191 0 3 0 106072 123 0 0 25 0 1 0 177826647 239677440 57878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 58515 57878 312 324 0 57584 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 234060

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1541464/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=238744 CPUtime=1121.92
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 59352 0 3 0 112066 126 0 0 25 0 1 0 177826647 244473856 59039 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 59686 59039 312 324 0 58755 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 238744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1537496/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=242668 CPUtime=1181.9
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 60342 0 3 0 118061 129 0 0 25 0 1 0 177826647 248492032 60029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 60667 60029 312 324 0 59736 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 242668

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1522392/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=257904 CPUtime=1241.89
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 64128 0 3 0 124046 143 0 0 25 0 1 0 177826647 264093696 63815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 64476 63815 312 324 0 63545 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 257904

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1511832/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=268164 CPUtime=1301.87
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 66715 0 3 0 130034 153 0 0 25 0 1 0 177826647 274599936 66402 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 67041 66402 312 324 0 66110 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 268164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1500120/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=280144 CPUtime=1361.85
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 69683 0 3 0 136024 161 0 0 25 0 1 0 177826647 286867456 69370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 70036 69370 312 324 0 69105 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 280144

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1490520/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=289512 CPUtime=1421.83
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 72036 0 3 0 142017 166 0 0 25 0 1 0 177826647 296460288 71723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 72378 71723 312 324 0 71447 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 289512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1482776/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=297308 CPUtime=1481.81
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 73974 0 3 0 148009 172 0 0 25 0 1 0 177826647 304443392 73661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 74327 73661 312 324 0 73396 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 297308

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1476696/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=303268 CPUtime=1541.79
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 75471 0 3 0 154003 176 0 0 25 0 1 0 177826647 310546432 75158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 75817 75158 312 324 0 74886 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 303268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1438616/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=341588 CPUtime=1601.78
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 85051 0 3 0 159987 191 0 0 25 0 1 0 177826647 349786112 84738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 85397 84738 312 324 0 84466 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 341588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1412632/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=367196 CPUtime=1661.75
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 91462 0 3 0 165975 200 0 0 25 0 1 0 177826647 376008704 91149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 91799 91149 312 324 0 90868 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 367196

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17480
/proc/meminfo: memFree=1393240/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=386732 CPUtime=1721.74
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 96338 0 3 0 171965 209 0 0 25 0 1 0 177826647 396013568 96025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 96683 96025 312 324 0 95752 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 386732

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 17480
/proc/meminfo: memFree=1379672/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=400156 CPUtime=1781.72
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 99690 0 3 0 177956 216 0 0 25 0 1 0 177826647 409759744 99377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 100039 99377 312 324 0 99108 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 400156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 17480
/proc/meminfo: memFree=1493612/2055920 swapFree=4140760/4192956
[pid=17477] ppid=17475 vsize=0 CPUtime=1800.02
/proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194308 100459 0 3 0 179783 219 0 0 25 0 1 0 177826647 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17477/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.07
CPU user time (s): 1797.83
CPU system time (s): 2.23466
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 403140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.23466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100459
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2898

runsolver used 2.12068 second user time and 4.17136 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 21:24:49 UTC 2007

IDJOB= 362771
IDBENCH= 1638
IDSOLVER= 163
FILE ID= node3/362771-1177017889

PBS_JOBID= 4630590

Free space on /tmp= 66354 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-362771-1177017889 -o ROOT/results/node3/solver-362771-1177017889 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  98b9ab286036da69f2015d2ff2a12818

RANDOM SEED= 763384084

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1778232 kB
Buffers:         25680 kB
Cached:         187220 kB
SwapCached:      15104 kB
Active:          74928 kB
Inactive:       161236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778232 kB
SwapTotal:     4192956 kB
SwapFree:      4140760 kB
Dirty:            5244 kB
Writeback:           0 kB
Mapped:          30368 kB
Slab:            27012 kB
Committed_AS:  5307312 kB
PageTables:       1784 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= 66354 MiB

End job on node3 on Thu Apr 19 21:54:52 UTC 2007