Trace number 373161

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)99149 1800.09 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
MD5SUM93d57e3cf3bbcca358fa3998d0198f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13949
Best CPU time to get the best result obtained on this benchmark0.019996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13949
Optimality of the best value was proved YES
Number of variables256
Total number of constraints351
Number of constraints which are clauses351
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint21
Number of terms in the objective function 152
Biggest coefficient in the objective function 1848
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 235098
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1848
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 235098
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=256 #constraints=352 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.00/0.00	c nbDecision=138 #constraints=352
0.00/0.00	c linear search for optimum
0.00/0.00	o 129761
0.00/0.00	c nbDecision=138 #constraints=353
0.00/0.00	o 129579
0.00/0.00	c nbDecision=139 #constraints=355
0.00/0.00	o 129532
0.00/0.00	c nbDecision=139 #constraints=356
0.00/0.00	o 129350
0.00/0.01	c nbDecision=139 #constraints=358
0.00/0.01	o 129292
0.00/0.01	c nbDecision=199 #constraints=364
0.00/0.01	o 129254
0.00/0.01	c nbDecision=200 #constraints=366
0.00/0.01	o 129207
0.00/0.01	c nbDecision=200 #constraints=367
0.00/0.01	o 129025
0.00/0.01	c nbDecision=200 #constraints=369
0.00/0.01	o 128967
0.00/0.02	c nbDecision=390 #constraints=389
0.00/0.02	o 128038
0.00/0.02	c nbDecision=390 #constraints=390
0.00/0.02	o 127856
0.00/0.02	c nbDecision=391 #constraints=392
0.00/0.02	o 127809
0.00/0.03	c nbDecision=391 #constraints=393
0.00/0.03	o 127627
0.00/0.03	c nbDecision=391 #constraints=395
0.00/0.03	o 127569
0.00/0.03	c restart after 401 decisions
0.00/0.03	c nbDecision=500 #constraints=401
0.00/0.03	c nbDecision=537 #constraints=401
0.00/0.03	o 127531
0.00/0.03	c nbDecision=538 #constraints=403
0.00/0.03	o 127484
0.00/0.03	c nbDecision=538 #constraints=404
0.00/0.03	o 127302
0.00/0.03	c nbDecision=538 #constraints=406
0.00/0.03	o 127244
0.00/0.05	c restart after 801 decisions
0.00/0.07	c nbDecision=1000 #constraints=454
0.00/0.08	c nbDecision=1187 #constraints=468
0.00/0.08	o 126564
0.00/0.08	c nbDecision=1187 #constraints=469
0.00/0.08	o 126382
0.00/0.08	c nbDecision=1188 #constraints=471
0.00/0.08	o 126335
0.00/0.08	c nbDecision=1188 #constraints=472
0.00/0.08	o 126153
0.00/0.08	c nbDecision=1188 #constraints=474
0.00/0.08	o 126095
0.00/0.08	c nbDecision=1248 #constraints=480
0.00/0.08	o 126057
0.00/0.08	c nbDecision=1249 #constraints=482
0.00/0.08	o 126010
0.00/0.08	c nbDecision=1249 #constraints=483
0.00/0.08	o 125828
0.00/0.08	c nbDecision=1249 #constraints=485
0.00/0.08	o 125770
0.09/0.11	c nbDecision=1500 #constraints=525
0.09/0.12	c restart after 1601 decisions
0.09/0.15	c nbDecision=2000 #constraints=574
0.09/0.18	c nbDecision=2212 #constraints=599
0.09/0.18	o 125761
0.09/0.18	c nbDecision=2212 #constraints=600
0.09/0.18	o 125579
0.09/0.18	c nbDecision=2212 #constraints=602
0.09/0.18	o 125521
0.19/0.20	c nbDecision=2500 #constraints=636
0.19/0.25	c nbDecision=3000 #constraints=699
0.19/0.27	c restart after 3201 decisions
0.29/0.30	c nbDecision=3500 #constraints=745
0.29/0.35	c nbDecision=4000 #constraints=802
0.29/0.37	c nbDecision=4189 #constraints=824
0.29/0.37	o 125463
0.29/0.37	c nbDecision=4189 #constraints=826
0.29/0.37	o 125405
0.39/0.41	c nbDecision=4500 #constraints=867
0.39/0.44	c nbDecision=4856 #constraints=902
0.39/0.44	o 124725
0.39/0.44	c nbDecision=4856 #constraints=903
0.39/0.44	o 124543
0.39/0.45	c nbDecision=4857 #constraints=905
0.39/0.45	o 124496
0.39/0.45	c nbDecision=4857 #constraints=906
0.39/0.45	o 124314
0.39/0.45	c nbDecision=4857 #constraints=908
0.39/0.45	o 124256
0.39/0.45	c nbDecision=4916 #constraints=914
0.39/0.45	o 124218
0.39/0.45	c nbDecision=4917 #constraints=916
0.39/0.45	o 124171
0.39/0.45	c nbDecision=4917 #constraints=917
0.39/0.45	o 123989
0.39/0.45	c nbDecision=4917 #constraints=919
0.39/0.45	o 123931
0.39/0.46	c nbDecision=5000 #constraints=932
0.49/0.52	c nbDecision=5500 #constraints=988
0.49/0.54	c nbDecision=5668 #constraints=1007
0.49/0.54	o 123922
0.49/0.54	c nbDecision=5668 #constraints=1008
0.49/0.54	o 123740
0.49/0.54	c nbDecision=5668 #constraints=1010
0.49/0.54	o 123682
0.49/0.59	c nbDecision=6000 #constraints=1053
0.59/0.64	c restart after 6401 decisions
0.59/0.66	c nbDecision=6500 #constraints=1100
0.69/0.73	c nbDecision=7000 #constraints=1165
0.79/0.80	c nbDecision=7500 #constraints=1223
0.79/0.88	c nbDecision=8000 #constraints=1285
0.89/0.97	c nbDecision=8500 #constraints=1342
0.99/1.04	c nbDecision=9000 #constraints=1398
1.10/1.14	c nbDecision=9500 #constraints=1458
1.10/1.15	c nbDecision=9613 #constraints=1465
1.10/1.15	o 122753
1.10/1.15	c nbDecision=9613 #constraints=1466
1.10/1.15	o 122571
1.10/1.15	c nbDecision=9614 #constraints=1468
1.10/1.15	o 122524
1.10/1.15	c nbDecision=9614 #constraints=1469
1.10/1.15	o 122342
1.10/1.15	c nbDecision=9614 #constraints=1471
1.10/1.15	o 122284
1.10/1.16	c nbDecision=9674 #constraints=1477
1.10/1.16	o 122246
1.10/1.16	c nbDecision=9675 #constraints=1479
1.10/1.16	o 122199
1.10/1.16	c nbDecision=9675 #constraints=1480
1.10/1.16	o 122017
1.10/1.16	c nbDecision=9675 #constraints=1482
1.10/1.16	o 121959
1.20/1.22	c nbDecision=10000 #constraints=1520
1.29/1.31	c nbDecision=10500 #constraints=1577
1.49/1.52	c nbDecision=11000 #constraints=1675
1.59/1.63	c nbDecision=11500 #constraints=1732
1.69/1.73	c nbDecision=12000 #constraints=1795
1.79/1.84	c nbDecision=12500 #constraints=1852
1.89/1.92	c restart after 12801 decisions
1.99/2.07	c nbDecision=13000 #constraints=1925
2.19/2.23	c nbDecision=13500 #constraints=1994
2.39/2.49	c nbDecision=14000 #constraints=2079
2.49/2.53	c nbDecision=14137 #constraints=2091
2.49/2.53	o 121927
2.49/2.53	c nbDecision=14137 #constraints=2093
2.49/2.53	o 121869
2.59/2.63	c nbDecision=14500 #constraints=2141
2.79/2.80	c nbDecision=15000 #constraints=2202
2.89/2.96	c nbDecision=15500 #constraints=2266
3.09/3.12	c nbDecision=16000 #constraints=2326
3.09/3.12	c nbDecision=16032 #constraints=2326
3.09/3.12	o 121189
3.09/3.12	c nbDecision=16032 #constraints=2327
3.09/3.12	o 121007
3.09/3.12	c nbDecision=16033 #constraints=2329
3.09/3.12	o 120960
3.09/3.12	c nbDecision=16033 #constraints=2330
3.09/3.12	o 120778
3.09/3.12	c nbDecision=16033 #constraints=2332
3.09/3.12	o 120720
3.09/3.14	c nbDecision=16093 #constraints=2338
3.09/3.14	o 120682
3.09/3.14	c nbDecision=16094 #constraints=2340
3.09/3.14	o 120635
3.09/3.14	c nbDecision=16094 #constraints=2341
3.09/3.14	o 120453
3.09/3.14	c nbDecision=16094 #constraints=2343
3.09/3.14	o 120395
3.29/3.34	c nbDecision=16500 #constraints=2406
3.68/3.71	c nbDecision=17000 #constraints=2499
4.28/4.36	c nbDecision=17500 #constraints=2614
4.39/4.46	c nbDecision=17852 #constraints=2650
4.39/4.46	o 120386
4.39/4.46	c nbDecision=17852 #constraints=2651
4.39/4.46	o 120204
4.39/4.46	c nbDecision=17852 #constraints=2653
4.39/4.46	o 120146
4.49/4.52	c nbDecision=18000 #constraints=2673
4.69/4.72	c nbDecision=18500 #constraints=2737
4.79/4.87	c nbDecision=19000 #constraints=2793
4.99/5.04	c nbDecision=19500 #constraints=2850
5.50/5.59	c nbDecision=20000 #constraints=2946
5.79/5.82	c nbDecision=20500 #constraints=3009
6.19/6.26	c nbDecision=21000 #constraints=3091
6.39/6.49	c nbDecision=21500 #constraints=3153
6.69/6.77	c nbDecision=22000 #constraints=3216
6.99/7.05	c nbDecision=22500 #constraints=3276
7.19/7.25	c nbDecision=22989 #constraints=3332
7.19/7.25	o 119466
7.19/7.25	c nbDecision=22989 #constraints=3333
7.19/7.25	o 119284
7.19/7.25	c nbDecision=22990 #constraints=3335
7.19/7.25	o 119237
7.19/7.25	c nbDecision=22990 #constraints=3336
7.19/7.25	o 119055
7.19/7.25	c nbDecision=22990 #constraints=3338
7.19/7.25	o 118997
7.19/7.27	c nbDecision=23000 #constraints=3344
7.19/7.27	c nbDecision=23049 #constraints=3344
7.19/7.27	o 118959
7.19/7.27	c nbDecision=23050 #constraints=3346
7.19/7.27	o 118912
7.19/7.27	c nbDecision=23050 #constraints=3347
7.19/7.27	o 118730
7.19/7.27	c nbDecision=23050 #constraints=3349
7.19/7.27	o 118672
7.49/7.57	c nbDecision=23500 #constraints=3409
8.38/8.42	c nbDecision=24000 #constraints=3525
8.99/9.09	c nbDecision=24411 #constraints=3597
8.99/9.09	o 118663
8.99/9.09	c nbDecision=24411 #constraints=3598
8.99/9.09	o 118481
8.99/9.09	c nbDecision=24411 #constraints=3600
8.99/9.09	o 118423
9.09/9.14	c nbDecision=24500 #constraints=3613
9.39/9.44	c nbDecision=25000 #constraints=3677
9.79/9.88	c nbDecision=25500 #constraints=3742
9.89/9.94	c restart after 25601 decisions
10.29/10.34	c nbDecision=26000 #constraints=3791
10.49/10.58	c nbDecision=26500 #constraints=3847
11.59/11.69	c nbDecision=27000 #constraints=3969
13.08/13.12	c nbDecision=27500 #constraints=4104
13.48/13.57	c nbDecision=27974 #constraints=4160
13.48/13.57	o 118420
13.48/13.58	c nbDecision=27974 #constraints=4162
13.48/13.58	o 118362
13.58/13.63	c nbDecision=28000 #constraints=4170
13.88/13.97	c nbDecision=28500 #constraints=4226
14.89/14.91	c nbDecision=29000 #constraints=4322
15.19/15.28	c nbDecision=29500 #constraints=4386
15.49/15.56	c nbDecision=30000 #constraints=4442
15.78/15.84	c nbDecision=30500 #constraints=4498
16.59/16.63	c nbDecision=31000 #constraints=4587
18.38/18.47	c nbDecision=31500 #constraints=4721
18.79/18.83	c nbDecision=32000 #constraints=4781
19.18/19.30	c nbDecision=32500 #constraints=4842
19.58/19.61	c nbDecision=33000 #constraints=4898
19.89/19.97	c nbDecision=33500 #constraints=4954
20.29/20.34	c nbDecision=34000 #constraints=5017
20.69/20.76	c nbDecision=34500 #constraints=5078
21.99/22.07	c nbDecision=35000 #constraints=5170
22.59/22.70	c nbDecision=35500 #constraints=5239
22.89/22.93	c nbDecision=35752 #constraints=5266
22.89/22.93	o 118327
23.09/23.13	c nbDecision=36000 #constraints=5293
23.59/23.67	c nbDecision=36500 #constraints=5358
23.99/24.04	c nbDecision=37000 #constraints=5414
24.39/24.46	c nbDecision=37500 #constraints=5477
24.89/24.99	c nbDecision=38000 #constraints=5535
25.59/25.67	c nbDecision=38500 #constraints=5602
26.29/26.31	c nbDecision=39000 #constraints=5670
26.69/26.73	c nbDecision=39500 #constraints=5726
27.08/27.14	c nbDecision=40000 #constraints=5782
27.28/27.37	c nbDecision=40261 #constraints=5810
27.28/27.37	o 117682
27.28/27.37	c nbDecision=40261 #constraints=5811
27.28/27.37	o 117500
27.28/27.37	c nbDecision=40262 #constraints=5813
27.28/27.37	o 117453
27.28/27.37	c nbDecision=40262 #constraints=5814
27.28/27.37	o 117271
27.28/27.37	c nbDecision=40262 #constraints=5816
27.28/27.37	o 117213
27.38/27.42	c nbDecision=40321 #constraints=5822
27.38/27.42	o 117175
27.38/27.42	c nbDecision=40322 #constraints=5824
27.38/27.42	o 117128
27.38/27.42	c nbDecision=40322 #constraints=5825
27.38/27.42	o 116946
27.38/27.42	c nbDecision=40322 #constraints=5827
27.38/27.42	o 116888
27.59/27.61	c nbDecision=40500 #constraints=5854
28.28/28.30	c nbDecision=41000 #constraints=5919
28.98/29.04	c nbDecision=41265 #constraints=5957
28.98/29.04	o 116879
28.98/29.04	c nbDecision=41265 #constraints=5958
28.98/29.04	o 116697
28.98/29.04	c nbDecision=41265 #constraints=5960
28.98/29.04	o 116639
29.18/29.27	c nbDecision=41500 #constraints=5987
29.88/29.91	c nbDecision=42000 #constraints=6051
30.28/30.36	c nbDecision=42500 #constraints=6107
30.79/30.81	c nbDecision=43000 #constraints=6163
32.68/32.72	c nbDecision=43500 #constraints=6293
37.08/37.12	c nbDecision=44000 #constraints=6494
38.18/38.25	c nbDecision=44500 #constraints=6564
38.98/39.08	c nbDecision=45000 #constraints=6633
39.68/39.76	c nbDecision=45500 #constraints=6696
40.28/40.32	c nbDecision=46000 #constraints=6754
40.88/40.92	c nbDecision=46500 #constraints=6813
42.98/43.01	c nbDecision=47000 #constraints=6912
43.78/43.84	c nbDecision=47500 #constraints=6972
44.98/45.03	c nbDecision=48000 #constraints=7058
48.48/48.59	c nbDecision=48500 #constraints=7211
49.17/49.28	c nbDecision=49000 #constraints=7273
49.77/49.87	c nbDecision=49500 #constraints=7335
50.37/50.48	c nbDecision=50000 #constraints=7397
52.18/52.28	c nbDecision=50500 #constraints=7493
53.08/53.12	c nbDecision=51000 #constraints=7555
53.58/53.67	c restart after 51201 decisions
56.48/56.51	c nbDecision=51500 #constraints=7667
59.97/60.10	c nbDecision=52000 #constraints=7793
61.47/61.52	c nbDecision=52500 #constraints=7867
62.17/62.23	c nbDecision=53000 #constraints=7923
65.17/65.28	c nbDecision=53500 #constraints=8036
65.87/65.99	c nbDecision=54000 #constraints=8089
66.07/66.18	c nbDecision=54142 #constraints=8105
66.07/66.18	o 116604
66.57/66.66	c nbDecision=54500 #constraints=8146
70.08/70.14	c nbDecision=55000 #constraints=8274
71.27/71.34	c nbDecision=55500 #constraints=8337
72.77/72.84	c nbDecision=56000 #constraints=8413
74.67/74.72	c nbDecision=56500 #constraints=8493
75.77/75.85	c nbDecision=57000 #constraints=8557
77.27/77.30	c nbDecision=57500 #constraints=8628
78.17/78.25	c nbDecision=58000 #constraints=8692
79.07/79.18	c nbDecision=58500 #constraints=8747
79.28/79.37	c nbDecision=58619 #constraints=8761
79.28/79.37	o 115994
79.28/79.38	c nbDecision=58619 #constraints=8762
79.28/79.38	o 115812
79.28/79.38	c nbDecision=58620 #constraints=8764
79.28/79.38	o 115765
79.28/79.38	c nbDecision=58620 #constraints=8765
79.28/79.38	o 115583
79.28/79.38	c nbDecision=58620 #constraints=8767
79.28/79.38	o 115525
79.37/79.46	c nbDecision=58679 #constraints=8773
79.37/79.46	o 115487
79.37/79.46	c nbDecision=58680 #constraints=8775
79.37/79.46	o 115440
79.37/79.46	c nbDecision=58680 #constraints=8776
79.37/79.46	o 115258
79.37/79.47	c nbDecision=58680 #constraints=8778
79.37/79.47	o 115200
81.07/81.18	c nbDecision=59000 #constraints=8842
81.87/81.95	c nbDecision=59409 #constraints=8886
81.87/81.95	o 115191
81.87/81.95	c nbDecision=59409 #constraints=8887
81.87/81.95	o 115009
81.87/81.96	c nbDecision=59409 #constraints=8889
81.87/81.96	o 114951
82.07/82.13	c nbDecision=59500 #constraints=8902
84.97/85.07	c nbDecision=60000 #constraints=9011
89.57/89.61	c nbDecision=60500 #constraints=9149
90.77/90.87	c nbDecision=61000 #constraints=9211
91.97/92.07	c nbDecision=61500 #constraints=9276
94.37/94.42	c nbDecision=62000 #constraints=9365
96.37/96.45	c nbDecision=62500 #constraints=9441
98.86/98.96	c nbDecision=63000 #constraints=9534
101.76/101.86	c nbDecision=63500 #constraints=9641
103.56/103.66	c nbDecision=64000 #constraints=9712
104.86/104.96	c nbDecision=64500 #constraints=9777
106.56/106.69	c nbDecision=65000 #constraints=9850
108.36/108.45	c nbDecision=65500 #constraints=9922
109.66/109.71	c nbDecision=66000 #constraints=9987
110.76/110.90	c nbDecision=66500 #constraints=10043
110.86/110.92	c nbDecision=66508 #constraints=10045
110.86/110.92	o 114916
111.66/111.71	c nbDecision=67000 #constraints=10100
113.26/113.32	c nbDecision=67500 #constraints=10173
113.96/114.09	c nbDecision=68000 #constraints=10229
114.46/114.55	c nbDecision=68296 #constraints=10257
114.46/114.55	o 114306
114.46/114.55	c nbDecision=68296 #constraints=10258
114.46/114.55	o 114124
114.46/114.55	c nbDecision=68297 #constraints=10260
114.46/114.55	o 114077
114.46/114.55	c nbDecision=68297 #constraints=10261
114.46/114.55	o 113895
114.46/114.56	c nbDecision=68297 #constraints=10263
114.46/114.56	o 113837
114.56/114.65	c nbDecision=68356 #constraints=10269
114.56/114.65	o 113799
114.56/114.65	c nbDecision=68357 #constraints=10271
114.56/114.65	o 113752
114.56/114.65	c nbDecision=68357 #constraints=10272
114.56/114.65	o 113570
114.56/114.65	c nbDecision=68357 #constraints=10274
114.56/114.66	o 113512
114.96/115.09	c nbDecision=68500 #constraints=10298
116.56/116.68	c nbDecision=69000 #constraints=10362
116.56/116.68	c nbDecision=69000 #constraints=10362
116.56/116.68	o 113503
116.56/116.68	c nbDecision=69000 #constraints=10363
116.56/116.68	o 113321
116.56/116.69	c nbDecision=69000 #constraints=10365
116.56/116.69	o 113263
119.76/119.82	c nbDecision=69500 #constraints=10482
128.56/128.65	c nbDecision=70000 #constraints=10737
131.26/131.37	c nbDecision=70500 #constraints=10828
133.65/133.73	c nbDecision=71000 #constraints=10907
135.36/135.42	c nbDecision=71500 #constraints=10976
139.05/139.11	c nbDecision=72000 #constraints=11080
143.05/143.16	c nbDecision=72500 #constraints=11188
146.56/146.64	c nbDecision=73000 #constraints=11284
150.35/150.46	c nbDecision=73500 #constraints=11390
152.96/153.02	c nbDecision=74000 #constraints=11467
155.85/155.97	c nbDecision=74500 #constraints=11555
157.15/157.29	c nbDecision=75000 #constraints=11612
157.65/157.71	c nbDecision=75224 #constraints=11633
157.65/157.71	o 112632
157.65/157.71	c nbDecision=75224 #constraints=11634
157.65/157.71	o 112450
157.65/157.71	c nbDecision=75225 #constraints=11636
157.65/157.71	o 112403
157.65/157.71	c nbDecision=75225 #constraints=11637
157.65/157.71	o 112221
157.65/157.72	c nbDecision=75225 #constraints=11639
157.65/157.72	o 112163
159.35/159.46	c nbDecision=75500 #constraints=11692
164.55/164.68	c nbDecision=76000 #constraints=11828
169.04/169.13	c nbDecision=76304 #constraints=11931
169.04/169.13	o 112125
169.04/169.14	c nbDecision=76304 #constraints=11933
169.04/169.14	o 112067
170.24/170.39	c nbDecision=76500 #constraints=11971
174.35/174.40	c nbDecision=77000 #constraints=12077
179.14/179.21	c nbDecision=77500 #constraints=12202
182.74/182.88	c nbDecision=78000 #constraints=12299
186.24/186.31	c nbDecision=78500 #constraints=12390
188.34/188.49	c nbDecision=79000 #constraints=12458
188.84/188.93	c nbDecision=79225 #constraints=12480
188.84/188.93	o 112044
188.84/188.94	c nbDecision=79225 #constraints=12482
188.84/188.94	o 111986
189.24/189.34	c nbDecision=79415 #constraints=12502
189.24/189.34	o 111097
189.24/189.34	c nbDecision=79415 #constraints=12503
189.24/189.34	o 110915
189.24/189.34	c nbDecision=79416 #constraints=12505
189.24/189.34	o 110868
189.24/189.35	c nbDecision=79416 #constraints=12506
189.24/189.35	o 110686
189.24/189.35	c nbDecision=79416 #constraints=12508
189.24/189.35	o 110628
189.94/190.06	c nbDecision=79500 #constraints=12532
194.44/194.54	c nbDecision=79960 #constraints=12643
194.44/194.54	o 110619
194.44/194.54	c nbDecision=79960 #constraints=12644
194.44/194.54	o 110437
194.44/194.54	c nbDecision=79960 #constraints=12646
194.44/194.54	o 110379
194.54/194.67	c nbDecision=80000 #constraints=12652
202.84/202.90	c nbDecision=80500 #constraints=12872
208.94/209.09	c nbDecision=80877 #constraints=13013
208.94/209.09	o 110355
210.23/210.34	c nbDecision=81000 #constraints=13048
213.04/213.10	c nbDecision=81500 #constraints=13128
222.83/222.94	c nbDecision=82000 #constraints=13362
226.13/226.29	c nbDecision=82500 #constraints=13453
232.23/232.34	c nbDecision=83000 #constraints=13611
238.13/238.22	c nbDecision=83500 #constraints=13751
243.63/243.70	c nbDecision=84000 #constraints=13906
249.63/249.75	c nbDecision=84500 #constraints=14058
253.52/253.61	c nbDecision=85000 #constraints=14155
255.32/255.40	c nbDecision=85448 #constraints=14212
255.32/255.40	o 110332
255.32/255.41	c nbDecision=85448 #constraints=14214
255.32/255.41	o 110274
255.42/255.53	c nbDecision=85500 #constraints=14220
256.33/256.43	c nbDecision=85887 #constraints=14262
256.33/256.43	o 109385
256.33/256.43	c nbDecision=85887 #constraints=14263
256.33/256.43	o 109203
256.33/256.43	c nbDecision=85888 #constraints=14265
256.33/256.43	o 109156
256.33/256.43	c nbDecision=85888 #constraints=14266
256.33/256.43	o 108974
256.33/256.44	c nbDecision=85888 #constraints=14268
256.33/256.44	o 108916
257.63/257.72	c nbDecision=86000 #constraints=14301
258.72/258.89	c nbDecision=86154 #constraints=14327
258.72/258.89	o 108907
258.72/258.89	c nbDecision=86154 #constraints=14328
258.72/258.89	o 108725
258.82/258.90	c nbDecision=86154 #constraints=14330
258.82/258.90	o 108667
262.42/262.52	c nbDecision=86500 #constraints=14416
271.92/272.06	c nbDecision=87000 #constraints=14645
283.22/283.39	c nbDecision=87500 #constraints=14906
288.72/288.81	c nbDecision=88000 #constraints=15023
296.81/296.91	c nbDecision=88500 #constraints=15216
304.31/304.44	c nbDecision=89000 #constraints=15381
304.51/304.64	c nbDecision=89122 #constraints=15389
304.51/304.64	o 108664
304.51/304.64	c nbDecision=89122 #constraints=15390
304.51/304.64	o 108482
304.51/304.65	c nbDecision=89122 #constraints=15392
304.51/304.65	o 108424
309.81/309.94	c nbDecision=89500 #constraints=15497
319.11/319.24	c nbDecision=90000 #constraints=15670
325.61/325.70	c nbDecision=90500 #constraints=15800
330.61/330.78	c nbDecision=91000 #constraints=15912
333.21/333.35	c nbDecision=91500 #constraints=15985
335.01/335.18	c nbDecision=92000 #constraints=16042
335.41/335.56	c nbDecision=92146 #constraints=16056
335.41/335.56	o 107721
335.41/335.56	c nbDecision=92146 #constraints=16057
335.41/335.56	o 107539
335.41/335.56	c nbDecision=92147 #constraints=16059
335.41/335.56	o 107492
335.41/335.56	c nbDecision=92147 #constraints=16060
335.41/335.56	o 107310
335.41/335.57	c nbDecision=92147 #constraints=16062
335.41/335.57	o 107252
342.50/342.60	c nbDecision=92500 #constraints=16189
342.50/342.61	c nbDecision=92500 #constraints=16191
342.50/342.61	o 107228
352.30/352.42	c nbDecision=93000 #constraints=16368
359.20/359.34	c nbDecision=93500 #constraints=16500
364.89/365.04	c nbDecision=94000 #constraints=16612
364.99/365.10	c nbDecision=94055 #constraints=16614
364.99/365.10	o 107193
367.41/367.57	c nbDecision=94389 #constraints=16668
367.41/367.57	o 107185
367.41/367.58	c nbDecision=94390 #constraints=16670
367.41/367.58	o 107138
367.41/367.58	c nbDecision=94390 #constraints=16671
367.41/367.58	o 106956
367.41/367.59	c nbDecision=94390 #constraints=16673
367.41/367.59	o 106898
367.70/367.89	c nbDecision=94500 #constraints=16686
370.19/370.37	c nbDecision=95000 #constraints=16758
370.79/370.98	c nbDecision=95250 #constraints=16779
370.79/370.98	o 106009
370.79/370.98	c nbDecision=95250 #constraints=16780
370.79/370.98	o 105827
370.79/370.99	c nbDecision=95251 #constraints=16782
370.79/370.99	o 105780
370.79/370.99	c nbDecision=95251 #constraints=16783
370.79/370.99	o 105598
370.89/371.00	c nbDecision=95251 #constraints=16785
370.89/371.00	o 105540
378.20/378.32	c nbDecision=95500 #constraints=16925
389.59/389.75	c nbDecision=96000 #constraints=17151
400.49/400.64	c nbDecision=96500 #constraints=17370
411.19/411.30	c nbDecision=97000 #constraints=17571
417.58/417.73	c nbDecision=97500 #constraints=17701
423.38/423.56	c nbDecision=98000 #constraints=17809
426.48/426.65	c nbDecision=98500 #constraints=17887
427.28/427.49	c nbDecision=98666 #constraints=17905
427.28/427.49	o 105482
427.38/427.50	c nbDecision=98666 #constraints=17907
427.38/427.50	o 105424
428.68/428.86	c nbDecision=99000 #constraints=17952
429.28/429.48	c nbDecision=99240 #constraints=17973
429.28/429.48	o 104535
429.28/429.48	c nbDecision=99240 #constraints=17974
429.28/429.48	o 104353
429.28/429.48	c nbDecision=99241 #constraints=17976
429.28/429.48	o 104306
429.28/429.48	c nbDecision=99241 #constraints=17977
429.28/429.48	o 104124
429.28/429.49	c nbDecision=99241 #constraints=17979
429.28/429.49	o 104066
437.38/437.56	c nbDecision=99500 #constraints=18122
449.28/449.45	c nbDecision=100000 #constraints=18346
461.07/461.29	c nbDecision=100500 #constraints=18553
473.48/473.62	c nbDecision=101000 #constraints=18798
483.27/483.47	c nbDecision=101500 #constraints=18960
491.47/491.70	c nbDecision=102000 #constraints=19108
495.86/496.07	c restart after 102401 decisions
499.56/499.73	c nbDecision=102500 #constraints=19234
514.16/514.30	c nbDecision=103000 #constraints=19476
528.46/528.65	c nbDecision=103500 #constraints=19759
541.35/541.58	c nbDecision=104000 #constraints=19976
549.65/549.81	c nbDecision=104500 #constraints=20113
558.75/558.97	c nbDecision=105000 #constraints=20272
564.84/565.05	c nbDecision=105500 #constraints=20380
569.45/569.68	c nbDecision=106000 #constraints=20478
571.75/571.95	c nbDecision=106500 #constraints=20539
572.15/572.37	c nbDecision=106650 #constraints=20555
572.15/572.37	o 104058
572.75/572.95	c nbDecision=106840 #constraints=20575
572.75/572.95	o 103169
572.75/572.95	c nbDecision=106840 #constraints=20576
572.75/572.95	o 102987
572.75/572.96	c nbDecision=106841 #constraints=20578
572.75/572.96	o 102940
572.75/572.96	c nbDecision=106841 #constraints=20579
572.75/572.96	o 102758
572.75/572.97	c nbDecision=106841 #constraints=20581
572.75/572.97	o 102700
580.55/580.79	c nbDecision=107000 #constraints=20677
607.44/607.69	c nbDecision=107500 #constraints=20983
631.63/631.82	c nbDecision=108000 #constraints=21255
636.13/636.35	c nbDecision=108231 #constraints=21306
636.13/636.35	o 102690
636.13/636.35	c nbDecision=108231 #constraints=21307
636.13/636.35	o 102508
636.13/636.36	c nbDecision=108231 #constraints=21309
636.13/636.36	o 102450
638.73/638.93	c nbDecision=108500 #constraints=21348
654.33/654.56	c nbDecision=109000 #constraints=21547
672.52/672.72	c nbDecision=109500 #constraints=21760
689.92/690.13	c nbDecision=109944 #constraints=21953
689.92/690.13	o 102412
690.12/690.39	c nbDecision=110000 #constraints=21959
708.41/708.65	c nbDecision=110500 #constraints=22157
712.71/712.91	c nbDecision=110675 #constraints=22200
712.71/712.91	o 102377
720.70/720.97	c nbDecision=111000 #constraints=22296
727.81/728.06	c nbDecision=111310 #constraints=22373
727.81/728.06	o 102221
727.81/728.07	c nbDecision=111310 #constraints=22375
727.81/728.07	o 102163
731.61/731.85	c nbDecision=111500 #constraints=22433
743.60/743.87	c nbDecision=112000 #constraints=22591
743.70/743.90	c nbDecision=112050 #constraints=22593
743.70/743.90	o 102125
754.30/754.58	c nbDecision=112500 #constraints=22734
772.89/773.10	c nbDecision=113000 #constraints=22943
790.39/790.67	c nbDecision=113500 #constraints=23139
806.29/806.54	c nbDecision=114000 #constraints=23305
816.69/816.96	c nbDecision=114500 #constraints=23429
825.18/825.43	c nbDecision=115000 #constraints=23529
830.18/830.41	c nbDecision=115500 #constraints=23607
832.78/833.00	c nbDecision=116000 #constraints=23664
833.08/833.35	c nbDecision=116120 #constraints=23671
833.08/833.35	o 101266
833.08/833.35	c nbDecision=116120 #constraints=23672
833.08/833.35	o 101084
833.08/833.36	c nbDecision=116121 #constraints=23674
833.08/833.36	o 101037
833.08/833.36	c nbDecision=116121 #constraints=23675
833.08/833.36	o 100855
833.08/833.37	c nbDecision=116121 #constraints=23677
833.08/833.37	o 100797
851.47/851.75	c nbDecision=116500 #constraints=23879
872.37/872.68	c nbDecision=117000 #constraints=24091
888.77/889.06	c nbDecision=117500 #constraints=24265
903.46/903.72	c nbDecision=118000 #constraints=24419
915.26/915.59	c nbDecision=118500 #constraints=24551
923.15/923.44	c nbDecision=118978 #constraints=24666
923.15/923.44	o 100759
923.35/923.68	c nbDecision=119000 #constraints=24672
941.76/942.01	c nbDecision=119500 #constraints=24873
966.95/967.28	c nbDecision=120000 #constraints=25161
990.25/990.52	c nbDecision=120497 #constraints=25390
990.25/990.52	o 100733
990.45/990.74	c nbDecision=120500 #constraints=25396
1007.54/1007.81	c nbDecision=121000 #constraints=25572
1022.14/1022.43	c nbDecision=121500 #constraints=25715
1034.73/1035.08	c nbDecision=122000 #constraints=25857
1045.03/1045.36	c nbDecision=122500 #constraints=25989
1048.03/1048.36	c nbDecision=122689 #constraints=26026
1048.03/1048.36	o 100695
1054.52/1054.80	c nbDecision=123000 #constraints=26113
1081.61/1081.92	c nbDecision=123500 #constraints=26399
1101.62/1101.97	c nbDecision=124000 #constraints=26603
1116.41/1116.72	c nbDecision=124500 #constraints=26770
1127.01/1127.37	c nbDecision=125000 #constraints=26892
1137.90/1138.23	c nbDecision=125500 #constraints=27022
1145.80/1146.12	c nbDecision=126000 #constraints=27132
1165.40/1165.71	c nbDecision=126500 #constraints=27364
1185.69/1186.02	c nbDecision=127000 #constraints=27565
1203.99/1204.33	c nbDecision=127500 #constraints=27742
1204.99/1205.30	c nbDecision=127582 #constraints=27752
1204.99/1205.30	o 100667
1216.08/1216.42	c nbDecision=128000 #constraints=27877
1231.08/1231.42	c nbDecision=128500 #constraints=28048
1241.69/1242.02	c nbDecision=129000 #constraints=28171
1241.98/1242.35	c nbDecision=129104 #constraints=28180
1241.98/1242.35	o 100629
1254.48/1254.87	c nbDecision=129500 #constraints=28317
1283.67/1284.04	c nbDecision=130000 #constraints=28615
1309.76/1310.11	c nbDecision=130500 #constraints=28860
1310.66/1311.07	c nbDecision=130582 #constraints=28870
1310.66/1311.07	o 100617
1324.25/1324.69	c nbDecision=131000 #constraints=29003
1342.56/1342.90	c nbDecision=131500 #constraints=29192
1354.15/1354.57	c nbDecision=132000 #constraints=29309
1366.85/1367.26	c nbDecision=132500 #constraints=29454
1372.84/1373.21	c nbDecision=132802 #constraints=29524
1372.84/1373.21	o 100579
1373.94/1374.38	c nbDecision=133000 #constraints=29551
1393.95/1394.38	c nbDecision=133500 #constraints=29793
1424.44/1424.88	c nbDecision=134000 #constraints=30103
1447.73/1448.16	c nbDecision=134500 #constraints=30318
1458.23/1458.67	c nbDecision=135000 #constraints=30435
1477.32/1477.76	c nbDecision=135500 #constraints=30614
1499.81/1500.23	c nbDecision=136000 #constraints=30832
1516.71/1517.10	c nbDecision=136500 #constraints=31003
1533.61/1534.05	c nbDecision=137000 #constraints=31177
1544.90/1545.40	c nbDecision=137500 #constraints=31293
1551.10/1551.57	c nbDecision=138000 #constraints=31366
1551.10/1551.59	c nbDecision=138001 #constraints=31368
1551.10/1551.59	o 100545
1556.70/1557.17	c nbDecision=138500 #constraints=31447
1558.70/1559.10	c nbDecision=138922 #constraints=31489
1558.70/1559.10	o 99656
1558.70/1559.10	c nbDecision=138922 #constraints=31490
1558.70/1559.10	o 99474
1558.70/1559.11	c nbDecision=138923 #constraints=31492
1558.70/1559.11	o 99427
1558.70/1559.11	c nbDecision=138923 #constraints=31493
1558.70/1559.11	o 99245
1558.70/1559.12	c nbDecision=138923 #constraints=31495
1558.70/1559.12	o 99187
1560.30/1560.76	c nbDecision=139000 #constraints=31515
1588.79/1589.25	c nbDecision=139500 #constraints=31783
1610.99/1611.41	c nbDecision=140000 #constraints=31984
1630.28/1630.71	c nbDecision=140500 #constraints=32158
1642.48/1642.94	c nbDecision=141000 #constraints=32275
1656.18/1656.64	c nbDecision=141500 #constraints=32423
1662.47/1662.97	c nbDecision=141823 #constraints=32500
1662.47/1662.97	o 99149
1663.37/1663.88	c nbDecision=142000 #constraints=32520
1689.07/1689.55	c nbDecision=142500 #constraints=32779
1721.36/1721.81	c nbDecision=143000 #constraints=33072
1746.75/1747.21	c nbDecision=143500 #constraints=33297
1765.65/1766.17	c nbDecision=144000 #constraints=33474
1788.55/1789.05	c nbDecision=144500 #constraints=33674
1800.04/1800.50	Received signal 15
1800.04/1800.51	
1800.04/1800.51	s SATISFIABLE
1800.04/1800.51	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 -x29 -x30 -x31 -x32 -x33
1800.04/1800.51	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59
1800.04/1800.51	v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85
1800.04/1800.51	v -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 -x108 x109 x110 -x111 -x112
1800.04/1800.51	v -x113 x114 x115 x116 x117 x118 x119 x120 x121 -x122 x123 x124 -x125 x126 x127 x128 x129 x130 x131 -x132 x133 x134 x135 x136 -x137
1800.04/1800.51	v x138 x139 -x140 -x141 x142 x143 -x144 x145 x146 -x147 -x148 x149 x150 x151 x152 -x153 x154 x155 x156 x157 x158 x159 -x160 -x161
1800.04/1800.51	v x162 x163 x164 x165 x166 x167 x168 x169 -x170 x171 x172 -x173 x174 x175 -x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186
1800.04/1800.51	v -x187 -x188 x189 x190 x191 x192 -x193 x194 x195 x196 x197 x198 x199 -x200 x201 x202 -x203 -x204 -x205 x206 x207 x208 x209 x210
1800.04/1800.51	v x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 x233
1800.04/1800.51	v -x234 x235 x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 x253 x254 x255
1800.04/1800.51	v -x256
1800.04/1800.51	
1800.04/1800.51	c user time= 1799.69 s
1800.04/1800.51	c system time= 0.373943 s
1800.04/1800.51	c wall clock time=1800.51

Verifier Data (download as text)

OK	99149

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-373161-1177173038 -o ROOT/results/node60/solver-373161-1177173038 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.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.95 0.98 0.99 3/64 17762
/proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=1468 CPUtime=0
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 165213748 1503232 181 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 367 181 137 317 0 46 0

[startup+0.101782 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 17762
/proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=2252 CPUtime=0.09
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 426 0 0 0 9 0 0 0 18 0 1 0 165213748 2306048 408 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 563 408 170 317 0 242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2252

[startup+0.201791 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 17762
/proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=2912 CPUtime=0.19
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 585 0 0 0 19 0 0 0 18 0 1 0 165213748 2981888 567 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 728 567 170 317 0 407 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2912

[startup+0.301801 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 17762
/proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=3432 CPUtime=0.29
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 693 0 0 0 29 0 0 0 19 0 1 0 165213748 3514368 675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 858 675 170 317 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3432

[startup+0.701839 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 17762
/proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=5260 CPUtime=0.69
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 1151 0 0 0 69 0 0 0 22 0 1 0 165213748 5386240 1133 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 1315 1133 170 317 0 994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5260

[startup+1.50192 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1767176/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=7772 CPUtime=1.49
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 1754 0 0 0 149 0 0 0 25 0 1 0 165213748 7958528 1736 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 1943 1736 170 317 0 1622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7772

[startup+3.10108 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1764808/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=10352 CPUtime=3.09
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 2417 0 0 0 309 0 0 0 25 0 1 0 165213748 10600448 2399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 2588 2399 170 317 0 2267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10352

[startup+6.30239 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1760280/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=14492 CPUtime=6.29
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 3370 0 0 0 628 1 0 0 25 0 1 0 165213748 14839808 3352 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 3623 3352 170 317 0 3302 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14492

[startup+12.702 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1755968/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=18128 CPUtime=12.69
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 4356 0 0 0 1267 2 0 0 25 0 1 0 165213748 18563072 4338 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 4532 4338 170 317 0 4211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18128

[startup+25.5013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1748552/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=26096 CPUtime=25.49
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 6149 0 0 0 2545 4 0 0 25 0 1 0 165213748 26722304 6131 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 6524 6131 170 317 0 6203 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26096

[startup+51.1018 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1741128/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=33088 CPUtime=51.07
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 8050 0 0 0 5102 5 0 0 25 0 1 0 165213748 33882112 8032 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 8272 8032 170 317 0 7951 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33088

[startup+102.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1730120/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=46076 CPUtime=102.27
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 10812 0 0 0 10219 8 0 0 25 0 1 0 165213748 47181824 10737 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 11519 10737 170 317 0 11198 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46076

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1721736/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=53884 CPUtime=162.25
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 12907 0 0 0 16215 10 0 0 25 0 1 0 165213748 55177216 12832 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 13471 12832 170 317 0 13150 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53884

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1715400/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=59696 CPUtime=222.24
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 14465 0 0 0 22212 12 0 0 25 0 1 0 165213748 61128704 14390 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 14924 14390 170 317 0 14603 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59696

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1709448/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=65348 CPUtime=282.22
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 15973 0 0 0 28208 14 0 0 25 0 1 0 165213748 66916352 15898 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 16337 15898 170 317 0 16016 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 65348

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1704328/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=70064 CPUtime=342.2
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 17226 0 0 0 34205 15 0 0 25 0 1 0 165213748 71745536 17151 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 17516 17151 170 317 0 17195 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 70064

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1697544/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=83180 CPUtime=402.19
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 20181 0 0 0 40202 17 0 0 25 0 1 0 165213748 85176320 18837 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 20795 18837 170 317 0 20474 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 83180

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1692936/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=87344 CPUtime=462.17
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 21320 0 0 0 46199 18 0 0 25 0 1 0 165213748 89440256 19976 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 21836 19976 170 317 0 21515 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 87344

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 17763
/proc/meminfo: memFree=1688840/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=91160 CPUtime=522.16
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 22362 0 0 0 52196 20 0 0 25 0 1 0 165213748 93347840 21018 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 22790 21018 170 317 0 22469 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 91160

[startup+582.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1684552/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=95072 CPUtime=582.15
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 23412 0 0 0 58194 21 0 0 25 0 1 0 165213748 97353728 22068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 23768 22068 170 317 0 23447 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 95072

[startup+642.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 17765
/proc/meminfo: memFree=1681736/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=97412 CPUtime=642.13
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 24127 0 0 0 64192 21 0 0 25 0 1 0 165213748 99749888 22783 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 24353 22783 170 317 0 24032 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 97412


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

[startup+822.302 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 17765
/proc/meminfo: memFree=1673416/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=105084 CPUtime=822.09
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 26221 0 0 0 82185 24 0 0 25 0 1 0 165213748 107606016 24844 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 26271 24844 170 317 0 25950 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 105084

[startup+882.306 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 17765
/proc/meminfo: memFree=1670664/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=107552 CPUtime=882.07
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 26893 0 0 0 88183 24 0 0 25 0 1 0 165213748 110133248 25516 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 26888 25516 170 317 0 26567 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 107552

[startup+942.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 17765
/proc/meminfo: memFree=1668104/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=109888 CPUtime=942.06
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 27552 0 0 0 94180 26 0 0 25 0 1 0 165213748 112525312 26175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 27472 26175 170 317 0 27151 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 109888

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 17765
/proc/meminfo: memFree=1665416/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=112100 CPUtime=1002.04
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 28208 0 0 0 100177 27 0 0 25 0 1 0 165213748 114790400 26831 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 28025 26831 170 317 0 27704 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 112100

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 17765
/proc/meminfo: memFree=1662792/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=114424 CPUtime=1062.02
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 28860 0 0 0 106175 27 0 0 25 0 1 0 165213748 117170176 27483 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 28606 27483 170 317 0 28285 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 114424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 17765
/proc/meminfo: memFree=1660360/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=116756 CPUtime=1122.01
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 29473 0 0 0 112173 28 0 0 25 0 1 0 165213748 119558144 28096 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 29189 28096 170 317 0 28868 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 116756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1657480/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=119212 CPUtime=1181.99
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 30193 0 0 0 118170 29 0 0 25 0 1 0 165213748 122073088 28816 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 29803 28816 170 317 0 29482 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 119212

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1654920/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=121524 CPUtime=1241.98
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 30822 0 0 0 124168 30 0 0 25 0 1 0 165213748 124440576 29445 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 30381 29445 170 317 0 30060 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 121524

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1652616/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=123596 CPUtime=1301.96
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 31408 0 0 0 130166 30 0 0 25 0 1 0 165213748 126562304 30031 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 30899 30031 170 317 0 30578 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 123596

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1650312/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=125680 CPUtime=1361.95
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 31988 0 0 0 136164 31 0 0 25 0 1 0 165213748 128696320 30611 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 31420 30611 170 317 0 31099 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 125680

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1647368/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=128152 CPUtime=1421.94
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 32693 0 0 0 142162 32 0 0 25 0 1 0 165213748 131227648 31316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 32038 31316 170 317 0 31717 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 128152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1645256/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=130224 CPUtime=1481.92
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 33251 0 0 0 148160 32 0 0 25 0 1 0 165213748 133349376 31874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 32556 31874 170 317 0 32235 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 130224

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1642888/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=132284 CPUtime=1541.91
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 33828 0 0 0 154158 33 0 0 25 0 1 0 165213748 135458816 32451 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 33071 32451 170 317 0 32750 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 132284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1640392/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=134616 CPUtime=1601.89
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 34438 0 0 0 160155 34 0 0 25 0 1 0 165213748 137846784 33061 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 33654 33061 170 317 0 33333 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 134616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1638152/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=136552 CPUtime=1661.87
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 35004 0 0 0 166153 34 0 0 25 0 1 0 165213748 139829248 33627 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 34138 33627 170 317 0 33817 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 136552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1634952/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=140696 CPUtime=1721.86
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 36041 0 0 0 172151 35 0 0 25 0 1 0 165213748 144072704 34372 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 35174 34372 170 317 0 34853 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 140696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1632200/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=156860 CPUtime=1781.84
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 39698 0 0 0 178148 36 0 0 25 0 1 0 165213748 160624640 35104 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 39215 35104 170 317 0 38894 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 156860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17765
/proc/meminfo: memFree=1631368/2055920 swapFree=4183236/4192956
[pid=17762] ppid=17760 vsize=157504 CPUtime=1800.04
/proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 39910 0 0 0 179967 37 0 0 25 0 1 0 165213748 161284096 35316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17762/statm: 39376 35316 170 317 0 39055 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 157504

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

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

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.09
CPU user time (s): 1799.69
CPU system time (s): 0.398939
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 157504

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

runsolver used 1.35679 second user time and 3.64045 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Apr 21 16:30:38 UTC 2007

IDJOB= 373161
IDBENCH= 25023
IDSOLVER= 172
FILE ID= node60/373161-1177173038

PBS_JOBID= 4648949

Free space on /tmp= 66416 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
COMMAND LINE= oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-373161-1177173038 -o ROOT/results/node60/solver-373161-1177173038 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  93d57e3cf3bbcca358fa3998d0198f54

RANDOM SEED= 662797606

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1773032 kB
Buffers:         52308 kB
Cached:         161952 kB
SwapCached:       3476 kB
Active:         124216 kB
Inactive:       100172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773032 kB
SwapTotal:     4192956 kB
SwapFree:      4183236 kB
Dirty:            1540 kB
Writeback:           0 kB
Mapped:          16060 kB
Slab:            44504 kB
Committed_AS:  2468416 kB
PageTables:       1468 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= 66416 MiB

End job on node60 on Sat Apr 21 17:00:40 UTC 2007