Trace number 357408

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)-26 1800.33 1801.06

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
MD5SUMbea15b769c4cc5d5ccef31ae4b368d84
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark67.1448
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved YES
Number of variables1340
Total number of constraints207
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 constraints207
Minimum length of a constraint17
Maximum length of a constraint425
Number of terms in the objective function 425
Biggest coefficient in the objective function 65536
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 3276775
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 41943040000000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 204183950227182
Number of bits of the biggest sum of numbers48
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.02/0.04	c ...done
0.02/0.04	c #vars=1340 #constraints=210 hasObjective=yes
0.02/0.05	c res. mode=mod
0.02/0.05	c VSIDS like heuristics
0.02/0.05	c complete search running
0.09/0.10	c restart after 401 decisions
0.09/0.11	c nbDecision=500 #constraints=273
0.09/0.17	c restart after 801 decisions
0.09/0.18	c nbDecision=1000 #constraints=323
0.19/0.23	c nbDecision=1500 #constraints=364
0.19/0.29	c restart after 1601 decisions
0.29/0.37	c nbDecision=2000 #constraints=452
0.49/0.53	c nbDecision=2500 #constraints=577
0.60/0.69	c nbDecision=3000 #constraints=683
0.70/0.74	c restart after 3201 decisions
0.79/0.81	c nbDecision=3500 #constraints=747
0.79/0.89	c nbDecision=4000 #constraints=804
0.89/0.95	c nbDecision=4500 #constraints=853
1.00/1.03	c nbDecision=5000 #constraints=913
1.10/1.19	c nbDecision=5500 #constraints=976
1.29/1.36	c nbDecision=6000 #constraints=1083
1.49/1.57	c restart after 6401 decisions
1.49/1.59	c nbDecision=6500 #constraints=1199
1.79/1.82	c nbDecision=7000 #constraints=1306
2.20/2.27	c nbDecision=7500 #constraints=1422
2.59/2.61	c nbDecision=8000 #constraints=1530
2.89/2.91	c nbDecision=8500 #constraints=1605
2.89/2.93	c nbDecision=9000 #constraints=1621
2.99/3.01	c nbDecision=9500 #constraints=1655
2.99/3.09	c nbDecision=10000 #constraints=1697
3.09/3.19	c nbDecision=10500 #constraints=1732
3.20/3.27	c nbDecision=11000 #constraints=1767
3.49/3.55	c nbDecision=11500 #constraints=1846
3.59/3.64	c nbDecision=12000 #constraints=1879
3.59/3.69	c nbDecision=12500 #constraints=1902
3.79/3.87	c restart after 12801 decisions
3.99/4.04	c nbDecision=13000 #constraints=1996
4.39/4.48	c nbDecision=13500 #constraints=2102
4.59/4.64	c nbDecision=14000 #constraints=2175
4.69/4.76	c nbDecision=14500 #constraints=2216
4.99/5.03	c nbDecision=15000 #constraints=2281
5.59/5.66	c nbDecision=15500 #constraints=2390
6.39/6.41	c nbDecision=16000 #constraints=2487
6.49/6.58	c nbDecision=16500 #constraints=2526
6.69/6.76	c nbDecision=17000 #constraints=2571
6.79/6.85	c nbDecision=17500 #constraints=2606
6.88/6.93	c nbDecision=18000 #constraints=2658
6.98/7.02	c nbDecision=18500 #constraints=2690
7.48/7.53	c nbDecision=19000 #constraints=2782
8.38/8.41	c nbDecision=19500 #constraints=2903
9.29/9.33	c nbDecision=20000 #constraints=3015
10.29/10.39	c nbDecision=20500 #constraints=3121
11.49/11.50	c nbDecision=21000 #constraints=3229
11.89/11.98	c nbDecision=21500 #constraints=3295
12.18/12.22	c nbDecision=22000 #constraints=3340
12.79/12.84	c nbDecision=22500 #constraints=3410
13.69/13.75	c nbDecision=23000 #constraints=3507
14.58/14.60	c nbDecision=23500 #constraints=3616
15.68/15.75	c nbDecision=24000 #constraints=3727
16.39/16.43	c nbDecision=24500 #constraints=3815
17.49/17.55	c nbDecision=25000 #constraints=3913
18.89/18.93	c nbDecision=25500 #constraints=4038
19.19/19.21	c restart after 25601 decisions
19.59/19.64	c nbDecision=26000 #constraints=4097
19.79/19.82	c nbDecision=26500 #constraints=4127
19.98/20.01	c nbDecision=27000 #constraints=4155
20.08/20.18	c nbDecision=27500 #constraints=4174
20.68/20.73	c nbDecision=28000 #constraints=4233
20.98/21.00	c nbDecision=28500 #constraints=4271
21.89/21.99	c nbDecision=29000 #constraints=4341
23.89/23.96	c nbDecision=29500 #constraints=4451
24.19/24.24	c nbDecision=30000 #constraints=4489
24.39/24.46	c nbDecision=30500 #constraints=4519
24.79/24.86	c nbDecision=31000 #constraints=4554
25.09/25.11	c nbDecision=31500 #constraints=4594
25.38/25.49	c nbDecision=32000 #constraints=4628
25.68/25.79	c nbDecision=32500 #constraints=4683
26.08/26.11	c nbDecision=33000 #constraints=4731
26.48/26.59	c nbDecision=33500 #constraints=4782
26.88/26.96	c nbDecision=34000 #constraints=4819
27.68/27.78	c nbDecision=34500 #constraints=4893
28.38/28.43	c nbDecision=35000 #constraints=4950
29.28/29.33	c nbDecision=35500 #constraints=4993
30.18/30.23	c nbDecision=36000 #constraints=5081
31.08/31.17	c nbDecision=36500 #constraints=5171
31.78/31.82	c nbDecision=37000 #constraints=5235
32.58/32.61	c nbDecision=37500 #constraints=5270
32.88/32.99	c nbDecision=38000 #constraints=5321
33.68/33.72	c nbDecision=38500 #constraints=5376
35.48/35.54	c nbDecision=39000 #constraints=5467
36.68/36.78	c nbDecision=39500 #constraints=5549
37.38/37.48	c nbDecision=40000 #constraints=5602
37.88/37.97	c nbDecision=40500 #constraints=5656
38.18/38.23	c nbDecision=41000 #constraints=5696
38.38/38.45	c nbDecision=41500 #constraints=5738
38.88/38.93	c nbDecision=42000 #constraints=5783
39.18/39.23	c nbDecision=42500 #constraints=5824
39.67/39.74	c nbDecision=43000 #constraints=5867
40.07/40.12	c nbDecision=43500 #constraints=5911
40.27/40.39	c nbDecision=44000 #constraints=5942
40.88/40.98	c nbDecision=44500 #constraints=5996
41.58/41.68	c nbDecision=45000 #constraints=6055
42.18/42.25	c nbDecision=45500 #constraints=6112
42.78/42.81	c nbDecision=46000 #constraints=6173
43.08/43.14	c nbDecision=46500 #constraints=6215
43.68/43.75	c nbDecision=47000 #constraints=6265
44.28/44.31	c nbDecision=47500 #constraints=6316
44.68/44.70	c nbDecision=48000 #constraints=6359
45.28/45.37	c nbDecision=48500 #constraints=6411
45.78/45.84	c nbDecision=49000 #constraints=6459
46.88/46.96	c nbDecision=49500 #constraints=6539
47.58/47.63	c nbDecision=50000 #constraints=6594
48.08/48.13	c nbDecision=50500 #constraints=6641
49.48/49.55	c nbDecision=51000 #constraints=6749
49.87/49.97	c restart after 51201 decisions
51.17/51.20	c nbDecision=51500 #constraints=6811
51.87/51.96	c nbDecision=52000 #constraints=6864
52.67/52.71	c nbDecision=52500 #constraints=6929
53.17/53.25	c nbDecision=53000 #constraints=7002
53.57/53.68	c nbDecision=53500 #constraints=7057
54.08/54.12	c nbDecision=54000 #constraints=7118
54.58/54.67	c nbDecision=54500 #constraints=7188
56.38/56.40	c nbDecision=55000 #constraints=7283
59.47/59.54	c nbDecision=55500 #constraints=7431
62.47/62.57	c nbDecision=56000 #constraints=7555
63.77/63.84	c nbDecision=56500 #constraints=7636
65.27/65.37	c nbDecision=57000 #constraints=7715
67.07/67.13	c nbDecision=57500 #constraints=7798
68.47/68.50	c nbDecision=58000 #constraints=7877
70.97/71.05	c nbDecision=58500 #constraints=7963
75.07/75.17	c nbDecision=59000 #constraints=8055
77.77/77.80	c nbDecision=59500 #constraints=8118
79.17/79.29	c nbDecision=60000 #constraints=8181
79.86/79.93	c nbDecision=60500 #constraints=8215
80.76/80.83	c nbDecision=61000 #constraints=8263
81.36/81.47	c nbDecision=61500 #constraints=8301
81.76/81.81	c nbDecision=62000 #constraints=8344
82.66/82.75	c nbDecision=62500 #constraints=8395
85.77/85.86	c nbDecision=63000 #constraints=8488
89.16/89.24	c nbDecision=63500 #constraints=8606
90.26/90.40	c nbDecision=64000 #constraints=8672
91.17/91.23	c nbDecision=64500 #constraints=8727
94.66/94.75	c nbDecision=65000 #constraints=8841
95.86/95.96	c nbDecision=65500 #constraints=8887
99.36/99.43	c nbDecision=66000 #constraints=8973
105.46/105.58	c nbDecision=66500 #constraints=9112
110.35/110.44	c nbDecision=67000 #constraints=9222
114.85/114.92	c nbDecision=67500 #constraints=9317
120.35/120.46	c nbDecision=68000 #constraints=9439
123.15/123.26	c nbDecision=68500 #constraints=9520
126.75/126.88	c nbDecision=69000 #constraints=9600
129.65/129.74	c nbDecision=69500 #constraints=9689
132.34/132.43	c nbDecision=70000 #constraints=9790
134.54/134.62	c nbDecision=70500 #constraints=9886
136.64/136.78	c nbDecision=71000 #constraints=9980
140.05/140.14	c nbDecision=71500 #constraints=10077
143.95/144.09	c nbDecision=72000 #constraints=10188
148.35/148.45	c nbDecision=72500 #constraints=10303
150.24/150.36	c nbDecision=73000 #constraints=10361
152.14/152.24	c nbDecision=73500 #constraints=10425
158.54/158.65	c nbDecision=74000 #constraints=10548
162.83/162.96	c nbDecision=74500 #constraints=10664
167.23/167.36	c nbDecision=75000 #constraints=10799
171.03/171.17	c nbDecision=75500 #constraints=10909
174.54/174.67	c nbDecision=76000 #constraints=11011
177.04/177.19	c nbDecision=76500 #constraints=11066
179.43/179.57	c nbDecision=77000 #constraints=11139
180.53/180.69	c nbDecision=77500 #constraints=11236
182.43/182.56	c nbDecision=78000 #constraints=11324
184.63/184.79	c nbDecision=78500 #constraints=11394
188.33/188.43	c nbDecision=79000 #constraints=11492
192.92/193.04	c nbDecision=79500 #constraints=11611
197.03/197.13	c nbDecision=80000 #constraints=11690
200.92/201.03	c nbDecision=80500 #constraints=11764
204.02/204.17	c nbDecision=81000 #constraints=11833
207.32/207.41	c nbDecision=81500 #constraints=11913
210.02/210.11	c nbDecision=82000 #constraints=12009
214.02/214.18	c nbDecision=82500 #constraints=12096
217.62/217.80	c nbDecision=83000 #constraints=12182
222.51/222.62	c nbDecision=83500 #constraints=12294
226.02/226.11	c nbDecision=84000 #constraints=12394
233.61/233.73	c nbDecision=84500 #constraints=12507
240.51/240.62	c nbDecision=85000 #constraints=12617
246.31/246.48	c nbDecision=85500 #constraints=12712
251.80/251.91	c nbDecision=86000 #constraints=12833
255.30/255.45	c nbDecision=86500 #constraints=12929
260.21/260.32	c nbDecision=87000 #constraints=13038
266.11/266.23	c nbDecision=87500 #constraints=13141
271.50/271.61	c nbDecision=88000 #constraints=13234
276.30/276.41	c nbDecision=88500 #constraints=13323
278.20/278.36	c nbDecision=89000 #constraints=13387
281.89/282.02	c nbDecision=89500 #constraints=13452
283.89/284.01	c nbDecision=90000 #constraints=13490
284.89/285.08	c nbDecision=90500 #constraints=13545
285.29/285.46	c nbDecision=91000 #constraints=13579
285.50/285.69	c nbDecision=91500 #constraints=13629
288.70/288.84	c nbDecision=92000 #constraints=13683
290.99/291.15	c nbDecision=92500 #constraints=13741
295.89/296.09	c nbDecision=93000 #constraints=13854
300.99/301.16	c nbDecision=93500 #constraints=13969
305.38/305.52	c nbDecision=94000 #constraints=14044
310.49/310.64	c nbDecision=94500 #constraints=14122
312.29/312.46	c nbDecision=95000 #constraints=14179
315.68/315.84	c nbDecision=95500 #constraints=14250
318.38/318.53	c nbDecision=96000 #constraints=14337
321.29/321.50	c nbDecision=96500 #constraints=14426
324.08/324.20	c nbDecision=97000 #constraints=14522
331.48/331.68	c nbDecision=97500 #constraints=14702
334.28/334.43	c nbDecision=98000 #constraints=14751
339.87/340.02	c nbDecision=98500 #constraints=14847
340.57/340.76	c nbDecision=98823 #constraints=14854
340.57/340.76	c linear search for optimum
340.57/340.76	o -12
340.57/340.76	c nbDecision=98827 #constraints=14855
340.57/340.76	o -13
340.57/340.77	c nbDecision=98837 #constraints=14856
340.57/340.77	o -14
340.57/340.77	c nbDecision=98861 #constraints=14857
340.57/340.77	o -15
340.67/340.80	c nbDecision=98961 #constraints=14867
340.67/340.80	o -16
340.67/340.85	c nbDecision=98989 #constraints=14878
340.67/340.85	o -17
340.67/340.87	c nbDecision=99000 #constraints=14883
340.67/340.87	c nbDecision=99002 #constraints=14885
340.67/340.87	o -18
340.77/341.00	c nbDecision=99051 #constraints=14910
340.77/341.00	o -19
341.98/342.12	c nbDecision=99500 #constraints=15097
343.48/343.65	c nbDecision=100000 #constraints=15300
345.08/345.25	c nbDecision=100500 #constraints=15488
346.07/346.21	c nbDecision=101000 #constraints=15588
347.47/347.62	c nbDecision=101500 #constraints=15724
348.77/348.98	c nbDecision=102000 #constraints=15858
349.67/349.80	c restart after 102401 decisions
350.37/350.53	c nbDecision=102500 #constraints=15928
351.47/351.63	c nbDecision=103000 #constraints=16004
353.17/353.32	c nbDecision=103500 #constraints=16147
353.97/354.10	c nbDecision=103761 #constraints=16180
353.97/354.10	o -20
355.66/355.81	c nbDecision=103921 #constraints=16269
355.66/355.81	o -21
355.86/356.01	c nbDecision=104000 #constraints=16289
361.87/362.09	c nbDecision=104454 #constraints=16586
361.87/362.09	o -22
362.26/362.40	c nbDecision=104500 #constraints=16614
367.67/367.83	c nbDecision=104885 #constraints=16842
367.67/367.83	o -23
368.66/368.87	c nbDecision=105000 #constraints=16922
373.77/373.91	c nbDecision=105500 #constraints=17207
379.86/380.04	c nbDecision=105890 #constraints=17424
379.86/380.04	o -24
380.96/381.13	c nbDecision=106000 #constraints=17487
386.35/386.55	c nbDecision=106500 #constraints=17741
390.66/390.81	c nbDecision=106715 #constraints=17879
390.66/390.81	o -25
394.25/394.43	c nbDecision=107000 #constraints=18075
400.05/400.21	c nbDecision=107500 #constraints=18339
405.95/406.17	c nbDecision=107798 #constraints=18515
405.95/406.17	o -26
409.15/409.38	c nbDecision=108000 #constraints=18651
415.35/415.57	c nbDecision=108500 #constraints=18905
425.44/425.63	c nbDecision=109000 #constraints=19255
435.14/435.33	c nbDecision=109500 #constraints=19574
445.44/445.64	c nbDecision=110000 #constraints=19855
450.74/450.99	c nbDecision=110500 #constraints=20042
456.44/456.67	c nbDecision=111000 #constraints=20255
462.33/462.54	c nbDecision=111500 #constraints=20467
467.83/468.06	c nbDecision=112000 #constraints=20648
473.72/473.97	c nbDecision=112500 #constraints=20837
480.03/480.27	c nbDecision=113000 #constraints=21054
486.62/486.83	c nbDecision=113500 #constraints=21253
493.23/493.46	c nbDecision=114000 #constraints=21459
500.91/501.11	c nbDecision=114500 #constraints=21695
508.21/508.49	c nbDecision=115000 #constraints=21910
515.51/515.75	c nbDecision=115500 #constraints=22099
522.61/522.86	c nbDecision=116000 #constraints=22286
530.41/530.64	c nbDecision=116500 #constraints=22487
538.21/538.44	c nbDecision=117000 #constraints=22692
546.90/547.11	c nbDecision=117500 #constraints=22912
553.90/554.16	c nbDecision=118000 #constraints=23086
562.30/562.54	c nbDecision=118500 #constraints=23291
571.99/572.22	c nbDecision=119000 #constraints=23518
580.69/581.00	c nbDecision=119500 #constraints=23718
589.89/590.16	c nbDecision=120000 #constraints=23930
597.89/598.12	c nbDecision=120500 #constraints=24092
605.98/606.27	c nbDecision=121000 #constraints=24246
615.07/615.33	c nbDecision=121500 #constraints=24408
625.07/625.36	c nbDecision=122000 #constraints=24579
636.27/636.54	c nbDecision=122500 #constraints=24752
649.87/650.13	c nbDecision=123000 #constraints=24941
663.27/663.55	c nbDecision=123500 #constraints=25123
676.86/677.17	c nbDecision=124000 #constraints=25304
691.55/691.81	c nbDecision=124500 #constraints=25513
705.05/705.38	c nbDecision=125000 #constraints=25702
719.24/719.55	c nbDecision=125500 #constraints=25898
734.24/734.54	c nbDecision=126000 #constraints=26091
750.13/750.43	c nbDecision=126500 #constraints=26310
767.33/767.64	c nbDecision=127000 #constraints=26545
783.42/783.72	c nbDecision=127500 #constraints=26783
798.11/798.48	c nbDecision=128000 #constraints=27009
811.31/811.65	c nbDecision=128500 #constraints=27172
833.50/833.88	c nbDecision=129000 #constraints=27417
844.00/844.33	c nbDecision=129500 #constraints=27566
857.79/858.12	c nbDecision=130000 #constraints=27773
872.29/872.65	c nbDecision=130500 #constraints=27984
884.38/884.76	c nbDecision=131000 #constraints=28158
896.59/896.96	c nbDecision=131500 #constraints=28333
906.18/906.54	c nbDecision=132000 #constraints=28463
919.88/920.28	c nbDecision=132500 #constraints=28663
933.16/933.56	c nbDecision=133000 #constraints=28845
946.27/946.61	c nbDecision=133500 #constraints=29027
960.26/960.62	c nbDecision=134000 #constraints=29224
973.76/974.15	c nbDecision=134500 #constraints=29393
989.05/989.44	c nbDecision=135000 #constraints=29577
1005.44/1005.86	c nbDecision=135500 #constraints=29773
1018.74/1019.10	c nbDecision=136000 #constraints=29910
1034.64/1035.00	c nbDecision=136500 #constraints=30097
1054.03/1054.49	c nbDecision=137000 #constraints=30318
1071.12/1071.54	c nbDecision=137500 #constraints=30513
1087.61/1088.02	c nbDecision=138000 #constraints=30694
1104.11/1104.51	c nbDecision=138500 #constraints=30871
1122.31/1122.73	c nbDecision=139000 #constraints=31069
1141.30/1141.76	c nbDecision=139500 #constraints=31266
1161.79/1162.24	c nbDecision=140000 #constraints=31484
1182.18/1182.69	c nbDecision=140500 #constraints=31677
1221.17/1221.60	c nbDecision=141000 #constraints=31906
1269.85/1270.31	c nbDecision=141500 #constraints=32234
1327.03/1327.52	c nbDecision=142000 #constraints=32579
1376.03/1376.70	c nbDecision=142500 #constraints=32902
1417.89/1418.53	c nbDecision=143000 #constraints=33149
1471.58/1472.27	c nbDecision=143500 #constraints=33473
1526.26/1526.99	c nbDecision=144000 #constraints=33774
1586.73/1587.48	c nbDecision=144500 #constraints=34092
1640.62/1641.34	c nbDecision=145000 #constraints=34398
1701.30/1702.04	c nbDecision=145500 #constraints=34731
1759.08/1759.84	c nbDecision=146000 #constraints=35043
1800.07/1800.80	Received signal 15
1800.17/1800.95	
1800.17/1800.95	s SATISFIABLE
1800.17/1800.95	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.17/1800.95	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.17/1800.95	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 x81
1800.17/1800.95	v x82 x83 x84 x85 -x86 x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.17/1800.95	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.17/1800.95	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 x144 x145 x146 -x147 x148 x149 -x150
1800.17/1800.95	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 x171
1800.17/1800.95	v x172 x173 x174 x175 x176 x177 x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.17/1800.95	v -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 x202 x203 x204 x205 -x206 -x207 x208 x209 -x210 -x211 x212 x213 -x214 -x215 -x216
1800.17/1800.95	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237
1800.17/1800.95	v x238 x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
1800.17/1800.95	v -x259 x260 x261 x262 -x263 -x264 x265 x266 -x267 x268 x269 x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
1800.17/1800.95	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 x293 x294 x295 -x296 x297 -x298 x299 x300 x301 -x302 x303 -x304
1800.17/1800.95	v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
1800.17/1800.95	v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346
1800.17/1800.95	v -x347 -x348 -x349 -x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369
1800.17/1800.95	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 x384 x385 -x386 -x387 -x388 -x389 x390 -x391
1800.17/1800.95	v -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412
1800.17/1800.95	v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
1800.17/1800.95	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454
1800.17/1800.95	v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475
1800.17/1800.95	v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496
1800.17/1800.95	v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517
1800.17/1800.95	v -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538
1800.17/1800.95	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559
1800.17/1800.95	v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1800.17/1800.95	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 -x601 x602 -x603
1800.17/1800.95	v -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624
1800.17/1800.95	v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.17/1800.95	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666
1800.17/1800.95	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687
1800.17/1800.95	v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
1800.17/1800.95	v -x709 -x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731
1800.17/1800.95	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 -x754
1800.17/1800.95	v x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1800.17/1800.95	v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
1800.17/1800.95	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
1800.17/1800.95	v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838
1800.17/1800.95	v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1800.17/1800.95	v -x860 -x861 -x862 x863 x864 x865 -x866 -x867 x868 x869 x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 x881 -x882
1800.17/1800.95	v -x883 -x884 x885 x886 x887 -x888 -x889 x890 x891 x892 x893 -x894 -x895 x896 x897 x898 x899 x900 x901 x902 x903 -x904 -x905 -x906
1800.17/1800.95	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 -x924 x925 -x926 -x927
1800.17/1800.95	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 x943 -x944 -x945 -x946 -x947 -x948
1800.17/1800.95	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.17/1800.95	v -x970 -x971 -x972 -x973 -x974 -x975 x976 x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
1800.17/1800.95	v -x991 -x992 -x993 -x994 x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009
1800.17/1800.95	v -x1010 -x1011 -x1012 x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1800.17/1800.95	v -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.17/1800.95	v -x1046 -x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1800.17/1800.95	v -x1064 -x1065 -x1066 x1067 x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.17/1800.95	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.17/1800.95	v -x1099 -x1100 -x1101 -x1102 -x1103 x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116
1800.17/1800.95	v -x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
1800.17/1800.95	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
1800.17/1800.95	v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168
1800.17/1800.95	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185
1800.17/1800.95	v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1800.17/1800.95	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.17/1800.95	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.17/1800.95	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 x1251 -x1252 -x1253 -x1254
1800.17/1800.95	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.17/1800.95	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.17/1800.95	v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305
1800.17/1800.95	v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322
1800.17/1800.95	v x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339
1800.17/1800.95	v x1340
1800.17/1800.95	
1800.17/1800.95	c user time= 1799.29 s
1800.17/1800.95	c system time= 0.936857 s
1800.17/1800.95	c wall clock time=1800.96

Verifier Data (download as text)

OK	-26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-357408-1176997133 -o ROOT/results/node23/solver-357408-1176997133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.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.00 1.00 1.00 3/77 13991
/proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=1468 CPUtime=0
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147630453 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828720 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 367 161 131 317 0 46 0

[startup+0.0263659 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13991
/proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=1732 CPUtime=0.02
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 247 0 0 0 2 0 0 0 18 0 1 0 147630453 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 433 229 131 317 0 112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1732

[startup+0.10138 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13991
/proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=2516 CPUtime=0.09
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 147630453 2576384 456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 629 456 170 317 0 308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2516

[startup+0.301419 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13991
/proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=3424 CPUtime=0.29
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 147630453 3506176 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 856 691 170 317 0 535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3424

[startup+0.701496 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13991
/proc/meminfo: memFree=1795080/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=5128 CPUtime=0.7
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 1127 0 0 0 69 1 0 0 23 0 1 0 147630453 5251072 1109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 1282 1109 170 317 0 961 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5128

[startup+1.50265 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1789696/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=8568 CPUtime=1.49
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 1998 0 0 0 148 1 0 0 25 0 1 0 147630453 8773632 1980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 2142 1980 170 317 0 1821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8568

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1786048/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=12536 CPUtime=3.09
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 2931 0 0 0 308 1 0 0 25 0 1 0 147630453 12836864 2913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 3134 2913 170 317 0 2813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12536

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1779136/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=18040 CPUtime=6.29
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 4303 0 0 0 627 2 0 0 25 0 1 0 147630453 18472960 4285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 4510 4285 170 317 0 4189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18040

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1771976/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=25344 CPUtime=12.69
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 6030 0 0 0 1265 4 0 0 25 0 1 0 147630453 25952256 6012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 6336 6012 170 317 0 6015 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25344

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1762248/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=34188 CPUtime=25.48
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 8344 0 0 0 2542 6 0 0 25 0 1 0 147630453 35008512 8326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 8547 8326 170 317 0 8226 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34188

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1745032/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=52308 CPUtime=51.07
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 12636 0 0 0 5099 8 0 0 25 0 1 0 147630453 53563392 12618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 13077 12618 170 317 0 12756 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52308

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1729096/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=69000 CPUtime=102.26
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 16619 0 0 0 10215 11 0 0 25 0 1 0 147630453 70656000 16543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 17250 16543 170 317 0 16929 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69000

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1715848/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=83216 CPUtime=162.23
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 19939 0 0 0 16209 14 0 0 25 0 1 0 147630453 85213184 19863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 20804 19863 170 317 0 20483 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 83216

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1703816/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=96044 CPUtime=222.21
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 22898 0 0 0 22205 16 0 0 25 0 1 0 147630453 98349056 22822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 24011 22822 170 317 0 23690 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 96044

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1695624/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=103708 CPUtime=282.19
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 24941 0 0 0 28201 18 0 0 25 0 1 0 147630453 106196992 24865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 25927 24865 170 317 0 25606 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 103708

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1681160/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=120172 CPUtime=342.17
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 28888 0 0 0 34195 22 0 0 25 0 1 0 147630453 123056128 28812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 30043 28812 170 317 0 29722 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 120172

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1609160/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=193096 CPUtime=402.15
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 46993 0 0 0 40184 31 0 0 25 0 1 0 147630453 197730304 46539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 48274 46539 170 317 0 47953 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 193096

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1560776/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=247080 CPUtime=462.13
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 59503 0 0 0 46176 37 0 0 25 0 1 0 147630453 253009920 58521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 61770 58521 170 317 0 61449 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 247080

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1523976/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=282160 CPUtime=522.11
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 69058 0 0 0 52170 41 0 0 25 0 1 0 147630453 288931840 67779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 70540 67779 170 317 0 70219 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 282160

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1485576/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=331540 CPUtime=582.09
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 79123 0 0 0 58162 47 0 0 25 0 1 0 147630453 339496960 77250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 82885 77250 170 317 0 82564 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 331540

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1462472/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=354104 CPUtime=642.07
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 84805 0 0 0 64157 50 0 0 25 0 1 0 147630453 362602496 82932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 88526 82932 170 317 0 88205 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 354104


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1395400/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=417288 CPUtime=881.98
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 102079 0 0 0 88136 62 0 0 25 0 1 0 147630453 427302912 99645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 104322 99645 170 317 0 104001 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 417288

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1378248/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=432240 CPUtime=941.97
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 106382 0 0 0 94132 65 0 0 25 0 1 0 147630453 442613760 103948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 108060 103948 170 317 0 107739 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 432240

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1363016/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=445740 CPUtime=1001.94
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 110171 0 0 0 100126 68 0 0 25 0 1 0 147630453 456437760 107704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 111435 107704 170 317 0 111114 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 445740

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1349576/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=457988 CPUtime=1061.92
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 113543 0 0 0 106123 69 0 0 25 0 1 0 147630453 468979712 111076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 114497 111076 170 317 0 114176 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 457988

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1335432/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=471916 CPUtime=1121.91
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 117055 0 0 0 112119 72 0 0 25 0 1 0 147630453 483241984 114588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 117979 114588 170 317 0 117658 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 471916

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1315784/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=520380 CPUtime=1181.88
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 127215 0 0 0 118112 76 0 0 25 0 1 0 147630453 532869120 119468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 130095 119468 170 317 0 129774 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 520380

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1305480/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=530212 CPUtime=1241.86
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 129773 0 0 0 124109 77 0 0 25 0 1 0 147630453 542937088 121993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 132553 121993 170 317 0 132232 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 530212

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13992
/proc/meminfo: memFree=1293960/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=541744 CPUtime=1301.85
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 132739 0 0 0 130106 79 0 0 25 0 1 0 147630453 554745856 124827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 135436 124827 170 317 0 135115 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 541744

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 14158
/proc/meminfo: memFree=1280960/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=555004 CPUtime=1361.74
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 135984 0 0 0 136093 81 0 0 25 0 1 0 147630453 568324096 127709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 138751 127709 170 317 0 138430 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 555004

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1272136/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=566700 CPUtime=1421.7
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 138735 0 0 0 142087 83 0 0 25 0 1 0 147630453 580300800 130200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 141675 130200 170 317 0 141354 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 566700

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1261768/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=576596 CPUtime=1481.67
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 141349 0 0 0 148083 84 0 0 25 0 1 0 147630453 590434304 132814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 144149 132814 170 317 0 143828 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 576596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1251784/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=590056 CPUtime=1541.66
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 144601 0 0 0 154080 86 0 0 25 0 1 0 147630453 604217344 135286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 147514 135286 170 317 0 147193 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 590056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1243400/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=598828 CPUtime=1601.63
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 146722 0 0 0 160075 88 0 0 25 0 1 0 147630453 613199872 137407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 149707 137407 170 317 0 149386 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 598828

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1233352/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=608552 CPUtime=1661.61
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 149188 0 0 0 166072 89 0 0 25 0 1 0 147630453 623157248 139873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 152138 139873 170 317 0 151817 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 608552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1224648/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=617572 CPUtime=1721.59
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 151385 0 0 0 172068 91 0 0 25 0 1 0 147630453 632393728 142070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 154393 142070 170 317 0 154072 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 617572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1214856/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=630588 CPUtime=1781.57
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 154661 0 0 0 178064 93 0 0 25 0 1 0 147630453 645722112 144501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 157647 144501 170 317 0 157326 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 630588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14190
/proc/meminfo: memFree=1212040/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=633392 CPUtime=1800.07
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194304 155355 0 0 0 179914 93 0 0 25 0 1 0 147630453 648593408 145195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 158348 145195 170 317 0 158027 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 633392

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 14190
/proc/meminfo: memFree=1212040/2055920 swapFree=4169120/4192956
[pid=13991] ppid=13989 vsize=0 CPUtime=1800.27
/proc/13991/stat : 13991 (oree) R 13989 13991 13149 0 -1 4194308 155379 0 0 0 179930 97 0 0 25 0 1 0 147630453 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13991/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.06
CPU time (s): 1800.33
CPU user time (s): 1799.3
CPU system time (s): 1.03084
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 633392

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

runsolver used 2.09868 second user time and 4.45832 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Thu Apr 19 15:38:53 UTC 2007

IDJOB= 357408
IDBENCH= 2533
IDSOLVER= 172
FILE ID= node23/357408-1176997133

PBS_JOBID= 4630438

Free space on /tmp= 66454 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
COMMAND LINE= oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-357408-1176997133 -o ROOT/results/node23/solver-357408-1176997133 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357408-1176997133/instance-357408-1176997133.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bea15b769c4cc5d5ccef31ae4b368d84

RANDOM SEED= 827843702

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1795488 kB
Buffers:         23492 kB
Cached:         148844 kB
SwapCached:       2288 kB
Active:          75400 kB
Inactive:       119820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795488 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1504 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            50700 kB
Committed_AS:  2459368 kB
PageTables:       1796 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= 66454 MiB

End job on node23 on Thu Apr 19 16:08:56 UTC 2007