Trace number 433262

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.24 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
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/433262-1177957187/instance-433262-1177957187.opb
0.00/0.00	c File size is 2094538 bytes.
0.01/0.07	c Coefficients are big enough for not using lower bounding.
0.30/0.31	c Highest Coefficient sum: 1.45544e+19
0.30/0.31	c Parsing was ok!!
0.30/0.31	c Total parsing time: 0.309 s
0.30/0.32	c Var: 48602 Constr: 1372 5/0/1367 Lit: 178324 Watch. Lit: 14195
0.30/0.32	c Obj. Vars: 29700 (61.1086 % of total variables)
1.29/1.31	c Pre-processing Time: 1.313 s
1800.06/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.50	c        0  47358     1362   175616  128    69602  351232      0      0 1.31
1800.06/1800.50	c      101  47358     1463   228267  156    78192  386356    101     69 1.45
1800.06/1800.50	c      251  47358     1613   240777  149    92054  424992    251    158 1.58
1800.06/1800.50	c      477  47358     1839   253079  137    92967  467492    477    297 1.61
1800.06/1800.50	c      815  47358     2177   414236  190   100002  514242    815    448 1.82
1800.06/1800.50	c     1323  47358     2685   447489  166    96798  565667   1323    676 1.96
1800.06/1800.50	c     2088  47358     3450   577022  167   102447  622234   2088    946 2.21
1800.06/1800.50	c     3234  47358     4596   647274  140   104164  684458   3234   1317 2.46
1800.06/1800.50	c     4959  47358     6321  1441629  228   104570  752904   4959    988 5.02
1800.06/1800.50	c     7544  47358     8906  1639337  184   145906  828195   7544   1349 5.59
1800.06/1800.50	c    11423  47358    12785  1961855  153   152344  911015  11423   1590 7.18
1800.06/1800.50	c    17245  47358    18607  2450348  131   164101  500000  17245   1688 10.21
1800.06/1800.50	c    25982  47358    27344  3182214  116   182196  550001  25982   1023 25.38
1800.06/1800.50	c    39094  47358    40456  4290429  106   208490  605002  39094    844 46.31
1800.06/1800.50	c    58766  47358    60128  5099452   84   248075  665503  58766   1056 55.65
1800.06/1800.50	c    88277  47358    89639  8353036   93   304548  732054  88277    716 123.14
1800.06/1800.50	c   132548  47358   133910 14005320  104   393712  805260 132548    688 192.54
1800.06/1800.50	c   198958  47358   200320 51260925  255   525793  885787 198958    442 449.41
1800.06/1800.50	c Caught signal: 15
1800.06/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.50	c   17   288321    587   398940   289683 81991654 288321    160 1800.07
1800.06/1800.50	s UNKNOWN
1800.06/1800.50	c Total time: 1800.07 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/node41/watcher-433262-1177957187 -o ROOT/results/node41/solver-433262-1177957187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.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.93 0.97 0.91 3/77 23387
/proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=13784 CPUtime=0
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243630579 14114816 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 3446 332 279 324 0 2004 0

[startup+0.0183521 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 23387
/proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=14212 CPUtime=0.01
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 491 0 0 0 1 0 0 0 18 0 1 0 243630579 14553088 461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 3553 461 308 324 0 2111 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14212

[startup+0.101377 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 23387
/proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=9188 CPUtime=0.09
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 1380 0 0 0 9 0 0 0 18 0 1 0 243630579 9408512 1310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 2297 1310 469 324 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9188

[startup+0.301376 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 23387
/proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=12024 CPUtime=0.3
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 2420 0 0 0 29 1 0 0 19 0 1 0 243630579 12312576 2271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 3006 2271 774 324 0 1564 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12024

[startup+0.70141 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 23387
/proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=18312 CPUtime=0.69
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 4951 0 0 0 62 7 0 0 23 0 1 0 243630579 18751488 3756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 4578 3756 306 324 0 3648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18312

[startup+1.50148 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1838200/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=18312 CPUtime=1.49
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 4960 0 0 0 141 8 0 0 25 0 1 0 243630579 18751488 3765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 4578 3765 310 324 0 3648 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18312

[startup+3.10162 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1835960/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=25748 CPUtime=3.09
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 6834 0 0 0 300 9 0 0 25 0 1 0 243630579 26365952 5639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 6437 5639 310 324 0 5507 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25748

[startup+6.3019 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1820280/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=39104 CPUtime=6.29
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 10168 0 0 0 618 11 0 0 25 0 1 0 243630579 40042496 8973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2079860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 9776 8973 310 324 0 8846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39104

[startup+12.7015 s]
/proc/loadavg: 0.94 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1807032/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=49700 CPUtime=12.69
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 12819 0 0 0 1256 13 0 0 25 0 1 0 243630579 50892800 11624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 12425 11624 310 324 0 11495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49700

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1798200/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=58336 CPUtime=25.49
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 14979 0 0 0 2534 15 0 0 25 0 1 0 243630579 59736064 13784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 14584 13784 310 324 0 13654 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58336

[startup+51.1018 s]
/proc/loadavg: 0.97 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1774648/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=82396 CPUtime=51.07
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 21011 0 0 0 5086 21 0 0 25 0 1 0 243630579 84373504 19816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 20599 19816 310 324 0 19669 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82396

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1732024/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=124324 CPUtime=102.26
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 31479 0 0 0 10194 32 0 0 25 0 1 0 243630579 127307776 30284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 31081 30284 310 324 0 30151 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 124324

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1662968/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=194096 CPUtime=162.25
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 48929 0 0 0 16182 43 0 0 25 0 1 0 243630579 198754304 47734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 48524 47734 310 324 0 47594 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 194096

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1471160/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=385088 CPUtime=222.23
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 96667 0 0 0 22155 68 0 0 25 0 1 0 243630579 394330112 95472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 96272 95472 310 324 0 95342 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 385088

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1342392/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=514028 CPUtime=282.22
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 128900 0 0 0 28137 85 0 0 25 0 1 0 243630579 526364672 127705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 128507 127705 310 324 0 127577 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 514028

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 23388
/proc/meminfo: memFree=1264888/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=590512 CPUtime=342.21
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 148026 0 0 0 34126 95 0 0 25 0 1 0 243630579 604684288 146831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 147628 146831 310 324 0 146698 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 590512

[startup+402.301 s]
/proc/loadavg: 1.06 0.99 0.91 2/78 23388
/proc/meminfo: memFree=1204792/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=650888 CPUtime=402.18
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 163131 0 0 0 40116 102 0 0 25 0 1 0 243630579 666509312 161936 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 162722 161936 310 324 0 161792 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 650888

[startup+462.302 s]
/proc/loadavg: 1.08 1.00 0.92 2/78 23388
/proc/meminfo: memFree=1140024/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=715244 CPUtime=462.18
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 179207 0 0 0 46105 113 0 0 25 0 1 0 243630579 732409856 178012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 178811 178012 310 324 0 177881 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 715244

[startup+522.302 s]
/proc/loadavg: 1.03 1.00 0.92 2/78 23388
/proc/meminfo: memFree=1092344/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=762612 CPUtime=522.16
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 191044 0 0 0 52094 122 0 0 25 0 1 0 243630579 780914688 189849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 190653 189849 310 324 0 189723 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 762612

[startup+582.302 s]
/proc/loadavg: 1.01 1.00 0.92 2/78 23388
/proc/meminfo: memFree=1056888/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=797684 CPUtime=582.15
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 199823 0 0 0 58086 129 0 0 25 0 1 0 243630579 816828416 198628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 199421 198628 310 324 0 198491 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 797684

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=1038840/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=815432 CPUtime=642.14
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 204259 0 0 0 64080 134 0 0 25 0 1 0 243630579 835002368 203064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 203858 203064 310 324 0 202928 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 815432


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=959864/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=894056 CPUtime=882.08
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 223915 0 0 0 88058 150 0 0 25 0 1 0 243630579 915513344 222720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 223514 222720 310 324 0 222584 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 894056

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=944952/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=908964 CPUtime=942.06
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 227656 0 0 0 94053 153 0 0 25 0 1 0 243630579 930779136 226461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 227241 226461 310 324 0 226311 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 908964

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=931000/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=922592 CPUtime=1002.05
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 231068 0 0 0 100048 157 0 0 25 0 1 0 243630579 944734208 229873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 230648 229873 310 324 0 229718 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 922592

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=918456/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=935304 CPUtime=1062.03
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 234231 0 0 0 106044 159 0 0 25 0 1 0 243630579 957751296 233036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 233826 233036 310 324 0 232896 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 935304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=905400/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=948136 CPUtime=1122.01
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 237443 0 0 0 112038 163 0 0 25 0 1 0 243630579 970891264 236248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 237034 236248 310 324 0 236104 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 948136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=894392/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=959184 CPUtime=1182
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 240193 0 0 0 118034 166 0 0 25 0 1 0 243630579 982204416 238998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 239796 238998 310 324 0 238866 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 959184

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23388
/proc/meminfo: memFree=883512/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=969728 CPUtime=1241.98
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 242836 0 0 0 124030 168 0 0 25 0 1 0 243630579 993001472 241641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 242432 241641 310 324 0 241502 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 969728

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 3/78 23390
/proc/meminfo: memFree=871800/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=981292 CPUtime=1301.98
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 245731 0 0 0 130027 171 0 0 25 0 1 0 243630579 1004843008 244536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 245323 244536 310 324 0 244393 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 981292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=861048/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=992056 CPUtime=1361.96
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 248421 0 0 0 136023 173 0 0 25 0 1 0 243630579 1015865344 247226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 248014 247226 310 324 0 247084 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 992056

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=851512/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1001440 CPUtime=1421.95
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 250762 0 0 0 142019 176 0 0 25 0 1 0 243630579 1025474560 249567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 250360 249567 310 324 0 249430 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1001440

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=842488/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1010448 CPUtime=1481.93
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 253028 0 0 0 148016 177 0 0 25 0 1 0 243630579 1034698752 251833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 252612 251833 310 324 0 251682 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1010448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=829496/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1023292 CPUtime=1541.91
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 256229 0 0 0 154011 180 0 0 25 0 1 0 243630579 1047851008 255034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 255823 255034 310 324 0 254893 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1023292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=817976/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1034864 CPUtime=1601.9
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 259121 0 0 0 160007 183 0 0 25 0 1 0 243630579 1059700736 257926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 258716 257926 310 324 0 257786 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1034864

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=804600/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1048092 CPUtime=1661.89
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 262426 0 0 0 166002 187 0 0 25 0 1 0 243630579 1073246208 261231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 262023 261231 310 324 0 261093 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1048092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 23390
/proc/meminfo: memFree=786552/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1066072 CPUtime=1721.88
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 266934 0 0 0 171997 191 0 0 25 0 1 0 243630579 1091657728 265739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 266518 265739 310 324 0 265588 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1066072

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 0.93 2/78 23390
/proc/meminfo: memFree=768888/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1083424 CPUtime=1781.86
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 271273 0 0 0 177991 195 0 0 25 0 1 0 243630579 1109426176 270078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 270856 270078 310 324 0 269926 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1083424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.01 0.93 2/78 23390
/proc/meminfo: memFree=763320/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=1088956 CPUtime=1800.06
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 272637 0 0 0 179810 196 0 0 25 0 1 0 243630579 1115090944 271442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 272239 271442 310 324 0 271309 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1088956

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

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

[startup+1800.61 s]
/proc/loadavg: 1.03 1.01 0.93 2/79 23391
/proc/meminfo: memFree=1410224/2055920 swapFree=4169244/4192956
[pid=23387] ppid=23385 vsize=0 CPUtime=1800.17
/proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194308 272641 0 0 0 179810 207 0 0 25 0 1 0 243630579 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23387/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.68
CPU time (s): 1800.24
CPU user time (s): 1798.1
CPU system time (s): 2.13268
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1088956

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

runsolver used 1.38879 second user time and 3.9284 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Apr 30 18:19:47 UTC 2007

IDJOB= 433262
IDBENCH= 2416
IDSOLVER= 199
FILE ID= node41/433262-1177957187

PBS_JOBID= 4727718

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-433262-1177957187 -o ROOT/results/node41/solver-433262-1177957187 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  73a69ec0478725312d0c26d36222113a

RANDOM SEED= 379302887

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1852568 kB
Buffers:          8768 kB
Cached:         104876 kB
SwapCached:       2568 kB
Active:          39404 kB
Inactive:        98688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852568 kB
SwapTotal:     4192956 kB
SwapFree:      4169244 kB
Dirty:            8836 kB
Writeback:           0 kB
Mapped:          31920 kB
Slab:            50552 kB
Committed_AS:  3619916 kB
PageTables:       2012 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= 66556 MiB

End job on node41 on Mon Apr 30 18:49:50 UTC 2007