Trace number 357044

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) 1800.57 1801.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
MD5SUMb55f7a8b0d45bfbc16cf27babcf41177
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark498
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531096
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531096
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...
0.09/0.17	c ...done
0.09/0.17	c #vars=15504 #constraints=1537 hasObjective=yes
0.19/0.27	c res. mode=mod
0.19/0.27	c VSIDS like heuristics
0.19/0.27	c complete search running
0.29/0.38	c restart after 401 decisions
0.39/0.40	c nbDecision=500 #constraints=1550
0.39/0.48	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=1574
0.69/0.71	c nbDecision=1500 #constraints=1703
0.69/0.76	c restart after 1601 decisions
0.79/0.85	c nbDecision=2000 #constraints=1758
1.09/1.15	c nbDecision=2500 #constraints=2009
1.29/1.37	c nbDecision=3000 #constraints=2156
1.49/1.50	c restart after 3201 decisions
1.49/1.57	c nbDecision=3500 #constraints=2270
1.69/1.75	c nbDecision=4000 #constraints=2347
1.79/1.89	c nbDecision=4500 #constraints=2398
1.99/2.07	c nbDecision=5000 #constraints=2478
2.19/2.25	c nbDecision=5500 #constraints=2563
2.39/2.46	c nbDecision=6000 #constraints=2669
2.59/2.67	c restart after 6401 decisions
2.70/2.71	c nbDecision=6500 #constraints=2802
2.89/2.91	c nbDecision=7000 #constraints=2901
3.20/3.25	c nbDecision=7500 #constraints=3154
3.49/3.53	c nbDecision=8000 #constraints=3293
3.79/3.85	c nbDecision=8500 #constraints=3455
4.30/4.32	c nbDecision=9000 #constraints=3666
4.79/4.90	c nbDecision=9500 #constraints=3867
5.89/5.94	c nbDecision=10000 #constraints=4229
6.60/6.64	c nbDecision=10500 #constraints=4404
7.99/8.04	c nbDecision=11000 #constraints=4737
8.98/9.01	c nbDecision=11500 #constraints=4950
9.80/9.85	c nbDecision=12000 #constraints=5109
11.99/12.02	c nbDecision=12500 #constraints=5441
13.10/13.14	c restart after 12801 decisions
13.20/13.28	c nbDecision=13000 #constraints=5636
13.69/13.73	c nbDecision=13500 #constraints=5764
14.20/14.29	c nbDecision=14000 #constraints=5977
14.49/14.55	c nbDecision=14500 #constraints=6022
14.79/14.88	c nbDecision=15000 #constraints=6097
15.09/15.16	c nbDecision=15500 #constraints=6157
15.19/15.24	c nbDecision=16000 #constraints=6172
15.29/15.31	c nbDecision=16500 #constraints=6182
15.29/15.39	c nbDecision=17000 #constraints=6197
15.39/15.47	c nbDecision=17500 #constraints=6202
15.49/15.55	c nbDecision=18000 #constraints=6217
15.59/15.62	c nbDecision=18500 #constraints=6227
15.69/15.70	c nbDecision=19000 #constraints=6242
15.69/15.78	c nbDecision=19500 #constraints=6247
15.79/15.87	c nbDecision=20000 #constraints=6262
15.89/15.93	c nbDecision=20500 #constraints=6272
15.99/16.02	c nbDecision=21000 #constraints=6287
15.99/16.09	c nbDecision=21500 #constraints=6292
16.09/16.18	c nbDecision=22000 #constraints=6307
16.19/16.25	c nbDecision=22500 #constraints=6317
16.29/16.33	c nbDecision=23000 #constraints=6322
16.39/16.42	c nbDecision=23500 #constraints=6352
16.39/16.50	c nbDecision=24000 #constraints=6357
16.49/16.59	c nbDecision=24500 #constraints=6387
16.59/16.67	c nbDecision=25000 #constraints=6392
16.69/16.77	c nbDecision=25500 #constraints=6422
16.69/16.78	c restart after 25601 decisions
16.99/17.01	c nbDecision=26000 #constraints=6422
17.49/17.54	c nbDecision=26500 #constraints=6606
18.59/18.68	c nbDecision=27000 #constraints=6859
19.09/19.13	c nbDecision=27500 #constraints=6964
19.48/19.52	c nbDecision=28000 #constraints=7054
19.88/19.92	c nbDecision=28500 #constraints=7174
20.28/20.38	c nbDecision=29000 #constraints=7294
20.78/20.83	c nbDecision=29500 #constraints=7414
21.29/21.30	c nbDecision=30000 #constraints=7534
21.69/21.72	c nbDecision=30500 #constraints=7639
22.19/22.27	c nbDecision=31000 #constraints=7774
22.69/22.71	c nbDecision=31500 #constraints=7879
23.18/23.26	c nbDecision=32000 #constraints=8014
23.68/23.72	c nbDecision=32500 #constraints=8134
24.28/24.33	c nbDecision=33000 #constraints=8225
24.89/24.94	c nbDecision=33500 #constraints=8315
25.49/25.53	c nbDecision=34000 #constraints=8405
26.09/26.14	c nbDecision=34500 #constraints=8495
26.68/26.72	c nbDecision=35000 #constraints=8570
27.29/27.36	c nbDecision=35500 #constraints=8660
27.98/28.00	c nbDecision=36000 #constraints=8750
28.59/28.66	c nbDecision=36500 #constraints=8840
29.28/29.33	c nbDecision=37000 #constraints=8930
29.88/29.99	c nbDecision=37500 #constraints=9020
30.58/30.67	c nbDecision=38000 #constraints=9110
31.28/31.33	c nbDecision=38500 #constraints=9200
31.79/31.86	c nbDecision=39000 #constraints=9261
32.29/32.35	c nbDecision=39500 #constraints=9321
32.78/32.85	c nbDecision=40000 #constraints=9381
33.28/33.36	c nbDecision=40500 #constraints=9441
33.78/33.86	c nbDecision=41000 #constraints=9501
34.38/34.43	c nbDecision=41500 #constraints=9576
34.88/34.98	c nbDecision=42000 #constraints=9636
35.38/35.49	c nbDecision=42500 #constraints=9696
35.99/36.01	c nbDecision=43000 #constraints=9756
36.49/36.54	c nbDecision=43500 #constraints=9816
36.99/37.08	c nbDecision=44000 #constraints=9876
37.58/37.60	c nbDecision=44500 #constraints=9936
38.08/38.14	c nbDecision=45000 #constraints=9996
38.68/38.77	c nbDecision=45500 #constraints=10071
39.28/39.33	c nbDecision=46000 #constraints=10132
39.78/39.88	c nbDecision=46500 #constraints=10192
40.38/40.44	c nbDecision=47000 #constraints=10252
40.98/41.01	c nbDecision=47500 #constraints=10312
41.57/41.66	c nbDecision=48000 #constraints=10387
42.18/42.24	c nbDecision=48500 #constraints=10447
42.79/42.84	c nbDecision=49000 #constraints=10507
43.38/43.43	c nbDecision=49500 #constraints=10567
43.98/44.01	c nbDecision=50000 #constraints=10627
44.58/44.60	c nbDecision=50500 #constraints=10687
45.08/45.19	c nbDecision=51000 #constraints=10747
45.38/45.48	c restart after 51201 decisions
45.78/45.83	c nbDecision=51500 #constraints=10777
46.78/46.86	c nbDecision=52000 #constraints=10889
49.58/49.66	c nbDecision=52500 #constraints=11132
52.48/52.54	c nbDecision=53000 #constraints=11443
55.97/56.09	c nbDecision=53500 #constraints=11760
58.98/59.09	c nbDecision=54000 #constraints=12036
61.27/61.31	c nbDecision=54500 #constraints=12330
64.57/64.64	c nbDecision=55000 #constraints=12642
67.07/67.10	c nbDecision=55500 #constraints=12917
68.37/68.47	c nbDecision=56000 #constraints=13160
72.48/72.53	c nbDecision=56500 #constraints=13494
75.07/75.17	c nbDecision=57000 #constraints=13757
77.98/78.07	c nbDecision=57500 #constraints=14017
81.76/81.88	c nbDecision=58000 #constraints=14320
83.87/83.98	c nbDecision=58500 #constraints=14566
86.57/86.63	c nbDecision=59000 #constraints=14809
90.66/90.77	c nbDecision=59500 #constraints=15123
95.14/95.20	c nbDecision=60000 #constraints=15424
99.24/99.34	c nbDecision=60500 #constraints=15780
103.24/103.35	c nbDecision=61000 #constraints=16051
106.54/106.63	c nbDecision=61500 #constraints=16303
111.24/111.31	c nbDecision=62000 #constraints=16635
115.94/116.07	c nbDecision=62500 #constraints=16950
119.43/119.53	c nbDecision=63000 #constraints=17156
124.14/124.28	c nbDecision=63500 #constraints=17477
129.43/129.54	c nbDecision=64000 #constraints=17815
133.53/133.61	c nbDecision=64500 #constraints=18112
137.83/137.98	c nbDecision=65000 #constraints=18397
143.03/143.15	c nbDecision=65500 #constraints=18704
147.93/148.01	c nbDecision=66000 #constraints=19002
153.62/153.73	c nbDecision=66500 #constraints=19321
158.12/158.27	c nbDecision=67000 #constraints=19590
163.62/163.76	c nbDecision=67500 #constraints=19898
168.63/168.71	c nbDecision=68000 #constraints=20175
173.72/173.84	c nbDecision=68500 #constraints=20440
179.02/179.12	c nbDecision=69000 #constraints=20726
185.42/185.50	c nbDecision=69500 #constraints=21046
190.81/190.94	c nbDecision=70000 #constraints=21248
196.42/196.50	c nbDecision=70500 #constraints=21482
201.91/202.02	c nbDecision=71000 #constraints=21803
206.72/206.89	c nbDecision=71500 #constraints=22103
211.81/211.98	c nbDecision=72000 #constraints=22377
217.40/217.59	c nbDecision=72500 #constraints=22579
222.80/222.99	c nbDecision=73000 #constraints=22748
228.71/228.87	c nbDecision=73500 #constraints=22949
232.70/232.80	c nbDecision=74000 #constraints=23199
238.51/238.69	c nbDecision=74500 #constraints=23507
245.00/245.11	c nbDecision=75000 #constraints=23823
251.00/251.14	c nbDecision=75500 #constraints=24067
257.60/257.71	c nbDecision=76000 #constraints=24424
264.79/264.91	c nbDecision=76500 #constraints=24689
271.39/271.53	c nbDecision=77000 #constraints=24871
277.59/277.74	c nbDecision=77500 #constraints=25091
284.99/285.10	c nbDecision=78000 #constraints=25401
289.99/290.19	c nbDecision=78500 #constraints=25644
293.09/293.20	c nbDecision=79000 #constraints=25806
299.18/299.31	c nbDecision=79500 #constraints=26118
302.99/303.15	c nbDecision=80000 #constraints=26343
308.78/309.00	c nbDecision=80500 #constraints=26609
312.58/312.73	c nbDecision=81000 #constraints=26836
317.79/317.98	c nbDecision=81500 #constraints=27115
322.28/322.44	c nbDecision=82000 #constraints=27351
330.17/330.32	c nbDecision=82500 #constraints=27602
337.87/338.01	c nbDecision=83000 #constraints=27746
345.17/345.38	c nbDecision=83500 #constraints=27910
349.47/349.63	c nbDecision=84000 #constraints=28164
357.07/357.23	c nbDecision=84500 #constraints=28453
365.66/365.88	c nbDecision=85000 #constraints=28772
371.16/371.34	c nbDecision=85500 #constraints=29023
374.37/374.50	c nbDecision=86000 #constraints=29211
379.66/379.83	c nbDecision=86500 #constraints=29424
386.86/387.08	c nbDecision=87000 #constraints=29694
393.76/393.99	c nbDecision=87500 #constraints=29982
398.26/398.46	c nbDecision=88000 #constraints=30236
405.16/405.32	c nbDecision=88500 #constraints=30515
413.15/413.35	c nbDecision=89000 #constraints=30790
421.35/421.50	c nbDecision=89500 #constraints=31049
430.45/430.68	c nbDecision=90000 #constraints=31220
438.55/438.71	c nbDecision=90500 #constraints=31597
448.35/448.57	c nbDecision=91000 #constraints=31808
456.84/457.02	c nbDecision=91500 #constraints=32138
465.54/465.74	c nbDecision=92000 #constraints=32421
475.13/475.36	c nbDecision=92500 #constraints=32734
484.64/484.83	c nbDecision=93000 #constraints=33050
493.83/494.05	c nbDecision=93500 #constraints=33320
502.82/503.08	c nbDecision=94000 #constraints=33630
510.13/510.38	c nbDecision=94500 #constraints=33919
518.12/518.37	c nbDecision=95000 #constraints=34191
527.62/527.85	c nbDecision=95500 #constraints=34481
537.73/537.91	c nbDecision=96000 #constraints=34791
548.22/548.47	c nbDecision=96500 #constraints=35025
557.31/557.56	c nbDecision=97000 #constraints=35219
564.82/565.04	c nbDecision=97500 #constraints=35473
575.41/575.62	c nbDecision=98000 #constraints=35798
581.91/582.12	c nbDecision=98500 #constraints=36057
587.11/587.38	c nbDecision=99000 #constraints=36325
594.40/594.66	c nbDecision=99500 #constraints=36587
603.40/603.69	c nbDecision=100000 #constraints=36891
611.49/611.78	c nbDecision=100500 #constraints=37066
622.00/622.23	c nbDecision=101000 #constraints=37332
631.59/631.90	c nbDecision=101500 #constraints=37663
641.60/641.80	c nbDecision=102000 #constraints=38012
651.19/651.48	c restart after 102401 decisions
652.69/652.99	c nbDecision=102500 #constraints=38210
654.29/654.51	c nbDecision=103000 #constraints=38304
657.19/657.41	c nbDecision=103500 #constraints=38534
658.59/658.80	c nbDecision=104000 #constraints=38628
664.49/664.73	c nbDecision=104500 #constraints=39111
671.08/671.39	c nbDecision=105000 #constraints=39590
675.98/676.27	c nbDecision=105500 #constraints=39925
702.38/702.66	c nbDecision=106000 #constraints=40267
741.16/741.48	c nbDecision=106500 #constraints=40741
814.75/815.05	c nbDecision=107000 #constraints=41237
878.83/879.16	c nbDecision=107500 #constraints=41738
940.11/940.49	c nbDecision=108000 #constraints=42237
1002.90/1003.25	c nbDecision=108500 #constraints=42737
1067.87/1068.20	c nbDecision=109000 #constraints=43238
1111.16/1111.53	c nbDecision=109500 #constraints=43630
1136.35/1136.77	c nbDecision=110000 #constraints=44136
1161.05/1161.44	c nbDecision=110500 #constraints=44631
1187.44/1187.82	c nbDecision=111000 #constraints=45137
1213.23/1213.64	c nbDecision=111500 #constraints=45632
1240.53/1240.96	c nbDecision=112000 #constraints=46138
1267.22/1267.62	c nbDecision=112500 #constraints=46633
1294.81/1295.28	c nbDecision=113000 #constraints=47139
1322.70/1323.16	c nbDecision=113500 #constraints=47634
1350.90/1351.39	c nbDecision=114000 #constraints=48129
1380.49/1380.93	c nbDecision=114500 #constraints=48635
1409.58/1410.07	c nbDecision=115000 #constraints=49130
1439.48/1439.97	c nbDecision=115500 #constraints=49636
1469.66/1470.10	c nbDecision=116000 #constraints=50131
1500.86/1501.38	c nbDecision=116500 #constraints=50637
1532.05/1532.52	c nbDecision=117000 #constraints=51132
1562.74/1563.28	c nbDecision=117500 #constraints=51594
1583.44/1583.94	c nbDecision=118000 #constraints=51910
1615.92/1616.46	c nbDecision=118500 #constraints=52416
1648.51/1649.01	c nbDecision=119000 #constraints=52922
1681.51/1682.00	c nbDecision=119500 #constraints=53417
1715.80/1716.34	c nbDecision=120000 #constraints=53923
1749.38/1749.91	c nbDecision=120500 #constraints=54418
1784.18/1784.78	c nbDecision=121000 #constraints=54913
1800.08/1800.60	Received signal 15
1800.47/1801.01	
1800.47/1801.01	s UNKNOWN
1800.47/1801.01	
1800.47/1801.01	c user time= 1799.77 s
1800.47/1801.01	c system time= 0.725889 s
1800.47/1801.01	c wall clock time=1801.01

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/node50/watcher-357044-1176852642 -o ROOT/results/node50/solver-357044-1176852642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.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.94 1.00 0.99 3/64 4497
/proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=1620 CPUtime=0
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 40109383 1658880 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 405 174 126 317 0 84 0

[startup+0.0433979 s]
/proc/loadavg: 0.94 1.00 0.99 3/64 4497
/proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=2276 CPUtime=0.03
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 373 0 0 0 3 0 0 0 18 0 1 0 40109383 2330624 322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 569 322 131 317 0 248 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2276

[startup+0.101404 s]
/proc/loadavg: 0.94 1.00 0.99 3/64 4497
/proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=3472 CPUtime=0.09
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 40109383 3555328 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 868 644 131 317 0 547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3472

[startup+0.301421 s]
/proc/loadavg: 0.94 1.00 0.99 3/64 4497
/proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=6904 CPUtime=0.29
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 1535 0 0 0 29 0 0 0 19 0 1 0 40109383 7069696 1484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 1726 1484 138 317 0 1405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6904

[startup+0.701457 s]
/proc/loadavg: 0.94 1.00 0.99 3/64 4497
/proc/meminfo: memFree=1488704/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=7296 CPUtime=0.69
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 1640 0 0 0 69 0 0 0 22 0 1 0 40109383 7471104 1589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 1824 1589 139 317 0 1503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7296

[startup+1.50253 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1482360/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=8852 CPUtime=1.49
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 2017 0 0 0 149 0 0 0 25 0 1 0 40109383 9064448 1966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 2213 1966 139 317 0 1892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8852

[startup+3.10167 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1480568/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=10980 CPUtime=3.09
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 2534 0 0 0 308 1 0 0 25 0 1 0 40109383 11243520 2483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 2745 2483 139 317 0 2424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10980

[startup+6.30195 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1471352/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=20604 CPUtime=6.29
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 4966 0 0 0 626 3 0 0 25 0 1 0 40109383 21098496 4915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 5151 4915 139 317 0 4830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20604

[startup+12.7015 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1458488/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=33056 CPUtime=12.68
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 7908 0 0 0 1264 4 0 0 25 0 1 0 40109383 33849344 7820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 8264 7820 139 317 0 7943 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33056

[startup+25.5016 s]
/proc/loadavg: 0.96 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1437688/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=52860 CPUtime=25.49
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 12960 0 0 0 2541 8 0 0 25 0 1 0 40109383 54128640 12872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 13215 12872 139 317 0 12894 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52860

[startup+51.1019 s]
/proc/loadavg: 0.97 1.00 0.99 3/65 4498
/proc/meminfo: memFree=1414136/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=77064 CPUtime=51.08
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 19002 0 0 0 5096 12 0 0 25 0 1 0 40109383 78913536 18842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 19266 18842 139 317 0 18945 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77064

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1382136/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=108292 CPUtime=102.24
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 26840 0 0 0 10207 17 0 0 25 0 1 0 40109383 110891008 26680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 27073 26680 139 317 0 26752 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 108292

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1356600/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=134528 CPUtime=162.22
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 33273 0 0 0 16201 21 0 0 25 0 1 0 40109383 137756672 33113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 33632 33113 139 317 0 33311 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 134528

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1333880/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=161300 CPUtime=222.2
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 39004 0 0 0 22195 25 0 0 25 0 1 0 40109383 165171200 38701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 40325 38701 139 317 0 40004 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 161300

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1318456/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=175880 CPUtime=282.19
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 42902 0 0 0 28190 29 0 0 25 0 1 0 40109383 180101120 42599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 43970 42599 139 317 0 43649 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 175880

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1300536/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=193812 CPUtime=342.17
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 47311 0 0 0 34184 33 0 0 25 0 1 0 40109383 198463488 47008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 48453 47008 139 317 0 48132 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 193812

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1284856/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=208468 CPUtime=402.15
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 51308 0 0 0 40178 37 0 0 25 0 1 0 40109383 213471232 51005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 52117 51005 139 317 0 51796 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 208468

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 4498
/proc/meminfo: memFree=1272888/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=219160 CPUtime=462.14
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 54213 0 0 0 46173 41 0 0 25 0 1 0 40109383 224419840 53910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 54790 53910 139 317 0 54469 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 219160

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 4498
/proc/meminfo: memFree=1259768/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=232248 CPUtime=522.12
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 57507 0 0 0 52169 43 0 0 25 0 1 0 40109383 237821952 57171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 58062 57171 139 317 0 57741 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 232248

[startup+582.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4498
/proc/meminfo: memFree=1245944/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=257064 CPUtime=582.11
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 63112 0 0 0 58164 47 0 0 25 0 1 0 40109383 263233536 60664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 64266 60664 139 317 0 63945 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 257064

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1230456/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=274132 CPUtime=642.1
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 66914 0 0 0 64161 49 0 0 25 0 1 0 40109383 280711168 64466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 68533 64466 139 317 0 68212 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 274132


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1199288/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=305732 CPUtime=882.02
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 74984 0 0 0 88149 53 0 0 25 0 1 0 40109383 313069568 72253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 76433 72253 139 317 0 76112 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 305732

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1195000/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=309592 CPUtime=942
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 76050 0 0 0 94147 53 0 0 25 0 1 0 40109383 317022208 73319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 77398 73319 139 317 0 77077 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 309592

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1190328/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=314160 CPUtime=1001.99
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 77199 0 0 0 100145 54 0 0 25 0 1 0 40109383 321699840 74468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 78540 74468 139 317 0 78219 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 314160

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1186488/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=317736 CPUtime=1061.97
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 78172 0 0 0 106143 54 0 0 25 0 1 0 40109383 325361664 75441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 79434 75441 139 317 0 79113 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 317736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1180856/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=322992 CPUtime=1121.96
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 79589 0 0 0 112141 55 0 0 25 0 1 0 40109383 330743808 76858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 80748 76858 139 317 0 80427 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 322992

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1171320/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=331508 CPUtime=1181.94
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 81972 0 0 0 118138 56 0 0 25 0 1 0 40109383 339464192 79241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 82877 79241 139 317 0 82556 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 331508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1162360/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=339548 CPUtime=1241.93
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 84188 0 0 0 124135 58 0 0 25 0 1 0 40109383 347697152 81457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 84887 81457 139 317 0 84566 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 339548

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1153592/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=347324 CPUtime=1301.92
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 86349 0 0 0 130133 59 0 0 25 0 1 0 40109383 355659776 83618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 86831 83618 139 317 0 86510 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 347324

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1145016/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=355924 CPUtime=1361.9
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 88499 0 0 0 136130 60 0 0 25 0 1 0 40109383 364466176 85768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 88981 85768 139 317 0 88660 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 355924

[startup+1422.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 4498
/proc/meminfo: memFree=1136440/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=365616 CPUtime=1421.88
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 91015 0 0 0 142126 62 0 0 25 0 1 0 40109383 374390784 87888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 91404 87888 139 317 0 91083 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 365616

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4498
/proc/meminfo: memFree=1128632/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=372484 CPUtime=1481.87
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 92988 0 0 0 148123 64 0 0 25 0 1 0 40109383 381423616 89861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 93121 89861 139 317 0 92800 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 372484

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1120824/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=379468 CPUtime=1541.84
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 94923 0 0 0 154119 65 0 0 25 0 1 0 40109383 388575232 91796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 94867 91796 139 317 0 94546 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 379468

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1113592/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=385932 CPUtime=1601.82
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 96754 0 0 0 160115 67 0 0 25 0 1 0 40109383 395194368 93627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 96483 93627 139 317 0 96162 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 385932

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1106104/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=392516 CPUtime=1661.81
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 98621 0 0 0 166113 68 0 0 25 0 1 0 40109383 401936384 95461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 98129 95461 139 317 0 97808 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 392516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1099320/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=413080 CPUtime=1721.79
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 103477 0 0 0 172109 70 0 0 25 0 1 0 40109383 422993920 97717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 103270 97717 139 317 0 102949 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 413080

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1090808/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=425648 CPUtime=1781.78
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 106659 0 0 0 178106 72 0 0 25 0 1 0 40109383 435863552 99274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 106412 99274 139 317 0 106091 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 425648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1088440/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=431072 CPUtime=1800.08
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 108052 0 0 0 179936 72 0 0 25 0 1 0 40109383 441417728 99854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 107768 99854 139 317 0 107447 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 431072

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4498
/proc/meminfo: memFree=1088440/2055920 swapFree=4183816/4192956
[pid=4497] ppid=4495 vsize=431072 CPUtime=1800.47
/proc/4497/stat : 4497 (oree) R 4495 4497 4154 0 -1 4194304 108056 0 0 0 179975 72 0 0 25 0 1 0 40109383 441417728 99858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4497/statm: 107768 99858 139 317 0 107447 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 431072

Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.57
CPU user time (s): 1799.78
CPU system time (s): 0.789879
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 431072

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

runsolver used 1.36479 second user time and 3.58645 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 23:30:42 UTC 2007

IDJOB= 357044
IDBENCH= 1829
IDSOLVER= 172
FILE ID= node50/357044-1176852642

PBS_JOBID= 4590233

Free space on /tmp= 66542 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-357044-1176852642 -o ROOT/results/node50/solver-357044-1176852642 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357044-1176852642/instance-357044-1176852642.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b55f7a8b0d45bfbc16cf27babcf41177

RANDOM SEED= 433660581

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1489112 kB
Buffers:         40476 kB
Cached:         451224 kB
SwapCached:       3272 kB
Active:         162944 kB
Inactive:       338560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489112 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:            1884 kB
Writeback:           0 kB
Mapped:          15548 kB
Slab:            51328 kB
Committed_AS:   998976 kB
PageTables:       1460 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= 66542 MiB

End job on node50 on Wed Apr 18 00:00:45 UTC 2007