Trace number 356949

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 alpha? (TO) 1801.29 1801.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
MD5SUM652c15620b8183c9f7790ff4b2dde8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82500
Total number of constraints397
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 constraints397
Minimum length of a constraint300
Maximum length of a constraint720
Number of terms in the objective function 82500
Biggest coefficient in the objective function 195
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 593086
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 48312
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 593086
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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...
1.19/1.25	c ...done
1.19/1.25	c #vars=82500 #constraints=795 hasObjective=yes
2.19/2.22	c res. mode=mod
2.19/2.22	c VSIDS like heuristics
2.19/2.22	c complete search running
2.59/2.68	c restart after 401 decisions
2.79/2.80	c nbDecision=500 #constraints=795
3.09/3.15	c restart after 801 decisions
3.29/3.38	c nbDecision=1000 #constraints=795
3.89/3.95	c nbDecision=1500 #constraints=795
3.99/4.07	c restart after 1601 decisions
4.49/4.53	c nbDecision=2000 #constraints=795
5.09/5.11	c nbDecision=2500 #constraints=795
5.59/5.69	c nbDecision=3000 #constraints=795
5.89/5.92	c restart after 3201 decisions
6.19/6.27	c nbDecision=3500 #constraints=795
6.79/6.84	c nbDecision=4000 #constraints=795
7.39/7.42	c nbDecision=4500 #constraints=795
7.99/8.01	c nbDecision=5000 #constraints=795
8.49/8.59	c nbDecision=5500 #constraints=795
9.09/9.17	c nbDecision=6000 #constraints=795
9.59/9.63	c restart after 6401 decisions
9.69/9.75	c nbDecision=6500 #constraints=795
10.29/10.33	c nbDecision=7000 #constraints=795
10.89/10.92	c nbDecision=7500 #constraints=795
11.49/11.50	c nbDecision=8000 #constraints=795
11.99/12.08	c nbDecision=8500 #constraints=795
12.59/12.66	c nbDecision=9000 #constraints=795
13.19/13.24	c nbDecision=9500 #constraints=795
13.79/13.82	c nbDecision=10000 #constraints=795
14.29/14.39	c nbDecision=10500 #constraints=795
14.89/14.97	c nbDecision=11000 #constraints=795
15.49/15.54	c nbDecision=11500 #constraints=795
16.09/16.12	c nbDecision=12000 #constraints=795
16.59/16.69	c nbDecision=12500 #constraints=795
16.99/17.03	c restart after 12801 decisions
17.19/17.27	c nbDecision=13000 #constraints=795
17.79/17.85	c nbDecision=13500 #constraints=795
18.39/18.42	c nbDecision=14000 #constraints=795
18.99/19.00	c nbDecision=14500 #constraints=795
19.49/19.58	c nbDecision=15000 #constraints=795
20.09/20.15	c nbDecision=15500 #constraints=795
20.68/20.72	c nbDecision=16000 #constraints=795
21.18/21.29	c nbDecision=16500 #constraints=795
21.78/21.87	c nbDecision=17000 #constraints=795
22.38/22.44	c nbDecision=17500 #constraints=795
22.99/23.00	c nbDecision=18000 #constraints=795
23.48/23.57	c nbDecision=18500 #constraints=795
24.09/24.14	c nbDecision=19000 #constraints=795
24.68/24.70	c nbDecision=19500 #constraints=795
25.19/25.27	c nbDecision=20000 #constraints=795
25.79/25.83	c nbDecision=20500 #constraints=795
26.29/26.39	c nbDecision=21000 #constraints=795
26.88/26.96	c nbDecision=21500 #constraints=795
27.49/27.52	c nbDecision=22000 #constraints=795
27.98/28.08	c nbDecision=22500 #constraints=795
28.59/28.64	c nbDecision=23000 #constraints=795
29.18/29.20	c nbDecision=23500 #constraints=795
29.69/29.76	c nbDecision=24000 #constraints=795
30.28/30.32	c nbDecision=24500 #constraints=795
30.79/30.87	c nbDecision=25000 #constraints=795
31.38/31.43	c nbDecision=25500 #constraints=795
31.48/31.54	c restart after 25601 decisions
31.98/32.03	c nbDecision=26000 #constraints=795
32.58/32.61	c nbDecision=26500 #constraints=795
33.08/33.19	c nbDecision=27000 #constraints=795
33.68/33.77	c nbDecision=27500 #constraints=795
34.28/34.36	c nbDecision=28000 #constraints=795
34.88/34.93	c nbDecision=28500 #constraints=795
35.48/35.51	c nbDecision=29000 #constraints=795
35.98/36.09	c nbDecision=29500 #constraints=795
36.58/36.66	c nbDecision=30000 #constraints=795
37.18/37.23	c nbDecision=30500 #constraints=795
37.78/37.80	c nbDecision=31000 #constraints=795
38.28/38.37	c nbDecision=31500 #constraints=795
38.88/38.93	c nbDecision=32000 #constraints=795
39.38/39.50	c nbDecision=32500 #constraints=795
39.98/40.06	c nbDecision=33000 #constraints=795
40.58/40.62	c nbDecision=33500 #constraints=795
41.08/41.18	c nbDecision=34000 #constraints=795
41.68/41.74	c nbDecision=34500 #constraints=795
42.28/42.30	c nbDecision=35000 #constraints=795
42.78/42.86	c nbDecision=35500 #constraints=795
43.38/43.41	c nbDecision=36000 #constraints=795
43.88/43.97	c nbDecision=36500 #constraints=795
44.48/44.53	c nbDecision=37000 #constraints=795
44.98/45.08	c nbDecision=37500 #constraints=795
45.58/45.63	c nbDecision=38000 #constraints=795
46.08/46.17	c nbDecision=38500 #constraints=795
46.68/46.72	c nbDecision=39000 #constraints=795
47.18/47.27	c nbDecision=39500 #constraints=795
47.78/47.82	c nbDecision=40000 #constraints=795
48.28/48.37	c nbDecision=40500 #constraints=795
48.88/48.92	c nbDecision=41000 #constraints=795
49.38/49.46	c nbDecision=41500 #constraints=795
49.98/50.01	c nbDecision=42000 #constraints=795
50.48/50.55	c nbDecision=42500 #constraints=795
50.98/51.09	c nbDecision=43000 #constraints=795
51.58/51.63	c nbDecision=43500 #constraints=795
52.07/52.17	c nbDecision=44000 #constraints=795
52.68/52.71	c nbDecision=44500 #constraints=795
53.17/53.25	c nbDecision=45000 #constraints=795
53.67/53.78	c nbDecision=45500 #constraints=795
54.27/54.32	c nbDecision=46000 #constraints=795
54.77/54.85	c nbDecision=46500 #constraints=795
55.27/55.39	c nbDecision=47000 #constraints=795
55.87/55.92	c nbDecision=47500 #constraints=795
56.37/56.45	c nbDecision=48000 #constraints=795
56.87/56.98	c nbDecision=48500 #constraints=795
57.47/57.50	c nbDecision=49000 #constraints=795
57.97/58.02	c nbDecision=49500 #constraints=795
58.47/58.54	c nbDecision=50000 #constraints=795
58.97/59.06	c nbDecision=50500 #constraints=795
59.47/59.57	c nbDecision=51000 #constraints=795
59.67/59.78	c restart after 51201 decisions
60.07/60.18	c nbDecision=51500 #constraints=795
60.67/60.75	c nbDecision=52000 #constraints=795
61.27/61.32	c nbDecision=52500 #constraints=795
61.87/61.90	c nbDecision=53000 #constraints=795
62.37/62.48	c nbDecision=53500 #constraints=795
62.97/63.05	c nbDecision=54000 #constraints=795
63.57/63.62	c nbDecision=54500 #constraints=795
64.17/64.20	c nbDecision=55000 #constraints=795
64.67/64.77	c nbDecision=55500 #constraints=795
65.27/65.34	c nbDecision=56000 #constraints=795
65.87/65.91	c nbDecision=56500 #constraints=795
66.37/66.48	c nbDecision=57000 #constraints=795
66.97/67.05	c nbDecision=57500 #constraints=795
67.57/67.62	c nbDecision=58000 #constraints=795
68.07/68.19	c nbDecision=58500 #constraints=795
68.67/68.76	c nbDecision=59000 #constraints=795
69.27/69.32	c nbDecision=59500 #constraints=795
69.77/69.89	c nbDecision=60000 #constraints=795
70.37/70.45	c nbDecision=60500 #constraints=795
70.97/71.02	c nbDecision=61000 #constraints=795
71.47/71.57	c nbDecision=61500 #constraints=795
72.07/72.14	c nbDecision=62000 #constraints=795
72.57/72.69	c nbDecision=62500 #constraints=795
73.16/73.25	c nbDecision=63000 #constraints=795
73.76/73.80	c nbDecision=63500 #constraints=795
74.26/74.36	c nbDecision=64000 #constraints=795
74.86/74.91	c nbDecision=64500 #constraints=795
75.36/75.46	c nbDecision=65000 #constraints=795
75.96/76.01	c nbDecision=65500 #constraints=795
76.46/76.56	c nbDecision=66000 #constraints=795
77.07/77.10	c nbDecision=66500 #constraints=795
77.56/77.64	c nbDecision=67000 #constraints=795
78.07/78.18	c nbDecision=67500 #constraints=795
78.66/78.72	c nbDecision=68000 #constraints=795
79.17/79.26	c nbDecision=68500 #constraints=795
79.66/79.79	c nbDecision=69000 #constraints=795
80.27/80.33	c nbDecision=69500 #constraints=795
80.76/80.86	c nbDecision=70000 #constraints=795
81.27/81.39	c nbDecision=70500 #constraints=795
81.86/81.92	c nbDecision=71000 #constraints=795
82.37/82.46	c nbDecision=71500 #constraints=795
82.86/82.98	c nbDecision=72000 #constraints=795
83.47/83.51	c nbDecision=72500 #constraints=795
83.96/84.04	c nbDecision=73000 #constraints=795
84.46/84.56	c nbDecision=73500 #constraints=795
84.96/85.08	c nbDecision=74000 #constraints=795
85.56/85.60	c nbDecision=74500 #constraints=795
86.06/86.13	c nbDecision=75000 #constraints=795
86.56/86.64	c nbDecision=75500 #constraints=795
87.06/87.17	c nbDecision=76000 #constraints=795
87.56/87.69	c nbDecision=76500 #constraints=795
88.16/88.21	c nbDecision=77000 #constraints=795
88.66/88.72	c nbDecision=77500 #constraints=795
89.16/89.24	c nbDecision=78000 #constraints=795
89.66/89.76	c nbDecision=78500 #constraints=795
90.16/90.27	c nbDecision=79000 #constraints=795
90.66/90.78	c nbDecision=79500 #constraints=795
91.16/91.29	c nbDecision=80000 #constraints=795
91.66/91.80	c nbDecision=80500 #constraints=795
92.26/92.31	c nbDecision=81000 #constraints=795
92.76/92.81	c nbDecision=81500 #constraints=795
93.26/93.32	c nbDecision=82000 #constraints=795
93.76/93.82	c nbDecision=82500 #constraints=795
94.26/94.32	c nbDecision=83000 #constraints=795
94.76/94.82	c nbDecision=83500 #constraints=795
95.26/95.32	c nbDecision=84000 #constraints=795
95.76/95.82	c nbDecision=84500 #constraints=795
96.26/96.32	c nbDecision=85000 #constraints=795
96.76/96.81	c nbDecision=85500 #constraints=795
97.26/97.30	c nbDecision=86000 #constraints=795
97.66/97.79	c nbDecision=86500 #constraints=795
98.16/98.28	c nbDecision=87000 #constraints=795
98.66/98.76	c nbDecision=87500 #constraints=795
99.16/99.25	c nbDecision=88000 #constraints=795
99.66/99.73	c nbDecision=88500 #constraints=795
100.16/100.21	c nbDecision=89000 #constraints=795
100.56/100.69	c nbDecision=89500 #constraints=795
101.06/101.17	c nbDecision=90000 #constraints=795
101.56/101.65	c nbDecision=90500 #constraints=795
102.06/102.13	c nbDecision=91000 #constraints=795
102.56/102.60	c nbDecision=91500 #constraints=795
102.96/103.08	c nbDecision=92000 #constraints=795
103.96/104.03	c nbDecision=92500 #constraints=796
104.46/104.51	c nbDecision=93000 #constraints=796
104.86/104.97	c nbDecision=93500 #constraints=796
105.36/105.43	c nbDecision=94000 #constraints=796
107.36/107.49	c nbDecision=94500 #constraints=1077
111.86/111.92	c nbDecision=95000 #constraints=1588
117.95/118.07	c nbDecision=95500 #constraints=2079
126.15/126.27	c nbDecision=96000 #constraints=2579
136.36/136.46	c nbDecision=96500 #constraints=3081
148.74/148.85	c nbDecision=97000 #constraints=3569
162.94/163.06	c nbDecision=97500 #constraints=4063
179.64/179.79	c nbDecision=98000 #constraints=4559
198.94/199.06	c nbDecision=98500 #constraints=5061
219.23/219.37	c nbDecision=99000 #constraints=5538
242.93/243.08	c nbDecision=99500 #constraints=6035
268.32/268.48	c nbDecision=100000 #constraints=6533
296.51/296.69	c nbDecision=100500 #constraints=7016
325.90/326.04	c nbDecision=101000 #constraints=7502
358.50/358.69	c nbDecision=101500 #constraints=7979
392.49/392.64	c nbDecision=102000 #constraints=8474
422.07/422.21	c restart after 102401 decisions
424.67/424.85	c nbDecision=102500 #constraints=8872
425.27/425.43	c nbDecision=103000 #constraints=8872
425.87/426.00	c nbDecision=103500 #constraints=8872
426.37/426.58	c nbDecision=104000 #constraints=8872
426.97/427.16	c nbDecision=104500 #constraints=8872
427.57/427.74	c nbDecision=105000 #constraints=8872
428.17/428.32	c nbDecision=105500 #constraints=8872
428.78/428.90	c nbDecision=106000 #constraints=8872
429.27/429.47	c nbDecision=106500 #constraints=8872
429.88/430.05	c nbDecision=107000 #constraints=8872
430.47/430.62	c nbDecision=107500 #constraints=8872
430.98/431.20	c nbDecision=108000 #constraints=8872
431.57/431.77	c nbDecision=108500 #constraints=8872
432.18/432.34	c nbDecision=109000 #constraints=8872
432.77/432.91	c nbDecision=109500 #constraints=8872
433.28/433.48	c nbDecision=110000 #constraints=8872
433.87/434.05	c nbDecision=110500 #constraints=8872
434.47/434.61	c nbDecision=111000 #constraints=8872
434.97/435.18	c nbDecision=111500 #constraints=8872
435.57/435.74	c nbDecision=112000 #constraints=8872
436.17/436.30	c nbDecision=112500 #constraints=8872
436.67/436.86	c nbDecision=113000 #constraints=8872
437.27/437.42	c nbDecision=113500 #constraints=8872
437.77/437.97	c nbDecision=114000 #constraints=8872
438.37/438.52	c nbDecision=114500 #constraints=8872
438.87/439.07	c nbDecision=115000 #constraints=8872
439.47/439.62	c nbDecision=115500 #constraints=8872
439.97/440.16	c nbDecision=116000 #constraints=8872
440.57/440.71	c nbDecision=116500 #constraints=8872
441.07/441.25	c nbDecision=117000 #constraints=8872
441.57/441.79	c nbDecision=117500 #constraints=8872
442.17/442.33	c nbDecision=118000 #constraints=8872
442.67/442.88	c nbDecision=118500 #constraints=8872
443.27/443.41	c nbDecision=119000 #constraints=8872
443.77/443.95	c nbDecision=119500 #constraints=8872
444.27/444.49	c nbDecision=120000 #constraints=8872
444.87/445.02	c nbDecision=120500 #constraints=8872
445.37/445.56	c nbDecision=121000 #constraints=8872
445.87/446.09	c nbDecision=121500 #constraints=8872
446.47/446.62	c nbDecision=122000 #constraints=8872
446.97/447.15	c nbDecision=122500 #constraints=8872
447.47/447.69	c nbDecision=123000 #constraints=8872
448.07/448.22	c nbDecision=123500 #constraints=8872
448.57/448.75	c nbDecision=124000 #constraints=8872
449.08/449.29	c nbDecision=124500 #constraints=8872
449.68/449.82	c nbDecision=125000 #constraints=8872
450.17/450.34	c nbDecision=125500 #constraints=8872
450.67/450.87	c nbDecision=126000 #constraints=8872
451.17/451.39	c nbDecision=126500 #constraints=8872
451.77/451.92	c nbDecision=127000 #constraints=8872
452.27/452.44	c nbDecision=127500 #constraints=8872
452.77/452.96	c nbDecision=128000 #constraints=8872
453.28/453.48	c nbDecision=128500 #constraints=8872
453.87/454.00	c nbDecision=129000 #constraints=8872
454.37/454.51	c nbDecision=129500 #constraints=8872
454.87/455.03	c nbDecision=130000 #constraints=8872
455.37/455.54	c nbDecision=130500 #constraints=8872
455.87/456.05	c nbDecision=131000 #constraints=8872
456.38/456.55	c nbDecision=131500 #constraints=8872
456.87/457.06	c nbDecision=132000 #constraints=8872
457.38/457.56	c nbDecision=132500 #constraints=8872
457.87/458.06	c nbDecision=133000 #constraints=8872
458.37/458.56	c nbDecision=133500 #constraints=8872
458.87/459.06	c nbDecision=134000 #constraints=8872
459.37/459.55	c nbDecision=134500 #constraints=8872
459.87/460.05	c nbDecision=135000 #constraints=8872
460.37/460.54	c nbDecision=135500 #constraints=8872
460.87/461.04	c nbDecision=136000 #constraints=8872
461.37/461.53	c nbDecision=136500 #constraints=8872
461.88/462.01	c nbDecision=137000 #constraints=8872
462.37/462.51	c nbDecision=137500 #constraints=8872
462.77/462.99	c nbDecision=138000 #constraints=8872
463.27/463.48	c nbDecision=138500 #constraints=8872
463.77/463.97	c nbDecision=139000 #constraints=8872
464.27/464.45	c nbDecision=139500 #constraints=8872
464.77/464.93	c nbDecision=140000 #constraints=8872
465.27/465.42	c nbDecision=140500 #constraints=8872
465.77/465.90	c nbDecision=141000 #constraints=8872
466.37/466.52	c nbDecision=141500 #constraints=8872
467.17/467.36	c nbDecision=142000 #constraints=8872
467.97/468.16	c nbDecision=142500 #constraints=8872
469.37/469.55	c nbDecision=143000 #constraints=8872
470.37/470.58	c nbDecision=143500 #constraints=8872
470.87/471.06	c nbDecision=144000 #constraints=8872
471.37/471.53	c nbDecision=144500 #constraints=8872
471.87/472.07	c nbDecision=145000 #constraints=8872
479.77/479.93	c nbDecision=145500 #constraints=8957
520.05/520.22	c nbDecision=146000 #constraints=9459
560.04/560.25	c nbDecision=146500 #constraints=9936
603.63/603.83	c nbDecision=147000 #constraints=10415
648.22/648.40	c nbDecision=147500 #constraints=10892
695.81/696.00	c nbDecision=148000 #constraints=11374
745.99/746.23	c nbDecision=148500 #constraints=11866
800.49/800.71	c nbDecision=149000 #constraints=12363
853.37/853.69	c nbDecision=149500 #constraints=12843
911.25/911.53	c nbDecision=150000 #constraints=13326
969.24/969.53	c nbDecision=150500 #constraints=13812
1029.72/1030.01	c nbDecision=151000 #constraints=14281
1092.41/1092.72	c nbDecision=151500 #constraints=14768
1156.00/1156.39	c nbDecision=152000 #constraints=15231
1223.88/1224.26	c nbDecision=152500 #constraints=15731
1295.36/1295.75	c nbDecision=153000 #constraints=16218
1368.05/1368.41	c nbDecision=153500 #constraints=16712
1441.73/1442.19	c nbDecision=154000 #constraints=17194
1519.71/1520.13	c nbDecision=154500 #constraints=17683
1594.58/1595.02	c nbDecision=155000 #constraints=18143
1677.76/1678.27	c nbDecision=155500 #constraints=18639
1755.84/1756.35	c nbDecision=156000 #constraints=19095
1800.09/1800.61	Received signal 15
1801.08/1801.69	
1801.08/1801.69	s UNKNOWN
1801.08/1801.69	
1801.08/1801.69	c user time= 1800.42 s
1801.08/1801.69	c system time= 0.751885 s
1801.08/1801.69	c wall clock time=1801.69

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 11587
/proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=1620 CPUtime=0
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 97603885 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 405 175 126 317 0 84 0

[startup+0.036983 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 11587
/proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=2400 CPUtime=0.03
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 473 0 0 0 3 0 0 0 18 0 1 0 97603885 2457600 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 600 357 126 317 0 279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2400

[startup+0.102989 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 11587
/proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=5624 CPUtime=0.09
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 970 0 0 0 9 0 0 0 18 0 1 0 97603885 5758976 725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 1406 728 126 317 0 1085 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5624

[startup+0.302015 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 11587
/proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=6740 CPUtime=0.29
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 1769 0 0 0 29 0 0 0 19 0 1 0 97603885 6901760 1267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 1685 1269 131 317 0 1364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6740

[startup+0.70105 s]
/proc/loadavg: 0.99 0.97 0.96 3/65 11587
/proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=15300 CPUtime=0.69
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 3857 0 0 0 68 1 0 0 22 0 1 0 97603885 15667200 3355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 3825 3355 131 317 0 3504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15300

[startup+1.50113 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1856088/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=35436 CPUtime=1.49
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 8665 0 0 0 145 4 0 0 25 0 1 0 97603885 36286464 8163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 8859 8163 137 317 0 8538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35436

[startup+3.10129 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1840280/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40316 CPUtime=3.09
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9861 0 0 0 304 5 0 0 25 0 1 0 97603885 41283584 9359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10079 9359 138 317 0 9758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40316

[startup+6.30162 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1837912/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40316 CPUtime=6.29
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9863 0 0 0 624 5 0 0 25 0 1 0 97603885 41283584 9361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10079 9361 138 317 0 9758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40316

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40316 CPUtime=12.69
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9866 0 0 0 1264 5 0 0 25 0 1 0 97603885 41283584 9364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10079 9364 138 317 0 9758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40316

[startup+25.5026 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40316 CPUtime=25.49
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9874 0 0 0 2544 5 0 0 25 0 1 0 97603885 41283584 9372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10079 9372 138 317 0 9758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40316

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40444 CPUtime=51.07
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9894 0 0 0 5102 5 0 0 25 0 1 0 97603885 41414656 9392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10111 9392 138 317 0 9790 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40444

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1837728/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=40556 CPUtime=102.26
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9937 0 0 0 10221 5 0 0 25 0 1 0 97603885 41529344 9435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 10139 9435 138 317 0 9818 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40556

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1744608/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=145116 CPUtime=162.25
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 33349 0 0 0 16210 15 0 0 25 0 1 0 97603885 148598784 32847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 36279 32847 139 317 0 35958 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 145116

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1698464/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=198880 CPUtime=222.23
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 44723 0 0 0 22201 22 0 0 25 0 1 0 97603885 203653120 44221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 49720 44221 139 317 0 49399 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 198880

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1665888/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=235448 CPUtime=282.21
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 52934 0 0 0 28195 26 0 0 25 0 1 0 97603885 241098752 52389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 58862 52389 139 317 0 58541 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 235448

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1636064/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=270824 CPUtime=342.2
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 60338 0 0 0 34189 31 0 0 25 0 1 0 97603885 277323776 59793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 67706 59793 139 317 0 67385 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 270824

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1613728/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=293952 CPUtime=402.19
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 65936 0 0 0 40184 35 0 0 25 0 1 0 97603885 301006848 65391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 73488 65391 139 317 0 73167 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 293952

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1606624/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=301076 CPUtime=462.17
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 67612 0 0 0 46181 36 0 0 25 0 1 0 97603885 308301824 67067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 75269 67067 139 317 0 74948 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 301076

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1584608/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=332028 CPUtime=522.16
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 73185 0 0 0 52178 38 0 0 25 0 1 0 97603885 339996672 72640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 83007 72640 139 317 0 82686 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 332028

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1566304/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=350888 CPUtime=582.14
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 77727 0 0 0 58173 41 0 0 25 0 1 0 97603885 359309312 77182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 87722 77182 139 317 0 87401 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 350888

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 11588
/proc/meminfo: memFree=1549728/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=368408 CPUtime=642.13
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 81830 0 0 0 64170 43 0 0 25 0 1 0 97603885 377249792 81285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 92102 81285 139 317 0 91781 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 368408


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

[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/66 11588
/proc/meminfo: memFree=1465376/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=471828 CPUtime=942.04
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 102975 0 0 0 94151 53 0 0 25 0 1 0 97603885 483151872 102345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 117957 102345 139 317 0 117636 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 471828

[startup+1002.3 s]
/proc/loadavg: 1.05 1.00 0.97 2/66 11588
/proc/meminfo: memFree=1453792/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=484332 CPUtime=1002.03
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 105837 0 0 0 100149 54 0 0 25 0 1 0 97603885 495955968 105207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 121083 105207 139 317 0 120762 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 484332

[startup+1062.3 s]
/proc/loadavg: 1.06 1.01 0.98 2/66 11588
/proc/meminfo: memFree=1441504/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=497208 CPUtime=1062.02
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 108931 0 0 0 106146 56 0 0 25 0 1 0 97603885 509140992 108301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 124302 108301 139 317 0 123981 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 497208

[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 0.98 2/66 11588
/proc/meminfo: memFree=1429728/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=509140 CPUtime=1122
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 111818 0 0 0 112142 58 0 0 25 0 1 0 97603885 521359360 111188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 127285 111188 139 317 0 126964 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 509140

[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 0.99 2/66 11588
/proc/meminfo: memFree=1418912/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=520928 CPUtime=1181.98
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 114599 0 0 0 118139 59 0 0 25 0 1 0 97603885 533430272 113969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 130232 113969 139 317 0 129911 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 520928

[startup+1242.3 s]
/proc/loadavg: 1.02 1.02 0.99 2/66 11588
/proc/meminfo: memFree=1407456/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=532328 CPUtime=1241.97
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 117410 0 0 0 124136 61 0 0 25 0 1 0 97603885 545103872 116780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 133082 116780 139 317 0 132761 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 532328

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/66 11588
/proc/meminfo: memFree=1396704/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=543336 CPUtime=1301.96
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 120050 0 0 0 130135 61 0 0 25 0 1 0 97603885 556376064 119420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 135834 119420 139 317 0 135513 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 543336

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 11588
/proc/meminfo: memFree=1386720/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=554288 CPUtime=1361.95
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 122595 0 0 0 136132 63 0 0 25 0 1 0 97603885 567590912 121965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 138572 121965 139 317 0 138251 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 554288

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 11588
/proc/meminfo: memFree=1376480/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=564428 CPUtime=1421.93
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 125114 0 0 0 142129 64 0 0 25 0 1 0 97603885 577974272 124484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 141107 124484 139 317 0 140786 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 564428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 11588
/proc/meminfo: memFree=1359840/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=603640 CPUtime=1481.91
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 133029 0 0 0 148123 68 0 0 25 0 1 0 97603885 618127360 128637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 150910 128637 139 317 0 150589 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 603640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 11588
/proc/meminfo: memFree=1350496/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=613704 CPUtime=1541.89
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 135378 0 0 0 154121 68 0 0 25 0 1 0 97603885 628432896 130953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 153426 130953 139 317 0 153105 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 613704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 11588
/proc/meminfo: memFree=1340512/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=623620 CPUtime=1601.88
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 137876 0 0 0 160118 70 0 0 25 0 1 0 97603885 638586880 133451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 155905 133451 139 317 0 155584 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 623620

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 11588
/proc/meminfo: memFree=1331360/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=633040 CPUtime=1661.86
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 140128 0 0 0 166115 71 0 0 25 0 1 0 97603885 648232960 135703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 158260 135703 139 317 0 157939 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 633040

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 11588
/proc/meminfo: memFree=1321824/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=642588 CPUtime=1721.85
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 142536 0 0 0 172113 72 0 0 25 0 1 0 97603885 658010112 138111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 160647 138111 139 317 0 160326 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 642588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/72 11614
/proc/meminfo: memFree=1311912/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=652000 CPUtime=1781.83
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 144768 0 0 0 178109 74 0 0 25 0 1 0 97603885 667648000 140343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 163000 140343 139 317 0 162679 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 652000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/72 11704
/proc/meminfo: memFree=1308832/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=654844 CPUtime=1800.09
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 145381 0 0 0 179934 75 0 0 25 0 1 0 97603885 670560256 140956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 163711 140956 139 317 0 163390 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 654844

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/72 11704
/proc/meminfo: memFree=1308832/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=654844 CPUtime=1800.88
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 145398 0 0 0 180013 75 0 0 25 0 1 0 97603885 670560256 140973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 163711 140973 139 317 0 163390 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 654844

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 0.99 2/73 11705
/proc/meminfo: memFree=1311576/2055920 swapFree=4179692/4192956
[pid=11587] ppid=11585 vsize=0 CPUtime=1801.27
/proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194308 145420 0 0 0 180044 83 0 0 25 0 1 0 97603885 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11587/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.81
CPU time (s): 1801.29
CPU user time (s): 1800.45
CPU system time (s): 0.841872
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 654844

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

runsolver used 1.39979 second user time and 3.73143 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Tue Apr 17 22:31:20 UTC 2007

IDJOB= 356949
IDBENCH= 1676
IDSOLVER= 172
FILE ID= node27/356949-1176849080

PBS_JOBID= 4590178

Free space on /tmp= 66468 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
COMMAND LINE= oree /tmp/evaluation/356949-1176849080/instance-356949-1176849080.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-356949-1176849080 -o ROOT/results/node27/solver-356949-1176849080 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356949-1176849080/instance-356949-1176849080.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  652c15620b8183c9f7790ff4b2dde8e4

RANDOM SEED= 601520273

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1875640 kB
Buffers:         20444 kB
Cached:         115916 kB
SwapCached:       7528 kB
Active:          75328 kB
Inactive:        74280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1875640 kB
SwapTotal:     4192956 kB
SwapFree:      4179692 kB
Dirty:            4852 kB
Writeback:           0 kB
Mapped:          15376 kB
Slab:            16708 kB
Committed_AS:  1613376 kB
PageTables:       1412 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= 66468 MiB

End job on node27 on Tue Apr 17 23:01:22 UTC 2007