Trace number 357073

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)221 1800.18 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUM7db364152f2aec17f16cb8adef9dc3c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables470
Total number of constraints469
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 constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
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 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
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.00/0.01	c ...done
0.00/0.01	c #vars=470 #constraints=470 hasObjective=yes
0.01/0.02	c res. mode=mod
0.01/0.02	c VSIDS like heuristics
0.01/0.02	c complete search running
0.01/0.02	c nbDecision=244 #constraints=470
0.01/0.02	c linear search for optimum
0.01/0.02	o 226
0.01/0.07	c restart after 401 decisions
0.01/0.07	c nbDecision=500 #constraints=497
0.09/0.13	c restart after 801 decisions
0.09/0.14	c nbDecision=1000 #constraints=531
0.29/0.30	c nbDecision=1500 #constraints=612
0.29/0.34	c restart after 1601 decisions
0.39/0.40	c nbDecision=1949 #constraints=650
0.39/0.40	o 223
0.39/0.42	c nbDecision=2000 #constraints=661
0.59/0.61	c nbDecision=2500 #constraints=754
0.79/0.85	c nbDecision=3000 #constraints=868
0.89/0.94	c restart after 3201 decisions
1.00/1.09	c nbDecision=3500 #constraints=948
1.39/1.46	c nbDecision=4000 #constraints=1088
1.79/1.88	c nbDecision=4500 #constraints=1225
2.29/2.35	c nbDecision=5000 #constraints=1363
2.69/2.74	c nbDecision=5500 #constraints=1462
3.20/3.27	c nbDecision=6000 #constraints=1594
3.60/3.67	c restart after 6401 decisions
3.79/3.82	c nbDecision=6500 #constraints=1687
4.30/4.36	c nbDecision=7000 #constraints=1792
4.99/5.03	c nbDecision=7500 #constraints=1918
5.79/5.81	c nbDecision=8000 #constraints=2045
6.69/6.72	c nbDecision=8500 #constraints=2176
7.69/7.74	c nbDecision=9000 #constraints=2321
8.88/8.95	c nbDecision=9500 #constraints=2458
10.09/10.17	c nbDecision=10000 #constraints=2600
11.69/11.78	c nbDecision=10500 #constraints=2770
12.59/12.69	c nbDecision=11000 #constraints=2886
13.48/13.58	c nbDecision=11500 #constraints=2995
14.78/14.85	c nbDecision=12000 #constraints=3134
15.89/15.95	c nbDecision=12500 #constraints=3256
16.79/16.81	c restart after 12801 decisions
17.39/17.48	c nbDecision=13000 #constraints=3343
18.78/18.86	c nbDecision=13500 #constraints=3473
20.08/20.17	c nbDecision=14000 #constraints=3587
21.59/21.62	c nbDecision=14500 #constraints=3711
22.89/22.99	c nbDecision=15000 #constraints=3830
24.68/24.70	c nbDecision=15500 #constraints=3966
26.28/26.36	c nbDecision=16000 #constraints=4088
28.19/28.23	c nbDecision=16500 #constraints=4210
30.58/30.67	c nbDecision=17000 #constraints=4351
32.98/33.05	c nbDecision=17500 #constraints=4499
35.48/35.58	c nbDecision=18000 #constraints=4621
38.58/38.67	c nbDecision=18500 #constraints=4786
41.79/41.83	c nbDecision=19000 #constraints=4944
42.58/42.65	c nbDecision=19167 #constraints=4991
42.58/42.65	o 222
44.58/44.60	c nbDecision=19500 #constraints=5106
47.88/47.98	c nbDecision=20000 #constraints=5278
51.18/51.27	c nbDecision=20500 #constraints=5468
54.88/54.95	c nbDecision=21000 #constraints=5654
58.28/58.32	c nbDecision=21427 #constraints=5802
58.28/58.32	o 221
58.58/58.65	c nbDecision=21500 #constraints=5822
62.28/62.31	c nbDecision=22000 #constraints=6008
65.88/65.90	c nbDecision=22500 #constraints=6189
69.67/69.76	c nbDecision=23000 #constraints=6381
74.17/74.22	c nbDecision=23500 #constraints=6578
79.77/79.85	c nbDecision=24000 #constraints=6781
85.37/85.46	c nbDecision=24500 #constraints=6972
91.46/91.54	c nbDecision=25000 #constraints=7182
96.86/96.99	c nbDecision=25500 #constraints=7392
98.46/98.52	c restart after 25601 decisions
102.17/102.21	c nbDecision=26000 #constraints=7493
107.26/107.34	c nbDecision=26500 #constraints=7684
112.36/112.43	c nbDecision=27000 #constraints=7873
117.36/117.42	c nbDecision=27500 #constraints=8055
122.46/122.56	c nbDecision=28000 #constraints=8237
127.56/127.67	c nbDecision=28500 #constraints=8430
132.96/133.02	c nbDecision=29000 #constraints=8625
139.85/139.95	c nbDecision=29500 #constraints=8829
146.96/147.07	c nbDecision=30000 #constraints=9020
154.35/154.41	c nbDecision=30500 #constraints=9207
161.75/161.89	c nbDecision=31000 #constraints=9422
169.15/169.20	c nbDecision=31500 #constraints=9605
174.85/174.91	c nbDecision=32000 #constraints=9799
180.34/180.41	c nbDecision=32500 #constraints=9968
189.65/189.74	c nbDecision=33000 #constraints=10215
200.74/200.86	c nbDecision=33500 #constraints=10460
206.83/206.96	c nbDecision=34000 #constraints=10648
212.94/213.02	c nbDecision=34500 #constraints=10816
222.43/222.56	c nbDecision=35000 #constraints=11052
235.03/235.19	c nbDecision=35500 #constraints=11306
241.93/242.04	c nbDecision=36000 #constraints=11481
249.63/249.72	c nbDecision=36500 #constraints=11672
256.72/256.82	c nbDecision=37000 #constraints=11853
264.32/264.47	c nbDecision=37500 #constraints=12040
271.22/271.31	c nbDecision=38000 #constraints=12205
279.02/279.13	c nbDecision=38500 #constraints=12387
286.11/286.27	c nbDecision=39000 #constraints=12578
293.62/293.77	c nbDecision=39500 #constraints=12773
301.81/301.96	c nbDecision=40000 #constraints=12960
314.10/314.22	c nbDecision=40500 #constraints=13177
324.91/325.01	c nbDecision=41000 #constraints=13368
336.70/336.82	c nbDecision=41500 #constraints=13573
346.10/346.25	c nbDecision=42000 #constraints=13783
357.80/357.97	c nbDecision=42500 #constraints=13986
366.10/366.23	c nbDecision=43000 #constraints=14158
375.49/375.61	c nbDecision=43500 #constraints=14349
384.09/384.26	c nbDecision=44000 #constraints=14530
393.59/393.71	c nbDecision=44500 #constraints=14713
401.69/401.87	c nbDecision=45000 #constraints=14878
411.19/411.39	c nbDecision=45500 #constraints=15062
419.88/420.09	c nbDecision=46000 #constraints=15256
428.68/428.86	c nbDecision=46500 #constraints=15447
438.58/438.70	c nbDecision=47000 #constraints=15633
453.47/453.65	c nbDecision=47500 #constraints=15852
466.96/467.16	c nbDecision=48000 #constraints=16048
480.76/480.99	c nbDecision=48500 #constraints=16248
492.37/492.52	c nbDecision=49000 #constraints=16457
505.86/506.06	c nbDecision=49500 #constraints=16650
521.75/521.93	c nbDecision=50000 #constraints=16901
543.72/543.91	c nbDecision=50500 #constraints=17174
561.09/561.39	c nbDecision=51000 #constraints=17423
570.76/571.03	c restart after 51201 decisions
578.65/578.90	c nbDecision=51500 #constraints=17565
591.44/591.80	c nbDecision=52000 #constraints=17773
603.43/603.74	c nbDecision=52500 #constraints=17960
615.83/616.12	c nbDecision=53000 #constraints=18170
629.22/629.57	c nbDecision=53500 #constraints=18383
650.02/650.39	c nbDecision=54000 #constraints=18631
667.11/667.47	c nbDecision=54500 #constraints=18853
682.21/682.59	c nbDecision=55000 #constraints=19059
695.10/695.49	c nbDecision=55500 #constraints=19247
708.00/708.31	c nbDecision=56000 #constraints=19450
719.89/720.28	c nbDecision=56500 #constraints=19648
743.20/743.57	c nbDecision=57000 #constraints=19904
761.89/762.29	c nbDecision=57500 #constraints=20131
780.78/781.19	c nbDecision=58000 #constraints=20363
805.47/805.88	c nbDecision=58500 #constraints=20632
828.27/828.69	c nbDecision=59000 #constraints=20895
854.56/854.96	c nbDecision=59500 #constraints=21166
873.66/874.02	c nbDecision=60000 #constraints=21389
887.35/887.78	c nbDecision=60500 #constraints=21578
901.85/902.26	c nbDecision=61000 #constraints=21773
916.24/916.68	c nbDecision=61500 #constraints=21985
933.04/933.41	c nbDecision=62000 #constraints=22205
958.73/959.15	c nbDecision=62500 #constraints=22458
981.23/981.62	c nbDecision=63000 #constraints=22703
1000.53/1000.99	c nbDecision=63500 #constraints=22914
1016.12/1016.53	c nbDecision=64000 #constraints=23115
1031.81/1032.23	c nbDecision=64500 #constraints=23308
1047.01/1047.48	c nbDecision=65000 #constraints=23518
1061.50/1061.91	c nbDecision=65500 #constraints=23715
1091.40/1091.81	c nbDecision=66000 #constraints=23987
1115.00/1115.49	c nbDecision=66500 #constraints=24220
1149.38/1149.86	c nbDecision=67000 #constraints=24478
1206.57/1207.07	c nbDecision=67500 #constraints=24802
1263.66/1264.15	c nbDecision=68000 #constraints=25126
1319.04/1319.59	c nbDecision=68500 #constraints=25442
1346.84/1347.40	c nbDecision=69000 #constraints=25666
1362.83/1363.38	c nbDecision=69500 #constraints=25853
1379.02/1379.53	c nbDecision=70000 #constraints=26022
1394.42/1394.98	c nbDecision=70500 #constraints=26176
1410.12/1410.68	c nbDecision=71000 #constraints=26342
1426.51/1427.09	c nbDecision=71500 #constraints=26508
1452.81/1453.38	c nbDecision=72000 #constraints=26754
1470.80/1471.39	c nbDecision=72500 #constraints=26938
1497.09/1497.69	c nbDecision=73000 #constraints=27157
1521.49/1522.01	c nbDecision=73500 #constraints=27376
1537.48/1538.05	c nbDecision=74000 #constraints=27561
1554.58/1555.12	c nbDecision=74500 #constraints=27733
1571.57/1572.18	c nbDecision=75000 #constraints=27897
1588.07/1588.69	c nbDecision=75500 #constraints=28059
1605.86/1606.45	c nbDecision=76000 #constraints=28230
1626.06/1626.68	c nbDecision=76500 #constraints=28420
1651.45/1652.04	c nbDecision=77000 #constraints=28646
1674.95/1675.52	c nbDecision=77500 #constraints=28844
1701.64/1702.25	c nbDecision=78000 #constraints=29067
1724.44/1725.08	c nbDecision=78500 #constraints=29274
1743.33/1743.97	c nbDecision=79000 #constraints=29462
1764.23/1764.88	c nbDecision=79500 #constraints=29649
1781.72/1782.36	c nbDecision=80000 #constraints=29824
1799.71/1800.32	c nbDecision=80500 #constraints=29990
1800.02/1800.60	Received signal 15
1800.02/1800.69	
1800.02/1800.69	s SATISFIABLE
1800.02/1800.69	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.02/1800.69	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.02/1800.69	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.02/1800.69	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.02/1800.69	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126
1800.02/1800.69	v -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 x144 x145 -x146 x147 -x148
1800.02/1800.69	v x149 -x150 -x151 x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1800.02/1800.69	v x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 x182 x183 x184 x185 -x186 -x187 x188 -x189 -x190 x191 x192 x193
1800.02/1800.69	v -x194 x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 x212 x213 -x214 -x215
1800.02/1800.69	v x216 x217 x218 x219 -x220 x221 x222 x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 x234 x235 -x236 -x237 -x238
1800.02/1800.69	v x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 x251 x252 -x253 x254 x255 x256 -x257 x258 x259 x260 -x261
1800.02/1800.69	v -x262 x263 -x264 x265 x266 -x267 x268 -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 x278 -x279 -x280 x281 x282 x283 x284
1800.02/1800.69	v -x285 -x286 -x287 -x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 -x298 x299 x300 -x301 x302 x303 x304 x305 x306 -x307 x308
1800.02/1800.69	v x309 x310 -x311 x312 x313 x314 x315 x316 -x317 x318 x319 x320 -x321 x322 x323 x324 x325 -x326 x327 x328 x329 -x330 x331 x332
1800.02/1800.69	v x333 x334 x335 x336 -x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 -x347 x348 -x349 x350 x351 x352 x353 x354 x355 x356 x357
1800.02/1800.69	v x358 x359 x360 x361 x362 x363 -x364 x365 -x366 x367 x368 x369 -x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 x379 x380 x381
1800.02/1800.69	v x382 -x383 x384 x385 x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 x397 -x398 x399 -x400 x401 x402 x403 x404 x405
1800.02/1800.69	v x406 x407 -x408 x409 x410 x411 x412 -x413 x414 x415 x416 x417 x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 x428
1800.02/1800.69	v -x429 x430 x431 x432 -x433 x434 x435 -x436 x437 x438 -x439 -x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452
1800.02/1800.69	v x453 -x454 -x455 x456 x457 x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 x470
1800.02/1800.69	
1800.02/1800.69	c user time= 1799.49 s
1800.02/1800.69	c system time= 0.629904 s
1800.02/1800.69	c wall clock time=1800.69

Verifier Data (download as text)

OK	221

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-357073-1176853922 -o ROOT/results/node47/solver-357073-1176853922 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.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.95 0.98 3/77 1253
/proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=1468 CPUtime=0
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 40237552 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 367 164 131 317 0 46 0

[startup+0.019168 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 1253
/proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=1732 CPUtime=0.01
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 250 0 0 0 1 0 0 0 18 0 1 0 40237552 1773568 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 433 232 137 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101177 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 1253
/proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=2268 CPUtime=0.09
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 40237552 2322432 402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 567 402 170 317 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2268

[startup+0.301198 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 1253
/proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=3444 CPUtime=0.29
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 723 0 0 0 29 0 0 0 19 0 1 0 40237552 3526656 705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 861 705 170 317 0 540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3444

[startup+0.701242 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 1253
/proc/meminfo: memFree=1829120/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=5668 CPUtime=0.69
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 1269 0 0 0 69 0 0 0 22 0 1 0 40237552 5804032 1251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 1417 1251 170 317 0 1096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5668

[startup+1.50133 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 1254
/proc/meminfo: memFree=1823800/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=9372 CPUtime=1.49
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 2204 0 0 0 148 1 0 0 25 0 1 0 40237552 9596928 2186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 2343 2186 170 317 0 2022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9372

[startup+3.1025 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 1254
/proc/meminfo: memFree=1819000/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=15388 CPUtime=3.1
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 3589 0 0 0 308 2 0 0 25 0 1 0 40237552 15757312 3571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 3847 3571 170 317 0 3526 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15388

[startup+6.30185 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 1254
/proc/meminfo: memFree=1811000/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=20768 CPUtime=6.29
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 5025 0 0 0 626 3 0 0 25 0 1 0 40237552 21266432 5007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 5192 5007 170 317 0 4871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20768

[startup+12.7015 s]
/proc/loadavg: 0.94 0.96 0.98 3/78 1254
/proc/meminfo: memFree=1800696/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=31604 CPUtime=12.68
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 7432 0 0 0 1264 4 0 0 25 0 1 0 40237552 32362496 7414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 7901 7414 170 317 0 7580 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31604

[startup+25.5019 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 1254
/proc/meminfo: memFree=1788024/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=42444 CPUtime=25.48
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 10426 0 0 0 2542 6 0 0 25 0 1 0 40237552 43462656 10408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 10611 10408 170 317 0 10290 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42444

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 1254
/proc/meminfo: memFree=1769720/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=63280 CPUtime=51.08
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 15015 0 0 0 5098 10 0 0 25 0 1 0 40237552 64798720 14997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 15820 14997 170 317 0 15499 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63280

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1748024/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=82892 CPUtime=102.27
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 20345 0 0 0 10214 13 0 0 25 0 1 0 40237552 84881408 20327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 20723 20327 170 317 0 20402 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82892

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1722232/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=115144 CPUtime=162.24
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 26882 0 0 0 16208 16 0 0 25 0 1 0 40237552 117907456 26806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 28786 26806 170 317 0 28465 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 115144

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1705528/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=130672 CPUtime=222.23
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 30993 0 0 0 22204 19 0 0 25 0 1 0 40237552 133808128 30917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 32668 30917 170 317 0 32347 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 130672

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1691064/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=144220 CPUtime=282.22
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 34639 0 0 0 28200 22 0 0 25 0 1 0 40237552 147681280 34563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 36055 34563 170 317 0 35734 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 144220

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1678520/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=155600 CPUtime=342.2
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 37740 0 0 0 34196 24 0 0 25 0 1 0 40237552 159334400 37664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 38900 37664 170 317 0 38579 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 155600

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1666296/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=166576 CPUtime=402.19
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 40809 0 0 0 40192 27 0 0 25 0 1 0 40237552 170573824 40733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 41644 40733 170 317 0 41323 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 166576

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1654968/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=177008 CPUtime=462.17
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 43590 0 0 0 46189 28 0 0 25 0 1 0 40237552 181256192 43514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 44252 43514 170 317 0 43931 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 177008

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1254
/proc/meminfo: memFree=1638968/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=212504 CPUtime=522.15
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 51122 0 0 0 52183 32 0 0 25 0 1 0 40237552 217604096 47467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 53126 47467 170 317 0 52805 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 212504

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 1426
/proc/meminfo: memFree=1630712/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=219368 CPUtime=582.04
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 52906 0 0 0 58170 34 0 0 25 0 1 0 40237552 224632832 49251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 54842 49251 170 317 0 54521 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 219368

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1452
/proc/meminfo: memFree=1621816/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=228128 CPUtime=642.02
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 55408 0 0 0 64167 35 0 0 25 0 1 0 40237552 233603072 51720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 57032 51720 170 317 0 56711 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 228128


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1452
/proc/meminfo: memFree=1589688/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=256544 CPUtime=881.95
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 63482 0 0 0 88153 42 0 0 25 0 1 0 40237552 262701056 59728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 64136 59728 170 317 0 63815 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 256544

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1582008/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=263652 CPUtime=941.94
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 65411 0 0 0 94150 44 0 0 25 0 1 0 40237552 269979648 61657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 65913 61657 170 317 0 65592 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 263652

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1575416/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=269692 CPUtime=1001.92
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 67078 0 0 0 100146 46 0 0 25 0 1 0 40237552 276164608 63324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 67423 63324 170 317 0 67102 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 269692

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1566968/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=276928 CPUtime=1061.9
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 69187 0 0 0 106143 47 0 0 25 0 1 0 40237552 283574272 65433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 69232 65433 170 317 0 68911 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 276928

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1560824/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=282412 CPUtime=1121.89
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 70715 0 0 0 112140 49 0 0 25 0 1 0 40237552 289189888 66961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 70603 66961 170 317 0 70282 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 282412

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1555448/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=287168 CPUtime=1181.87
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 72050 0 0 0 118137 50 0 0 25 0 1 0 40237552 294060032 68296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 71792 68296 170 317 0 71471 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 287168

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1550968/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=291724 CPUtime=1241.86
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 73170 0 0 0 124135 51 0 0 25 0 1 0 40237552 298725376 69416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 72931 69416 170 317 0 72610 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 291724

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1545848/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=296188 CPUtime=1301.85
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 74449 0 0 0 130133 52 0 0 25 0 1 0 40237552 303296512 70662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 74047 70662 170 317 0 73726 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 296188

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1539768/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=301760 CPUtime=1361.83
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 75990 0 0 0 136130 53 0 0 25 0 1 0 40237552 309002240 72203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 75440 72203 170 317 0 75119 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 301760

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1532536/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=308540 CPUtime=1421.82
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 77777 0 0 0 142128 54 0 0 25 0 1 0 40237552 315944960 73990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 77135 73990 170 317 0 76814 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 308540

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1525880/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=314864 CPUtime=1481.8
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 79511 0 0 0 148124 56 0 0 25 0 1 0 40237552 322420736 75658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 78716 75658 170 317 0 78395 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 314864

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1519224/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=320784 CPUtime=1541.78
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 81165 0 0 0 154122 56 0 0 25 0 1 0 40237552 328482816 77312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 80196 77312 170 317 0 79875 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 320784

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1511864/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=327460 CPUtime=1601.76
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 83142 0 0 0 160118 58 0 0 25 0 1 0 40237552 335319040 79157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 81865 79157 170 317 0 81544 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 327460

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1505208/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=333884 CPUtime=1661.75
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 84835 0 0 0 166115 60 0 0 25 0 1 0 40237552 341897216 80817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 83471 80817 170 317 0 83150 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 333884

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1499448/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=338868 CPUtime=1721.74
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 86256 0 0 0 172113 61 0 0 25 0 1 0 40237552 347000832 82238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 84717 82238 170 317 0 84396 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 338868

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1492600/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=345036 CPUtime=1781.72
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 87970 0 0 0 178110 62 0 0 25 0 1 0 40237552 353316864 83952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 86259 83952 170 317 0 85938 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 345036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1454
/proc/meminfo: memFree=1490680/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=347132 CPUtime=1800.02
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 88423 0 0 0 179940 62 0 0 25 0 1 0 40237552 355463168 84405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 86783 84405 170 317 0 86462 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 347132

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.97 0.98 2/78 1454
/proc/meminfo: memFree=1490680/2055920 swapFree=4183732/4192956
[pid=1253] ppid=1251 vsize=295812 CPUtime=1800.12
/proc/1253/stat : 1253 (oree) R 1251 1253 907 0 -1 4194304 88448 0 0 0 179949 63 0 0 25 0 1 0 40237552 302911488 73552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1253/statm: 73855 73522 186 317 0 73534 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 295812

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.18
CPU user time (s): 1799.5
CPU system time (s): 0.683896
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 347132

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

runsolver used 1.9867 second user time and 4.5843 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue Apr 17 23:52:02 UTC 2007

IDJOB= 357073
IDBENCH= 1958
IDSOLVER= 172
FILE ID= node47/357073-1176853922

PBS_JOBID= 4590237

Free space on /tmp= 66525 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-357073-1176853922 -o ROOT/results/node47/solver-357073-1176853922 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357073-1176853922/instance-357073-1176853922.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7db364152f2aec17f16cb8adef9dc3c7

RANDOM SEED= 62004761

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1829592 kB
Buffers:         33352 kB
Cached:         100164 kB
SwapCached:       2960 kB
Active:         101788 kB
Inactive:        80432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829592 kB
SwapTotal:     4192956 kB
SwapFree:      4183732 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:          63552 kB
Slab:            29664 kB
Committed_AS:  2547256 kB
PageTables:       1776 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= 66525 MiB

End job on node47 on Wed Apr 18 00:22:05 UTC 2007