Trace number 433506

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.11 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUMdc0a3aac3e055af09a2312e5ef9f2aef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
Number of bits of the biggest sum of numbers13
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/433506-1177960152/instance-433506-1177960152.opb
0.00/0.00	c File size is 8963 bytes.
0.00/0.00	c Highest Coefficient sum: 5346
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 71 Constr: 17 1/0/16 Lit: 1099 Watch. Lit: 355
0.00/0.00	c Obj. Vars: 1 (1.40845 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     70       16     1098   68      357    2196      0      0 0.01
0.00/0.00	c Switching off LPR mode.
1800.09/1800.60	c      100     70      116     6334   54      753    2416    100   8333 0.01
1800.09/1800.60	c      250     70      266    14233   53     1064    2658    250  10416 0.02
1800.09/1800.60	c      476     70      492    26076   53     1517    2924    476  10577 0.04
1800.09/1800.60	c      814     70      830    43936   52     2194    3217    814  10571 0.08
1800.09/1800.60	c     1322     70     1338    70089   52     3203    3539   1322  10015 0.13
1800.09/1800.60	c     2085     70     2101   109302   52     4721    3893   2085   9477 0.22
1800.09/1800.60	c     3231     70     3247   171343   52     7035    4283   3231   8263 0.39
1800.09/1800.60	c     4952     70     2773   142709   51     6066    4712   2757   7525 0.66
1800.09/1800.60	c     7537     70     2948   153384   52     6430    5184   2932   6965 1.08
1800.09/1800.60	c    11416     70     4178   226667   54     8906    5703   4162   6482 1.76
1800.09/1800.60	c    17238     70     4204   236599   56     8960    6274   4188   5569 3.10
1800.09/1800.60	c    25975     70     3367   183094   54     7278    6902   3351   4601 5.64
1800.09/1800.60	c    39085     70     5959   338352   56    12464    7593   5943   4096 9.54
1800.09/1800.60	c    58756     70     6378   358128   56    13315    8353   6362   3665 16.03
1800.09/1800.60	c    88266     70     6328   339610   53    13212    9189   6312   3199 27.59
1800.09/1800.60	c   132536     70     8777   503003   57    18112   10108   8761   2856 46.41
1800.09/1800.60	c   198946     70     8854   498099   56    18267   11119   8838   2533 78.52
1800.09/1800.60	c   298567     70     7490   415199   55    15527   12231   7474   2240 133.26
1800.09/1800.60	c   448003     70     9044   521099   57    18647   13455   9028   1991 224.91
1800.09/1800.60	c   672161     70     9532   549702   57    19618   14801   9516   1786 376.34
1800.09/1800.60	c  1008404     70    10528   598461   56    21609   16282  10512   1633 617.24
1800.09/1800.60	c  1512775     70    15251   864200   56    31053   17911  15235   1466 1031.26
1800.09/1800.60	c  2269338     70    15431   874364   56    31418   19703  15415   1306 1737.48
1800.09/1800.60	c Caught signal: 15
1800.09/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.60	c   23  2336717   1757  2339176    13498   758303  13482   1298 1800.10
1800.09/1800.60	s UNKNOWN
1800.09/1800.60	c Total time: 1800.1 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/node12/watcher-433506-1177960152 -o ROOT/results/node12/solver-433506-1177960152 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 1510
/proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=19560 CPUtime=0
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 272052588 20029440 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 4890 333 280 324 0 3957 0

[startup+0.0470241 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 1510
/proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=12124 CPUtime=0.04
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 493 0 0 0 4 0 0 0 18 0 1 0 272052588 12414976 460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 3031 460 310 324 0 2101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12124

[startup+0.101029 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 1510
/proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=12516 CPUtime=0.09
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 272052588 12816384 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 3129 564 310 324 0 2199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516

[startup+0.301049 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 1510
/proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=13808 CPUtime=0.29
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 915 0 0 0 29 0 0 0 19 0 1 0 272052588 14139392 882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 3452 882 310 324 0 2522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13808

[startup+0.701089 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 1510
/proc/meminfo: memFree=1853360/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=15100 CPUtime=0.69
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1245 0 0 0 69 0 0 0 22 0 1 0 272052588 15462400 1212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10126689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 3775 1212 310 324 0 2845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15100

[startup+1.50117 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1849320/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=15876 CPUtime=1.49
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1440 0 0 0 149 0 0 0 25 0 1 0 272052588 16257024 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 3969 1407 310 324 0 3039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15876

[startup+3.10133 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1848232/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=16528 CPUtime=3.09
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1596 0 0 0 309 0 0 0 25 0 1 0 272052588 16924672 1563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 4132 1563 310 324 0 3202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16528

[startup+6.30165 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1847528/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=17044 CPUtime=6.29
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 1713 0 0 0 628 1 0 0 25 0 1 0 272052588 17453056 1680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 4261 1680 310 324 0 3331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17044

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1846376/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=18208 CPUtime=12.69
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2009 0 0 0 1268 1 0 0 25 0 1 0 272052588 18644992 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 4552 1976 310 324 0 3622 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18208

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1845864/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=18728 CPUtime=25.48
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2136 0 0 0 2547 1 0 0 25 0 1 0 272052588 19177472 2103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 4682 2103 310 324 0 3752 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18728

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1844136/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=20380 CPUtime=51.07
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2557 0 0 0 5106 1 0 0 25 0 1 0 272052588 20869120 2524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5095 2524 310 324 0 4165 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20380

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1843304/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=21248 CPUtime=102.26
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2775 0 0 0 10224 2 0 0 25 0 1 0 272052588 21757952 2742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5312 2742 310 324 0 4382 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21248

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1842408/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=22080 CPUtime=162.24
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2991 0 0 0 16222 2 0 0 25 0 1 0 272052588 22609920 2958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5520 2958 310 324 0 4590 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22080

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1842408/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=22052 CPUtime=222.23
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 2991 0 0 0 22220 3 0 0 25 0 1 0 272052588 22581248 2952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5513 2952 310 324 0 4583 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22052

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1841128/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=23300 CPUtime=282.21
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3302 0 0 0 28218 3 0 0 25 0 1 0 272052588 23859200 3263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5825 3263 310 324 0 4895 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23300

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1841000/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=23376 CPUtime=342.19
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3320 0 0 0 34215 4 0 0 25 0 1 0 272052588 23937024 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 5844 3281 310 324 0 4914 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 23376

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1840040/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=24364 CPUtime=402.17
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 40213 4 0 0 25 0 1 0 272052588 24948736 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6091 3512 310 324 0 5161 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 24364

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1840168/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=24356 CPUtime=462.16
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 46211 5 0 0 25 0 1 0 272052588 24940544 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6089 3512 310 324 0 5159 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 24356

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1840232/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=24348 CPUtime=522.14
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3551 0 0 0 52209 5 0 0 25 0 1 0 272052588 24932352 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6087 3512 310 324 0 5157 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24348

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1840168/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=24436 CPUtime=582.12
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3569 0 0 0 58206 6 0 0 25 0 1 0 272052588 25022464 3530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6109 3530 310 324 0 5179 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24436

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1838952/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=25592 CPUtime=642.11
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3859 0 0 0 64205 6 0 0 25 0 1 0 272052588 26206208 3820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6398 3820 310 324 0 5468 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 25592


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1838632/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=25696 CPUtime=822.06
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 82198 8 0 0 25 0 1 0 272052588 26312704 3862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6424 3862 310 324 0 5494 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 25696

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1838632/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=25696 CPUtime=882.04
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 88196 8 0 0 25 0 1 0 272052588 26312704 3862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6424 3862 310 324 0 5494 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 25696

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1838568/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=25680 CPUtime=942.02
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3908 0 0 0 94193 9 0 0 25 0 1 0 272052588 26296320 3858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6420 3858 310 324 0 5490 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 25680

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1838440/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=25800 CPUtime=1002
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 3929 0 0 0 100191 9 0 0 25 0 1 0 272052588 26419200 3878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6450 3878 310 324 0 5520 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 25800

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27256 CPUtime=1061.99
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4296 0 0 0 106189 10 0 0 25 0 1 0 272052588 27910144 4245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10125464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6814 4245 310 324 0 5884 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 27256

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27332 CPUtime=1121.97
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 112187 10 0 0 25 0 1 0 272052588 27987968 4265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6833 4265 310 324 0 5903 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 27332

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27332 CPUtime=1181.96
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 118185 11 0 0 25 0 1 0 272052588 27987968 4265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6833 4265 310 324 0 5903 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 27332

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27272 CPUtime=1241.94
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 124183 11 0 0 25 0 1 0 272052588 27926528 4257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6818 4257 310 324 0 5888 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 27272

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27268 CPUtime=1301.93
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 130181 12 0 0 25 0 1 0 272052588 27922432 4256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6817 4256 310 324 0 5887 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 27268

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27264 CPUtime=1361.91
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 136179 12 0 0 25 0 1 0 272052588 27918336 4255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6816 4255 310 324 0 5886 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 27264

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1837096/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27260 CPUtime=1421.89
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 142177 12 0 0 25 0 1 0 272052588 27914240 4254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6815 4254 310 324 0 5885 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 27260

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1511
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27252 CPUtime=1481.87
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 148174 13 0 0 25 0 1 0 272052588 27906048 4252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6813 4252 310 324 0 5883 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 27252

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27248 CPUtime=1541.85
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 154172 13 0 0 25 0 1 0 272052588 27901952 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6812 4251 310 324 0 5882 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 27248

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27244 CPUtime=1601.84
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 160170 14 0 0 25 0 1 0 272052588 27897856 4250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6811 4250 310 324 0 5881 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 27244

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1837032/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27244 CPUtime=1661.82
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 166168 14 0 0 25 0 1 0 272052588 27897856 4250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6811 4250 310 324 0 5881 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 27244

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1836968/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=27240 CPUtime=1721.8
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4316 0 0 0 172166 14 0 0 25 0 1 0 272052588 27893760 4249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 6810 4249 310 324 0 5880 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 27240

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1835880/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=28364 CPUtime=1781.79
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4594 0 0 0 178164 15 0 0 25 0 1 0 272052588 29044736 4527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 7091 4527 310 324 0 6161 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 28364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 1513
/proc/meminfo: memFree=1835816/2055920 swapFree=4160072/4192956
[pid=1510] ppid=1508 vsize=28440 CPUtime=1800.09
/proc/1510/stat : 1510 (bsolo3.0.17) R 1508 1510 850 0 -1 4194304 4603 0 0 0 179994 15 0 0 25 0 1 0 272052588 29122560 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1510/statm: 7110 4536 310 324 0 6180 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 28440

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

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

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.95
CPU system time (s): 0.159975
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 28440

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

runsolver used 1.39979 second user time and 3.80542 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Apr 30 19:09:12 UTC 2007

IDJOB= 433506
IDBENCH= 2893
IDSOLVER= 199
FILE ID= node12/433506-1177960152

PBS_JOBID= 4727707

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-433506-1177960152 -o ROOT/results/node12/solver-433506-1177960152 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433506-1177960152/instance-433506-1177960152.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  dc0a3aac3e055af09a2312e5ef9f2aef

RANDOM SEED= 56450436

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:       1853768 kB
Buffers:         33340 kB
Cached:          81492 kB
SwapCached:      11512 kB
Active:          48752 kB
Inactive:        89888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853768 kB
SwapTotal:     4192956 kB
SwapFree:      4160072 kB
Dirty:            6612 kB
Writeback:           0 kB
Mapped:          30780 kB
Slab:            49024 kB
Committed_AS:  6250472 kB
PageTables:       1796 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= 66558 MiB

End job on node12 on Mon Apr 30 19:39:15 UTC 2007