Trace number 362365

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? (MO) 1335.05 1335.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
MD5SUMc00448b3bb1fb54d1d5ecdb2bc9f967d
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 benchmark8.05977
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654121
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 654121
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.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/362365-1177011349/instance-362365-1177011349.opb
0.00/0.00	c File size is 6713943 bytes.
1.39/1.45	c Highest Coefficient sum: 654121
1.39/1.45	c Parsing was ok!!
1.39/1.45	c Total parsing time: 1.454 s
1.49/1.57	c Var: 155000 Constr: 5300 38/0/5262 Lit: 755000 Watch. Lit: 455300
1.49/1.57	c Obj. Vars: 155000 (100 % of total variables)
181.64/181.73	c Pre-processing Time: 181.682 s
181.64/181.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.64/181.73	c        0  94169     5300   755000  142   455421  500000      0      0 181.68
181.64/181.73	c Switching off LPR mode.
1334.75/1335.10	c      100  94169     5400   943100  174   455730  550001    100      0 182.22
1334.75/1335.10	c      250  94169     5550  1268788  228   456054  605002    250      1 184.91
1334.75/1335.10	c      475  94169     5775  1754648  303   456520  665503    475      2 186.56
1334.75/1335.10	c      814  94169     6114  2739310  448   457203  732054    814      4 188.20
1334.75/1335.10	c     1323  94169     6623  4559629  688   458227  805260   1323      6 191.05
1334.75/1335.10	c     2086  94169     7386  6008097  813   459957  885787   2086     10 197.11
1334.75/1335.10	c     3238  94169     8538  8268535  968   462679  974366   3238     16 202.10
1334.75/1335.10	c     4960  94169    10260 10171471  991   466043  500000   4960     23 207.59
1334.75/1335.10	c     7546  94169    12846 13978825 1088   471451  550001   7546     34 216.04
1334.75/1335.10	c    11425  94169    16725 19094042 1141   479281  605002  11425     48 235.52
1334.75/1335.10	c    17248  94169    22548 25722803 1140   490706  665503  17248     65 263.96
1334.75/1335.10	c    25985  94169    31285 34359904 1098   508050  732054  25985     75 342.13
1334.75/1335.10	c    39098  94169    44398 47667424 1073   534340  805260  39098     42 916.16
1334.75/1335.10	c    58772  94169    64072 67145880 1047   573632  885787  58772     57 1026.86
1334.75/1335.10	c    88293  94169    93593 97702680 1043   632996  974366  88293     75 1174.93
1334.75/1335.10	c Caught signal: 15
1334.75/1335.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1334.75/1335.10	c   15   124620  10852 10895949   129920 140959093 124620     93 1334.76
1334.75/1335.10	s UNKNOWN
1334.75/1335.10	c Total time: 1334.76 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/node2/watcher-362365-1177011349 -o ROOT/results/node2/solver-362365-1177011349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.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.92 0.98 0.99 3/77 31238
/proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=18296 CPUtime=0
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 177172720 18735104 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 4574 336 281 324 0 2003 0

[startup+0.013124 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31238
/proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=18584 CPUtime=0
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 448 0 0 0 0 0 0 0 18 0 1 0 177172720 19030016 416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 4646 416 293 324 0 2075 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18584

[startup+0.102134 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31238
/proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=22084 CPUtime=0.09
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 1504 0 0 0 9 0 0 0 18 0 1 0 177172720 22614016 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 5521 1353 404 324 0 2950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22084

[startup+0.302154 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31238
/proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=28004 CPUtime=0.29
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 3540 0 0 0 28 1 0 0 19 0 1 0 177172720 28676096 3086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 7001 3086 636 324 0 4430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28004

[startup+0.701196 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31238
/proc/meminfo: memFree=1825704/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=35560 CPUtime=0.69
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 5889 0 0 0 68 1 0 0 22 0 1 0 177172720 36413440 5435 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 8890 5435 1064 324 0 6319 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35560

[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 31239
/proc/meminfo: memFree=1805216/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=39524 CPUtime=1.49
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 11027 0 0 0 146 3 0 0 25 0 1 0 177172720 40472576 8933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 9881 8934 301 324 0 8950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39524

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 31239
/proc/meminfo: memFree=1780384/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=49972 CPUtime=3.09
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 304 5 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 12493 11564 305 324 0 11562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49972

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 31239
/proc/meminfo: memFree=1780000/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=49972 CPUtime=6.29
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 623 6 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 12493 11564 305 324 0 11562 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49972

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 31239
/proc/meminfo: memFree=1780192/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=49972 CPUtime=12.69
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 13658 0 0 0 1260 9 0 0 25 0 1 0 177172720 51171328 11564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 12493 11564 305 324 0 11562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49972

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 31239
/proc/meminfo: memFree=1773600/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=56852 CPUtime=25.48
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 2532 16 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 14213 13277 307 324 0 13282 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56852

[startup+51.1015 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1773664/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=56852 CPUtime=51.08
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 5091 17 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 14213 13277 307 324 0 13282 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56852

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1773728/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=56852 CPUtime=102.27
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 10210 17 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 14213 13277 307 324 0 13282 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 56852

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1773664/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=56852 CPUtime=162.25
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 16886 0 0 0 16207 18 0 0 25 0 1 0 177172720 58216448 13277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 14213 13277 307 324 0 13282 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 56852

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1602848/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=227040 CPUtime=222.23
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 61207 0 0 0 21893 330 0 0 25 0 1 0 177172720 232488960 55956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 56760 55956 311 324 0 55829 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 227040

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1417248/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=412996 CPUtime=282.21
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 107687 0 0 0 27797 424 0 0 25 0 1 0 177172720 422907904 102436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 103249 102436 311 324 0 102318 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 412996

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1350816/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=478448 CPUtime=342.21
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 124062 0 0 0 33787 434 0 0 25 0 1 0 177172720 489930752 118811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 119612 118811 311 324 0 118681 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 478448

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1298336/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=530660 CPUtime=402.19
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 137112 0 0 0 39752 467 0 0 25 0 1 0 177172720 543395840 131861 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 132665 131861 311 324 0 131734 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 530660

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1289568/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=539508 CPUtime=462.17
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 139299 0 0 0 45749 468 0 0 25 0 1 0 177172720 552456192 134048 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 134877 134048 311 324 0 133946 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 539508

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1281888/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=547092 CPUtime=522.15
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 141198 0 0 0 51746 469 0 0 25 0 1 0 177172720 560222208 135947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 136773 135947 311 324 0 135842 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 547092

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1274144/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=554800 CPUtime=582.14
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 143141 0 0 0 57743 471 0 0 25 0 1 0 177172720 568115200 137890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 138700 137890 311 324 0 137769 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 554800

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1267168/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=561728 CPUtime=642.13
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 144857 0 0 0 63741 472 0 0 25 0 1 0 177172720 575209472 139606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 140432 139606 311 324 0 139501 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 561728

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1260000/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=568920 CPUtime=702.11
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 146655 0 0 0 69737 474 0 0 25 0 1 0 177172720 582574080 141404 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 142230 141404 311 324 0 141299 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 568920

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1253600/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=575236 CPUtime=762.1
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 148230 0 0 0 75735 475 0 0 25 0 1 0 177172720 589041664 142979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 143809 142979 311 324 0 142878 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 575236

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1246496/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=582308 CPUtime=822.08
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 150015 0 0 0 81731 477 0 0 25 0 1 0 177172720 596283392 144764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 145577 144764 311 324 0 144646 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 582308

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=1218400/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=610328 CPUtime=882.06
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 157010 0 0 0 87712 494 0 0 25 0 1 0 177172720 624975872 151759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 152582 151759 311 324 0 151651 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 610328

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 31239
/proc/meminfo: memFree=1096672/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=734072 CPUtime=942.04
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 187951 0 0 0 93629 575 0 0 25 0 1 0 177172720 751689728 182700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 183518 182700 311 324 0 182587 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 734072

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=965856/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=862492 CPUtime=1002.04
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 220064 0 0 0 99608 596 0 0 25 0 1 0 177172720 883191808 214813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 215623 214813 311 324 0 214692 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 862492

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=857696/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=970572 CPUtime=1062.02
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 247081 0 0 0 105545 657 0 0 25 0 1 0 177172720 993865728 241830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 242643 241830 311 324 0 241712 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 970572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=750944/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=1076868 CPUtime=1122
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 273645 0 0 0 111488 712 0 0 25 0 1 0 177172720 1102712832 268394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10969238 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 269217 268394 311 324 0 268286 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1076868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=513760/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=1317460 CPUtime=1181.98
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 333789 0 0 0 117414 784 0 0 25 0 1 0 177172720 1349079040 328538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 329365 328538 311 324 0 328434 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1317460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=186848/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=1640940 CPUtime=1241.97
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 414688 0 0 0 123366 831 0 0 25 0 1 0 177172720 1680322560 409437 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 410235 409437 311 324 0 409304 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1640940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31239
/proc/meminfo: memFree=69664/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=1756448 CPUtime=1301.96
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 443539 0 0 0 129348 848 0 0 25 0 1 0 177172720 1798602752 438288 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 439112 438288 311 324 0 438181 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1756448



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1335.1 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 31239
/proc/meminfo: memFree=16288/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=1843408 CPUtime=1334.75
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194304 465296 0 0 0 132610 865 0 0 25 0 1 0 177172720 1887649792 460045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 460852 460045 311 324 0 459921 0
Current children cumulated CPU time (s) 1334.75
Current children cumulated vsize (KiB) 1843408

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

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

[startup+1335.21 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 31239
/proc/meminfo: memFree=16288/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=0 CPUtime=1334.85
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194308 465297 0 0 0 132610 875 0 0 25 0 1 0 177172720 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1334.85
Current children cumulated vsize (KiB) 0

[startup+1335.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/79 31240
/proc/meminfo: memFree=1240504/2055920 swapFree=4149072/4192956
[pid=31238] ppid=31236 vsize=0 CPUtime=1334.95
/proc/31238/stat : 31238 (bsolo3.0.16) R 31236 31238 30146 0 -1 4194308 465297 0 0 0 132610 885 0 0 25 0 1 0 177172720 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/31238/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1334.95
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1335.4
CPU time (s): 1335.05
CPU user time (s): 1326.11
CPU system time (s): 8.94864
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1843408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1326.11
system time used= 8.94864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465297
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= 12
involuntary context switches= 1141

runsolver used 1.59976 second user time and 3.16352 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Thu Apr 19 19:35:49 UTC 2007

IDJOB= 362365
IDBENCH= 1554
IDSOLVER= 163
FILE ID= node2/362365-1177011349

PBS_JOBID= 4630513

Free space on /tmp= 66391 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-362365-1177011349 -o ROOT/results/node2/solver-362365-1177011349 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362365-1177011349/instance-362365-1177011349.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c00448b3bb1fb54d1d5ecdb2bc9f967d

RANDOM SEED= 585065340

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1826112 kB
Buffers:         25440 kB
Cached:         125860 kB
SwapCached:      12240 kB
Active:          59724 kB
Inactive:       116676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826112 kB
SwapTotal:     4192956 kB
SwapFree:      4149072 kB
Dirty:           10940 kB
Writeback:           0 kB
Mapped:          32152 kB
Slab:            38788 kB
Committed_AS:  7201452 kB
PageTables:       1864 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= 66391 MiB

End job on node2 on Thu Apr 19 19:58:07 UTC 2007