Trace number 2668064

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB/CT 0.1SAT (TO)12 1800.08 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_3.opb
MD5SUM8decd85a4aebca069c2c72faa547de31
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark90.1533
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products1244
Sum of products size2488

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.02	c constraints 1244/0 clauses 1344/0 units 0
0.00/0.02	c vars 100
0.00/0.02	c objective 100 + 0
0.30/0.36	c 0.339948 30.0391 1 1285
0.30/0.36	o 19
0.39/0.43	c 0.409937 30.5391 101 1605
0.39/0.43	o 18
0.39/0.45	c 0.422935 30.5391 101 1714
0.39/0.45	o 17
0.39/0.47	c 0.445932 30.5391 121 1841
0.39/0.47	o 16
0.39/0.48	c 0.460929 30.5391 126 1931
0.39/0.48	o 15
0.89/0.93	c 0.883865 30.5391 827 3308
0.89/0.93	o 14
1.99/2.09	c 1.9947 31.0547 2538 6107
1.99/2.09	o 13
67.77/67.80	c 64.4702 33.8945 5937 157293
67.77/67.80	o 12
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100

Verifier Data 

OK	12

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668064-1276656457/watcher-2668064-1276656457 -o /tmp/evaluation-result-2668064-1276656457/solver-2668064-1276656457 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668064-1276656457.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7566
/proc/meminfo: memFree=1807488/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=2208 CPUtime=0
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 39301389 2260992 193 1992294400 134512640 136485738 4292157600 18446744073709551615 134517466 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7566/statm: 552 193 156 482 0 68 0

[startup+0.027608 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7566
/proc/meminfo: memFree=1807488/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=2736 CPUtime=0.02
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 391 0 0 0 2 0 0 0 20 0 1 0 39301389 2801664 313 1992294400 134512640 136485738 4292157600 18446744073709551615 135857080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7566/statm: 749 326 169 482 0 265 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2736

[startup+0.101613 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7566
/proc/meminfo: memFree=1807488/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=10192 CPUtime=0.09
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 2248 0 0 0 9 0 0 0 20 0 1 0 39301389 10436608 2170 1992294400 134512640 136485738 4292157600 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 2548 2170 198 482 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10192

[startup+0.30163 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7566
/proc/meminfo: memFree=1807488/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=27592 CPUtime=0.3
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 6618 0 0 0 28 2 0 0 20 0 1 0 39301389 28254208 6380 1992294400 134512640 136485738 4292157600 18446744073709551615 134831919 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 6898 6380 210 482 0 6414 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27592

[startup+0.701666 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 7566
/proc/meminfo: memFree=1807488/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=31268 CPUtime=0.69
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 7553 0 0 0 66 3 0 0 20 0 1 0 39301389 32018432 7263 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 7817 7263 243 482 0 7333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31268

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7567
/proc/meminfo: memFree=1779208/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=31532 CPUtime=1.49
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 7623 0 0 0 142 7 0 0 22 0 1 0 39301389 32288768 7332 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 7883 7332 244 482 0 7399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31532

[startup+3.10088 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7567
/proc/meminfo: memFree=1778464/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=32060 CPUtime=3.09
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 7769 0 0 0 293 16 0 0 25 0 1 0 39301389 32829440 7477 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8015 7477 244 482 0 7531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32060

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7567
/proc/meminfo: memFree=1777720/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=32456 CPUtime=6.28
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 7836 0 0 0 598 30 0 0 25 0 1 0 39301389 33234944 7544 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8114 7544 244 482 0 7630 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32456

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7567
/proc/meminfo: memFree=1776852/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=33252 CPUtime=12.68
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8052 0 0 0 1204 64 0 0 25 0 1 0 39301389 34050048 7760 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8313 7760 244 482 0 7829 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33252

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7569
/proc/meminfo: memFree=1776852/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=33384 CPUtime=25.48
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8068 0 0 0 2416 132 0 0 25 0 1 0 39301389 34185216 7776 1992294400 134512640 136485738 4292157600 18446744073709551615 135051204 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8346 7776 244 482 0 7862 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33384

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7569
/proc/meminfo: memFree=1776108/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=33912 CPUtime=51.08
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8225 0 0 0 4853 255 0 0 25 0 1 0 39301389 34725888 7933 1992294400 134512640 136485738 4292157600 18446744073709551615 135040750 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8478 7933 244 482 0 7994 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33912

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7571
/proc/meminfo: memFree=1775240/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34704 CPUtime=102.27
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8399 0 0 0 9728 499 0 0 25 0 1 0 39301389 35536896 8106 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8676 8106 244 482 0 8192 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34704

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7571
/proc/meminfo: memFree=1775116/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34704 CPUtime=162.25
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8399 0 0 0 15445 780 0 0 25 0 1 0 39301389 35536896 8106 1992294400 134512640 136485738 4292157600 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8676 8106 244 482 0 8192 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34704

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7573
/proc/meminfo: memFree=1775116/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34704 CPUtime=222.23
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8399 0 0 0 21151 1072 0 0 25 0 1 0 39301389 35536896 8106 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8676 8106 244 482 0 8192 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34704

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7575
/proc/meminfo: memFree=1775116/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34704 CPUtime=282.21
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8399 0 0 0 26855 1366 0 0 25 0 1 0 39301389 35536896 8106 1992294400 134512640 136485738 4292157600 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8676 8106 244 482 0 8192 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34704

[startup+342.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 7577
/proc/meminfo: memFree=1775116/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34704 CPUtime=342.19
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8422 0 0 0 32594 1625 0 0 25 0 1 0 39301389 35536896 8129 1992294400 134512640 136485738 4292157600 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8676 8129 244 482 0 8192 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34704

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 7579
/proc/meminfo: memFree=1774992/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=34968 CPUtime=402.17
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8479 0 0 0 38314 1903 0 0 25 0 1 0 39301389 35807232 8186 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8742 8186 244 482 0 8258 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 34968

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7579
/proc/meminfo: memFree=1774744/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=35100 CPUtime=462.15
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8511 0 0 0 44030 2185 0 0 25 0 1 0 39301389 35942400 8218 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8775 8218 244 482 0 8291 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 35100

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7581
/proc/meminfo: memFree=1774124/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=35496 CPUtime=522.13
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8621 0 0 0 49736 2477 0 0 25 0 1 0 39301389 36347904 8328 1992294400 134512640 136485738 4292157600 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8874 8328 244 482 0 8390 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 35496

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7583
/proc/meminfo: memFree=1774124/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=35496 CPUtime=582.11
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8621 0 0 0 55441 2770 0 0 25 0 1 0 39301389 36347904 8328 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8874 8328 244 482 0 8390 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 35496

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7585
/proc/meminfo: memFree=1773876/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=35760 CPUtime=642.1
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8674 0 0 0 61145 3065 0 0 25 0 1 0 39301389 36618240 8381 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 8940 8381 244 482 0 8456 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 35760

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7598
/proc/meminfo: memFree=1772388/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36288 CPUtime=822.02
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8817 0 0 0 78296 3906 0 0 25 0 1 0 39301389 37158912 8524 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9072 8524 244 482 0 8588 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 36288

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 7600
/proc/meminfo: memFree=1772388/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36288 CPUtime=882.01
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8817 0 0 0 84001 4200 0 0 25 0 1 0 39301389 37158912 8524 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9072 8524 244 482 0 8588 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 36288

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7602
/proc/meminfo: memFree=1772388/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36420 CPUtime=941.98
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8847 0 0 0 89703 4495 0 0 25 0 1 0 39301389 37294080 8554 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9105 8554 244 482 0 8621 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 36420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7604
/proc/meminfo: memFree=1772388/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36420 CPUtime=1001.98
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8847 0 0 0 95404 4794 0 0 25 0 1 0 39301389 37294080 8554 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9105 8554 244 482 0 8621 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 36420

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7604
/proc/meminfo: memFree=1772388/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36552 CPUtime=1061.95
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8870 0 0 0 101103 5092 0 0 25 0 1 0 39301389 37429248 8577 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9138 8577 244 482 0 8654 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 36552

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7606
/proc/meminfo: memFree=1772264/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36552 CPUtime=1121.93
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8870 0 0 0 106824 5369 0 0 25 0 1 0 39301389 37429248 8577 1992294400 134512640 136485738 4292157600 18446744073709551615 135039082 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9138 8577 244 482 0 8654 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 36552

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 7608
/proc/meminfo: memFree=1772140/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36552 CPUtime=1181.92
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8870 0 0 0 112561 5631 0 0 25 0 1 0 39301389 37429248 8577 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9138 8577 244 482 0 8654 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 36552

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 7610
/proc/meminfo: memFree=1771892/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36948 CPUtime=1241.9
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8959 0 0 0 118258 5932 0 0 25 0 1 0 39301389 37834752 8666 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9237 8666 244 482 0 8753 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 36948

[startup+1302.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 7612
/proc/meminfo: memFree=1771768/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36948 CPUtime=1301.89
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8960 0 0 0 123975 6214 0 0 25 0 1 0 39301389 37834752 8667 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9237 8667 244 482 0 8753 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 36948

[startup+1362.3 s]
/proc/loadavg: 1.14 1.05 1.01 2/108 7612
/proc/meminfo: memFree=1771768/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36948 CPUtime=1361.87
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8960 0 0 0 129716 6471 0 0 25 0 1 0 39301389 37834752 8667 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9237 8667 244 482 0 8753 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 36948

[startup+1422.31 s]
/proc/loadavg: 1.10 1.05 1.01 2/108 7614
/proc/meminfo: memFree=1771768/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36948 CPUtime=1421.87
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8960 0 0 0 135420 6767 0 0 25 0 1 0 39301389 37834752 8667 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9237 8667 244 482 0 8753 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 36948

[startup+1482.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/108 7616
/proc/meminfo: memFree=1771768/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=36948 CPUtime=1481.84
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 8960 0 0 0 141116 7068 0 0 25 0 1 0 39301389 37834752 8667 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9237 8667 244 482 0 8753 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 36948

[startup+1542.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/108 7618
/proc/meminfo: memFree=1771768/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=37344 CPUtime=1541.82
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9085 0 0 0 146835 7347 0 0 25 0 1 0 39301389 38240256 8792 1992294400 134512640 136485738 4292157600 18446744073709551615 134922002 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9336 8792 244 482 0 8852 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 37344

[startup+1602.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 7620
/proc/meminfo: memFree=1769784/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=39324 CPUtime=1601.81
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9554 0 0 0 152563 7618 0 0 25 0 1 0 39301389 40267776 9261 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9831 9261 244 482 0 9347 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 39324

[startup+1662.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 7620
/proc/meminfo: memFree=1770280/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=37992 CPUtime=1661.78
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9554 0 0 0 158302 7876 0 0 25 0 1 0 39301389 38903808 8960 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9498 8960 244 482 0 9014 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 37992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 7622
/proc/meminfo: memFree=1770156/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=37992 CPUtime=1721.77
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9554 0 0 0 164037 8140 0 0 25 0 1 0 39301389 38903808 8960 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9498 8960 244 482 0 9014 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 37992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 7624
/proc/meminfo: memFree=1769908/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=37992 CPUtime=1781.76
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9554 0 0 0 169766 8410 0 0 25 0 1 0 39301389 38903808 8960 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9498 8960 244 482 0 9014 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 37992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.00 3/108 7624
/proc/meminfo: memFree=1770032/2059040 swapFree=4140108/4192956
[pid=7566] ppid=7564 vsize=37992 CPUtime=1800.07
/proc/7566/stat : 7566 (pbct) R 7564 7566 5501 0 -1 4202496 9554 0 0 0 171516 8491 0 0 25 0 1 0 39301389 38903808 8960 1992294400 134512640 136485738 4292157600 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7566/statm: 9498 8960 244 482 0 9014 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 37992

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1715.16
CPU system time (s): 84.9171
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 39324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.16
system time used= 84.9171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9554
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= 1
involuntary context switches= 3511

runsolver used 3.10353 second user time and 8.37773 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-16 04:47:37
IDJOB=2668064
IDBENCH=48147
IDSOLVER=1170
FILE ID=node025/2668064-1276656457
PBS_JOBID= 11172423
Free space on /tmp= 62580 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_3.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668064-1276656457/watcher-2668064-1276656457 -o /tmp/evaluation-result-2668064-1276656457/solver-2668064-1276656457 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668064-1276656457.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31
RANDOM SEED=302236440

node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808016 kB
Buffers:         49812 kB
Cached:         112364 kB
SwapCached:       7256 kB
Active:          97984 kB
Inactive:        78796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808016 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            1888 kB
Writeback:           0 kB
AnonPages:       12032 kB
Mapped:          13036 kB
Slab:            52464 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node025 at 2010-06-16 05:17:39