Trace number 350745

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.13 1800.66

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-neos15.opb
MD5SUM1be7a0a5556e21a359d6f31cb8a3ccd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark256
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 variables17600
Total number of constraints632
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 constraints632
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10400
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 533864
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 533864
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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Time Limit set to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb
0.00/0.03	c File size is 602786 bytes.
0.06/0.14	c Highest Coefficient sum: 533864
0.06/0.14	c Parsing was ok!!
0.06/0.14	c Total parsing time: 0.114 s
0.06/0.15	c Var: 17600 Constr: 872 0/0/872 Lit: 76920 Watch. Lit: 13645
0.06/0.15	c Obj. Vars: 10400 (59.0909 % of total variables)
0.46/0.52	c Pre-processing Time: 0.494 s
0.46/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.46/0.52	c        0  14041      872    76920   88    67632  153840      0      0 0.49
0.46/0.52	c Switching off LPR mode.
1799.95/1800.53	c      101  14041      973    79622   81    67831  169225    101    194 0.52
1799.95/1800.53	c      252  14041     1124    85631   76    68165  186148    252    401 0.63
1799.95/1800.53	c      477  14041     1349    95723   70    68613  204763    477    645 0.74
1799.95/1800.53	c      815  14041     1687   105686   62    69289  225240    815    861 0.95
1799.95/1800.53	c     1325  14041     2197   136775   62    70300  247765   1325   1299 1.02
1799.95/1800.53	c     2088  14041     2960   163286   55    71799  272542   2088   1465 1.43
1799.95/1800.53	c     3235  14041     4107   195131   47    74091  299797   3235   1991 1.62
1799.95/1800.53	c     4956  14041     5828   249211   42    77533  329777   4956   2511 1.97
1799.95/1800.53	c     7540  14041     8412   353866   42    82710  362755   7540   2992 2.52
1799.95/1800.53	c    11419  14041    12291   470887   38    90461  399031  11419   3557 3.21
1799.95/1800.53	c    17241  14041    18113   872526   48   105351  438935  17241   3446 5.00
1799.95/1800.53	c    25978  14041    26850  1343402   50   122645  482829  25978   3635 7.15
1799.95/1800.53	c    39089  14041    39961  2233824   55   148876  531112  39089   3574 10.94
1799.95/1800.53	c    58760  14041    59632  3267515   54   188139  584224  58760   2437 24.10
1799.95/1800.53	c    88272  14041    89144  6200663   69   247263  642647  88272   1625 54.31
1799.95/1800.53	c   132542  14041   133414 10343044   77   335812  706912 132542    951 139.23
1799.95/1800.53	c   198952  14040   199824 13696278   68   468655  777604 198952    701 283.54
1799.95/1800.53	c   298573  14040   299445 26489205   88   667845  855365 298573    419 712.44
1799.95/1800.53	c   448010  14040   448882 35081656   78   966348  940902 448010    457 979.96
1799.95/1800.53	c Resources Exceeded
1799.95/1800.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.53	c   19   590008  34173  1009347   590880 58578783 590008    327 1800.00
1799.95/1800.53	s UNKNOWN
1799.95/1800.53	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/node12/watcher-350745-1176545757 -o ROOT/results/node12/solver-350745-1176545757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17576
/proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=3780 CPUtime=0
/proc/17576/stat : 17576 (bsolo3.0.16) D 17574 17576 16177 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 130613132 3870720 186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9826992 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/17576/statm: 945 186 159 324 0 14 0

[startup+0.0891149 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17576
/proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=6212 CPUtime=0.05
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 837 0 6 0 5 0 0 0 18 0 1 0 130613132 6361088 811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 1553 811 353 324 0 474 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6212

[startup+0.101115 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17576
/proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=6348 CPUtime=0.06
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 908 0 6 0 6 0 0 0 18 0 1 0 130613132 6500352 882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 1587 882 368 324 0 508 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6348

[startup+0.301135 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17576
/proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=9392 CPUtime=0.26
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 1857 0 6 0 25 1 0 0 19 0 1 0 130613132 9617408 1683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 2348 1684 306 324 0 1417 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9392

[startup+0.701176 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17576
/proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=9520 CPUtime=0.66
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 2288 0 6 0 64 2 0 0 23 0 1 0 130613132 9748480 1728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 2380 1728 312 324 0 1449 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9520

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1735408/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=10836 CPUtime=1.46
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 2616 0 6 0 141 5 0 0 25 0 1 0 130613132 11096064 2056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 2709 2056 312 324 0 1778 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10836

[startup+3.10142 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1732784/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=15268 CPUtime=3.06
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 3725 0 6 0 298 8 0 0 25 0 1 0 130613132 15634432 3165 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 3817 3165 312 324 0 2886 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15268

[startup+6.30174 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1722032/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=26080 CPUtime=6.26
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 6433 0 6 0 613 13 0 0 25 0 1 0 130613132 26705920 5873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 6520 5873 312 324 0 5589 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 26080

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1700464/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=45824 CPUtime=12.65
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 11372 0 6 0 1246 19 0 0 25 0 1 0 130613132 46923776 10812 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 11456 10812 312 324 0 10525 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 45824

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1684336/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=62204 CPUtime=25.45
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 15438 0 6 0 2517 28 0 0 25 0 1 0 130613132 63696896 14878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 15551 14878 312 324 0 14620 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 62204

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1650160/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=95340 CPUtime=51.04
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 23727 0 6 0 5068 36 0 0 25 0 1 0 130613132 97628160 23167 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 23835 23167 312 324 0 22904 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 95340

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1603952/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=141076 CPUtime=102.23
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 35174 0 6 0 10173 50 0 0 25 0 1 0 130613132 144461824 34614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 35269 34614 312 324 0 34338 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 141076

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1571824/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=173324 CPUtime=162.21
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 43222 0 6 0 16153 68 0 0 25 0 1 0 130613132 177483776 42662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 43331 42662 312 324 0 42400 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 173324

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1552688/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=192300 CPUtime=222.19
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 47961 0 6 0 22139 80 0 0 25 0 1 0 130613132 196915200 47401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 48075 47401 312 324 0 47144 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 192300

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1539568/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=205268 CPUtime=282.18
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 51214 0 6 0 28130 88 0 0 25 0 1 0 130613132 210194432 50654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 51317 50654 312 324 0 50386 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 205268

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1482480/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=262384 CPUtime=342.17
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 65508 0 6 0 34111 106 0 0 25 0 1 0 130613132 268681216 64948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 65596 64948 312 324 0 64665 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 262384

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1456688/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=288240 CPUtime=402.15
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 71950 0 6 0 40094 121 0 0 25 0 1 0 130613132 295157760 71390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 72060 71390 312 324 0 71129 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 288240

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1436720/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=307868 CPUtime=462.13
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 76856 0 6 0 46083 130 0 0 25 0 1 0 130613132 315256832 76296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 76967 76296 312 324 0 76036 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 307868

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1423984/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=320528 CPUtime=522.11
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 80042 0 6 0 52074 137 0 0 25 0 1 0 130613132 328220672 79482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 80132 79482 312 324 0 79201 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 320528

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1400176/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=344144 CPUtime=582.1
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 85938 0 6 0 58063 147 0 0 25 0 1 0 130613132 352403456 85378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 86036 85378 312 324 0 85105 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 344144

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17577
/proc/meminfo: memFree=1376560/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=367568 CPUtime=642.09
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 91788 0 6 0 64055 154 0 0 25 0 1 0 130613132 376389632 91228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 91892 91228 312 324 0 90961 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 367568


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

[startup+822.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 17577
/proc/meminfo: memFree=1326704/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=417160 CPUtime=822.03
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 104206 0 6 0 82026 177 0 0 25 0 1 0 130613132 427171840 103646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 104290 103646 312 324 0 103359 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 417160

[startup+882.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 17577
/proc/meminfo: memFree=1297840/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=445824 CPUtime=882.01
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 111373 0 6 0 88009 192 0 0 25 0 1 0 130613132 456523776 110813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 111456 110813 312 324 0 110525 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 445824

[startup+942.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 17579
/proc/meminfo: memFree=1252528/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=491592 CPUtime=941.99
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 122785 0 6 0 93989 210 0 0 25 0 1 0 130613132 503390208 122225 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 122898 122225 312 324 0 121967 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 491592

[startup+1002.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 17579
/proc/meminfo: memFree=1192560/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=551436 CPUtime=1001.98
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 137772 0 6 0 99969 229 0 0 25 0 1 0 130613132 564670464 137212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 137859 137212 312 324 0 136928 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 551436

[startup+1062.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/78 17579
/proc/meminfo: memFree=1144368/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=599540 CPUtime=1061.97
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 149775 0 6 0 105951 246 0 0 25 0 1 0 130613132 613928960 149215 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 149885 149215 312 324 0 148954 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 599540

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 17579
/proc/meminfo: memFree=1115504/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=627820 CPUtime=1121.95
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 156842 0 6 0 111937 258 0 0 25 0 1 0 130613132 642887680 156282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 156955 156282 312 324 0 156024 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 627820

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17579
/proc/meminfo: memFree=1098224/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=645024 CPUtime=1181.93
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 161158 0 6 0 117928 265 0 0 25 0 1 0 130613132 660504576 160598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 161256 160598 312 324 0 160325 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 645024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17579
/proc/meminfo: memFree=1079920/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=663188 CPUtime=1241.91
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 165697 0 6 0 123917 274 0 0 25 0 1 0 130613132 679104512 165137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 165797 165137 312 324 0 164866 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 663188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17579
/proc/meminfo: memFree=1066096/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=676720 CPUtime=1301.9
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 169094 0 6 0 129911 279 0 0 25 0 1 0 130613132 692961280 168534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 169180 168534 312 324 0 168249 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 676720

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=1033200/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=709940 CPUtime=1361.88
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 177373 0 6 0 135901 287 0 0 25 0 1 0 130613132 726978560 176813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 177485 176813 312 324 0 176554 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 709940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=1010928/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=731812 CPUtime=1421.86
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 182844 0 6 0 141893 293 0 0 25 0 1 0 130613132 749375488 182284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 182953 182284 312 324 0 182022 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 731812

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=996528/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=746384 CPUtime=1481.85
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 186494 0 6 0 147885 300 0 0 25 0 1 0 130613132 764297216 185934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 186596 185934 312 324 0 185665 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 746384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=978544/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=764040 CPUtime=1541.83
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 190914 0 6 0 153879 304 0 0 25 0 1 0 130613132 782376960 190354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 191010 190354 312 324 0 190079 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 764040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=966704/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=775984 CPUtime=1601.81
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 193882 0 6 0 159872 309 0 0 25 0 1 0 130613132 794607616 193322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 193996 193322 312 324 0 193065 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 775984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=954672/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=787800 CPUtime=1661.8
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 196857 0 6 0 165867 313 0 0 25 0 1 0 130613132 806707200 196297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 196950 196297 312 324 0 196019 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 787800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=941616/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=801048 CPUtime=1721.78
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 200175 0 6 0 171861 317 0 0 25 0 1 0 130613132 820273152 199615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 200262 199615 312 324 0 199331 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 801048

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=926320/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=815996 CPUtime=1781.76
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 203897 0 6 0 177855 321 0 0 25 0 1 0 130613132 835579904 203337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 203999 203337 312 324 0 203068 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 815996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17579
/proc/meminfo: memFree=1358384/2055920 swapFree=4191880/4192956
[pid=17576] ppid=17574 vsize=0 CPUtime=1800.07
/proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194308 205201 0 6 0 179676 331 0 0 25 0 1 0 130613132 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17576/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.13
CPU user time (s): 1796.77
CPU system time (s): 3.36349
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 821164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.77
system time used= 3.36349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205201
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3880

runsolver used 2.11668 second user time and 4.32934 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Apr 14 10:15:58 UTC 2007

IDJOB= 350745
IDBENCH= 1584
IDSOLVER= 163
FILE ID= node12/350745-1176545757

PBS_JOBID= 4556736

Free space on /tmp= 66429 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-neos15.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-350745-1176545757 -o ROOT/results/node12/solver-350745-1176545757 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1be7a0a5556e21a359d6f31cb8a3ccd8

RANDOM SEED= 888540206

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1742800 kB
Buffers:         19800 kB
Cached:         196032 kB
SwapCached:        408 kB
Active:          99152 kB
Inactive:       163708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742800 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5000 kB
Writeback:           0 kB
Mapped:          64052 kB
Slab:            35724 kB
Committed_AS:  4013196 kB
PageTables:       1804 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= 66429 MiB

End job on node12 on Sat Apr 14 10:46:00 UTC 2007