Trace number 372405

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
oree 0.1.2 alphaSAT (TO)11206 1800.15 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
MD5SUM75c7e5778aa6d0e8c18984c9064c30c6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8908
Best CPU time to get the best result obtained on this benchmark0.041993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8908
Optimality of the best value was proved YES
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=253 #constraints=287 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.00/0.00	c nbDecision=230 #constraints=287
0.00/0.00	c linear search for optimum
0.00/0.00	o 11514
0.09/0.16	c restart after 401 decisions
0.09/0.16	c nbDecision=500 #constraints=535
0.39/0.44	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=871
1.39/1.42	c nbDecision=1500 #constraints=1388
1.59/1.68	c restart after 1601 decisions
2.39/2.40	c nbDecision=2000 #constraints=1759
4.39/4.46	c nbDecision=2500 #constraints=2263
7.39/7.45	c nbDecision=3000 #constraints=2788
8.59/8.69	c restart after 3201 decisions
10.29/10.36	c nbDecision=3500 #constraints=3143
15.19/15.29	c nbDecision=4000 #constraints=3650
20.38/20.40	c nbDecision=4500 #constraints=4128
29.49/29.54	c nbDecision=5000 #constraints=4656
38.58/38.66	c nbDecision=5500 #constraints=5149
49.49/49.57	c nbDecision=6000 #constraints=5656
55.98/56.05	c restart after 6401 decisions
56.08/56.17	c nbDecision=6500 #constraints=6021
68.57/68.64	c nbDecision=7000 #constraints=6497
80.17/80.25	c nbDecision=7500 #constraints=6985
96.37/96.41	c nbDecision=8000 #constraints=7505
109.06/109.17	c nbDecision=8500 #constraints=8023
131.46/131.51	c nbDecision=9000 #constraints=8479
152.35/152.42	c nbDecision=9500 #constraints=9005
173.65/173.76	c nbDecision=10000 #constraints=9519
193.14/193.29	c nbDecision=10500 #constraints=10016
218.83/218.96	c nbDecision=11000 #constraints=10500
240.03/240.12	c nbDecision=11418 #constraints=10897
240.03/240.12	o 11469
240.03/240.16	c nbDecision=11422 #constraints=10904
240.03/240.16	o 11447
240.03/240.17	c nbDecision=11423 #constraints=10907
240.03/240.17	o 11390
244.43/244.59	c nbDecision=11500 #constraints=11001
254.13/254.29	c nbDecision=11707 #constraints=11204
254.13/254.29	o 11334
265.42/265.53	c nbDecision=12000 #constraints=11516
275.22/275.37	c nbDecision=12194 #constraints=11690
275.22/275.37	o 11319
275.22/275.37	c nbDecision=12195 #constraints=11693
275.22/275.37	o 11262
290.52/290.69	c nbDecision=12479 #constraints=11989
290.52/290.69	o 11206
292.22/292.38	c nbDecision=12500 #constraints=12024
304.71/304.84	c restart after 12801 decisions
308.91/309.01	c nbDecision=13000 #constraints=12430
337.00/337.16	c nbDecision=13500 #constraints=12935
373.20/373.32	c nbDecision=14000 #constraints=13408
412.99/413.10	c nbDecision=14500 #constraints=13906
450.37/450.58	c nbDecision=15000 #constraints=14423
482.07/482.21	c nbDecision=15500 #constraints=14910
519.36/519.59	c nbDecision=16000 #constraints=15419
549.15/549.38	c nbDecision=16500 #constraints=15907
602.94/603.11	c nbDecision=17000 #constraints=16431
640.42/640.60	c nbDecision=17500 #constraints=16901
688.71/688.90	c nbDecision=18000 #constraints=17432
730.80/731.02	c nbDecision=18500 #constraints=17928
773.29/773.56	c nbDecision=19000 #constraints=18404
821.18/821.45	c nbDecision=19500 #constraints=18901
867.27/867.54	c nbDecision=20000 #constraints=19437
910.96/911.29	c nbDecision=20500 #constraints=19931
970.54/970.88	c nbDecision=21000 #constraints=20437
1038.53/1038.84	c nbDecision=21500 #constraints=20929
1084.32/1084.65	c nbDecision=22000 #constraints=21441
1132.21/1132.53	c nbDecision=22500 #constraints=21931
1186.69/1187.01	c nbDecision=23000 #constraints=22423
1232.38/1232.72	c nbDecision=23500 #constraints=22923
1267.66/1268.07	c nbDecision=24000 #constraints=23435
1323.05/1323.44	c nbDecision=24500 #constraints=23912
1386.65/1387.03	c nbDecision=25000 #constraints=24430
1439.62/1440.02	c nbDecision=25500 #constraints=24933
1450.62/1451.07	c restart after 25601 decisions
1491.61/1492.01	c nbDecision=26000 #constraints=25314
1551.79/1552.29	c nbDecision=26500 #constraints=25826
1596.88/1597.35	c nbDecision=27000 #constraints=26310
1673.67/1674.15	c nbDecision=27500 #constraints=26838
1741.15/1741.64	c nbDecision=28000 #constraints=27326
1800.04/1800.50	Received signal 15
1800.04/1800.59	
1800.04/1800.59	s SATISFIABLE
1800.04/1800.59	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
1800.04/1800.59	v -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
1800.04/1800.59	v 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
1800.04/1800.59	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105
1800.04/1800.59	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126
1800.04/1800.59	v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147
1800.04/1800.59	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.04/1800.59	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 -x189
1800.04/1800.59	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210
1800.04/1800.59	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.04/1800.59	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.04/1800.59	v x253
1800.04/1800.59	
1800.04/1800.59	c user time= 1799.87 s
1800.04/1800.59	c system time= 0.263959 s
1800.04/1800.59	c wall clock time=1800.6

Verifier Data (download as text)

OK	11206

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-372405-1177092999 -o ROOT/results/node44/solver-372405-1177092999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.opb mod 

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: 1.01 1.02 1.00 3/77 16684
/proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=1468 CPUtime=0
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 157211566 1503232 180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 367 180 137 317 0 46 0

[startup+0.00890007 s]
/proc/loadavg: 1.01 1.02 1.00 3/77 16684
/proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=1600 CPUtime=0
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 157211566 1638400 224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135288029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 400 224 167 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.101909 s]
/proc/loadavg: 1.01 1.02 1.00 3/77 16684
/proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=1860 CPUtime=0.09
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 319 0 0 0 9 0 0 0 18 0 1 0 157211566 1904640 301 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 465 301 170 317 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1860

[startup+0.301929 s]
/proc/loadavg: 1.01 1.02 1.00 3/77 16684
/proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=2388 CPUtime=0.29
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 449 0 0 0 29 0 0 0 19 0 1 0 157211566 2445312 431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 597 431 170 317 0 276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2388

[startup+0.70197 s]
/proc/loadavg: 1.01 1.02 1.00 3/77 16684
/proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=3176 CPUtime=0.69
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 630 0 0 0 69 0 0 0 23 0 1 0 157211566 3252224 612 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 794 612 170 317 0 473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3176

[startup+1.50105 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16685
/proc/meminfo: memFree=1723504/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=4132 CPUtime=1.49
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 866 0 0 0 149 0 0 0 25 0 1 0 157211566 4231168 848 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 1033 848 170 317 0 712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4132

[startup+3.10122 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16685
/proc/meminfo: memFree=1722416/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=5180 CPUtime=3.09
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1143 0 0 0 309 0 0 0 25 0 1 0 157211566 5304320 1125 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 1295 1125 170 317 0 974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5180

[startup+6.30254 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16685
/proc/meminfo: memFree=1720560/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=6808 CPUtime=6.29
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1515 0 0 0 629 0 0 0 25 0 1 0 157211566 6971392 1497 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 1702 1497 170 317 0 1381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6808

[startup+12.7012 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 16685
/proc/meminfo: memFree=1718520/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=8508 CPUtime=12.69
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1944 0 0 0 1268 1 0 0 25 0 1 0 157211566 8712192 1926 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 2127 1926 170 317 0 1806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8508

[startup+25.5015 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 16685
/proc/meminfo: memFree=1716152/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=10984 CPUtime=25.48
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 2495 0 0 0 2547 1 0 0 25 0 1 0 157211566 11247616 2477 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 2746 2477 170 317 0 2425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10984

[startup+51.1012 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16685
/proc/meminfo: memFree=1713400/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=13656 CPUtime=51.08
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 3183 0 0 0 5105 3 0 0 25 0 1 0 157211566 13983744 3165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 3414 3165 170 317 0 3093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13656

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16685
/proc/meminfo: memFree=1708984/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=18072 CPUtime=102.27
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 4280 0 0 0 10223 4 0 0 25 0 1 0 157211566 18505728 4262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 4518 4262 170 317 0 4197 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18072

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1705464/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=22168 CPUtime=162.25
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 5207 0 0 0 16220 5 0 0 25 0 1 0 157211566 22700032 5132 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 5542 5132 170 317 0 5221 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22168

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1702776/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=24824 CPUtime=222.24
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 5878 0 0 0 22217 7 0 0 25 0 1 0 157211566 25419776 5803 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 6206 5803 170 317 0 5885 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 24824

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1699960/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=27644 CPUtime=282.22
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 6568 0 0 0 28214 8 0 0 25 0 1 0 157211566 28307456 6493 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 6911 6493 170 317 0 6590 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27644

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1697336/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=30216 CPUtime=342.2
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 7206 0 0 0 34212 8 0 0 25 0 1 0 157211566 30941184 7131 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 7554 7131 170 317 0 7233 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 30216

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1695864/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=31676 CPUtime=402.18
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 7596 0 0 0 40209 9 0 0 25 0 1 0 157211566 32436224 7521 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 7919 7521 170 317 0 7598 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31676

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1694072/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=33560 CPUtime=462.17
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8043 0 0 0 46207 10 0 0 25 0 1 0 157211566 34365440 7968 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 8390 7968 170 317 0 8069 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 33560

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1692280/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=35516 CPUtime=522.15
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8487 0 0 0 52204 11 0 0 25 0 1 0 157211566 36368384 8412 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 8879 8412 170 317 0 8558 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 35516

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1690680/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=37120 CPUtime=582.15
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8886 0 0 0 58203 12 0 0 25 0 1 0 157211566 38010880 8811 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 9280 8811 170 317 0 8959 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 37120

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16685
/proc/meminfo: memFree=1689144/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=40044 CPUtime=642.13
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 9544 0 0 0 64201 12 0 0 25 0 1 0 157211566 41005056 9191 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 10011 9191 170 317 0 9690 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 40044


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

[startup+882.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 16685
/proc/meminfo: memFree=1683448/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=45752 CPUtime=882.06
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 10999 0 0 0 88191 15 0 0 25 0 1 0 157211566 46850048 10646 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 11438 10646 170 317 0 11117 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 45752

[startup+942.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 16685
/proc/meminfo: memFree=1682296/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=46940 CPUtime=942.05
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11284 0 0 0 94189 16 0 0 25 0 1 0 157211566 48066560 10931 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 11735 10931 170 317 0 11414 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 46940

[startup+1002.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 16685
/proc/meminfo: memFree=1681272/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=48004 CPUtime=1002.04
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11540 0 0 0 100187 17 0 0 25 0 1 0 157211566 49156096 11187 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 12001 11187 170 317 0 11680 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 48004

[startup+1062.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 16685
/proc/meminfo: memFree=1680248/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=48920 CPUtime=1062.02
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11789 0 0 0 106185 17 0 0 25 0 1 0 157211566 50094080 11436 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 12230 11436 170 317 0 11909 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 48920

[startup+1122.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/78 16685
/proc/meminfo: memFree=1678712/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=50480 CPUtime=1122.01
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12166 0 0 0 112183 18 0 0 25 0 1 0 157211566 51691520 11813 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 12620 11813 170 317 0 12299 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 50480

[startup+1182.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/78 16685
/proc/meminfo: memFree=1677560/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=51700 CPUtime=1181.99
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12462 0 0 0 118181 18 0 0 25 0 1 0 157211566 52940800 12109 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 12925 12109 170 317 0 12604 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 51700

[startup+1242.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 16685
/proc/meminfo: memFree=1675960/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=53188 CPUtime=1241.97
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12855 0 0 0 124178 19 0 0 25 0 1 0 157211566 54464512 12502 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 13297 12502 170 317 0 12976 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 53188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 16685
/proc/meminfo: memFree=1674360/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=54900 CPUtime=1301.97
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13241 0 0 0 130177 20 0 0 25 0 1 0 157211566 56217600 12888 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 13725 12888 170 317 0 13404 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 54900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 16687
/proc/meminfo: memFree=1673464/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=55692 CPUtime=1361.94
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13460 0 0 0 136174 20 0 0 25 0 1 0 157211566 57028608 13107 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 13923 13107 170 317 0 13602 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 55692

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16687
/proc/meminfo: memFree=1672312/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=56744 CPUtime=1421.93
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13750 0 0 0 142172 21 0 0 25 0 1 0 157211566 58105856 13397 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 14186 13397 170 317 0 13865 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 56744

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 16687
/proc/meminfo: memFree=1671288/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=57980 CPUtime=1481.92
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14041 0 0 0 148170 22 0 0 25 0 1 0 157211566 59371520 13655 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 14495 13655 170 317 0 14174 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 57980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1670136/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=59304 CPUtime=1541.89
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14343 0 0 0 154167 22 0 0 25 0 1 0 157211566 60727296 13924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 14826 13924 170 317 0 14505 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 59304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1668856/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=60500 CPUtime=1601.89
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14679 0 0 0 160165 24 0 0 25 0 1 0 157211566 61952000 14260 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 15125 14260 170 317 0 14804 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 60500

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1668088/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=61292 CPUtime=1661.87
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14877 0 0 0 166163 24 0 0 25 0 1 0 157211566 62763008 14458 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 15323 14458 170 317 0 15002 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 61292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1667128/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=62344 CPUtime=1721.86
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15155 0 0 0 172161 25 0 0 25 0 1 0 157211566 63840256 14703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 15586 14703 170 317 0 15265 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 62344

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1666296/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=63132 CPUtime=1781.84
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15359 0 0 0 178158 26 0 0 25 0 1 0 157211566 64647168 14907 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 15783 14907 170 317 0 15462 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 63132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16687
/proc/meminfo: memFree=1665912/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=63608 CPUtime=1800.04
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15447 0 0 0 179978 26 0 0 25 0 1 0 157211566 65134592 14995 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 15902 14995 170 317 0 15581 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 63608

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16688
/proc/meminfo: memFree=1692400/2055920 swapFree=4156080/4192956
[pid=16684] ppid=16682 vsize=0 CPUtime=1800.14
/proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194308 15464 0 0 0 179987 27 0 0 25 0 1 0 157211566 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16684/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.15
CPU user time (s): 1799.88
CPU system time (s): 0.274958
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 63608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15464
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= 8
involuntary context switches= 35158

runsolver used 2.05669 second user time and 4.50931 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Fri Apr 20 18:16:39 UTC 2007

IDJOB= 372405
IDBENCH= 24969
IDSOLVER= 172
FILE ID= node44/372405-1177092999

PBS_JOBID= 4640328

Free space on /tmp= 66413 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb
COMMAND LINE= oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-372405-1177092999 -o ROOT/results/node44/solver-372405-1177092999 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  75c7e5778aa6d0e8c18984c9064c30c6

RANDOM SEED= 822848121

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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:       1726096 kB
Buffers:         42088 kB
Cached:         198676 kB
SwapCached:      13760 kB
Active:         120992 kB
Inactive:       144528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726096 kB
SwapTotal:     4192956 kB
SwapFree:      4156080 kB
Dirty:            1304 kB
Writeback:           0 kB
Mapped:          32844 kB
Slab:            49732 kB
Committed_AS:  1368816 kB
PageTables:       1740 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= 66413 MiB

End job on node44 on Fri Apr 20 18:46:41 UTC 2007