Trace number 363966

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)19 1800.56 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUMb3e6d54e40b24334877b0ae377edea30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark4.04338
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables464
Total number of constraints845
Number of constraints which are clauses845
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 constraint1
Maximum length of a constraint149
Number of terms in the objective function 464
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 464
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 464
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.05/0.06	c ...done
0.05/0.06	c #vars=464 #constraints=846 hasObjective=yes
0.05/0.09	c res. mode=mod
0.05/0.09	c VSIDS like heuristics
0.05/0.09	c complete search running
0.09/0.10	c restart after 401 decisions
0.09/0.10	c nbDecision=500 #constraints=848
0.09/0.11	c restart after 801 decisions
0.09/0.11	c nbDecision=1000 #constraints=848
0.09/0.11	c nbDecision=1238 #constraints=848
0.09/0.11	c linear search for optimum
0.09/0.11	o 21
0.19/0.22	c nbDecision=1500 #constraints=957
0.19/0.22	c nbDecision=1502 #constraints=957
0.19/0.22	o 20
0.19/0.28	c restart after 1601 decisions
0.29/0.30	c nbDecision=2000 #constraints=996
0.49/0.59	c nbDecision=2500 #constraints=1174
0.89/0.99	c nbDecision=3000 #constraints=1373
0.99/1.09	c restart after 3201 decisions
1.09/1.11	c nbDecision=3500 #constraints=1429
1.39/1.44	c nbDecision=4000 #constraints=1559
1.69/1.79	c nbDecision=4500 #constraints=1767
2.20/2.26	c nbDecision=5000 #constraints=1954
2.69/2.72	c nbDecision=5500 #constraints=2118
3.69/3.75	c nbDecision=6000 #constraints=2322
4.19/4.21	c restart after 6401 decisions
4.19/4.26	c nbDecision=6500 #constraints=2453
4.59/4.67	c nbDecision=7000 #constraints=2560
5.89/5.98	c nbDecision=7500 #constraints=2827
6.79/6.89	c nbDecision=8000 #constraints=2995
7.69/7.80	c nbDecision=8500 #constraints=3153
8.89/8.93	c nbDecision=9000 #constraints=3333
9.99/10.03	c nbDecision=9500 #constraints=3469
11.99/12.08	c nbDecision=10000 #constraints=3703
13.78/13.88	c nbDecision=10500 #constraints=3940
15.39/15.48	c nbDecision=11000 #constraints=4153
17.68/17.70	c nbDecision=11500 #constraints=4421
20.48/20.54	c nbDecision=12000 #constraints=4641
22.39/22.46	c nbDecision=12500 #constraints=4891
23.99/24.03	c restart after 12801 decisions
24.29/24.37	c nbDecision=13000 #constraints=5052
26.39/26.42	c nbDecision=13500 #constraints=5188
30.38/30.44	c nbDecision=14000 #constraints=5434
31.68/31.73	c nbDecision=14500 #constraints=5609
33.18/33.29	c nbDecision=15000 #constraints=5808
34.48/34.53	c nbDecision=15500 #constraints=5946
35.88/35.97	c nbDecision=16000 #constraints=6190
37.58/37.60	c nbDecision=16500 #constraints=6378
39.18/39.24	c nbDecision=17000 #constraints=6542
43.88/43.93	c nbDecision=17500 #constraints=6758
46.67/46.79	c nbDecision=18000 #constraints=6966
50.78/50.80	c nbDecision=18500 #constraints=7212
55.98/56.02	c nbDecision=19000 #constraints=7486
60.67/60.70	c nbDecision=19500 #constraints=7667
65.37/65.49	c nbDecision=20000 #constraints=7890
70.67/70.76	c nbDecision=20500 #constraints=8082
77.67/77.72	c nbDecision=21000 #constraints=8280
84.76/84.87	c nbDecision=21500 #constraints=8525
91.06/91.13	c nbDecision=22000 #constraints=8772
96.36/96.45	c nbDecision=22500 #constraints=8964
101.96/102.04	c nbDecision=23000 #constraints=9236
109.56/109.61	c nbDecision=23500 #constraints=9440
116.35/116.44	c nbDecision=24000 #constraints=9730
122.75/122.88	c nbDecision=24500 #constraints=9974
133.95/134.02	c nbDecision=25000 #constraints=10268
141.25/141.32	c nbDecision=25500 #constraints=10505
142.14/142.24	c restart after 25601 decisions
143.64/143.70	c nbDecision=26000 #constraints=10577
147.25/147.31	c nbDecision=26500 #constraints=10783
150.85/150.91	c nbDecision=27000 #constraints=10987
151.35/151.48	c nbDecision=27138 #constraints=11011
151.35/151.48	o 19
158.04/158.17	c nbDecision=27500 #constraints=11167
167.04/167.16	c nbDecision=28000 #constraints=11328
173.74/173.83	c nbDecision=28500 #constraints=11431
181.83/181.93	c nbDecision=29000 #constraints=11602
191.54/191.61	c nbDecision=29500 #constraints=11760
199.23/199.33	c nbDecision=30000 #constraints=11902
209.53/209.64	c nbDecision=30500 #constraints=12114
218.43/218.51	c nbDecision=31000 #constraints=12282
232.32/232.47	c nbDecision=31500 #constraints=12549
247.32/247.47	c nbDecision=32000 #constraints=12753
265.21/265.39	c nbDecision=32500 #constraints=13011
273.61/273.77	c nbDecision=33000 #constraints=13181
282.11/282.24	c nbDecision=33500 #constraints=13300
288.81/288.99	c nbDecision=34000 #constraints=13398
297.40/297.57	c nbDecision=34500 #constraints=13568
307.20/307.38	c nbDecision=35000 #constraints=13701
320.20/320.31	c nbDecision=35500 #constraints=13901
335.19/335.37	c nbDecision=36000 #constraints=14147
351.49/351.68	c nbDecision=36500 #constraints=14376
370.18/370.39	c nbDecision=37000 #constraints=14601
381.28/381.45	c nbDecision=37500 #constraints=14792
388.88/389.01	c nbDecision=38000 #constraints=14898
396.17/396.31	c nbDecision=38500 #constraints=15015
408.47/408.66	c nbDecision=39000 #constraints=15193
416.87/417.00	c nbDecision=39500 #constraints=15309
431.67/431.80	c nbDecision=40000 #constraints=15511
449.36/449.59	c nbDecision=40500 #constraints=15780
466.96/467.14	c nbDecision=41000 #constraints=16010
487.55/487.73	c nbDecision=41500 #constraints=16256
498.35/498.53	c nbDecision=42000 #constraints=16427
510.05/510.21	c nbDecision=42500 #constraints=16579
519.34/519.57	c nbDecision=43000 #constraints=16687
529.54/529.73	c nbDecision=43500 #constraints=16866
543.63/543.82	c nbDecision=44000 #constraints=17045
553.83/554.06	c nbDecision=44500 #constraints=17174
566.23/566.43	c nbDecision=45000 #constraints=17399
583.22/583.43	c nbDecision=45500 #constraints=17600
597.52/597.76	c nbDecision=46000 #constraints=17798
616.71/616.91	c nbDecision=46500 #constraints=18050
636.11/636.32	c nbDecision=47000 #constraints=18261
648.20/648.48	c nbDecision=47500 #constraints=18426
660.90/661.18	c nbDecision=48000 #constraints=18578
670.59/670.84	c nbDecision=48500 #constraints=18679
682.40/682.66	c nbDecision=49000 #constraints=18870
697.49/697.75	c nbDecision=49500 #constraints=19053
709.98/710.26	c nbDecision=50000 #constraints=19192
722.89/723.14	c nbDecision=50500 #constraints=19409
741.38/741.68	c nbDecision=51000 #constraints=19610
743.78/744.00	c restart after 51201 decisions
745.67/745.90	c nbDecision=51500 #constraints=19680
758.77/759.01	c nbDecision=52000 #constraints=19836
772.06/772.35	c nbDecision=52500 #constraints=20008
784.17/784.49	c nbDecision=53000 #constraints=20196
797.46/797.77	c nbDecision=53500 #constraints=20343
808.53/808.80	c nbDecision=54000 #constraints=20451
819.10/819.43	c nbDecision=54500 #constraints=20596
829.47/829.85	c nbDecision=55000 #constraints=20726
840.26/840.61	c nbDecision=55500 #constraints=20839
852.75/853.19	c nbDecision=56000 #constraints=21031
867.84/868.24	c nbDecision=56500 #constraints=21185
878.44/878.88	c nbDecision=57000 #constraints=21312
889.73/890.10	c nbDecision=57500 #constraints=21420
900.33/900.71	c nbDecision=58000 #constraints=21521
910.12/910.55	c nbDecision=58500 #constraints=21627
920.22/920.69	c nbDecision=59000 #constraints=21741
931.32/931.76	c nbDecision=59500 #constraints=21845
942.01/942.44	c nbDecision=60000 #constraints=21949
951.91/952.33	c nbDecision=60500 #constraints=22090
965.51/965.96	c nbDecision=61000 #constraints=22267
979.31/979.78	c nbDecision=61500 #constraints=22422
992.70/993.15	c nbDecision=62000 #constraints=22577
1002.30/1002.70	c nbDecision=62500 #constraints=22707
1013.19/1013.68	c nbDecision=63000 #constraints=22811
1026.79/1027.29	c nbDecision=63500 #constraints=22995
1041.49/1041.95	c nbDecision=64000 #constraints=23146
1055.18/1055.62	c nbDecision=64500 #constraints=23276
1067.98/1068.41	c nbDecision=65000 #constraints=23464
1084.78/1085.28	c nbDecision=65500 #constraints=23632
1100.57/1101.06	c nbDecision=66000 #constraints=23810
1111.96/1112.40	c nbDecision=66500 #constraints=23916
1122.46/1122.98	c nbDecision=67000 #constraints=24013
1135.56/1136.02	c nbDecision=67500 #constraints=24125
1145.86/1146.33	c nbDecision=68000 #constraints=24223
1156.76/1157.28	c nbDecision=68500 #constraints=24337
1168.25/1168.79	c nbDecision=69000 #constraints=24440
1177.55/1178.09	c nbDecision=69500 #constraints=24563
1200.14/1200.66	c nbDecision=70000 #constraints=24822
1212.04/1212.53	c nbDecision=70500 #constraints=25042
1238.83/1239.32	c nbDecision=71000 #constraints=25325
1251.93/1252.44	c nbDecision=71500 #constraints=25552
1266.33/1266.86	c nbDecision=72000 #constraints=25691
1278.42/1278.97	c nbDecision=72500 #constraints=25929
1293.71/1294.28	c nbDecision=73000 #constraints=26078
1305.12/1305.66	c nbDecision=73500 #constraints=26299
1318.90/1319.45	c nbDecision=74000 #constraints=26431
1332.10/1332.61	c nbDecision=74500 #constraints=26654
1348.10/1348.65	c nbDecision=75000 #constraints=26812
1365.69/1366.27	c nbDecision=75500 #constraints=27034
1381.88/1382.40	c nbDecision=76000 #constraints=27236
1405.29/1405.84	c nbDecision=76500 #constraints=27461
1425.08/1425.61	c nbDecision=77000 #constraints=27604
1440.37/1440.98	c nbDecision=77500 #constraints=27892
1457.86/1458.47	c nbDecision=78000 #constraints=28051
1482.26/1482.81	c nbDecision=78500 #constraints=28251
1517.24/1517.85	c nbDecision=79000 #constraints=28477
1567.73/1568.39	c nbDecision=79500 #constraints=28823
1603.52/1604.10	c nbDecision=80000 #constraints=29113
1634.31/1634.95	c nbDecision=80500 #constraints=29342
1663.61/1664.25	c nbDecision=81000 #constraints=29568
1684.69/1685.34	c nbDecision=81500 #constraints=29786
1704.00/1704.60	c nbDecision=82000 #constraints=29938
1718.09/1718.76	c nbDecision=82500 #constraints=30049
1733.58/1734.24	c nbDecision=83000 #constraints=30208
1751.47/1752.10	c nbDecision=83500 #constraints=30345
1772.28/1772.98	c nbDecision=84000 #constraints=30520
1790.87/1791.52	c nbDecision=84500 #constraints=30705
1800.07/1800.71	Received signal 15
1800.46/1801.16	
1800.46/1801.16	s SATISFIABLE
1800.46/1801.16	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.46/1801.16	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.46/1801.16	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.46/1801.16	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
1800.46/1801.16	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.46/1801.16	v -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.46/1801.16	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.46/1801.16	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.46/1801.16	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.46/1801.16	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.46/1801.16	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.46/1801.16	v -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.46/1801.16	v -x273 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293
1800.46/1801.16	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.46/1801.16	v -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.46/1801.16	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.46/1801.16	v -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.46/1801.16	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.46/1801.16	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.46/1801.16	v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.46/1801.16	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.46/1801.16	v -x462 x463 -x464
1800.46/1801.16	
1800.46/1801.16	c user time= 1800.12 s
1800.46/1801.16	c system time= 0.415936 s
1800.46/1801.16	c wall clock time=1801.16

Verifier Data (download as text)

OK	19

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-363966-1176986860 -o ROOT/results/node47/solver-363966-1176986860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.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.12 1.08 1.01 3/77 13631
/proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=1468 CPUtime=0
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 53531356 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 367 166 130 317 0 46 0

[startup+0.0602911 s]
/proc/loadavg: 1.12 1.08 1.01 3/77 13631
/proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=2656 CPUtime=0.05
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 462 0 0 0 5 0 0 0 18 0 1 0 53531356 2719744 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 664 444 130 317 0 343 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2656

[startup+0.101295 s]
/proc/loadavg: 1.12 1.08 1.01 3/77 13631
/proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=3332 CPUtime=0.09
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 645 0 0 0 9 0 0 0 18 0 1 0 53531356 3411968 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 833 627 139 317 0 512 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3332

[startup+0.301316 s]
/proc/loadavg: 1.12 1.08 1.01 3/77 13631
/proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=3984 CPUtime=0.29
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 858 0 0 0 29 0 0 0 19 0 1 0 53531356 4079616 840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 996 840 170 317 0 675 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3984

[startup+0.70236 s]
/proc/loadavg: 1.12 1.08 1.01 3/77 13631
/proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=5304 CPUtime=0.69
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 1184 0 0 0 69 0 0 0 23 0 1 0 53531356 5431296 1166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718338 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 1326 1166 170 317 0 1005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50145 s]
/proc/loadavg: 1.12 1.08 1.01 2/78 13632
/proc/meminfo: memFree=1373880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=7288 CPUtime=1.49
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 1673 0 0 0 148 1 0 0 25 0 1 0 53531356 7462912 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 1822 1655 170 317 0 1501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7288

[startup+3.10162 s]
/proc/loadavg: 1.11 1.08 1.01 2/78 13632
/proc/meminfo: memFree=1370872/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=11048 CPUtime=3.09
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 2570 0 0 0 308 1 0 0 25 0 1 0 53531356 11313152 2552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 2762 2552 170 317 0 2441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11048

[startup+6.30197 s]
/proc/loadavg: 1.11 1.08 1.01 2/78 13632
/proc/meminfo: memFree=1366136/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=14732 CPUtime=6.29
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 3511 0 0 0 627 2 0 0 25 0 1 0 53531356 15085568 3493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 3683 3493 170 317 0 3362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14732

[startup+12.7017 s]
/proc/loadavg: 1.09 1.08 1.01 2/78 13632
/proc/meminfo: memFree=1360640/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=20740 CPUtime=12.68
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 4878 0 0 0 1266 2 0 0 25 0 1 0 53531356 21237760 4860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 5185 4860 170 317 0 4864 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20740

[startup+25.501 s]
/proc/loadavg: 1.08 1.07 1.01 2/78 13632
/proc/meminfo: memFree=1351488/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=29608 CPUtime=25.48
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 7054 0 0 0 2544 4 0 0 25 0 1 0 53531356 30318592 7036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 7402 7036 170 317 0 7081 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29608

[startup+51.1018 s]
/proc/loadavg: 1.05 1.07 1.01 2/78 13632
/proc/meminfo: memFree=1338880/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=42896 CPUtime=51.08
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 10221 0 0 0 5102 6 0 0 25 0 1 0 53531356 43925504 10160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 10724 10160 170 317 0 10403 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42896

[startup+102.305 s]
/proc/loadavg: 1.02 1.05 1.00 2/78 13632
/proc/meminfo: memFree=1326208/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=55116 CPUtime=102.26
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 13347 0 0 0 10218 8 0 0 25 0 1 0 53531356 56438784 13286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 13779 13286 170 317 0 13458 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55116

[startup+162.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/78 13632
/proc/meminfo: memFree=1313792/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=69692 CPUtime=162.24
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 16442 0 0 0 16213 11 0 0 25 0 1 0 53531356 71364608 16381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 17423 16381 170 317 0 17102 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69692

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 13632
/proc/meminfo: memFree=1308672/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=75116 CPUtime=222.23
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 17718 0 0 0 22210 13 0 0 25 0 1 0 53531356 76918784 17657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 18779 17657 170 317 0 18458 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 75116

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 13632
/proc/meminfo: memFree=1303680/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=81144 CPUtime=282.21
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 19025 0 0 0 28207 14 0 0 25 0 1 0 53531356 83091456 18879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 20286 18879 170 317 0 19965 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81144

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 13632
/proc/meminfo: memFree=1299584/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=84720 CPUtime=342.19
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 20044 0 0 0 34204 15 0 0 25 0 1 0 53531356 86753280 19898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 21180 19898 170 317 0 20859 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 84720

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 13632
/proc/meminfo: memFree=1295552/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=88592 CPUtime=402.17
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 21049 0 0 0 40201 16 0 0 25 0 1 0 53531356 90718208 20903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 22148 20903 170 317 0 21827 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 88592

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 13632
/proc/meminfo: memFree=1291200/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=92584 CPUtime=462.15
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 22112 0 0 0 46198 17 0 0 25 0 1 0 53531356 94806016 21966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 23146 21966 170 317 0 22825 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 92584

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13632
/proc/meminfo: memFree=1287808/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=95912 CPUtime=522.14
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 23006 0 0 0 52195 19 0 0 25 0 1 0 53531356 98213888 22860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 23978 22860 170 317 0 23657 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 95912

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13632
/proc/meminfo: memFree=1283200/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=101704 CPUtime=582.12
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 24464 0 0 0 58192 20 0 0 25 0 1 0 53531356 104144896 23988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 25426 23988 170 317 0 25105 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 101704

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13632
/proc/meminfo: memFree=1278976/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=108128 CPUtime=642.11
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 25875 0 0 0 64190 21 0 0 25 0 1 0 53531356 110723072 25036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 27032 25036 170 317 0 26711 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 108128


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13830
/proc/meminfo: memFree=1264576/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=121932 CPUtime=941.91
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 29429 0 0 0 94165 26 0 0 25 0 1 0 53531356 124858368 28590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 30483 28590 170 317 0 30162 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 121932

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13830
/proc/meminfo: memFree=1261376/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=125608 CPUtime=1001.9
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 30267 0 0 0 100163 27 0 0 25 0 1 0 53531356 128622592 29395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 31402 29395 170 317 0 31081 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 125608

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13830
/proc/meminfo: memFree=1258624/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=128788 CPUtime=1061.88
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 30969 0 0 0 106159 29 0 0 25 0 1 0 53531356 131878912 30097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 32197 30097 170 317 0 31876 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 128788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13830
/proc/meminfo: memFree=1256064/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=130968 CPUtime=1121.86
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 31582 0 0 0 112157 29 0 0 25 0 1 0 53531356 134111232 30710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 32742 30710 170 317 0 32421 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 130968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13830
/proc/meminfo: memFree=1254016/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=132956 CPUtime=1181.84
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 32136 0 0 0 118154 30 0 0 25 0 1 0 53531356 136146944 31231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711000 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 33239 31231 170 317 0 32918 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 132956

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1249536/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=138268 CPUtime=1241.83
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 33528 0 0 0 124151 32 0 0 25 0 1 0 53531356 141586432 32354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 34567 32354 170 317 0 34246 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 138268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1245760/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=142356 CPUtime=1301.82
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 34638 0 0 0 130148 34 0 0 25 0 1 0 53531356 145772544 33299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 35589 33299 170 317 0 35268 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 142356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1242496/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=145524 CPUtime=1361.79
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 35479 0 0 0 136145 34 0 0 25 0 1 0 53531356 149016576 34140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 36381 34140 170 317 0 36060 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 145524

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1239744/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=148208 CPUtime=1421.78
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 36208 0 0 0 142142 36 0 0 25 0 1 0 53531356 151764992 34803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 37052 34803 170 317 0 36731 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 148208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1236160/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=151480 CPUtime=1481.76
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 37117 0 0 0 148139 37 0 0 25 0 1 0 53531356 155115520 35712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 37870 35712 170 317 0 37549 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 151480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1234112/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=153328 CPUtime=1541.73
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 37648 0 0 0 154136 37 0 0 25 0 1 0 53531356 157007872 36243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 38332 36243 170 317 0 38011 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 153328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1231744/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=155856 CPUtime=1601.72
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 38336 0 0 0 160134 38 0 0 25 0 1 0 53531356 159596544 36832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 38964 36832 170 317 0 38643 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 155856

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1229248/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=158724 CPUtime=1661.7
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 39111 0 0 0 166131 39 0 0 25 0 1 0 53531356 162533376 37442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 39681 37442 170 317 0 39360 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 158724

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1227072/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=160904 CPUtime=1721.69
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 39659 0 0 0 172129 40 0 0 25 0 1 0 53531356 164765696 37990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 40226 37990 170 317 0 39905 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 160904

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1224704/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=162912 CPUtime=1781.67
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40253 0 0 0 178126 41 0 0 25 0 1 0 53531356 166821888 38584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 40728 38584 170 317 0 40407 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 162912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=164004 CPUtime=1800.07
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40538 0 0 0 179966 41 0 0 25 0 1 0 53531356 167940096 38869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 41001 38869 170 317 0 40680 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 164004

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=164004 CPUtime=1800.36
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40540 0 0 0 179995 41 0 0 25 0 1 0 53531356 167940096 38871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 41001 38871 170 317 0 40680 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 164004

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13832
/proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956
[pid=13631] ppid=13629 vsize=164004 CPUtime=1800.46
/proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40543 0 0 0 180005 41 0 0 25 0 1 0 53531356 167940096 38874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13631/statm: 41001 38874 170 317 0 40680 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 164004

Child status: 0
Real time (s): 1801.19
CPU time (s): 1800.56
CPU user time (s): 1800.12
CPU system time (s): 0.439933
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 164004

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

runsolver used 1.90471 second user time and 4.67629 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Thu Apr 19 12:47:40 UTC 2007

IDJOB= 363966
IDBENCH= 2046
IDSOLVER= 172
FILE ID= node47/363966-1176986860

PBS_JOBID= 4630336

Free space on /tmp= 66426 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb
COMMAND LINE= oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-363966-1176986860 -o ROOT/results/node47/solver-363966-1176986860 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b3e6d54e40b24334877b0ae377edea30

RANDOM SEED= 534677407

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:       1379352 kB
Buffers:         37252 kB
Cached:         569656 kB
SwapCached:       3256 kB
Active:         131104 kB
Inactive:       499820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379352 kB
SwapTotal:     4192956 kB
SwapFree:      4157972 kB
Dirty:            1616 kB
Writeback:           0 kB
Mapped:          30984 kB
Slab:            31220 kB
Committed_AS:  2603332 kB
PageTables:       1780 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= 66426 MiB

End job on node47 on Thu Apr 19 13:17:43 UTC 2007