Trace number 433203

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17? (TO) 1800.19 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
MD5SUMa644593dc228e712d5b0d277ee939168
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103872
Total number of constraints3312
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 constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433203-1177956323/instance-433203-1177956323.opb
0.00/0.00	c File size is 4559583 bytes.
0.07/0.09	c Coefficients are big enough for not using lower bounding.
0.69/0.79	c Highest Coefficient sum: 1.46241e+16
0.69/0.79	c Parsing was ok!!
0.69/0.79	c Total parsing time: 0.79 s
0.79/0.84	c Var: 103872 Constr: 4560 0/0/4560 Lit: 416936 Watch. Lit: 87026
0.79/0.84	c Obj. Vars: 37632 (36.2292 % of total variables)
2.59/2.68	c Pre-processing Time: 2.678 s
1800.04/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.50	c        0  60967     4560   414434   90   368139  828868      0      0 2.68
1800.04/1800.50	c      101  60967     4661   425699   91   369868  911755    101     35 2.81
1800.04/1800.50	c      251  60967     4811   432811   89   370981  500000    251     87 2.87
1800.04/1800.50	c      476  60967     5036   443933   88   371479  550001    476    160 2.96
1800.04/1800.50	c      815  60967     5375   472141   87   372134  605002    815    257 3.16
1800.04/1800.50	c     1323  60967     5883   506856   86   373198  665503   1323    391 3.38
1800.04/1800.50	c     2087  60967     6647   553154   83   374650  732054   2087    565 3.69
1800.04/1800.50	c     3233  60967     7793   617887   79   376957  805260   3233    784 4.12
1800.04/1800.50	c     4954  60967     9514   737964   77   380481  885787   4954   1088 4.55
1800.04/1800.50	c     7538  60967    12098   881824   72   385701  974366   7538   1434 5.26
1800.04/1800.50	c    11417  60967    15977  1154384   72   393108  500000  11417   1537 7.42
1800.04/1800.50	c    17239  60967    21799  1810226   83   404097  550001  17239   1493 11.54
1800.04/1800.50	c    25978  60967    30538  2424287   79   422352  605002  25978   1743 14.90
1800.04/1800.50	c    39089  60967    43649  3759140   86   448532  665503  39089   1752 22.30
1800.04/1800.50	c    58759  60967    63319  5140557   81   488098  732054  58759   1935 30.36
1800.04/1800.50	c    88269  60967    92829  9747694  105   546657  805260  88269    998 88.39
1800.04/1800.50	c   132540  60965   137100 17614208  128   635685  885787 132540    798 166.02
1800.04/1800.50	c   198950  60961   203510 23771680  116   768562  974366 198950    816 243.74
1800.04/1800.50	c   298570  60961   303130 35141908  115   967580  500000 298570    643 464.10
1800.04/1800.50	c   448006  60955   452566 53445002  118  1266454  550001 448006    513 873.02
1800.04/1800.50	c   672164  60955    95110  6806841   71   551681  605002  90550    429 1565.62
1800.04/1800.50	c Caught signal: 15
1800.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c   20   766965  47665  3813356   189911 17260794 185351    426 1800.05
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c Total time: 1800.05 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-433203-1177956323 -o ROOT/results/node45/solver-433203-1177956323 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433203-1177956323/instance-433203-1177956323.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.91 0.95 0.90 3/77 807
/proc/meminfo: memFree=1640440/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=16192 CPUtime=0
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 150477928 16580608 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 4048 332 279 324 0 2004 0

[startup+0.085622 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 807
/proc/meminfo: memFree=1640440/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=18564 CPUtime=0.07
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 1144 0 0 0 7 0 0 0 18 0 1 0 150477928 19009536 1074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 4641 1074 429 324 0 2597 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18564

[startup+0.101622 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 807
/proc/meminfo: memFree=1640440/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=19900 CPUtime=0.09
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 1504 0 0 0 9 0 0 0 18 0 1 0 150477928 20377600 1355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 4975 1357 454 324 0 2931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19900

[startup+0.301642 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 807
/proc/meminfo: memFree=1640440/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=15528 CPUtime=0.29
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 2765 0 0 0 28 1 0 0 19 0 1 0 150477928 15900672 2567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 3882 2568 729 324 0 1838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15528

[startup+0.701683 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 807
/proc/meminfo: memFree=1640440/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=21476 CPUtime=0.69
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 4910 0 0 0 67 2 0 0 23 0 1 0 150477928 21991424 4458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 5369 4458 1248 324 0 3325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21476

[startup+1.50176 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 808
/proc/meminfo: memFree=1611760/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=35636 CPUtime=1.49
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 9524 0 0 0 144 5 0 0 25 0 1 0 150477928 36491264 7884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 8909 7884 304 324 0 7979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35636

[startup+3.10193 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 808
/proc/meminfo: memFree=1608688/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=40228 CPUtime=3.09
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 11691 0 0 0 297 12 0 0 25 0 1 0 150477928 41193472 9036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 10057 9036 310 324 0 9127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40228

[startup+6.30125 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 808
/proc/meminfo: memFree=1602032/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=44036 CPUtime=6.29
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 12664 0 0 0 617 12 0 0 25 0 1 0 150477928 45092864 10009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5174072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 11009 10009 310 324 0 10079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44036

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 808
/proc/meminfo: memFree=1588464/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=58216 CPUtime=12.69
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 16210 0 0 0 1255 14 0 0 25 0 1 0 150477928 59613184 13555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 14554 13555 310 324 0 13624 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58216

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 808
/proc/meminfo: memFree=1556848/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=89044 CPUtime=25.48
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 23898 0 0 0 2530 18 0 0 25 0 1 0 150477928 91181056 21243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 22261 21243 310 324 0 21331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89044

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 808
/proc/meminfo: memFree=1509936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=136108 CPUtime=51.08
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 35674 0 0 0 5081 27 0 0 25 0 1 0 150477928 139374592 33019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 34027 33019 310 324 0 33097 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 136108

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 808
/proc/meminfo: memFree=1446576/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=198992 CPUtime=102.27
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 51392 0 0 0 10190 37 0 0 25 0 1 0 150477928 203767808 48737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5156933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 49748 48737 310 324 0 48818 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 198992

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 808
/proc/meminfo: memFree=1381936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=265096 CPUtime=162.25
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 67916 0 0 0 16176 49 0 0 25 0 1 0 150477928 271458304 65261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 66274 65261 310 324 0 65344 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 265096

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 808
/proc/meminfo: memFree=1300336/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=344956 CPUtime=222.23
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 87897 0 0 0 22162 61 0 0 25 0 1 0 150477928 353234944 85242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 86239 85242 310 324 0 85309 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 344956

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 808
/proc/meminfo: memFree=1251632/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=393812 CPUtime=282.22
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 100125 0 0 0 28151 71 0 0 25 0 1 0 150477928 403263488 97470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 98453 97470 310 324 0 97523 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 393812

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=1224624/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=420432 CPUtime=342.21
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 106779 0 0 0 34144 77 0 0 25 0 1 0 150477928 430522368 104124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 105108 104124 310 324 0 104178 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 420432

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=1175344/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=470428 CPUtime=402.19
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 119281 0 0 0 40133 86 0 0 25 0 1 0 150477928 481718272 116626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 117607 116626 310 324 0 116677 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 470428

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=1134384/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=510504 CPUtime=462.18
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 129311 0 0 0 46123 95 0 0 25 0 1 0 150477928 522756096 126656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 127626 126656 310 324 0 126696 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 510504

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=1058352/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=586616 CPUtime=522.16
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 148345 0 0 0 52109 107 0 0 25 0 1 0 150477928 600694784 145690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 146654 145690 310 324 0 145724 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 586616

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=1029488/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=615252 CPUtime=582.15
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 155492 0 0 0 58098 117 0 0 25 0 1 0 150477928 630018048 152837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 153813 152837 310 324 0 152883 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 615252

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=971184/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=673124 CPUtime=642.13
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 169971 0 0 0 64085 128 0 0 25 0 1 0 150477928 689278976 167316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 168281 167316 310 324 0 167351 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 673124


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=872880/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=771336 CPUtime=882.07
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 194519 0 0 0 88055 152 0 0 25 0 1 0 150477928 789848064 191864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 192834 191864 310 324 0 191904 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 771336

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=796464/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=848440 CPUtime=942.05
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 213794 0 0 0 94041 164 0 0 25 0 1 0 150477928 868802560 211139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 212110 211139 310 324 0 211180 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 848440

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=779248/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=864880 CPUtime=1002.04
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 217882 0 0 0 100035 169 0 0 25 0 1 0 150477928 885637120 215227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 216220 215227 310 324 0 215290 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 864880

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=738544/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=905812 CPUtime=1062.02
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 228128 0 0 0 106023 179 0 0 25 0 1 0 150477928 927551488 225473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 226453 225473 310 324 0 225523 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 905812

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=716208/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=927804 CPUtime=1122
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 233614 0 0 0 112015 185 0 0 25 0 1 0 150477928 950071296 230959 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 231951 230959 310 324 0 231021 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 927804

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709872/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1181.99
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 118011 188 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 933872

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1241.97
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 124009 188 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 933872

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1301.97
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 130008 189 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5168782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 933872

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1361.94
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 136005 189 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 933872

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709872/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1421.94
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 142004 190 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 933872

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=709936/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1481.92
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 148002 190 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 933872

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710000/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1541.9
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235723 0 0 0 153999 191 0 0 25 0 1 0 150477928 956284928 232485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232485 310 324 0 232538 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 933872

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710000/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1601.88
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235724 0 0 0 159997 191 0 0 25 0 1 0 150477928 956284928 232486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232486 310 324 0 232538 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 933872

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710064/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1661.87
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235724 0 0 0 165995 192 0 0 25 0 1 0 150477928 956284928 232486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232486 310 324 0 232538 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 933872

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710000/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1721.85
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235724 0 0 0 171993 192 0 0 25 0 1 0 150477928 956284928 232486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232486 310 324 0 232538 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 933872

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710000/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1781.84
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235724 0 0 0 177991 193 0 0 25 0 1 0 150477928 956284928 232486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232486 310 324 0 232538 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 933872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 810
/proc/meminfo: memFree=710000/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=933872 CPUtime=1800.04
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194304 235724 0 0 0 179811 193 0 0 25 0 1 0 150477928 956284928 232486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 233468 232486 310 324 0 232538 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 933872

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 811
/proc/meminfo: memFree=1343592/2055920 swapFree=4157776/4192956
[pid=807] ppid=805 vsize=0 CPUtime=1800.14
/proc/807/stat : 807 (bsolo3.0.17) R 805 807 497 0 -1 4194308 235728 0 0 0 179811 203 0 0 25 0 1 0 150477928 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/807/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.66
CPU time (s): 1800.19
CPU user time (s): 1798.12
CPU system time (s): 2.07768
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 936204

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

runsolver used 1.40179 second user time and 3.83842 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Mon Apr 30 18:05:23 UTC 2007

IDJOB= 433203
IDBENCH= 2356
IDSOLVER= 199
FILE ID= node45/433203-1177956323

PBS_JOBID= 4727693

Free space on /tmp= 66554 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433203-1177956323/instance-433203-1177956323.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-433203-1177956323 -o ROOT/results/node45/solver-433203-1177956323 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433203-1177956323/instance-433203-1177956323.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a644593dc228e712d5b0d277ee939168

RANDOM SEED= 370434813

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1640912 kB
Buffers:         41692 kB
Cached:         278484 kB
SwapCached:      14656 kB
Active:         171872 kB
Inactive:       171576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640912 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:           11108 kB
Writeback:           0 kB
Mapped:          30052 kB
Slab:            57112 kB
Committed_AS:  1448196 kB
PageTables:       1732 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= 66554 MiB

End job on node45 on Mon Apr 30 18:35:26 UTC 2007