Trace number 2681617

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.1 fixedSAT (TO)11 1800.03 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
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 benchmark97.1632
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
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 constraint21
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)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.02	c constraints 1260/0 clauses 1360/0 units 0
0.00/0.02	c vars 100
0.00/0.02	c objective 100 + 0
0.29/0.34	c 0.305953 30.1641 1 1328
0.29/0.34	o 19
0.29/0.35	c 0.32295 30.8047 7 1427
0.29/0.35	o 18
0.39/0.45	c 0.411937 30.8047 107 1731
0.39/0.45	o 17
0.39/0.46	c 0.424935 30.8047 107 1822
0.39/0.46	o 16
0.49/0.53	c 0.492925 30.8047 207 2117
0.49/0.53	o 15
0.59/0.61	c 0.566913 30.8047 322 2408
0.59/0.61	o 14
1.19/1.21	c 1.13583 30.9336 1248 4048
1.19/1.21	o 13
33.29/33.30	c 31.6532 33.2539 3934 78828
33.29/33.30	o 12
1212.66/1213.09	c 1157.64 38.2578 6735 2460609
1212.66/1213.09	o 11
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	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	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681617-1277500806/watcher-2681617-1277500806 -o /tmp/evaluation-result-2681617-1277500806/solver-2681617-1277500806 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681617-1277500806.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/106 31910
/proc/meminfo: memFree=1847116/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=2136 CPUtime=0
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 269 0 0 0 0 0 0 0 24 0 1 0 125684597 2187264 188 1992294400 134512640 136421960 4293747712 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31910/statm: 534 188 146 467 0 65 0

[startup+0.050112 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31910
/proc/meminfo: memFree=1847116/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=7144 CPUtime=0.04
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 1479 0 0 0 4 0 0 0 24 0 1 0 125684597 7315456 1398 1992294400 134512640 136421960 4293747712 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 1786 1399 189 467 0 1317 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7144

[startup+0.101118 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31910
/proc/meminfo: memFree=1847116/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=11328 CPUtime=0.09
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 2498 0 0 0 8 1 0 0 24 0 1 0 125684597 11599872 2417 1992294400 134512640 136421960 4293747712 18446744073709551615 135818454 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 2832 2418 193 467 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.301142 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31910
/proc/meminfo: memFree=1847116/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=28104 CPUtime=0.29
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 6837 0 0 0 26 3 0 0 25 0 1 0 125684597 28778496 6561 1992294400 134512640 136421960 4293747712 18446744073709551615 134911696 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 7026 6561 203 467 0 6557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28104

[startup+0.701188 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31910
/proc/meminfo: memFree=1847116/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=31540 CPUtime=0.69
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 7666 0 0 0 65 4 0 0 25 0 1 0 125684597 32296960 7336 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 7885 7336 236 467 0 7416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31540

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31911
/proc/meminfo: memFree=1818464/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=31672 CPUtime=1.49
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 7729 0 0 0 140 9 0 0 25 0 1 0 125684597 32432128 7398 1992294400 134512640 136421960 4293747712 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 7918 7398 236 467 0 7449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31672

[startup+3.10047 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31911
/proc/meminfo: memFree=1817720/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=32332 CPUtime=3.09
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 7883 0 0 0 291 18 0 0 25 0 1 0 125684597 33107968 7552 1992294400 134512640 136421960 4293747712 18446744073709551615 134620054 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8083 7552 236 467 0 7614 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32332

[startup+6.30084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31911
/proc/meminfo: memFree=1816852/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=32860 CPUtime=6.29
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 7997 0 0 0 595 34 0 0 25 0 1 0 125684597 33648640 7666 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8215 7666 237 467 0 7746 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32860

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31911
/proc/meminfo: memFree=1816612/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=32992 CPUtime=12.69
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8041 0 0 0 1203 66 0 0 25 0 1 0 125684597 33783808 7710 1992294400 134512640 136421960 4293747712 18446744073709551615 135018961 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8248 7710 237 467 0 7779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32992

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31911
/proc/meminfo: memFree=1815992/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=33652 CPUtime=25.48
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8221 0 0 0 2420 128 0 0 25 0 1 0 125684597 34459648 7890 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8413 7890 237 467 0 7944 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33652

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31913
/proc/meminfo: memFree=1815496/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=34048 CPUtime=51.08
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8295 0 0 0 4857 251 0 0 25 0 1 0 125684597 34865152 7963 1992294400 134512640 136421960 4293747712 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8512 7963 237 467 0 8043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34048

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31913
/proc/meminfo: memFree=1815248/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=34048 CPUtime=102.27
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8311 0 0 0 9736 491 0 0 25 0 1 0 125684597 34865152 7979 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8512 7979 237 467 0 8043 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34048

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31915
/proc/meminfo: memFree=1814628/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=34712 CPUtime=162.25
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8480 0 0 0 15463 762 0 0 25 0 1 0 125684597 35545088 8148 1992294400 134512640 136421960 4293747712 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8678 8148 237 467 0 8209 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34712

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 31917
/proc/meminfo: memFree=1814504/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=34712 CPUtime=222.23
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8480 0 0 0 21186 1037 0 0 25 0 1 0 125684597 35545088 8148 1992294400 134512640 136421960 4293747712 18446744073709551615 135006053 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8678 8148 237 467 0 8209 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34712

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31919
/proc/meminfo: memFree=1814256/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=35108 CPUtime=282.21
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8567 0 0 0 26888 1333 0 0 25 0 1 0 125684597 35950592 8235 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 8777 8235 237 467 0 8308 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 35108

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31921
/proc/meminfo: memFree=1813388/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36032 CPUtime=342.2
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8809 0 0 0 32639 1581 0 0 25 0 1 0 125684597 36896768 8477 1992294400 134512640 136421960 4293747712 18446744073709551615 135006573 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9008 8477 237 467 0 8539 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 36032

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31921
/proc/meminfo: memFree=1813264/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36032 CPUtime=402.18
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8809 0 0 0 38378 1840 0 0 25 0 1 0 125684597 36896768 8477 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9008 8477 237 467 0 8539 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 36032

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31923
/proc/meminfo: memFree=1813140/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36032 CPUtime=462.17
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8809 0 0 0 44094 2123 0 0 25 0 1 0 125684597 36896768 8477 1992294400 134512640 136421960 4293747712 18446744073709551615 135006348 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9008 8477 237 467 0 8539 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 36032

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31925
/proc/meminfo: memFree=1813140/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36164 CPUtime=522.16
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8825 0 0 0 49816 2400 0 0 25 0 1 0 125684597 37031936 8493 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9041 8493 237 467 0 8572 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36164

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31927
/proc/meminfo: memFree=1812272/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36824 CPUtime=582.13
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8998 0 0 0 55541 2672 0 0 25 0 1 0 125684597 37707776 8666 1992294400 134512640 136421960 4293747712 18446744073709551615 135019118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9206 8666 237 467 0 8737 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 36824

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31929
/proc/meminfo: memFree=1812272/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=36824 CPUtime=642.12
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 8998 0 0 0 61265 2947 0 0 25 0 1 0 125684597 37707776 8666 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9206 8666 237 467 0 8737 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 36824

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31935
/proc/meminfo: memFree=1811776/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=37232 CPUtime=882.06
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9092 0 0 0 84188 4018 0 0 25 0 1 0 125684597 38125568 8760 1992294400 134512640 136421960 4293747712 18446744073709551615 134973945 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9308 8760 237 467 0 8839 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 37232

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31937
/proc/meminfo: memFree=1811776/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=37232 CPUtime=942.04
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9092 0 0 0 89912 4292 0 0 25 0 1 0 125684597 38125568 8760 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9308 8760 237 467 0 8839 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 37232

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31937
/proc/meminfo: memFree=1811652/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=37232 CPUtime=1002.02
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9092 0 0 0 95639 4563 0 0 25 0 1 0 125684597 38125568 8760 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9308 8760 237 467 0 8839 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 37232

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31939
/proc/meminfo: memFree=1811652/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=37232 CPUtime=1062
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9094 0 0 0 101368 4832 0 0 25 0 1 0 125684597 38125568 8762 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9308 8762 237 467 0 8839 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 37232

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31941
/proc/meminfo: memFree=1811528/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=37232 CPUtime=1121.99
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9095 0 0 0 107091 5108 0 0 25 0 1 0 125684597 38125568 8763 1992294400 134512640 136421960 4293747712 18446744073709551615 135028324 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9308 8763 237 467 0 8839 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 37232

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31943
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39876 CPUtime=1181.98
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9776 0 0 0 112829 5369 0 0 25 0 1 0 125684597 40833024 9444 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9969 9444 237 467 0 9500 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 39876

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31945
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1241.96
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 118546 5650 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 39172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31945
/proc/meminfo: memFree=1808800/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1301.95
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 124265 5930 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 39172

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31947
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1361.93
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 130001 6192 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 39172

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31949
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1421.91
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 135724 6467 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 39172

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31951
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1481.9
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 141437 6753 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 39172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31953
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1541.88
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 147159 7029 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 39172

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31953
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1601.86
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 152906 7280 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 39172

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31955
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1661.85
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 158640 7545 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 39172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31957
/proc/meminfo: memFree=1808924/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1721.83
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 164392 7791 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 39172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31959
/proc/meminfo: memFree=1808676/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1781.81
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 170139 8042 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 39172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31959
/proc/meminfo: memFree=1808676/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1800.02
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 171890 8112 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39172

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31959
/proc/meminfo: memFree=1808676/2059040 swapFree=4135556/4192956
[pid=31910] ppid=31908 vsize=39172 CPUtime=1800.02
/proc/31910/stat : 31910 (pbct) R 31908 31910 31354 0 -1 4202496 9777 0 0 0 171890 8112 0 0 25 0 1 0 125684597 40112128 9276 1992294400 134512640 136421960 4293747712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31910/statm: 9793 9276 237 467 0 9324 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39172

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1718.9
CPU system time (s): 81.1257
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 39876

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

runsolver used 3.16552 second user time and 8.31474 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-25 23:20:06
IDJOB=2681617
IDBENCH=48106
IDSOLVER=1192
FILE ID=node001/2681617-1277500806
PBS_JOBID= 11190573
Free space on /tmp= 62440 MiB

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

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

MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7
RANDOM SEED=44870704

node001.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.202
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.40
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.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1847520 kB
Buffers:         25120 kB
Cached:          88192 kB
SwapCached:       9712 kB
Active:          70116 kB
Inactive:        56112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1847520 kB
SwapTotal:     4192956 kB
SwapFree:      4135556 kB
Dirty:            1896 kB
Writeback:           0 kB
AnonPages:       11432 kB
Mapped:           8336 kB
Slab:            63368 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181960 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= 62440 MiB
End job on node001 at 2010-06-25 23:50:08