Trace number 357025

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.18 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-liu.opb
MD5SUMd5cbc530e20e0da41254bd2567f4c2ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34564
Best CPU time to get the best result obtained on this benchmark1802.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34564
Optimality of the best value was proved NO
Number of variables3097
Total number of constraints2178
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2178
Minimum length of a constraint60
Maximum length of a constraint63
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524328
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.29/0.36	c ...done
0.29/0.36	c #vars=3097 #constraints=2179 hasObjective=yes
0.39/0.40	c res. mode=mod
0.39/0.40	c VSIDS like heuristics
0.39/0.40	c complete search running
0.39/0.46	c restart after 401 decisions
0.39/0.49	c nbDecision=500 #constraints=2193
0.49/0.56	c restart after 801 decisions
0.59/0.61	c nbDecision=1000 #constraints=2237
0.69/0.75	c nbDecision=1500 #constraints=2318
0.69/0.77	c restart after 1601 decisions
0.79/0.86	c nbDecision=2000 #constraints=2342
0.89/0.96	c nbDecision=2500 #constraints=2398
1.00/1.05	c nbDecision=3000 #constraints=2450
1.00/1.09	c restart after 3201 decisions
1.10/1.16	c nbDecision=3500 #constraints=2473
1.19/1.28	c nbDecision=4000 #constraints=2541
1.39/1.43	c nbDecision=4500 #constraints=2627
1.49/1.54	c nbDecision=5000 #constraints=2682
1.59/1.65	c nbDecision=5500 #constraints=2727
1.69/1.78	c nbDecision=6000 #constraints=2781
1.79/1.87	c restart after 6401 decisions
1.89/1.90	c nbDecision=6500 #constraints=2804
1.99/2.02	c nbDecision=7000 #constraints=2828
2.09/2.14	c nbDecision=7500 #constraints=2871
2.29/2.30	c nbDecision=8000 #constraints=2942
2.39/2.42	c nbDecision=8500 #constraints=2985
2.49/2.56	c nbDecision=9000 #constraints=3034
2.69/2.74	c nbDecision=9500 #constraints=3118
2.79/2.85	c nbDecision=10000 #constraints=3147
2.89/2.98	c nbDecision=10500 #constraints=3180
3.09/3.11	c nbDecision=11000 #constraints=3228
3.19/3.21	c nbDecision=11500 #constraints=3244
3.29/3.36	c nbDecision=12000 #constraints=3295
3.39/3.48	c nbDecision=12500 #constraints=3319
3.49/3.56	c restart after 12801 decisions
3.59/3.63	c nbDecision=13000 #constraints=3341
3.89/3.98	c nbDecision=13500 #constraints=3601
4.39/4.49	c nbDecision=14000 #constraints=3892
5.29/5.33	c nbDecision=14500 #constraints=4277
5.99/6.05	c nbDecision=15000 #constraints=4537
7.29/7.33	c nbDecision=15500 #constraints=4929
8.79/8.89	c nbDecision=16000 #constraints=5321
10.09/10.15	c nbDecision=16500 #constraints=5569
12.29/12.39	c nbDecision=17000 #constraints=5990
14.19/14.26	c nbDecision=17500 #constraints=6268
16.68/16.70	c nbDecision=18000 #constraints=6599
19.88/19.94	c nbDecision=18500 #constraints=6995
23.28/23.37	c nbDecision=19000 #constraints=7358
26.19/26.25	c nbDecision=19500 #constraints=7613
29.88/29.98	c nbDecision=20000 #constraints=7972
33.67/33.73	c nbDecision=20500 #constraints=8269
37.98/38.02	c nbDecision=21000 #constraints=8586
43.48/43.50	c nbDecision=21500 #constraints=8972
48.97/49.07	c nbDecision=22000 #constraints=9338
53.97/54.02	c nbDecision=22500 #constraints=9630
61.57/61.67	c nbDecision=23000 #constraints=10125
70.28/70.30	c nbDecision=23500 #constraints=10616
75.17/75.29	c nbDecision=24000 #constraints=10839
82.27/82.32	c nbDecision=24500 #constraints=11183
90.56/90.64	c nbDecision=25000 #constraints=11591
97.96/98.00	c nbDecision=25500 #constraints=11882
99.96/100.05	c restart after 25601 decisions
101.06/101.14	c nbDecision=26000 #constraints=12007
102.36/102.44	c nbDecision=26500 #constraints=12076
103.16/103.28	c nbDecision=27000 #constraints=12115
104.06/104.18	c nbDecision=27500 #constraints=12158
104.86/104.97	c nbDecision=28000 #constraints=12212
105.76/105.83	c nbDecision=28500 #constraints=12255
106.26/106.34	c nbDecision=29000 #constraints=12301
106.96/107.07	c nbDecision=29500 #constraints=12341
107.66/107.77	c nbDecision=30000 #constraints=12372
108.36/108.49	c nbDecision=30500 #constraints=12419
109.16/109.26	c nbDecision=31000 #constraints=12449
109.66/109.77	c nbDecision=31500 #constraints=12473
110.36/110.44	c nbDecision=32000 #constraints=12505
110.97/111.05	c nbDecision=32500 #constraints=12529
111.56/111.62	c nbDecision=33000 #constraints=12551
112.06/112.19	c nbDecision=33500 #constraints=12573
112.76/112.89	c nbDecision=34000 #constraints=12591
113.56/113.68	c nbDecision=34500 #constraints=12638
114.36/114.46	c nbDecision=35000 #constraints=12671
115.06/115.14	c nbDecision=35500 #constraints=12715
115.56/115.68	c nbDecision=36000 #constraints=12739
116.26/116.34	c nbDecision=36500 #constraints=12776
116.86/116.93	c nbDecision=37000 #constraints=12812
117.46/117.50	c nbDecision=37500 #constraints=12844
117.96/118.06	c nbDecision=38000 #constraints=12870
118.46/118.52	c nbDecision=38500 #constraints=12895
119.06/119.11	c nbDecision=39000 #constraints=12916
119.66/119.74	c nbDecision=39500 #constraints=12938
120.36/120.49	c nbDecision=40000 #constraints=12989
120.86/120.98	c nbDecision=40500 #constraints=13016
121.45/121.54	c nbDecision=41000 #constraints=13051
122.06/122.19	c nbDecision=41500 #constraints=13083
122.75/122.81	c nbDecision=42000 #constraints=13109
123.45/123.52	c nbDecision=42500 #constraints=13138
124.16/124.28	c nbDecision=43000 #constraints=13166
124.95/125.00	c nbDecision=43500 #constraints=13185
125.55/125.66	c nbDecision=44000 #constraints=13205
126.35/126.49	c nbDecision=44500 #constraints=13254
127.25/127.30	c nbDecision=45000 #constraints=13286
127.75/127.89	c nbDecision=45500 #constraints=13312
128.55/128.65	c nbDecision=46000 #constraints=13343
129.15/129.23	c nbDecision=46500 #constraints=13366
129.85/129.91	c nbDecision=47000 #constraints=13391
130.35/130.46	c nbDecision=47500 #constraints=13408
131.06/131.10	c nbDecision=48000 #constraints=13439
131.66/131.79	c nbDecision=48500 #constraints=13472
132.35/132.48	c nbDecision=49000 #constraints=13498
132.85/132.98	c nbDecision=49500 #constraints=13524
133.45/133.57	c nbDecision=50000 #constraints=13551
134.06/134.16	c nbDecision=50500 #constraints=13568
134.65/134.74	c nbDecision=51000 #constraints=13597
134.85/134.96	c restart after 51201 decisions
135.35/135.46	c nbDecision=51500 #constraints=13607
137.95/138.03	c nbDecision=52000 #constraints=13974
141.45/141.50	c nbDecision=52500 #constraints=14407
145.06/145.17	c nbDecision=53000 #constraints=14839
149.75/149.88	c nbDecision=53500 #constraints=15283
155.64/155.75	c nbDecision=54000 #constraints=15733
160.14/160.23	c nbDecision=54500 #constraints=16153
165.24/165.39	c nbDecision=55000 #constraints=16583
170.94/171.03	c nbDecision=55500 #constraints=17022
177.84/177.96	c nbDecision=56000 #constraints=17457
186.84/186.97	c nbDecision=56500 #constraints=17788
196.34/196.49	c nbDecision=57000 #constraints=18188
204.93/205.01	c nbDecision=57500 #constraints=18517
213.43/213.50	c nbDecision=58000 #constraints=18840
223.62/223.78	c nbDecision=58500 #constraints=19215
230.73/230.81	c nbDecision=59000 #constraints=19436
240.83/240.91	c nbDecision=59500 #constraints=19800
253.52/253.69	c nbDecision=60000 #constraints=20236
263.12/263.26	c nbDecision=60500 #constraints=20546
273.61/273.79	c nbDecision=61000 #constraints=20863
285.81/285.92	c nbDecision=61500 #constraints=21217
294.71/294.89	c nbDecision=62000 #constraints=21480
309.80/309.94	c nbDecision=62500 #constraints=21904
322.79/322.98	c nbDecision=63000 #constraints=22254
331.30/331.43	c nbDecision=63500 #constraints=22467
345.60/345.71	c nbDecision=64000 #constraints=22879
359.09/359.20	c nbDecision=64500 #constraints=23207
371.59/371.77	c nbDecision=65000 #constraints=23508
387.38/387.53	c nbDecision=65500 #constraints=23902
398.18/398.38	c nbDecision=66000 #constraints=24148
413.57/413.73	c nbDecision=66500 #constraints=24515
429.47/429.64	c nbDecision=67000 #constraints=24885
444.06/444.23	c nbDecision=67500 #constraints=25194
459.06/459.29	c nbDecision=68000 #constraints=25526
474.86/475.05	c nbDecision=68500 #constraints=25865
490.05/490.26	c nbDecision=69000 #constraints=26178
510.95/511.17	c nbDecision=69500 #constraints=26598
527.75/527.99	c nbDecision=70000 #constraints=26926
544.24/544.45	c nbDecision=70500 #constraints=27235
562.83/563.06	c nbDecision=71000 #constraints=27606
578.53/578.79	c nbDecision=71500 #constraints=27896
593.02/593.20	c nbDecision=72000 #constraints=28164
610.32/610.54	c nbDecision=72500 #constraints=28489
624.12/624.39	c nbDecision=73000 #constraints=28732
649.00/649.21	c nbDecision=73500 #constraints=29192
664.11/664.37	c nbDecision=74000 #constraints=29436
680.50/680.73	c nbDecision=74500 #constraints=29729
703.70/703.96	c nbDecision=75000 #constraints=30147
722.79/723.00	c nbDecision=75500 #constraints=30453
742.08/742.31	c nbDecision=76000 #constraints=30757
763.87/764.16	c nbDecision=76500 #constraints=31108
776.97/777.24	c nbDecision=77000 #constraints=31312
805.76/806.06	c nbDecision=77500 #constraints=31775
822.36/822.62	c nbDecision=78000 #constraints=32004
840.55/840.81	c nbDecision=78500 #constraints=32295
860.44/860.73	c nbDecision=79000 #constraints=32573
876.64/876.97	c nbDecision=79500 #constraints=32818
897.63/898.00	c nbDecision=80000 #constraints=33132
913.94/914.27	c nbDecision=80500 #constraints=33369
946.03/946.35	c nbDecision=81000 #constraints=33850
964.22/964.53	c nbDecision=81500 #constraints=34086
990.32/990.66	c nbDecision=82000 #constraints=34446
1017.70/1018.07	c nbDecision=82500 #constraints=34838
1037.70/1038.04	c nbDecision=83000 #constraints=35090
1060.59/1060.91	c nbDecision=83500 #constraints=35427
1079.68/1080.09	c nbDecision=84000 #constraints=35672
1104.28/1104.65	c nbDecision=84500 #constraints=36003
1126.47/1126.87	c nbDecision=85000 #constraints=36290
1145.87/1146.29	c nbDecision=85500 #constraints=36541
1183.06/1183.45	c nbDecision=86000 #constraints=37026
1206.95/1207.32	c nbDecision=86500 #constraints=37320
1230.15/1230.52	c nbDecision=87000 #constraints=37589
1259.94/1260.36	c nbDecision=87500 #constraints=37971
1281.73/1282.10	c nbDecision=88000 #constraints=38217
1311.02/1311.44	c nbDecision=88500 #constraints=38592
1340.22/1340.60	c nbDecision=89000 #constraints=38935
1368.11/1368.52	c nbDecision=89500 #constraints=39246
1401.90/1402.40	c nbDecision=90000 #constraints=39641
1429.89/1430.38	c nbDecision=90500 #constraints=39951
1450.28/1450.76	c nbDecision=91000 #constraints=40178
1485.17/1485.65	c nbDecision=91500 #constraints=40578
1511.27/1511.78	c nbDecision=92000 #constraints=40880
1541.66/1542.14	c nbDecision=92500 #constraints=41205
1569.26/1569.80	c nbDecision=93000 #constraints=41491
1590.84/1591.36	c nbDecision=93500 #constraints=41731
1628.13/1628.64	c nbDecision=94000 #constraints=42131
1654.53/1655.08	c nbDecision=94500 #constraints=42403
1688.41/1688.96	c nbDecision=95000 #constraints=42774
1724.01/1724.53	c nbDecision=95500 #constraints=43157
1749.50/1750.09	c nbDecision=96000 #constraints=43415
1783.49/1784.03	c nbDecision=96500 #constraints=43752
1800.09/1800.60	Received signal 15
1800.09/1800.65	
1800.09/1800.65	s UNKNOWN
1800.09/1800.65	
1800.09/1800.65	c user time= 1799.69 s
1800.09/1800.65	c system time= 0.464929 s
1800.09/1800.65	c wall clock time=1800.66

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/node45/watcher-357025-1176852073 -o ROOT/results/node45/solver-357025-1176852073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod 

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


[startup+0 s]
/proc/loadavg: 1.01 1.01 0.98 3/77 17984
/proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=1468 CPUtime=0
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 40052899 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 367 160 131 317 0 46 0

[startup+0.091753 s]
/proc/loadavg: 1.01 1.01 0.98 3/77 17984
/proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=2656 CPUtime=0.08
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 489 0 0 0 8 0 0 0 18 0 1 0 40052899 2719744 471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 664 471 131 317 0 343 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2656

[startup+0.101753 s]
/proc/loadavg: 1.01 1.01 0.98 3/77 17984
/proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=2788 CPUtime=0.09
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 40052899 2854912 506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 697 506 131 317 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788

[startup+0.301773 s]
/proc/loadavg: 1.01 1.01 0.98 3/77 17984
/proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=5560 CPUtime=0.29
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 40052899 5693440 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134981054 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 1390 1196 131 317 0 1069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5560

[startup+0.701813 s]
/proc/loadavg: 1.01 1.01 0.98 3/77 17984
/proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=8864 CPUtime=0.69
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2034 0 0 0 68 1 0 0 23 0 1 0 40052899 9076736 2016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 2216 2016 139 317 0 1895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8864

[startup+1.50189 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 17985
/proc/meminfo: memFree=1620992/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=10308 CPUtime=1.49
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2392 0 0 0 148 1 0 0 25 0 1 0 40052899 10555392 2374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 2577 2374 139 317 0 2256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10308

[startup+3.10106 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 17985
/proc/meminfo: memFree=1619072/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=12548 CPUtime=3.09
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2947 0 0 0 308 1 0 0 25 0 1 0 40052899 12849152 2929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 3137 2929 139 317 0 2816 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12548

[startup+6.30138 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 17985
/proc/meminfo: memFree=1614144/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=17012 CPUtime=6.29
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 4026 0 0 0 627 2 0 0 25 0 1 0 40052899 17420288 4008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 4253 4008 139 317 0 3932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17012

[startup+12.701 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 17985
/proc/meminfo: memFree=1609408/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=21272 CPUtime=12.69
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 5036 0 0 0 1265 4 0 0 25 0 1 0 40052899 21782528 5018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562669 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 5318 5018 139 317 0 4997 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21272

[startup+25.5013 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1604608/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=26500 CPUtime=25.49
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 6191 0 0 0 2544 5 0 0 25 0 1 0 40052899 27136000 6173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 6625 6173 139 317 0 6304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26500

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1599360/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=31556 CPUtime=51.07
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 7567 0 0 0 5101 6 0 0 25 0 1 0 40052899 32313344 7491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 7889 7491 139 317 0 7568 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31556

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1591232/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=41160 CPUtime=102.26
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 9554 0 0 0 10219 7 0 0 25 0 1 0 40052899 42147840 9478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 10290 9478 139 317 0 9969 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41160

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1579648/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=52844 CPUtime=162.24
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 12492 0 0 0 16214 10 0 0 25 0 1 0 40052899 54112256 12416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 13211 12416 139 317 0 12890 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52844

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1568704/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=64384 CPUtime=222.22
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 15278 0 0 0 22209 13 0 0 25 0 1 0 40052899 65929216 15088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 16096 15088 139 317 0 15775 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 64384

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1561024/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=72400 CPUtime=282.21
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 17218 0 0 0 28206 15 0 0 25 0 1 0 40052899 74137600 17028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 18100 17028 139 317 0 17779 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 72400

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1554240/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=78752 CPUtime=342.2
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 18880 0 0 0 34202 18 0 0 25 0 1 0 40052899 80642048 18690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 19688 18690 139 317 0 19367 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 78752

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1548288/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=85820 CPUtime=402.18
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 20391 0 0 0 40199 19 0 0 25 0 1 0 40052899 87879680 20201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 21455 20201 139 317 0 21134 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 85820

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1543040/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=90388 CPUtime=462.16
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 21678 0 0 0 46196 20 0 0 25 0 1 0 40052899 92557312 21488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 22597 21488 139 317 0 22276 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 90388

[startup+522.302 s]
/proc/loadavg: 1.07 1.02 0.98 2/78 17985
/proc/meminfo: memFree=1538176/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=97816 CPUtime=522.14
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 23204 0 0 0 52192 22 0 0 25 0 1 0 40052899 100163584 22717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 24454 22717 139 317 0 24133 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 97816

[startup+582.302 s]
/proc/loadavg: 1.02 1.01 0.98 2/78 17985
/proc/meminfo: memFree=1533696/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=102136 CPUtime=582.13
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 24320 0 0 0 58189 24 0 0 25 0 1 0 40052899 104587264 23833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 25534 23833 139 317 0 25213 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 102136

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1529280/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=106040 CPUtime=642.11
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 25404 0 0 0 64186 25 0 0 25 0 1 0 40052899 108584960 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 26510 24917 139 317 0 26189 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 106040


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1517952/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=117068 CPUtime=822.06
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 28405 0 0 0 82176 30 0 0 25 0 1 0 40052899 119877632 27786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 29267 27786 139 317 0 28946 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 117068

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1514240/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=123396 CPUtime=882.04
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 29903 0 0 0 88173 31 0 0 25 0 1 0 40052899 126357504 28657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 30849 28657 139 317 0 30528 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 123396

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1510656/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=127428 CPUtime=942.03
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 31041 0 0 0 94170 33 0 0 25 0 1 0 40052899 130486272 29569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 31857 29569 139 317 0 31536 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 127428

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1507456/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=130812 CPUtime=1002.01
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 32001 0 0 0 100167 34 0 0 25 0 1 0 40052899 133951488 30364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 32703 30364 139 317 0 32382 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 130812

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1504192/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=133816 CPUtime=1061.99
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 32856 0 0 0 106164 35 0 0 25 0 1 0 40052899 137027584 31186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 33454 31186 139 317 0 33133 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 133816

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1501120/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=136572 CPUtime=1121.97
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 33622 0 0 0 112161 36 0 0 25 0 1 0 40052899 139849728 31952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 34143 31952 139 317 0 33822 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 136572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1498048/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=139304 CPUtime=1181.96
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 34389 0 0 0 118159 37 0 0 25 0 1 0 40052899 142647296 32719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 34826 32719 139 317 0 34505 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 139304

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1495168/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=142036 CPUtime=1241.95
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 35162 0 0 0 124157 38 0 0 25 0 1 0 40052899 145444864 33426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 35509 33426 139 317 0 35188 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 142036

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1492160/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=145540 CPUtime=1301.93
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 36165 0 0 0 130155 38 0 0 25 0 1 0 40052899 149032960 34165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 36385 34165 139 317 0 36064 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 145540

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1489472/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=148012 CPUtime=1361.91
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 36847 0 0 0 136152 39 0 0 25 0 1 0 40052899 151564288 34847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 37003 34847 139 317 0 36682 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 148012

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1486656/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=150436 CPUtime=1421.9
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 37546 0 0 0 142150 40 0 0 25 0 1 0 40052899 154046464 35546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 37609 35546 139 317 0 37288 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 150436

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1484032/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=152656 CPUtime=1481.87
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 38200 0 0 0 148147 40 0 0 25 0 1 0 40052899 156319744 36200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 38164 36200 139 317 0 37843 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 152656

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1481408/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=155124 CPUtime=1541.85
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 38883 0 0 0 154144 41 0 0 25 0 1 0 40052899 158846976 36850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 38781 36850 139 317 0 38460 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 155124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1479040/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=157212 CPUtime=1601.84
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 39498 0 0 0 160141 43 0 0 25 0 1 0 40052899 160985088 37465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 39303 37465 139 317 0 38982 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 157212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1476288/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=162740 CPUtime=1661.82
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 40928 0 0 0 166138 44 0 0 25 0 1 0 40052899 166645760 38115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 40685 38115 139 317 0 40364 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 162740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1473856/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=165460 CPUtime=1721.81
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 41699 0 0 0 172136 45 0 0 25 0 1 0 40052899 169431040 38755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 41365 38755 139 317 0 41044 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 165460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1471488/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=167672 CPUtime=1781.79
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 42319 0 0 0 178133 46 0 0 25 0 1 0 40052899 171696128 39342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 41918 39342 139 317 0 41597 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 167672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 17985
/proc/meminfo: memFree=1470720/2055920 swapFree=4141448/4192956
[pid=17984] ppid=17982 vsize=168456 CPUtime=1800.09
/proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 42501 0 0 0 179963 46 0 0 25 0 1 0 40052899 172498944 39524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17984/statm: 42114 39524 139 317 0 41793 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 168456

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.69
CPU time (s): 1800.18
CPU user time (s): 1799.69
CPU system time (s): 0.491925
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 168456

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

runsolver used 2.11368 second user time and 4.44632 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue Apr 17 23:21:13 UTC 2007

IDJOB= 357025
IDBENCH= 1790
IDSOLVER= 172
FILE ID= node45/357025-1176852073

PBS_JOBID= 4590227

Free space on /tmp= 66482 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/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb
COMMAND LINE= oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-357025-1176852073 -o ROOT/results/node45/solver-357025-1176852073 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d5cbc530e20e0da41254bd2567f4c2ba

RANDOM SEED= 897759177

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1629472 kB
Buffers:         38184 kB
Cached:         302964 kB
SwapCached:      32920 kB
Active:         245772 kB
Inactive:       137376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1629472 kB
SwapTotal:     4192956 kB
SwapFree:      4141448 kB
Dirty:            2664 kB
Writeback:           0 kB
Mapped:          31736 kB
Slab:            28908 kB
Committed_AS:  1105364 kB
PageTables:       1732 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= 66482 MiB

End job on node45 on Tue Apr 17 23:51:23 UTC 2007