Trace number 348839

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16? (TO) 1800.11 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
MD5SUM99a4e5b0ce7b98bffc278cf1f6704eb9
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 5488
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 535829
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535829
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb
0.00/0.00	c File size is 482028 bytes.
0.06/0.09	c Highest Coefficient sum: 535829
0.06/0.09	c Parsing was ok!!
0.06/0.09	c Total parsing time: 0.093 s
0.06/0.10	c Var: 14265 Constr: 368 29/11/328 Lit: 52314 Watch. Lit: 6242
0.06/0.10	c Obj. Vars: 14235 (99.7897 % of total variables)
1.79/1.85	c Pre-processing Time: 1.849 s
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c        0  10190      367    51922  141    38211  103079      0      0 1.85
1.79/1.85	c Switching off LPR mode.
1799.93/1800.46	c      102  10190      469    59916  127    38562  113387    102     53 1.92
1799.93/1800.46	c      252  10190      619    72104  116    39005  124726    252    120 2.10
1799.93/1800.46	c      477  10190      844    76294   90    39365  137199    477    218 2.18
1799.93/1800.46	c      815  10190     1182   106952   90    40101  150919    815    343 2.38
1799.93/1800.46	c     1323  10190     1690   126562   74    41134  166011   1323    510 2.59
1799.93/1800.46	c     2087  10189     2454   169315   68    42595  182613   2087    706 2.95
1799.93/1800.46	c     3233  10189     3600   201373   55    44882  200875   3233    797 4.05
1799.93/1800.46	c     4954  10189     5321   356562   67    48360  220963   4954   1136 4.36
1799.93/1800.46	c     7538  10189     7905   466895   59    53420  243060   7538   1061 7.10
1799.93/1800.46	c    11418  10189    11785   642889   54    61180  267367  11418   1401 8.14
1799.93/1800.46	c    17241  10189    17608   933936   53    72833  294104  17241   1754 9.83
1799.93/1800.46	c    25978  10189    26345  1388374   52    90280  323515  25978   1837 14.14
1799.93/1800.46	c    39088  10189    39455  1831011   46   116476  355867  39088   1915 20.40
1799.93/1800.46	c    58758  10189    59125  6459903  109   155704  391454  58758   1128 52.06
1799.93/1800.46	c    88268  10189    88635  7318720   82   214744  430600  88268   1126 78.33
1799.93/1800.46	c   132540  10189   132907  9015923   67   303146  473661 132540   1050 126.14
1799.93/1800.46	c   198951  10189   199318 11762665   59   435958  521028 198951    918 216.53
1799.93/1800.46	c   298571  10189   298938 21419169   71   635220  573131 298571    507 587.88
1799.93/1800.46	c   448006  10189   448373 34612344   77   934134  630445 448006    292 1533.36
1799.93/1800.46	c Resources Exceeded
1799.93/1800.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.46	c   19   523618  28958   743116   523985 46728286 523618    290 1800.00
1799.93/1800.46	s UNKNOWN
1799.93/1800.46	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-348839-1176600378 -o ROOT/results/node44/solver-348839-1176600378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.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/64 27695
/proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=12208 CPUtime=0
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 107949512 12500992 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 3052 335 281 324 0 2003 0

[startup+0.070676 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27695
/proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=5964 CPUtime=0.06
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 852 0 0 0 6 0 0 0 18 0 1 0 107949512 6107136 820 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 1491 820 365 324 0 442 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5964

[startup+0.101678 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27695
/proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=7036 CPUtime=0.09
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1269 0 0 0 9 0 0 0 18 0 1 0 107949512 7204864 1119 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 1759 1119 305 324 0 828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7036

[startup+0.301698 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27695
/proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=7824 CPUtime=0.29
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1445 0 0 0 29 0 0 0 19 0 1 0 107949512 8011776 1295 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 1956 1295 305 324 0 1025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7824

[startup+0.70174 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 27695
/proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=8400 CPUtime=0.69
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1710 0 0 0 68 1 0 0 22 0 1 0 107949512 8601600 1448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 2100 1448 307 324 0 1169 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8400

[startup+1.50182 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1549872/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=8400 CPUtime=1.49
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1710 0 0 0 147 2 0 0 25 0 1 0 107949512 8601600 1448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 2100 1448 307 324 0 1169 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8400

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1549680/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=9576 CPUtime=3.09
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 2023 0 0 0 305 4 0 0 25 0 1 0 107949512 9805824 1761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 2394 1761 311 324 0 1463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9576

[startup+6.30131 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1544944/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=13492 CPUtime=6.29
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 2979 0 0 0 624 5 0 0 25 0 1 0 107949512 13815808 2717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 3373 2717 311 324 0 2442 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13492

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1532720/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=26224 CPUtime=12.69
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 6169 0 0 0 1260 9 0 0 25 0 1 0 107949512 26853376 5907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 6556 5907 311 324 0 5625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26224

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1505712/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=53112 CPUtime=25.49
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 12889 0 0 0 2534 15 0 0 25 0 1 0 107949512 54386688 12627 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 13278 12627 311 324 0 12347 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53112

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1464304/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=94332 CPUtime=51.08
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 23203 0 0 0 5082 26 0 0 25 0 1 0 107949512 96595968 22941 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 23583 22941 311 324 0 22652 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94332

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1430640/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=127232 CPUtime=102.26
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 31435 0 0 0 10188 38 0 0 25 0 1 0 107949512 130285568 31173 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 31808 31173 311 324 0 30877 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 127232

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1396272/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=161724 CPUtime=162.25
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 40064 0 0 0 16170 55 0 0 25 0 1 0 107949512 165605376 39802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 40431 39802 311 324 0 39500 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 161724

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1368240/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=189552 CPUtime=222.24
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 47019 0 0 0 22157 67 0 0 25 0 1 0 107949512 194101248 46757 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 47388 46757 311 324 0 46457 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 189552

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1335856/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=221952 CPUtime=282.22
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 55116 0 0 0 28144 78 0 0 25 0 1 0 107949512 227278848 54854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 55488 54854 311 324 0 54557 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 221952

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1314160/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=243484 CPUtime=342.2
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 60481 0 0 0 34134 86 0 0 25 0 1 0 107949512 249327616 60219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 60871 60219 311 324 0 59940 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 243484

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1296496/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=261172 CPUtime=402.19
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 64919 0 0 0 40126 93 0 0 25 0 1 0 107949512 267440128 64657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 65293 64657 311 324 0 64362 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 261172

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1276784/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=280776 CPUtime=462.17
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 69832 0 0 0 46118 99 0 0 25 0 1 0 107949512 287514624 69570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 70194 69570 311 324 0 69263 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 280776

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1258096/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=299648 CPUtime=522.16
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 74521 0 0 0 52110 106 0 0 25 0 1 0 107949512 306839552 74259 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 74912 74259 311 324 0 73981 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 299648

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1244848/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=312696 CPUtime=582.14
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 77798 0 0 0 58102 112 0 0 25 0 1 0 107949512 320200704 77536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 78174 77536 311 324 0 77243 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 312696

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27696
/proc/meminfo: memFree=1199600/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=357712 CPUtime=642.13
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 89050 0 0 0 64089 124 0 0 25 0 1 0 107949512 366297088 88788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 89428 88788 311 324 0 88497 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 357712


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1136816/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=420316 CPUtime=882.07
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 104703 0 0 0 88058 149 0 0 25 0 1 0 107949512 430403584 104441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11714106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 105079 104441 311 324 0 104148 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 420316

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1122032/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=435276 CPUtime=942.06
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 108438 0 0 0 94049 157 0 0 25 0 1 0 107949512 445722624 108176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 108819 108176 311 324 0 107888 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 435276

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1112432/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=444712 CPUtime=1002.03
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 110803 0 0 0 100042 161 0 0 25 0 1 0 107949512 455385088 110541 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 111178 110541 311 324 0 110247 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 444712

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1105584/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=451576 CPUtime=1062.02
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 112519 0 0 0 106039 163 0 0 25 0 1 0 107949512 462413824 112257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 112894 112257 311 324 0 111963 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 451576

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1099376/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=457780 CPUtime=1122
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 114065 0 0 0 112034 166 0 0 25 0 1 0 107949512 468766720 113803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 114445 113803 311 324 0 113514 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 457780

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1093424/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=463728 CPUtime=1181.98
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 115550 0 0 0 118030 168 0 0 25 0 1 0 107949512 474857472 115288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 115932 115288 311 324 0 115001 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 463728

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1088752/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=468372 CPUtime=1241.97
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 116723 0 0 0 124026 171 0 0 25 0 1 0 107949512 479612928 116461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 117093 116461 311 324 0 116162 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 468372

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1078192/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=478840 CPUtime=1301.96
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 119336 0 0 0 130020 176 0 0 25 0 1 0 107949512 490332160 119074 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 119710 119074 311 324 0 118779 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 478840

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1071920/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=485184 CPUtime=1361.95
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 120915 0 0 0 136015 180 0 0 25 0 1 0 107949512 496828416 120653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 121296 120653 311 324 0 120365 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 485184

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1066864/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=490208 CPUtime=1421.94
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 122167 0 0 0 142012 182 0 0 25 0 1 0 107949512 501972992 121905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 122552 121905 311 324 0 121621 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 490208

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1062704/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=494492 CPUtime=1481.91
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 123230 0 0 0 148007 184 0 0 25 0 1 0 107949512 506359808 122968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 123623 122968 311 324 0 122692 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 494492

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1049840/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=507404 CPUtime=1541.9
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 126458 0 0 0 154002 188 0 0 25 0 1 0 107949512 519581696 126196 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 126851 126196 311 324 0 125920 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 507404

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=994672/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=562772 CPUtime=1601.88
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 140306 0 0 0 159983 205 0 0 25 0 1 0 107949512 576278528 140044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 140693 140044 311 324 0 139762 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 562772

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=962032/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=595004 CPUtime=1661.87
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 148380 0 0 0 165970 217 0 0 25 0 1 0 107949512 609284096 148118 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 148751 148118 311 324 0 147820 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 595004

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=928560/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=628388 CPUtime=1721.86
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 156731 0 0 0 171958 228 0 0 25 0 1 0 107949512 643469312 156469 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 157097 156469 311 324 0 156166 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 628388

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=902128/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=654696 CPUtime=1781.83
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 163301 0 0 0 177948 235 0 0 25 0 1 0 107949512 670408704 163039 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11722469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 163674 163039 311 324 0 162743 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 654696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1131184/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=0 CPUtime=1800.03
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194308 164990 0 0 0 179761 242 0 0 25 0 1 0 107949512 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 27698
/proc/meminfo: memFree=1131184/2055920 swapFree=4184880/4192956
[pid=27695] ppid=27693 vsize=0 CPUtime=1800.03
/proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194308 164990 0 0 0 179761 242 0 0 25 0 1 0 107949512 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.11
CPU user time (s): 1797.62
CPU system time (s): 2.48762
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 661404

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

runsolver used 1.15382 second user time and 3.77642 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Sun Apr 15 01:26:18 UTC 2007

IDJOB= 348839
IDBENCH= 1758
IDSOLVER= 163
FILE ID= node44/348839-1176600378

PBS_JOBID= 4557008

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-348839-1176600378 -o ROOT/results/node44/solver-348839-1176600378 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  99a4e5b0ce7b98bffc278cf1f6704eb9

RANDOM SEED= 299281575

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1554960 kB
Buffers:         49712 kB
Cached:         336096 kB
SwapCached:       2472 kB
Active:          95116 kB
Inactive:       308236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554960 kB
SwapTotal:     4192956 kB
SwapFree:      4184880 kB
Dirty:            4860 kB
Writeback:           0 kB
Mapped:          16744 kB
Slab:            83608 kB
Committed_AS:   220920 kB
PageTables:       1396 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= 66560 MiB

End job on node44 on Sun Apr 15 01:56:21 UTC 2007