Trace number 433524

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.07 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
MD5SUMcef055af6c2a22a549e672ed9a55f2c8
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 variables51
Total number of constraints13
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 constraints12
Minimum length of a constraint1
Maximum length of a constraint50
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 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4459
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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb
0.00/0.01	c File size is 4881 bytes.
0.00/0.01	c Highest Coefficient sum: 4459
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.001 s
0.00/0.01	c Var: 51 Constr: 13 1/0/12 Lit: 587 Watch. Lit: 199
0.00/0.01	c Obj. Vars: 1 (1.96078 % of total variables)
0.00/0.01	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     50       12      586   48      200    1172      0      0 0.00
0.00/0.01	c Switching off LPR mode.
1800.06/1800.60	c      100     50      112     4382   39      522    1290    100  14285 0.01
1800.06/1800.60	c      251     50      263    10032   38      822    1420    251  16733 0.01
1800.06/1800.60	c      477     50      489    18530   37     1273    1563    477  15900 0.03
1800.06/1800.60	c      815     50      827    31580   38     1946    1720    815  15092 0.05
1800.06/1800.60	c     1323     50     1335    50571   37     2965    1893   1323  12844 0.10
1800.06/1800.60	c     2086     50     1120    40523   36     2536    2083   1108  11988 0.17
1800.06/1800.60	c     3232     50     1187    44061   37     2677    2292   1175  10631 0.30
1800.06/1800.60	c     4954     50     1727    63423   36     3760    2522   1715  10364 0.48
1800.06/1800.60	c     7538     50     1711    62749   36     3731    2775   1699   9840 0.77
1800.06/1800.60	c    11418     50     2750   103133   37     5803    3053   2738   8934 1.28
1800.06/1800.60	c    17240     50     2331    91092   39     4956    3359   2319   7963 2.17
1800.06/1800.60	c    25977     50     2518    97286   38     5346    3695   2506   7280 3.57
1800.06/1800.60	c    39087     50     2485    96453   38     5270    4065   2473   6780 5.76
1800.06/1800.60	c    58757     50     3568   136806   38     7442    4472   3556   6319 9.30
1800.06/1800.61	c    88267     50     3601   138398   38     7505    4920   3589   5978 14.76
1800.06/1800.61	c   132537     50     2982   117001   39     6261    5413   2970   5615 23.60
1800.06/1800.61	c   198947     50     3671   139560   38     7648    5955   3659   5357 37.13
1800.06/1800.61	c   298567     50     3951   156725   39     8207    6551   3939   4870 61.30
1800.06/1800.61	c   448002     50     4537   175965   38     9380    7207   4525   4375 102.38
1800.06/1800.61	c   672161     50     6917   267830   38    14133    7928   6905   3965 169.51
1800.06/1800.61	c  1008404     50     7400   294979   39    15106    8721   7388   3626 278.05
1800.06/1800.61	c  1512776     50     6634   256489   38    13575    9594   6622   3347 451.91
1800.06/1800.61	c  2269340     50     4909   189523   38    10119   10554   4897   3059 741.80
1800.06/1800.61	c  3404192     50     8780   337126   38    17859   11610   8768   2779 1224.73
1800.06/1800.61	c Caught signal: 15
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   24  4637245   3743  4641474    10117   399421  10105   2576 1800.07
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	c Total time: 1800.07 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/node1/watcher-433524-1177960523 -o ROOT/results/node1/solver-433524-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.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.94 0.97 0.97 3/77 5164
/proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=2380 CPUtime=0
/proc/5164/stat : 5164 (bsolo3.0.17) D 5162 5164 4460 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 272090168 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5829540 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5164/statm: 595 36 28 324 0 9 0

[startup+0.067616 s]
/proc/loadavg: 0.94 0.97 0.97 3/77 5164
/proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=12252 CPUtime=0.05
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 525 0 0 0 5 0 0 0 18 0 1 0 272090168 12546048 493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5164/statm: 3063 493 310 324 0 2133 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12252

[startup+0.102618 s]
/proc/loadavg: 0.94 0.97 0.97 3/77 5164
/proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=12516 CPUtime=0.09
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 582 0 0 0 9 0 0 0 18 0 1 0 272090168 12816384 550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5164/statm: 3129 550 310 324 0 2199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516

[startup+0.302644 s]
/proc/loadavg: 0.94 0.97 0.97 3/77 5164
/proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=13036 CPUtime=0.29
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 272090168 13348864 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5164/statm: 3259 677 310 324 0 2329 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13036

[startup+0.702689 s]
/proc/loadavg: 0.94 0.97 0.97 3/77 5164
/proc/meminfo: memFree=1858224/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=13296 CPUtime=0.69
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 771 0 0 0 69 0 0 0 23 0 1 0 272090168 13615104 739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6260565 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5164/statm: 3324 739 310 324 0 2394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296

[startup+1.50178 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1856104/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=13556 CPUtime=1.48
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 860 0 0 0 148 0 0 0 25 0 1 0 272090168 13881344 828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3389 828 310 324 0 2459 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13556

[startup+3.10196 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1855784/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=13816 CPUtime=3.08
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 919 0 0 0 308 0 0 0 25 0 1 0 272090168 14147584 887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3454 887 310 324 0 2524 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13816

[startup+6.30134 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1855272/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=14340 CPUtime=6.28
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1028 0 0 0 628 0 0 0 25 0 1 0 272090168 14684160 996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3585 996 310 324 0 2655 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14340

[startup+12.7011 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1854968/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=14588 CPUtime=12.67
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1098 0 0 0 1267 0 0 0 25 0 1 0 272090168 14938112 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6263699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3647 1066 310 324 0 2717 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14588

[startup+25.5016 s]
/proc/loadavg: 0.96 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1854520/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=15100 CPUtime=25.48
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1239 0 0 0 2547 1 0 0 25 0 1 0 272090168 15462400 1207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3775 1207 310 324 0 2845 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15100

[startup+51.1016 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1854072/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=15464 CPUtime=51.07
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1334 0 0 0 5106 1 0 0 25 0 1 0 272090168 15835136 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3866 1302 310 324 0 2936 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15464

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1853688/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=15844 CPUtime=102.25
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1432 0 0 0 10224 1 0 0 25 0 1 0 272090168 16224256 1400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 3961 1400 310 324 0 3031 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 15844

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1853240/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=16232 CPUtime=162.23
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1518 0 0 0 16221 2 0 0 25 0 1 0 272090168 16621568 1486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4058 1486 310 324 0 3128 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16232

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1852728/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=16704 CPUtime=222.22
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1635 0 0 0 22219 3 0 0 25 0 1 0 272090168 17104896 1603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4176 1603 310 324 0 3246 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 16704

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1852152/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17224 CPUtime=282.2
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1761 0 0 0 28217 3 0 0 25 0 1 0 272090168 17637376 1729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4306 1729 310 324 0 3376 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 17224

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1852088/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17224 CPUtime=342.18
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1771 0 0 0 34214 4 0 0 25 0 1 0 272090168 17637376 1739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4306 1739 310 324 0 3376 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 17224

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1851896/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17284 CPUtime=402.16
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1782 0 0 0 40212 4 0 0 25 0 1 0 272090168 17698816 1750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4321 1750 310 324 0 3391 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 17284

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1851512/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17740 CPUtime=462.15
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1884 0 0 0 46210 5 0 0 25 0 1 0 272090168 18165760 1852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4435 1852 310 324 0 3505 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 17740

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1851384/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17740 CPUtime=522.12
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1895 0 0 0 52207 5 0 0 25 0 1 0 272090168 18165760 1863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4435 1863 310 324 0 3505 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 17740

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1851320/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17740 CPUtime=582.11
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1904 0 0 0 58205 6 0 0 25 0 1 0 272090168 18165760 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4435 1872 310 324 0 3505 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 17740

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1851256/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=17740 CPUtime=642.1
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 1904 0 0 0 64203 7 0 0 25 0 1 0 272090168 18165760 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4435 1872 310 324 0 3505 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 17740


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

/proc/meminfo: memFree=1850296/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=18392 CPUtime=1001.99
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2053 0 0 0 100189 10 0 0 25 0 1 0 272090168 18833408 2021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4598 2021 310 324 0 3668 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 18392

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1850232/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=18392 CPUtime=1061.97
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2056 0 0 0 106186 11 0 0 25 0 1 0 272090168 18833408 2024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4598 2024 310 324 0 3668 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 18392

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5165
/proc/meminfo: memFree=1850104/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=18392 CPUtime=1121.95
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2063 0 0 0 112184 11 0 0 25 0 1 0 272090168 18833408 2031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4598 2031 310 324 0 3668 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 18392

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849912/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=18392 CPUtime=1181.94
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2063 0 0 0 118182 12 0 0 25 0 1 0 272090168 18833408 2031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4598 2031 310 324 0 3668 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 18392

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849400/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=18884 CPUtime=1241.91
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2173 0 0 0 124179 12 0 0 25 0 1 0 272090168 19337216 2141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4721 2141 310 324 0 3791 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 18884

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849144/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19104 CPUtime=1301.9
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 130177 13 0 0 25 0 1 0 272090168 19562496 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4776 2195 310 324 0 3846 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 19104

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849144/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19024 CPUtime=1361.88
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 136174 14 0 0 25 0 1 0 272090168 19480576 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4756 2195 310 324 0 3826 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 19024

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849080/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19024 CPUtime=1421.86
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 142172 14 0 0 25 0 1 0 272090168 19480576 2195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4756 2195 310 324 0 3826 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 19024

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849080/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19020 CPUtime=1481.85
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 148170 15 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4755 2194 310 324 0 3825 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 19020

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1849016/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19020 CPUtime=1541.83
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 154168 15 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4755 2194 310 324 0 3825 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 19020

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848952/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19020 CPUtime=1601.81
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2227 0 0 0 160165 16 0 0 25 0 1 0 272090168 19476480 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4755 2194 310 324 0 3825 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 19020

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848888/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19148 CPUtime=1661.79
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 166163 16 0 0 25 0 1 0 272090168 19607552 2212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4787 2212 310 324 0 3857 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 19148

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848824/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19148 CPUtime=1721.78
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 172161 17 0 0 25 0 1 0 272090168 19607552 2212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6270621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4787 2212 310 324 0 3857 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 19148

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19084 CPUtime=1781.75
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 178158 17 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4771 2210 310 324 0 3841 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 19084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06
/proc/5164/stat : 5164 (bsolo3.0.17) R 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4771 2210 310 324 0 3841 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 19084

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 5167
/proc/meminfo: memFree=1848696/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06
/proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4771 2210 310 324 0 3841 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 19084

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.97 1/79 5168
/proc/meminfo: memFree=1848688/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06
/proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4771 2210 310 324 0 3841 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 19084

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.97 1/79 5168
/proc/meminfo: memFree=1848688/2055920 swapFree=4145736/4192956
[pid=5164] ppid=5162 vsize=19084 CPUtime=1800.06
/proc/5164/stat : 5164 (bsolo3.0.17) S 5162 5164 4460 0 -1 4194304 2245 0 0 0 179988 18 0 0 25 0 1 0 272090168 19542016 2210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5164/statm: 4771 2210 310 324 0 3841 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 19084

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.182972
CPU usage (%): 99.8589
Max. virtual memory (cumulated for all children) (KiB): 19148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2245
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= 14
involuntary context switches= 37183

runsolver used 1.49177 second user time and 3.65644 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Apr 30 19:15:23 UTC 2007

IDJOB= 433524
IDBENCH= 2911
IDSOLVER= 199
FILE ID= node1/433524-1177960523

PBS_JOBID= 4727730

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_6_50_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-433524-1177960523 -o ROOT/results/node1/solver-433524-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433524-1177960523/instance-433524-1177960523.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  cef055af6c2a22a549e672ed9a55f2c8

RANDOM SEED= 575912846

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858568 kB
Buffers:          9720 kB
Cached:         100740 kB
SwapCached:      14388 kB
Active:          42984 kB
Inactive:        90148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858568 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            6652 kB
Writeback:           0 kB
Mapped:          29744 kB
Slab:            49656 kB
Committed_AS:  5274792 kB
PageTables:       1832 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 node1 on Mon Apr 30 19:45:26 UTC 2007