Trace number 350693

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.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
MD5SUM908b859aa6cb5be1c335ba1e4149146b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark87587
Best CPU time to get the best result obtained on this benchmark1802.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 240
Optimality of the best value was proved NO
Number of variables17840
Total number of constraints656
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 constraints656
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10640
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 534104
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 534104
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/350693-1176540072/instance-350693-1176540072.opb
0.00/0.00	c File size is 610946 bytes.
0.09/0.12	c Highest Coefficient sum: 534104
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.116 s
0.09/0.12	c Var: 17840 Constr: 896 0/0/896 Lit: 77424 Watch. Lit: 14149
0.09/0.12	c Obj. Vars: 10640 (59.6413 % of total variables)
0.49/0.50	c Pre-processing Time: 0.499 s
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        0  14299      896    77424   86    68160  154848      0      0 0.50
0.49/0.50	c Switching off LPR mode.
1800.00/1800.60	c      101  14299      997    80126   80    68359  170333    101    192 0.53
1800.00/1800.60	c      251  14299     1147    85427   74    68693  187367    251    400 0.63
1800.00/1800.60	c      477  14299     1373    90010   65    69132  206104    477    652 0.73
1800.00/1800.60	c      815  14299     1711    96931   56    69808  226715    815   1057 0.77
1800.00/1800.60	c     1323  14299     2219   111980   50    70790  249387   1323   1280 1.03
1800.00/1800.60	c     2086  14298     2982   130813   43    72268  274326   2086   1679 1.24
1800.00/1800.60	c     3232  14298     4128   167668   40    74556  301759   3232   2209 1.46
1800.00/1800.60	c     4953  14298     5849   225996   38    77998  331935   4953   2696 1.84
1800.00/1800.60	c     7537  14298     8433   323923   38    83150  365129   7537   2698 2.79
1800.00/1800.60	c    11416  14298    12312   542036   44    90891  401642  11416   3119 3.66
1800.00/1800.60	c    17238  14298    18134   950545   52   102530  441807  17238   3157 5.46
1800.00/1800.60	c    25975  14298    26871  1177460   43   119992  485988  25975   3086 8.41
1800.00/1800.60	c    39086  14298    39982  2014756   50   146240  534587  39086   2460 15.89
1800.00/1800.60	c    58756  14298    59652  3165661   53   185533  588046  58756   1520 38.65
1800.00/1800.60	c    88266  14298    89162  5630212   63   246703  646851  88266   1665 52.99
1800.00/1800.60	c   132539  14298   133435 10107775   75   335126  711537 132539   1354 97.82
1800.00/1800.60	c   198950  14297   199846 16455904   82   468697  782691 198950   1152 172.66
1800.00/1800.60	c   298570  14297   299466 23904662   79   667981  860961 298570    509 585.67
1800.00/1800.60	c   448005  14297   448901 32921788   73   966723  947058 448005    452 989.64
1800.00/1800.60	c Caught signal: 15
1800.00/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.60	c   19   586533  63692  1586851   587429 46440285 586533    325 1800.01
1800.00/1800.60	s UNKNOWN
1800.00/1800.60	c Total time: 1800.01 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/node18/watcher-350693-1176540072 -o ROOT/results/node18/solver-350693-1176540072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.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.97 0.98 3/77 24990
/proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=12336 CPUtime=0
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 101924580 12632064 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 3084 336 281 324 0 2003 0

[startup+0.00827909 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 24990
/proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=12476 CPUtime=0
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 402 0 0 0 0 0 0 0 18 0 1 0 101924580 12775424 370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 3119 370 285 324 0 2038 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12476

[startup+0.101289 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 24990
/proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=6768 CPUtime=0.09
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 1034 0 0 0 9 0 0 0 18 0 1 0 101924580 6930432 1002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134539169 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 1692 1003 405 324 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6768

[startup+0.301308 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 24990
/proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=10360 CPUtime=0.29
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2268 0 0 0 28 1 0 0 19 0 1 0 101924580 10608640 1911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 2590 1911 308 324 0 1659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10360

[startup+0.701346 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 24990
/proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=9700 CPUtime=0.69
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2332 0 0 0 66 3 0 0 22 0 1 0 101924580 9932800 1761 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 2425 1761 312 324 0 1494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9700

[startup+1.50142 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1741512/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=11020 CPUtime=1.49
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2657 0 0 0 143 6 0 0 25 0 1 0 101924580 11284480 2086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 2755 2086 312 324 0 1824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11020

[startup+3.10158 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1739144/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=14424 CPUtime=3.09
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 3511 0 0 0 299 10 0 0 25 0 1 0 101924580 14770176 2940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 3606 2940 312 324 0 2675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14424

[startup+6.30189 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1728904/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=24172 CPUtime=6.29
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 5947 0 0 0 616 13 0 0 25 0 1 0 101924580 24752128 5376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 6043 5376 312 324 0 5112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24172

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1722568/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=29112 CPUtime=12.69
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 7171 0 0 0 1252 17 0 0 25 0 1 0 101924580 29810688 6600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 7278 6600 312 324 0 6347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29112

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1702280/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=49132 CPUtime=25.49
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 12191 0 0 0 2524 25 0 0 25 0 1 0 101924580 50311168 11620 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 12283 11620 312 324 0 11352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49132

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1665608/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=87340 CPUtime=51.08
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 21737 0 0 0 5070 38 0 0 25 0 1 0 101924580 89436160 21166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 21835 21166 312 324 0 20904 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87340

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1590152/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=160876 CPUtime=102.27
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 40139 0 0 0 10165 62 0 0 25 0 1 0 101924580 164737024 39568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 40219 39568 312 324 0 39288 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160876

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 24991
/proc/meminfo: memFree=1515592/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=235436 CPUtime=162.25
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 58781 0 0 0 16133 92 0 0 25 0 1 0 101924580 241086464 58210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8292225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 58859 58210 312 324 0 57928 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 235436

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1473224/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=277532 CPUtime=222.23
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 69295 0 0 0 22113 110 0 0 25 0 1 0 101924580 284192768 68724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 69383 68724 312 324 0 68452 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 277532

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1457352/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=293436 CPUtime=282.21
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 73282 0 0 0 28104 117 0 0 25 0 1 0 101924580 300478464 72711 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 73359 72711 312 324 0 72428 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 293436

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1442952/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=307624 CPUtime=342.2
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 76832 0 0 0 34095 125 0 0 25 0 1 0 101924580 315006976 76261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 76906 76261 312 324 0 75975 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 307624

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1431368/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=319256 CPUtime=402.18
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 79735 0 0 0 40087 131 0 0 25 0 1 0 101924580 326918144 79164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 79814 79164 312 324 0 78883 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 319256

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1422280/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=328196 CPUtime=462.17
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 81958 0 0 0 46081 136 0 0 25 0 1 0 101924580 336072704 81387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 82049 81387 312 324 0 81118 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 328196

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1413512/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=336980 CPUtime=522.15
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 84156 0 0 0 52074 141 0 0 25 0 1 0 101924580 345067520 83585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 84245 83585 312 324 0 83314 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 336980

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1404104/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=346284 CPUtime=582.13
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 86482 0 0 0 58066 147 0 0 25 0 1 0 101924580 354594816 85911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 86571 85911 312 324 0 85640 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 346284

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1328456/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=421640 CPUtime=642.11
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 105333 0 0 0 64038 173 0 0 25 0 1 0 101924580 431759360 104762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 105410 104762 312 324 0 104479 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 421640


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1282056/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=467868 CPUtime=882.05
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 116872 0 0 0 87999 206 0 0 25 0 1 0 101924580 479096832 116301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 116967 116301 312 324 0 116036 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 467868

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1275976/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=473992 CPUtime=942.04
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 118396 0 0 0 93993 211 0 0 25 0 1 0 101924580 485367808 117825 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 118498 117825 312 324 0 117567 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 473992

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1258568/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=491408 CPUtime=1002.01
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 122753 0 0 0 99980 221 0 0 25 0 1 0 101924580 503201792 122182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 122852 122182 312 324 0 121921 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 491408

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1214152/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=535852 CPUtime=1062
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 133890 0 0 0 105956 244 0 0 25 0 1 0 101924580 548712448 133319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 133963 133319 312 324 0 133032 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 535852

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1194632/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=554976 CPUtime=1121.98
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 138651 0 0 0 111945 253 0 0 25 0 1 0 101924580 568295424 138080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 138744 138080 312 324 0 137813 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 554976

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24991
/proc/meminfo: memFree=1181640/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=567904 CPUtime=1181.97
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 141889 0 0 0 117937 260 0 0 25 0 1 0 101924580 581533696 141318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 141976 141318 312 324 0 141045 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 567904

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 25169
/proc/meminfo: memFree=1169280/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=578768 CPUtime=1241.86
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 144604 0 0 0 123921 265 0 0 25 0 1 0 101924580 592658432 144033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 144692 144033 312 324 0 143761 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 578768

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1156488/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=592572 CPUtime=1301.83
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 148046 0 0 0 129912 271 0 0 25 0 1 0 101924580 606793728 147475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 148143 147475 312 324 0 147212 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 592572

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1140808/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=608308 CPUtime=1361.81
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 151981 0 0 0 135902 279 0 0 25 0 1 0 101924580 622907392 151410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 152077 151410 312 324 0 151146 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 608308

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1129672/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=619184 CPUtime=1421.81
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 154715 0 0 0 141896 285 0 0 25 0 1 0 101924580 634044416 154144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 154796 154144 312 324 0 153865 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 619184

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1121992/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=626920 CPUtime=1481.78
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 156645 0 0 0 147889 289 0 0 25 0 1 0 101924580 641966080 156074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 156730 156074 312 324 0 155799 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 626920

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1113096/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=635680 CPUtime=1541.77
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 158839 0 0 0 153884 293 0 0 25 0 1 0 101924580 650936320 158268 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 158920 158268 312 324 0 157989 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 635680

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1106376/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=642380 CPUtime=1601.75
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 160515 0 0 0 159879 296 0 0 25 0 1 0 101924580 657797120 159944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 160595 159944 312 324 0 159664 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 642380

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1099336/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=649332 CPUtime=1661.73
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 162245 0 0 0 165875 298 0 0 25 0 1 0 101924580 664915968 161674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 162333 161674 312 324 0 161402 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 649332

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1092104/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=656676 CPUtime=1721.72
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 164094 0 0 0 171870 302 0 0 25 0 1 0 101924580 672436224 163523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 164169 163523 312 324 0 163238 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 656676

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1085064/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=663896 CPUtime=1781.7
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 165873 0 0 0 177865 305 0 0 25 0 1 0 101924580 679829504 165302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8293928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 165974 165302 312 324 0 165043 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 663896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1082824/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=665952 CPUtime=1800
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 166412 0 0 0 179694 306 0 0 25 0 1 0 101924580 681934848 165841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8292181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 166488 165841 312 324 0 165557 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 665952

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 25189
/proc/meminfo: memFree=1082824/2055920 swapFree=4191880/4192956
[pid=24990] ppid=24988 vsize=0 CPUtime=1800.1
/proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194308 166413 0 0 0 179694 316 0 0 25 0 1 0 101924580 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24990/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.71
CPU time (s): 1800.11
CPU user time (s): 1796.95
CPU system time (s): 3.16652
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 665952

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

runsolver used 2.16867 second user time and 4.19436 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Apr 14 08:41:12 UTC 2007

IDJOB= 350693
IDBENCH= 1578
IDSOLVER= 163
FILE ID= node18/350693-1176540072

PBS_JOBID= 4556731

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-350693-1176540072 -o ROOT/results/node18/solver-350693-1176540072 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  908b859aa6cb5be1c335ba1e4149146b

RANDOM SEED= 516485859

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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:       1748200 kB
Buffers:         22668 kB
Cached:         179064 kB
SwapCached:        636 kB
Active:          75344 kB
Inactive:       180532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748200 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5068 kB
Writeback:           0 kB
Mapped:          71084 kB
Slab:            37348 kB
Committed_AS:  2712452 kB
PageTables:       1780 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= 66555 MiB

End job on node18 on Sat Apr 14 09:11:15 UTC 2007