Trace number 362183

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.21 1800.75

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-ran10x12.opb
MD5SUM44a4d7082f03e09f83e967b1f06a2c02
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 benchmark0.242962
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3720
Total number of constraints142
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 constraints142
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 3720
Biggest coefficient in the objective function 4142
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 527176
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527176
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/362183-1177007789/instance-362183-1177007789.opb
0.00/0.00	c File size is 142150 bytes.
0.00/0.03	c Highest Coefficient sum: 527176
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.027 s
0.02/0.03	c Var: 3720 Constr: 164 17/0/147 Lit: 18120 Watch. Lit: 10964
0.02/0.03	c Obj. Vars: 3720 (100 % of total variables)
0.39/0.47	c Pre-processing Time: 0.469 s
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   1704      164    18120  110    10976   25085      0      0 0.47
0.49/0.55	c Initial Lower Bound: 9223372036854775807
0.49/0.55	c Initial Path Cost: 0
1799.95/1800.58	c      109   1704      273    33827  123    11194   27594    109    190 0.57
1799.95/1800.58	c      259   1704      423    61975  146    11494   30354    259    417 0.62
1799.95/1800.58	c      494   1704      658    98068  149    11964   33390    494    596 0.83
1799.95/1800.58	c      833   1704      997   144558  144    12642   36730    833    779 1.07
1799.95/1800.58	c     1341   1704     1505   282685  187    13658   40404   1341   1001 1.34
1799.95/1800.58	c     2105   1704     2269   642147  283    15186   44445   2105   1078 1.95
1799.95/1800.58	c     3252   1704     3416  1015443  297    17480   48890   3252   1002 3.24
1799.95/1800.58	c     4973   1704     5137  1915558  372    20922   53780   4973    783 6.35
1799.95/1800.58	c     7557   1704     7721  3705607  479    26090   59159   7557    531 14.21
1799.95/1800.58	c    11438   1704    11602  6385130  550    33852   65075  11438    444 25.72
1799.95/1800.58	c    17260   1704    17424 10078631  578    45496   71583  17260    386 44.70
1799.95/1800.58	c    25999   1704    26163 15204394  581    62974   78742  25999    327 79.41
1799.95/1800.58	c    39110   1704    39274 25698236  654    89196   86617  39110    196 199.53
1799.95/1800.58	c    58780   1704    58944 42146899  715   128536   95279  58780    107 546.68
1799.95/1800.58	c    88292   1704    88456 67418319  762   187560  104807  88292     74 1190.55
1799.95/1800.58	c Resources Exceeded
1799.95/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.58	c   15   102935  62247  1054401   103099 81183687 102935     57 1800.04
1799.95/1800.58	s UNKNOWN
1799.95/1800.58	c Total time: 1800.04 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/node26/watcher-362183-1177007789 -o ROOT/results/node26/solver-362183-1177007789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.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 29292
/proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=11876 CPUtime=0
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 148695687 12161024 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 2969 338 281 324 0 2003 0

[startup+0.0319901 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29292
/proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=4788 CPUtime=0.02
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 608 0 0 0 2 0 0 0 18 0 1 0 148695687 4902912 541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134561386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 1197 543 301 324 0 266 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4788

[startup+0.101997 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29292
/proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=5052 CPUtime=0.09
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 689 0 0 0 9 0 0 0 18 0 1 0 148695687 5173248 622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 1263 622 305 324 0 332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5052

[startup+0.302015 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29292
/proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=5100 CPUtime=0.29
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 148695687 5222400 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 1275 657 307 324 0 344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5100

[startup+0.701052 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29292
/proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=6788 CPUtime=0.69
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 7835 0 0 0 64 5 0 0 23 0 1 0 148695687 6950912 1141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 1697 1141 392 324 0 766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6788

[startup+1.50113 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1694648/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=10540 CPUtime=1.48
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 8772 0 0 0 136 12 0 0 25 0 1 0 148695687 10792960 2078 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 2635 2078 392 324 0 1704 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10540

[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1686712/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=18228 CPUtime=3.09
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 10707 0 0 0 292 17 0 0 25 0 1 0 148695687 18665472 4013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 4557 4013 392 324 0 3626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18228

[startup+6.30157 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1674816/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=30132 CPUtime=6.28
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 13672 0 0 0 609 19 0 0 25 0 1 0 148695687 30855168 6978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 7533 6978 392 324 0 6602 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30132

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1654528/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=49156 CPUtime=12.68
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 18419 0 0 0 1245 23 0 0 25 0 1 0 148695687 50335744 11725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 12289 11725 392 324 0 11358 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49156

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1614720/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=87196 CPUtime=25.48
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 27938 0 0 0 2516 32 0 0 25 0 1 0 148695687 89288704 21244 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 21799 21244 392 324 0 20868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87196

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 29293
/proc/meminfo: memFree=1553472/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=149756 CPUtime=51.08
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 43567 0 0 0 5056 52 0 0 25 0 1 0 148695687 153350144 36873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 37439 36873 392 324 0 36508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149756

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1469312/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=232076 CPUtime=102.26
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 64156 0 0 0 10155 71 0 0 25 0 1 0 148695687 237645824 57462 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 58019 57462 392 324 0 57088 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 232076

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1405440/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=296372 CPUtime=162.24
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 80236 0 0 0 16139 85 0 0 25 0 1 0 148695687 303484928 73542 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 74093 73542 392 324 0 73162 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 296372

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1347520/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=353716 CPUtime=222.24
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 94560 0 0 0 22126 98 0 0 25 0 1 0 148695687 362205184 87866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 88429 87866 392 324 0 87498 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 353716

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1309056/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=392368 CPUtime=282.21
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 104228 0 0 0 28115 106 0 0 25 0 1 0 148695687 401784832 97534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 98092 97534 392 324 0 97161 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 392368

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1268864/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=432220 CPUtime=342.21
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 114183 0 0 0 34106 115 0 0 25 0 1 0 148695687 442593280 107489 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 108055 107489 392 324 0 107124 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 432220

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1232256/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=469124 CPUtime=402.19
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 123423 0 0 0 40097 122 0 0 25 0 1 0 148695687 480382976 116729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 117281 116729 392 324 0 116350 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 469124

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1197376/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=503552 CPUtime=462.17
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 132018 0 0 0 46089 128 0 0 25 0 1 0 148695687 515637248 125324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 125888 125324 392 324 0 124957 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 503552

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1164992/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=536020 CPUtime=522.16
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 140162 0 0 0 52082 134 0 0 25 0 1 0 148695687 548884480 133468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 134005 133468 392 324 0 133074 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 536020

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1133952/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=566864 CPUtime=582.15
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 147866 0 0 0 58074 141 0 0 25 0 1 0 148695687 580468736 141172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 141716 141172 392 324 0 140785 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 566864

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=1108416/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=592216 CPUtime=642.13
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 154190 0 0 0 64066 147 0 0 25 0 1 0 148695687 606429184 147496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 148054 147496 392 324 0 147123 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 592216


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=991552/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=708936 CPUtime=882.07
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 183378 0 0 0 88033 174 0 0 25 0 1 0 148695687 725950464 176684 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 177234 176684 392 324 0 176303 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 708936

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=959616/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=741160 CPUtime=942.05
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 191416 0 0 0 94023 182 0 0 25 0 1 0 148695687 758947840 184722 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 185290 184722 392 324 0 184359 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 741160

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=927360/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=773032 CPUtime=1002.04
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 199392 0 0 0 100016 188 0 0 25 0 1 0 148695687 791584768 192698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 193258 192698 392 324 0 192327 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 773032

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=898112/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=802452 CPUtime=1062.03
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 206765 0 0 0 106008 195 0 0 25 0 1 0 148695687 821710848 200071 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 200613 200071 392 324 0 199682 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 802452

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=864192/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=835964 CPUtime=1122.01
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 215140 0 0 0 112001 200 0 0 25 0 1 0 148695687 856027136 208446 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13022513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 208991 208446 392 324 0 208060 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 835964

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29295
/proc/meminfo: memFree=833792/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=866588 CPUtime=1182
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 222781 0 0 0 117993 207 0 0 25 0 1 0 148695687 887386112 216087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 216647 216087 392 324 0 215716 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 866588

[startup+1242.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 29295
/proc/meminfo: memFree=813184/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=887060 CPUtime=1241.98
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 227905 0 0 0 123987 211 0 0 25 0 1 0 148695687 908349440 221211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 221765 221211 392 324 0 220834 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 887060

[startup+1302.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/78 29295
/proc/meminfo: memFree=795584/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=904220 CPUtime=1301.97
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 232208 0 0 0 129982 215 0 0 25 0 1 0 148695687 925921280 225514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 226055 225514 392 324 0 225124 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 904220

[startup+1362.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/78 29295
/proc/meminfo: memFree=778048/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=921880 CPUtime=1361.95
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 236616 0 0 0 135975 220 0 0 25 0 1 0 148695687 944005120 229922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 230470 229922 392 324 0 229539 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 921880

[startup+1422.31 s]
/proc/loadavg: 1.09 1.04 1.01 2/78 29295
/proc/meminfo: memFree=761216/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=938624 CPUtime=1421.94
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 240807 0 0 0 141971 223 0 0 25 0 1 0 148695687 961150976 234113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 234656 234113 392 324 0 233725 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 938624

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/84 29369
/proc/meminfo: memFree=741504/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=957164 CPUtime=1481.89
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 245428 0 0 0 147960 229 0 0 25 0 1 0 148695687 980135936 238734 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 239291 238734 392 324 0 238360 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 957164

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 29493
/proc/meminfo: memFree=724600/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=975056 CPUtime=1541.82
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 249902 0 0 0 153949 233 0 0 25 0 1 0 148695687 998457344 243208 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 243764 243208 392 324 0 242833 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 975056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 29493
/proc/meminfo: memFree=708664/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=991172 CPUtime=1601.8
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 253921 0 0 0 159944 236 0 0 25 0 1 0 148695687 1014960128 247227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 247793 247227 392 324 0 246862 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 991172

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29493
/proc/meminfo: memFree=688824/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=1010712 CPUtime=1661.79
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 258831 0 0 0 165939 240 0 0 25 0 1 0 148695687 1034969088 252137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 252678 252137 392 324 0 251747 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1010712

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29493
/proc/meminfo: memFree=671480/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=1028380 CPUtime=1721.77
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 263235 0 0 0 171933 244 0 0 25 0 1 0 148695687 1053061120 256541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 257095 256541 392 324 0 256164 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1028380

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29493
/proc/meminfo: memFree=655672/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=1043904 CPUtime=1781.75
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 267128 0 0 0 177929 246 0 0 25 0 1 0 148695687 1068957696 260434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 260976 260434 392 324 0 260045 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1043904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29493
/proc/meminfo: memFree=759480/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=0 CPUtime=1800.06
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194308 268210 0 0 0 179757 249 0 0 25 0 1 0 148695687 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29493
/proc/meminfo: memFree=759480/2055920 swapFree=4170240/4192956
[pid=29292] ppid=29290 vsize=0 CPUtime=1800.16
/proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194308 268210 0 0 0 179757 259 0 0 25 0 1 0 148695687 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29292/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.21
CPU user time (s): 1797.57
CPU system time (s): 2.6336
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1048244

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

runsolver used 2.14867 second user time and 4.30734 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Thu Apr 19 18:36:29 UTC 2007

IDJOB= 362183
IDBENCH= 1538
IDSOLVER= 163
FILE ID= node26/362183-1177007789

PBS_JOBID= 4630514

Free space on /tmp= 66432 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-ran10x12.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-362183-1177007789 -o ROOT/results/node26/solver-362183-1177007789 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  44a4d7082f03e09f83e967b1f06a2c02

RANDOM SEED= 116351462

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1698712 kB
Buffers:         35460 kB
Cached:         234364 kB
SwapCached:       3128 kB
Active:         171448 kB
Inactive:       121836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1698712 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            4616 kB
Writeback:           0 kB
Mapped:          31000 kB
Slab:            49548 kB
Committed_AS:  1029856 kB
PageTables:       1716 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= 66432 MiB

End job on node26 on Thu Apr 19 19:06:31 UTC 2007