Trace number 432782

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.17? (TO) 1800.11 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb
MD5SUM6815697d1fd827c594e155d1d753b261
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14010
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14010
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints492
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 constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 3483
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 530175
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 530175
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.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb
0.00/0.00	c File size is 440016 bytes.
0.05/0.08	c Highest Coefficient sum: 530175
0.05/0.08	c Parsing was ok!!
0.05/0.08	c Total parsing time: 0.085 s
0.05/0.09	c Var: 14400 Constr: 732 0/0/732 Lit: 55800 Watch. Lit: 12872
0.05/0.09	c Obj. Vars: 7200 (50 % of total variables)
0.19/0.29	c Pre-processing Time: 0.287 s
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   9380      732    55800   76    45776  111600      0      0 0.29
0.19/0.29	c Switching off LPR mode.
1800.04/1800.70	c      100   9380      832    63685   76    46265  122761    100    287 0.35
1800.04/1800.70	c      250   9380      982    72281   73    46548  135038    250    617 0.41
1800.04/1800.70	c      475   9380     1207    84823   70    47777  148542    475    834 0.57
1800.04/1800.70	c      813   9378     1545   106533   68    48440  163397    813   1003 0.81
1800.04/1800.70	c     1321   9378     2053   131007   63    49432  179737   1321   1548 0.85
1800.04/1800.70	c     2085   9378     2817   182617   64    50994  197711   2085   2022 1.03
1800.04/1800.70	c     3231   9376     3963   237442   59    53847  217483   3231   2203 1.47
1800.04/1800.70	c     4953   9376     5685   353639   62    57770  239232   4953   2331 2.12
1800.04/1800.70	c     7538   9376     8270   550137   66    62903  263156   7538   2767 2.72
1800.04/1800.70	c    11418   9374    12150   711143   58    71589  289472  11418   3210 3.56
1800.04/1800.70	c    17241   9373    17973   865803   48    83158  318420  17241   3421 5.04
1800.04/1800.70	c    25978   9364    26710  1405850   52   100807  350263  25978   3182 8.16
1800.04/1800.70	c    39089   9362    39821  2007918   50   126901  385290  39089   3343 11.69
1800.04/1800.70	c    58759   9360    59491  2513084   42   166187  423820  58759   2771 21.20
1800.04/1800.71	c    88269   9350    89001  3713540   41   226237  466203  88269   2833 31.16
1800.04/1800.71	c   132540   9340   133272  5251424   39   314588  512824 132540   2102 63.05
1800.04/1800.71	c   198950   9332   199682  6561425   32   447423  564107 198950   1249 159.24
1800.04/1800.71	c   298570   9329   299302 10983493   36   646518  620518 298570    628 474.85
1800.04/1800.71	c   448005   9329   448737 16084010   35   945632  682570 448005    416 1075.30
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   19   656691  59851  3127558   657423 24380562 656691    364 1800.05
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c Total time: 1800.05 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-432782-1177949599 -o ROOT/results/node42/solver-432782-1177949599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.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 14316
/proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=12168 CPUtime=0
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 242871821 12460032 337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 3042 338 280 324 0 2004 0

[startup+0.063235 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14316
/proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=5920 CPUtime=0.05
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 815 0 0 0 5 0 0 0 18 0 1 0 242871821 6062080 785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 1480 785 353 324 0 442 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5920

[startup+0.101231 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14316
/proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=7800 CPUtime=0.09
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1442 0 0 0 9 0 0 0 18 0 1 0 242871821 7987200 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 1950 1305 303 324 0 1020 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7800

[startup+0.301269 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14316
/proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=8212 CPUtime=0.29
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1769 0 0 0 27 2 0 0 19 0 1 0 242871821 8409088 1411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 2053 1411 310 324 0 1123 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8212

[startup+0.701345 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14316
/proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=8608 CPUtime=0.69
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1870 0 0 0 67 2 0 0 22 0 1 0 242871821 8814592 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 2152 1512 310 324 0 1222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8608

[startup+1.5015 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1840280/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=10964 CPUtime=1.49
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 2435 0 0 0 147 2 0 0 25 0 1 0 242871821 11227136 2077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 2741 2077 310 324 0 1811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10964

[startup+3.1018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1837400/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=16340 CPUtime=3.09
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 3782 0 0 0 306 3 0 0 25 0 1 0 242871821 16732160 3424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 4085 3424 310 324 0 3155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16340

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1828184/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=23500 CPUtime=6.29
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 5576 0 0 0 625 4 0 0 25 0 1 0 242871821 24064000 5218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 5875 5218 310 324 0 4945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23500

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1811544/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=39892 CPUtime=12.69
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 9678 0 0 0 1263 6 0 0 25 0 1 0 242871821 40849408 9320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 9973 9320 310 324 0 9043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39892

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1798432/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=51800 CPUtime=25.49
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 12663 0 0 0 2540 9 0 0 25 0 1 0 242871821 53043200 12305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 12950 12305 310 324 0 12020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51800

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1767648/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=82540 CPUtime=51.07
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 20332 0 0 0 5093 14 0 0 25 0 1 0 242871821 84520960 19974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 20635 19974 310 324 0 19705 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82540

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1744224/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=105576 CPUtime=102.25
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 26099 0 0 0 10206 19 0 0 25 0 1 0 242871821 108109824 25741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 26394 25741 310 324 0 25464 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 105576

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1731168/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=120248 CPUtime=162.23
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 29757 0 0 0 16200 23 0 0 25 0 1 0 242871821 123133952 29399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 30062 29399 310 324 0 29132 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 120248

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1706400/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=143252 CPUtime=222.21
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 35515 0 0 0 22193 28 0 0 25 0 1 0 242871821 146690048 35157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12848876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 35813 35157 310 324 0 34883 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143252

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1696416/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=153364 CPUtime=282.19
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 38046 0 0 0 28187 32 0 0 25 0 1 0 242871821 157044736 37688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 38341 37688 310 324 0 37411 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 153364

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1688608/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=161140 CPUtime=342.16
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 39991 0 0 0 34181 35 0 0 25 0 1 0 242871821 165007360 39633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 40285 39633 310 324 0 39355 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 161140

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1678688/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=171164 CPUtime=402.14
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 42482 0 0 0 40176 38 0 0 25 0 1 0 242871821 175271936 42124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 42791 42124 310 324 0 41861 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 171164

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1670112/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=179628 CPUtime=462.12
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 44601 0 0 0 46171 41 0 0 25 0 1 0 242871821 183939072 44243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 44907 44243 310 324 0 43977 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 179628

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1634848/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=214904 CPUtime=522.1
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 53435 0 0 0 52161 49 0 0 25 0 1 0 242871821 220061696 53077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 53726 53077 310 324 0 52796 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 214904

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1625504/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=224000 CPUtime=582.08
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 55717 0 0 0 58156 52 0 0 25 0 1 0 242871821 229376000 55359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 56000 55359 310 324 0 55070 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 224000

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1616544/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=232952 CPUtime=642.05
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 57938 0 0 0 64150 55 0 0 25 0 1 0 242871821 238542848 57580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 58238 57580 310 324 0 57308 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 232952


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 14317
/proc/meminfo: memFree=1596192/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=253112 CPUtime=881.97
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 62976 0 0 0 88135 62 0 0 25 0 1 0 242871821 259186688 62618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 63278 62618 310 324 0 62348 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 253112

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14317
/proc/meminfo: memFree=1592288/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=257020 CPUtime=941.94
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 63945 0 0 0 94131 63 0 0 25 0 1 0 242871821 263188480 63587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 64255 63587 310 324 0 63325 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 257020

[startup+1002.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 14317
/proc/meminfo: memFree=1589536/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=259884 CPUtime=1001.92
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 64683 0 0 0 100128 64 0 0 25 0 1 0 242871821 266121216 64325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 64971 64325 310 324 0 64041 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 259884

[startup+1062.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 14317
/proc/meminfo: memFree=1586656/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=262744 CPUtime=1061.9
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 65394 0 0 0 106124 66 0 0 25 0 1 0 242871821 269049856 65036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 65686 65036 310 324 0 64756 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 262744

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 14317
/proc/meminfo: memFree=1568864/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=280556 CPUtime=1121.88
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 69847 0 0 0 112117 71 0 0 25 0 1 0 242871821 287289344 69489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 70139 69489 310 324 0 69209 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 280556

[startup+1182.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 14317
/proc/meminfo: memFree=1544608/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=305068 CPUtime=1181.86
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 75959 0 0 0 118109 77 0 0 25 0 1 0 242871821 312389632 75601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12848869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 76267 75601 310 324 0 75337 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 305068

[startup+1242.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/78 14317
/proc/meminfo: memFree=1524384/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=324780 CPUtime=1241.84
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 80909 0 0 0 124102 82 0 0 25 0 1 0 242871821 332574720 80551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 81195 80551 310 324 0 80265 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 324780

[startup+1302.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/78 14317
/proc/meminfo: memFree=1512544/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=336484 CPUtime=1301.82
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 83817 0 0 0 130096 86 0 0 25 0 1 0 242871821 344559616 83459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 84121 83459 310 324 0 83191 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 336484

[startup+1362.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/78 14317
/proc/meminfo: memFree=1501600/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=347416 CPUtime=1361.79
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 86571 0 0 0 136089 90 0 0 25 0 1 0 242871821 355753984 86213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 86854 86213 310 324 0 85924 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 347416

[startup+1422.31 s]
/proc/loadavg: 1.13 1.07 1.01 2/78 14317
/proc/meminfo: memFree=1492448/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=356548 CPUtime=1421.78
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 88826 0 0 0 142084 94 0 0 25 0 1 0 242871821 365105152 88468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 89137 88468 310 324 0 88207 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 356548

[startup+1482.3 s]
/proc/loadavg: 1.31 1.13 1.03 2/78 14317
/proc/meminfo: memFree=1485600/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=363432 CPUtime=1481.75
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 90554 0 0 0 148079 96 0 0 25 0 1 0 242871821 372154368 90196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 90858 90196 310 324 0 89928 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 363432

[startup+1542.3 s]
/proc/loadavg: 1.18 1.12 1.03 2/78 14317
/proc/meminfo: memFree=1478688/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=370208 CPUtime=1541.72
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 92263 0 0 0 154074 98 0 0 25 0 1 0 242871821 379092992 91905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 92552 91905 310 324 0 91622 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 370208

[startup+1602.3 s]
/proc/loadavg: 1.06 1.10 1.03 2/78 14317
/proc/meminfo: memFree=1473312/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=375700 CPUtime=1601.7
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 93623 0 0 0 160070 100 0 0 25 0 1 0 242871821 384716800 93265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12838750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 93925 93265 310 324 0 92995 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 375700

[startup+1662.3 s]
/proc/loadavg: 1.02 1.08 1.02 2/78 14317
/proc/meminfo: memFree=1467488/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=381448 CPUtime=1661.68
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 95060 0 0 0 166066 102 0 0 25 0 1 0 242871821 390602752 94702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 95362 94702 310 324 0 94432 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 381448

[startup+1722.3 s]
/proc/loadavg: 1.01 1.06 1.01 2/78 14319
/proc/meminfo: memFree=1462432/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=386552 CPUtime=1721.66
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 96338 0 0 0 172061 105 0 0 25 0 1 0 242871821 395829248 95980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 96638 95980 310 324 0 95708 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 386552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/78 14319
/proc/meminfo: memFree=1457696/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=391124 CPUtime=1781.63
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97494 0 0 0 178057 106 0 0 25 0 1 0 242871821 400510976 97136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 97781 97136 310 324 0 96851 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 391124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 14319
/proc/meminfo: memFree=1456032/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=392832 CPUtime=1800.04
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97897 0 0 0 179897 107 0 0 25 0 1 0 242871821 402259968 97539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 98208 97539 310 324 0 97278 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 392832

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.04 1.01 2/78 14319
/proc/meminfo: memFree=1456032/2055920 swapFree=4147488/4192956
[pid=14316] ppid=14314 vsize=392832 CPUtime=1800.04
/proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97897 0 0 0 179897 107 0 0 25 0 1 0 242871821 402259968 97539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14316/statm: 98208 97539 310 324 0 97278 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 392832

Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.11
CPU user time (s): 1798.98
CPU system time (s): 1.13483
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 392832

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

runsolver used 1.3208 second user time and 4.15237 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Apr 30 16:13:19 UTC 2007

IDJOB= 432782
IDBENCH= 1789
IDSOLVER= 199
FILE ID= node42/432782-1177949599

PBS_JOBID= 4727674

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-432782-1177949599 -o ROOT/results/node42/solver-432782-1177949599 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6815697d1fd827c594e155d1d753b261

RANDOM SEED= 784588640

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1846712 kB
Buffers:         31100 kB
Cached:          83712 kB
SwapCached:      14592 kB
Active:          58448 kB
Inactive:        81744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846712 kB
SwapTotal:     4192956 kB
SwapFree:      4147488 kB
Dirty:            7008 kB
Writeback:           0 kB
Mapped:          32500 kB
Slab:            54392 kB
Committed_AS:  3720176 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node42 on Mon Apr 30 16:43:22 UTC 2007