Trace number 433255

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.17UNSAT 836.557 836.802

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM93ec90d2ad0b276483c19ced945be9c0
Bench CategoryOPT-BIGINT (optimisation, big 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 benchmark12.2451
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
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/433255-1177957103/instance-433255-1177957103.opb
0.00/0.00	c File size is 1274185 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.09/0.18	c Highest Coefficient sum: 3.70212e+15
0.09/0.18	c Parsing was ok!!
0.09/0.18	c Total parsing time: 0.178 s
0.09/0.19	c Var: 11454 Constr: 571 0/0/571 Lit: 112673 Watch. Lit: 37040
0.09/0.19	c Obj. Vars: 30 (0.261917 % of total variables)
0.89/1.00	c Pre-processing Time: 0.996 s
836.44/836.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
836.44/836.72	c        0   9209      571   110115  192    92251  220230      0      0 1.00
836.44/836.72	c      102   9209      673   115749  171    92327  242254    102    100 1.01
836.44/836.72	c      253   9209      824   128567  156   101024  266480    253    227 1.11
836.44/836.72	c      478   9209     1049   149351  142   101468  293129    478    309 1.55
836.44/836.72	c      821   9209     1392   174896  125   102265  322442    821    384 2.14
836.44/836.72	c     1329   9209     1900   221867  116   103163  354687   1329    510 2.60
836.44/836.72	c     2093   9209     2664   314631  118   104683  390156   2093    631 3.31
836.44/836.72	c     3241   9209     3812   423260  111   107042  429172   3241    738 4.39
836.44/836.72	c     4963   9209     5534   699238  126   110092  472090   4963    763 6.50
836.44/836.72	c     7548   9209     8119  1068500  131   115314  519300   7548    775 9.73
836.44/836.72	c    11427   9179    11998  1636846  136   123460  571231  11427    772 14.79
836.44/836.72	c    17249   9179    17820  2458176  137   134978  628355  17249    842 20.46
836.44/836.72	c    25986   9158    26557  4236935  159   152813  691191  25986    759 34.22
836.44/836.73	c    39097   9155    39668  7994239  201   179426  760311  39097    617 63.37
836.44/836.73	c    58769   9155    59340 14570166  245   218771  836343  58769    465 126.13
836.44/836.73	c    88280   9154    88851 23861279  268   277685  919978  88280    440 200.19
836.44/836.73	c   132550   9154   133121 26951268  202   372231  500000 132550    462 286.30
836.44/836.73	c   198960   9154   199531 30701010  153   505223  550001 198960    411 483.22
836.44/836.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
836.44/836.73	c   17   244747  17368   308527   245318 32015521 244747    292 836.48
836.44/836.73	s UNSATISFIABLE
836.44/836.73	c Total time: 836.483 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/node5/watcher-433255-1177957103 -o ROOT/results/node5/solver-433255-1177957103 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.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.99 0.99 0.96 3/77 30341
/proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=12984 CPUtime=0
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271747939 13295616 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 3246 336 281 324 0 2004 0

[startup+0.0216879 s]
/proc/loadavg: 0.99 0.99 0.96 3/77 30341
/proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=13260 CPUtime=0.01
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 472 0 0 0 1 0 0 0 18 0 1 0 271747939 13578240 442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 3315 442 311 324 0 2073 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13260

[startup+0.101698 s]
/proc/loadavg: 0.99 0.99 0.96 3/77 30341
/proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=6244 CPUtime=0.09
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 811 0 0 0 9 0 0 0 18 0 1 0 271747939 6393856 781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 1561 781 457 324 0 319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6244

[startup+0.30172 s]
/proc/loadavg: 0.99 0.99 0.96 3/77 30341
/proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=9160 CPUtime=0.29
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 1950 0 0 0 29 0 0 0 19 0 1 0 271747939 9379840 1608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 2290 1608 304 324 0 1360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9160

[startup+0.701766 s]
/proc/loadavg: 0.99 0.99 0.96 3/77 30341
/proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=10888 CPUtime=0.69
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2487 0 0 0 68 1 0 0 22 0 1 0 271747939 11149312 2055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 2722 2055 306 324 0 1792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10888

[startup+1.50186 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1840376/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=10892 CPUtime=1.49
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2491 0 0 0 147 2 0 0 25 0 1 0 271747939 11153408 2059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 2723 2059 310 324 0 1793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10892

[startup+3.10104 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1840248/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=12184 CPUtime=3.09
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2808 0 0 0 307 2 0 0 25 0 1 0 271747939 12476416 2376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326826 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 3046 2376 310 324 0 2116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12184

[startup+6.3014 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1835128/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=17400 CPUtime=6.29
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 4118 0 0 0 626 3 0 0 25 0 1 0 271747939 17817600 3686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 4350 3686 310 324 0 3420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17400

[startup+12.7011 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1824568/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=27644 CPUtime=12.69
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 6696 0 0 0 1264 5 0 0 25 0 1 0 271747939 28307456 6264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 6911 6264 310 324 0 5981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27644

[startup+25.5016 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1805048/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=46268 CPUtime=25.49
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 11329 0 0 0 2541 8 0 0 25 0 1 0 271747939 47378432 10897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 11567 10897 310 324 0 10637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46268

[startup+51.1015 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1753912/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=97736 CPUtime=51.07
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 24198 0 0 0 5092 15 0 0 25 0 1 0 271747939 100081664 23766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 24434 23766 310 324 0 23504 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97736

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1676920/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=173832 CPUtime=102.26
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 43233 0 0 0 10199 27 0 0 25 0 1 0 271747939 178003968 42801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 43458 42801 310 324 0 42528 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 173832

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1599736/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=251740 CPUtime=162.24
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 62693 0 0 0 16183 41 0 0 25 0 1 0 271747939 257781760 62261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 62935 62261 310 324 0 62005 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 251740

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1506168/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=344180 CPUtime=222.23
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 85821 0 0 0 22166 57 0 0 25 0 1 0 271747939 352440320 85389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 86045 85389 310 324 0 85115 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 344180

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1484792/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=365476 CPUtime=282.21
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 91157 0 0 0 28158 63 0 0 25 0 1 0 271747939 374247424 90725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 91369 90725 310 324 0 90439 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 365476

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1452088/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=398088 CPUtime=342.19
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 99284 0 0 0 34148 71 0 0 25 0 1 0 271747939 407642112 98852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 99522 98852 310 324 0 98592 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 398088

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1434616/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=415528 CPUtime=402.17
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 103643 0 0 0 40141 76 0 0 25 0 1 0 271747939 425500672 103211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 103882 103211 310 324 0 102952 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 415528

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1429816/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=420196 CPUtime=462.15
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 104813 0 0 0 46137 78 0 0 25 0 1 0 271747939 430280704 104381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 105049 104381 310 324 0 104119 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 420196

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1424952/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=425000 CPUtime=522.14
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 106023 0 0 0 52134 80 0 0 25 0 1 0 271747939 435200000 105591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 106250 105591 310 324 0 105320 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 425000

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1419832/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=430072 CPUtime=582.12
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 107285 0 0 0 58130 82 0 0 25 0 1 0 271747939 440393728 106853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 107518 106853 310 324 0 106588 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 430072

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1415672/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=434116 CPUtime=642.11
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 108306 0 0 0 64127 84 0 0 25 0 1 0 271747939 444534784 107874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 108529 107874 310 324 0 107599 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 434116

[startup+702.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1412280/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=437504 CPUtime=702.09
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 109161 0 0 0 70123 86 0 0 25 0 1 0 271747939 448004096 108729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 109376 108729 310 324 0 108446 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 437504

[startup+762.305 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1409336/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=440376 CPUtime=762.07
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 109866 0 0 0 76120 87 0 0 25 0 1 0 271747939 450945024 109434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110094 109434 310 324 0 109164 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 440376

[startup+822.302 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406840/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=442860 CPUtime=822.05
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110503 0 0 0 82117 88 0 0 25 0 1 0 271747939 453488640 110071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110715 110071 310 324 0 109785 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 442860

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

[startup+825.501 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406648/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443120 CPUtime=825.25
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110539 0 0 0 82437 88 0 0 25 0 1 0 271747939 453754880 110107 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110780 110107 310 324 0 109850 0
Current children cumulated CPU time (s) 825.25
Current children cumulated vsize (KiB) 443120

[startup+831.902 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406392/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443252 CPUtime=831.65
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110600 0 0 0 83077 88 0 0 25 0 1 0 271747939 453890048 110168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110813 110168 310 324 0 109883 0
Current children cumulated CPU time (s) 831.65
Current children cumulated vsize (KiB) 443252

[startup+835.101 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443384 CPUtime=834.84
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110626 0 0 0 83396 88 0 0 25 0 1 0 271747939 454025216 110194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110846 110194 310 324 0 109916 0
Current children cumulated CPU time (s) 834.84
Current children cumulated vsize (KiB) 443384

[startup+835.901 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443384 CPUtime=835.65
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110633 0 0 0 83477 88 0 0 25 0 1 0 271747939 454025216 110201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110846 110201 310 324 0 109916 0
Current children cumulated CPU time (s) 835.65
Current children cumulated vsize (KiB) 443384

[startup+836.301 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443384 CPUtime=836.04
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110634 0 0 0 83516 88 0 0 25 0 1 0 271747939 454025216 110202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110846 110202 310 324 0 109916 0
Current children cumulated CPU time (s) 836.04
Current children cumulated vsize (KiB) 443384

[startup+836.702 s]
/proc/loadavg: 0.99 0.99 0.96 2/78 30342
/proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956
[pid=30341] ppid=30339 vsize=443384 CPUtime=836.44
/proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110636 0 0 0 83556 88 0 0 25 0 1 0 271747939 454025216 110204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30341/statm: 110846 110204 310 324 0 109916 0
Current children cumulated CPU time (s) 836.44
Current children cumulated vsize (KiB) 443384

Child status: 0
Real time (s): 836.802
CPU time (s): 836.557
CPU user time (s): 835.596
CPU system time (s): 0.960853
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 443384

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

runsolver used 0.634903 second user time and 1.81472 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Apr 30 18:18:23 UTC 2007

IDJOB= 433255
IDBENCH= 2409
IDSOLVER= 199
FILE ID= node5/433255-1177957103

PBS_JOBID= 4727732

Free space on /tmp= 66557 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-stair.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-433255-1177957103 -o ROOT/results/node5/solver-433255-1177957103 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  93ec90d2ad0b276483c19ced945be9c0

RANDOM SEED= 349803527

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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:       1847832 kB
Buffers:         26088 kB
Cached:          93128 kB
SwapCached:       9372 kB
Active:          46424 kB
Inactive:        96412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847832 kB
SwapTotal:     4192956 kB
SwapFree:      4151596 kB
Dirty:            7932 kB
Writeback:           0 kB
Mapped:          30660 kB
Slab:            50752 kB
Committed_AS:  9211472 kB
PageTables:       1724 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= 66557 MiB

End job on node5 on Mon Apr 30 18:32:20 UTC 2007