Trace number 357177

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)-23 1800.25 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM65bafde3eb06761afc4fe90b6aa8c264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark250.661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17827
Number of constraints which are clauses17827
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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.09/0.12	c ...done
0.09/0.12	c #vars=450 #constraints=17828 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.19/0.22	c nbDecision=20 #constraints=17828
0.19/0.22	c linear search for optimum
0.19/0.22	o -20
0.19/0.23	c nbDecision=22 #constraints=17830
0.19/0.23	o -21
1.78/1.82	c restart after 401 decisions
1.88/1.92	c nbDecision=423 #constraints=18171
1.88/1.92	o -22
2.20/2.27	c nbDecision=500 #constraints=18224
2.29/2.33	c nbDecision=511 #constraints=18231
2.29/2.33	o -23
3.79/3.89	c restart after 801 decisions
5.29/5.30	c nbDecision=1000 #constraints=18633
9.59/9.65	c nbDecision=1500 #constraints=19100
10.69/10.72	c restart after 1601 decisions
15.59/15.65	c nbDecision=2000 #constraints=19574
21.99/22.06	c nbDecision=2500 #constraints=20009
29.18/29.22	c nbDecision=3000 #constraints=20427
32.29/32.36	c restart after 3201 decisions
39.98/40.07	c nbDecision=3500 #constraints=20850
54.08/54.11	c nbDecision=4000 #constraints=21340
69.97/70.05	c nbDecision=4500 #constraints=21836
86.97/87.00	c nbDecision=5000 #constraints=22322
105.36/105.47	c nbDecision=5500 #constraints=22808
126.46/126.51	c nbDecision=6000 #constraints=23284
144.36/144.50	c restart after 6401 decisions
149.76/149.85	c nbDecision=6500 #constraints=23701
169.85/169.98	c nbDecision=7000 #constraints=24068
193.34/193.50	c nbDecision=7500 #constraints=24492
215.54/215.66	c nbDecision=8000 #constraints=24881
238.23/238.34	c nbDecision=8500 #constraints=25255
267.72/267.89	c nbDecision=9000 #constraints=25718
296.61/296.77	c nbDecision=9500 #constraints=26140
327.91/328.03	c nbDecision=10000 #constraints=26569
361.30/361.45	c nbDecision=10500 #constraints=27009
395.80/395.95	c nbDecision=11000 #constraints=27432
433.88/434.02	c nbDecision=11500 #constraints=27890
465.88/466.00	c nbDecision=12000 #constraints=28280
502.87/503.02	c nbDecision=12500 #constraints=28701
527.16/527.39	c restart after 12801 decisions
545.55/545.77	c nbDecision=13000 #constraints=29155
577.75/577.91	c nbDecision=13500 #constraints=29549
611.74/611.91	c nbDecision=14000 #constraints=29955
652.13/652.34	c nbDecision=14500 #constraints=30399
695.92/696.14	c nbDecision=15000 #constraints=30874
741.70/742.00	c nbDecision=15500 #constraints=31354
791.40/791.67	c nbDecision=16000 #constraints=31839
835.79/836.07	c nbDecision=16500 #constraints=32316
882.57/882.84	c nbDecision=17000 #constraints=32757
932.76/933.08	c nbDecision=17500 #constraints=33233
995.25/995.58	c nbDecision=18000 #constraints=33714
1048.73/1049.01	c nbDecision=18500 #constraints=34205
1103.43/1103.83	c nbDecision=19000 #constraints=34686
1145.41/1145.89	c nbDecision=19500 #constraints=35052
1195.00/1195.49	c nbDecision=20000 #constraints=35486
1251.39/1251.85	c nbDecision=20500 #constraints=35970
1310.37/1310.81	c nbDecision=21000 #constraints=36461
1367.06/1367.57	c nbDecision=21500 #constraints=36925
1431.43/1431.96	c nbDecision=22000 #constraints=37395
1499.53/1500.03	c nbDecision=22500 #constraints=37885
1565.01/1565.50	c nbDecision=23000 #constraints=38378
1625.59/1626.19	c nbDecision=23500 #constraints=38851
1692.18/1692.78	c nbDecision=24000 #constraints=39330
1762.56/1763.15	c nbDecision=24500 #constraints=39815
1800.05/1800.60	Received signal 15
1800.05/1800.70	
1800.05/1800.70	s SATISFIABLE
1800.05/1800.70	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.05/1800.70	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.05/1800.70	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.05/1800.70	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.05/1800.70	v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126
1800.05/1800.70	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.05/1800.70	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.05/1800.70	v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189
1800.05/1800.70	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210
1800.05/1800.70	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.05/1800.70	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.05/1800.70	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.05/1800.70	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.05/1800.70	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.05/1800.70	v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.05/1800.70	v -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.05/1800.70	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378
1800.05/1800.70	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.05/1800.70	v -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.05/1800.70	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441
1800.05/1800.70	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1800.05/1800.70	
1800.05/1800.70	c user time= 1799.38 s
1800.05/1800.70	c system time= 0.78688 s
1800.05/1800.70	c wall clock time=1800.71

Verifier Data (download as text)

OK	-23

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-357177-1176990212 -o ROOT/results/node14/solver-357177-1176990212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.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: 0.92 0.98 0.99 3/77 16972
/proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=1468 CPUtime=0
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 175 0 0 0 0 0 0 0 19 0 1 0 146938947 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 367 158 130 317 0 46 0

[startup+0.075299 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16972
/proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=3076 CPUtime=0.07
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 567 0 0 0 7 0 0 0 19 0 1 0 146938947 3149824 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 769 549 130 317 0 448 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3076

[startup+0.1013 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16972
/proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=3604 CPUtime=0.09
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 711 0 0 0 9 0 0 0 19 0 1 0 146938947 3690496 693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 901 693 130 317 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3604

[startup+0.301319 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16972
/proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=6824 CPUtime=0.29
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 1535 0 0 0 29 0 0 0 21 0 1 0 146938947 6987776 1395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 1706 1395 170 317 0 1385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6824

[startup+0.701356 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16972
/proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=8636 CPUtime=0.69
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 1983 0 0 0 69 0 0 0 25 0 1 0 146938947 8843264 1843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 2159 1843 170 317 0 1838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8636

[startup+1.50143 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1712256/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=12636 CPUtime=1.48
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 2995 0 0 0 148 0 0 0 25 0 1 0 146938947 12939264 2855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 3159 2855 170 317 0 2838 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12636

[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1708224/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=18136 CPUtime=3.09
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 4373 0 0 0 308 1 0 0 25 0 1 0 146938947 18571264 4233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 4534 4233 170 317 0 4213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18136

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1698880/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=25036 CPUtime=6.29
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 6108 0 0 0 627 2 0 0 25 0 1 0 146938947 25636864 5968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 6259 5968 170 317 0 5938 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25036

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1685120/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=38012 CPUtime=12.68
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 9315 0 0 0 1264 4 0 0 25 0 1 0 146938947 38924288 9175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 9503 9175 170 317 0 9182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38012

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1665216/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=58984 CPUtime=25.48
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 14115 0 0 0 2541 7 0 0 25 0 1 0 146938947 60399616 13975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 14746 13975 170 317 0 14425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58984

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1646592/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=76072 CPUtime=51.07
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 18796 0 0 0 5098 9 0 0 25 0 1 0 146938947 77897728 18656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 19018 18656 170 317 0 18697 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 76072

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1613440/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=113288 CPUtime=102.27
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 26947 0 0 0 10213 14 0 0 25 0 1 0 146938947 116006912 26807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 28322 26807 170 317 0 28001 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113288

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1591424/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=134036 CPUtime=162.25
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 32485 0 0 0 16207 18 0 0 25 0 1 0 146938947 137252864 32345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 33509 32345 170 317 0 33188 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 134036

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1571520/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=152036 CPUtime=222.24
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 37402 0 0 0 22203 21 0 0 25 0 1 0 146938947 155684864 37262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 38009 37262 170 317 0 37688 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 152036

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1555136/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=167472 CPUtime=282.22
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 41549 0 0 0 28198 24 0 0 25 0 1 0 146938947 171491328 41409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 41868 41409 170 317 0 41547 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 167472

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1529088/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=205412 CPUtime=342.2
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 48009 0 0 0 34193 27 0 0 25 0 1 0 146938947 210341888 47869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 51353 47869 170 317 0 51032 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 205412

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1515776/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=219336 CPUtime=402.19
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 51355 0 0 0 40190 29 0 0 25 0 1 0 146938947 224600064 51215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 54834 51215 170 317 0 54513 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 219336

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1501824/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=231948 CPUtime=462.18
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 54817 0 0 0 46186 32 0 0 25 0 1 0 146938947 237514752 54677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 57987 54677 170 317 0 57666 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 231948

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1489600/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=243536 CPUtime=522.16
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 57886 0 0 0 52182 34 0 0 25 0 1 0 146938947 249380864 57746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 60884 57746 170 317 0 60563 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 243536

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1476800/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=255904 CPUtime=582.15
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 61237 0 0 0 58179 36 0 0 25 0 1 0 146938947 262045696 61097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714115 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 63976 61097 170 317 0 63655 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 255904

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1463872/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=267104 CPUtime=642.13
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 64273 0 0 0 64175 38 0 0 25 0 1 0 146938947 273514496 64133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 66776 64133 170 317 0 66455 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 267104


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1417856/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=308272 CPUtime=882.07
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 75732 0 0 0 88160 47 0 0 25 0 1 0 146938947 315670528 75592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 77068 75592 170 317 0 76747 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 308272

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1407424/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=317740 CPUtime=942.06
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 78395 0 0 0 94157 49 0 0 25 0 1 0 146938947 325365760 78222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 79435 78222 170 317 0 79114 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 317740

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16973
/proc/meminfo: memFree=1399040/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=325312 CPUtime=1002.04
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 80525 0 0 0 100153 51 0 0 25 0 1 0 146938947 333119488 80352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 81328 80352 170 317 0 81007 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 325312

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 17047
/proc/meminfo: memFree=1377408/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=378884 CPUtime=1061.98
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 91484 0 0 0 106142 56 0 0 25 0 1 0 146938947 387977216 85338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 94721 85338 170 317 0 94400 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 378884

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1369664/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=388080 CPUtime=1121.91
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 94116 0 0 0 112133 58 0 0 25 0 1 0 146938947 397393920 87574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 97020 87574 170 317 0 96699 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 388080

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1359552/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=397584 CPUtime=1181.9
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 96866 0 0 0 118130 60 0 0 25 0 1 0 146938947 407126016 90093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 99396 90093 170 317 0 99075 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 397584

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1349504/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=408704 CPUtime=1241.89
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 100002 0 0 0 124126 63 0 0 25 0 1 0 146938947 418512896 92589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 102176 92589 170 317 0 101855 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 408704

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1339840/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=418536 CPUtime=1301.87
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 102781 0 0 0 130123 64 0 0 25 0 1 0 146938947 428580864 94972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 104634 94972 170 317 0 104313 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 418536

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1330432/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=427192 CPUtime=1361.86
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 105294 0 0 0 136120 66 0 0 25 0 1 0 146938947 437444608 97353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 106798 97353 170 317 0 106477 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 427192

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1321280/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=435832 CPUtime=1421.84
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 107758 0 0 0 142117 67 0 0 25 0 1 0 146938947 446291968 99619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 108958 99619 170 317 0 108637 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 435832

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1314496/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=442896 CPUtime=1481.83
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 109524 0 0 0 148114 69 0 0 25 0 1 0 146938947 453525504 101319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 110724 101319 170 317 0 110403 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 442896

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1305664/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=450628 CPUtime=1541.82
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 111727 0 0 0 154111 71 0 0 25 0 1 0 146938947 461443072 103522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 112657 103522 170 317 0 112336 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 450628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1296640/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=459192 CPUtime=1601.8
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 114219 0 0 0 160108 72 0 0 25 0 1 0 146938947 470212608 105783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 114798 105783 170 317 0 114477 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 459192

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1287872/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=466544 CPUtime=1661.79
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 116390 0 0 0 166105 74 0 0 25 0 1 0 146938947 477741056 107954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 116636 107954 170 317 0 116315 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 466544

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1279360/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=474152 CPUtime=1721.77
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 118609 0 0 0 172101 76 0 0 25 0 1 0 146938947 485531648 110074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 118538 110074 170 317 0 118217 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 474152

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1271424/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=481240 CPUtime=1781.75
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 120688 0 0 0 178097 78 0 0 25 0 1 0 146938947 492789760 112054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 120310 112054 170 317 0 119989 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 481240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1269440/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=483196 CPUtime=1800.05
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 121188 0 0 0 179927 78 0 0 25 0 1 0 146938947 494792704 112554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 120799 112554 170 317 0 120478 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 483196

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17171
/proc/meminfo: memFree=1269440/2055920 swapFree=4148736/4192956
[pid=16972] ppid=16970 vsize=483196 CPUtime=1800.16
/proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 121212 0 0 0 179938 78 0 0 25 0 1 0 146938947 494792704 112578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16972/statm: 120799 112578 186 317 0 120478 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 483196

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.25
CPU user time (s): 1799.39
CPU system time (s): 0.858869
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 483196

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

runsolver used 1.9887 second user time and 4.56731 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Thu Apr 19 13:43:32 UTC 2007

IDJOB= 357177
IDBENCH= 2236
IDSOLVER= 172
FILE ID= node14/357177-1176990212

PBS_JOBID= 4630413

Free space on /tmp= 66206 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
COMMAND LINE= oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-357177-1176990212 -o ROOT/results/node14/solver-357177-1176990212 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  65bafde3eb06761afc4fe90b6aa8c264

RANDOM SEED= 785589771

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1720928 kB
Buffers:         36136 kB
Cached:         234320 kB
SwapCached:      11472 kB
Active:         135452 kB
Inactive:       159188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1720928 kB
SwapTotal:     4192956 kB
SwapFree:      4148736 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          31108 kB
Slab:            25872 kB
Committed_AS:  6655032 kB
PageTables:       1792 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= 66206 MiB

End job on node14 on Thu Apr 19 14:13:35 UTC 2007