Trace number 356930

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.23 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-blend.opb
MD5SUMb27b0c72b75cc4f9d136fed88900224a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-22
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved YES
Number of variables2490
Total number of constraints74
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 constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 37049
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524798
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 524862
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.03/0.04	c ...done
0.03/0.04	c #vars=2490 #constraints=118 hasObjective=yes
0.03/0.07	c res. mode=mod
0.03/0.07	c VSIDS like heuristics
0.03/0.07	c complete search running
0.49/0.54	c restart after 401 decisions
0.49/0.55	c nbDecision=500 #constraints=335
1.19/1.21	c restart after 801 decisions
1.29/1.39	c nbDecision=1000 #constraints=603
2.19/2.26	c nbDecision=1500 #constraints=911
2.49/2.53	c restart after 1601 decisions
3.19/3.26	c nbDecision=2000 #constraints=1228
4.59/4.68	c nbDecision=2500 #constraints=1624
6.19/6.28	c nbDecision=3000 #constraints=2009
6.89/6.94	c restart after 3201 decisions
7.69/7.71	c nbDecision=3500 #constraints=2293
9.59/9.65	c nbDecision=4000 #constraints=2721
11.39/11.45	c nbDecision=4500 #constraints=3140
13.28/13.31	c nbDecision=5000 #constraints=3548
14.99/15.06	c nbDecision=5500 #constraints=3942
16.69/16.79	c nbDecision=6000 #constraints=4329
19.09/19.11	c restart after 6401 decisions
19.29/19.38	c nbDecision=6500 #constraints=4664
20.48/20.51	c nbDecision=7000 #constraints=4963
20.79/20.88	c nbDecision=7500 #constraints=5390
21.68/21.72	c nbDecision=8000 #constraints=5812
22.68/22.76	c nbDecision=8500 #constraints=6204
23.79/23.80	c nbDecision=9000 #constraints=6548
25.09/25.19	c nbDecision=9500 #constraints=6922
26.48/26.55	c nbDecision=10000 #constraints=7353
27.38/27.41	c nbDecision=10500 #constraints=7761
28.29/28.33	c nbDecision=11000 #constraints=8048
30.18/30.24	c nbDecision=11500 #constraints=8392
32.08/32.19	c nbDecision=12000 #constraints=8815
33.68/33.77	c nbDecision=12500 #constraints=9254
35.18/35.22	c restart after 12801 decisions
36.78/36.85	c nbDecision=13000 #constraints=9595
42.38/42.48	c nbDecision=13500 #constraints=10007
48.29/48.32	c nbDecision=14000 #constraints=10405
53.98/54.01	c nbDecision=14500 #constraints=10808
59.77/59.89	c nbDecision=15000 #constraints=11189
66.07/66.12	c nbDecision=15500 #constraints=11571
73.27/73.31	c nbDecision=16000 #constraints=11954
77.87/77.96	c nbDecision=16500 #constraints=12333
81.17/81.29	c nbDecision=17000 #constraints=12690
85.06/85.17	c nbDecision=17500 #constraints=13048
90.66/90.72	c nbDecision=18000 #constraints=13444
95.17/95.25	c nbDecision=18500 #constraints=13814
99.56/99.62	c nbDecision=19000 #constraints=14138
105.16/105.25	c nbDecision=19500 #constraints=14513
109.26/109.33	c nbDecision=20000 #constraints=14842
114.36/114.42	c nbDecision=20500 #constraints=15209
119.66/119.73	c nbDecision=21000 #constraints=15568
123.36/123.44	c nbDecision=21500 #constraints=15882
130.35/130.44	c nbDecision=22000 #constraints=16235
135.06/135.11	c nbDecision=22500 #constraints=16562
141.16/141.27	c nbDecision=23000 #constraints=16906
147.45/147.53	c nbDecision=23500 #constraints=17261
152.95/153.02	c nbDecision=24000 #constraints=17576
160.15/160.21	c nbDecision=24500 #constraints=17932
166.14/166.27	c nbDecision=25000 #constraints=18281
172.65/172.76	c nbDecision=25500 #constraints=18601
174.25/174.32	c restart after 25601 decisions
182.64/182.73	c nbDecision=26000 #constraints=18824
193.74/193.89	c nbDecision=26500 #constraints=19225
203.24/203.35	c nbDecision=27000 #constraints=19590
212.14/212.29	c nbDecision=27500 #constraints=19968
220.63/220.76	c nbDecision=28000 #constraints=20346
229.43/229.56	c nbDecision=28500 #constraints=20696
239.13/239.20	c nbDecision=29000 #constraints=21068
246.03/246.12	c nbDecision=29500 #constraints=21409
256.02/256.10	c nbDecision=30000 #constraints=21757
264.02/264.11	c nbDecision=30500 #constraints=22104
272.62/272.76	c nbDecision=31000 #constraints=22442
281.42/281.55	c nbDecision=31500 #constraints=22792
288.72/288.87	c nbDecision=32000 #constraints=23115
299.41/299.50	c nbDecision=32500 #constraints=23481
307.41/307.55	c nbDecision=33000 #constraints=23803
318.11/318.26	c nbDecision=33500 #constraints=24150
325.90/326.07	c nbDecision=34000 #constraints=24459
337.41/337.59	c nbDecision=34500 #constraints=24792
345.80/345.94	c nbDecision=35000 #constraints=25121
357.80/357.99	c nbDecision=35500 #constraints=25476
367.30/367.46	c nbDecision=36000 #constraints=25809
377.20/377.30	c nbDecision=36500 #constraints=26120
385.59/385.72	c nbDecision=37000 #constraints=26431
396.99/397.16	c nbDecision=37500 #constraints=26774
407.19/407.37	c nbDecision=38000 #constraints=27088
416.18/416.36	c nbDecision=38500 #constraints=27392
428.17/428.36	c nbDecision=39000 #constraints=27719
438.07/438.27	c nbDecision=39500 #constraints=28028
448.97/449.11	c nbDecision=40000 #constraints=28352
458.97/459.14	c nbDecision=40500 #constraints=28658
468.57/468.76	c nbDecision=41000 #constraints=28966
477.47/477.65	c nbDecision=41500 #constraints=29250
488.17/488.32	c nbDecision=42000 #constraints=29565
497.86/498.04	c nbDecision=42500 #constraints=29864
508.16/508.36	c nbDecision=43000 #constraints=30159
516.96/517.13	c nbDecision=43500 #constraints=30422
525.95/526.12	c nbDecision=44000 #constraints=30712
535.75/535.94	c nbDecision=44500 #constraints=30980
546.75/546.91	c nbDecision=45000 #constraints=31272
556.94/557.18	c nbDecision=45500 #constraints=31543
578.93/579.15	c nbDecision=46000 #constraints=31864
595.54/595.77	c nbDecision=46500 #constraints=32198
605.93/606.13	c nbDecision=47000 #constraints=32451
621.03/621.23	c nbDecision=47500 #constraints=32672
640.82/641.02	c nbDecision=48000 #constraints=33067
658.02/658.28	c nbDecision=48500 #constraints=33461
671.11/671.33	c nbDecision=49000 #constraints=33823
685.22/685.48	c nbDecision=49500 #constraints=34157
705.51/705.73	c nbDecision=50000 #constraints=34568
720.50/720.74	c nbDecision=50500 #constraints=34914
733.00/733.22	c nbDecision=51000 #constraints=35279
741.30/741.52	c restart after 51201 decisions
745.10/745.34	c nbDecision=51500 #constraints=35523
748.59/748.88	c nbDecision=52000 #constraints=35908
752.50/752.74	c nbDecision=52500 #constraints=36296
755.09/755.31	c nbDecision=53000 #constraints=36725
757.69/757.98	c nbDecision=53500 #constraints=37090
761.49/761.70	c nbDecision=54000 #constraints=37569
764.89/765.11	c nbDecision=54500 #constraints=37954
769.19/769.49	c nbDecision=55000 #constraints=38378
773.39/773.63	c nbDecision=55500 #constraints=38769
778.19/778.41	c nbDecision=56000 #constraints=39199
782.49/782.76	c nbDecision=56500 #constraints=39573
788.18/788.48	c nbDecision=57000 #constraints=39971
793.48/793.74	c nbDecision=57500 #constraints=40317
798.59/798.82	c nbDecision=58000 #constraints=40701
804.48/804.77	c nbDecision=58500 #constraints=41042
811.38/811.64	c nbDecision=59000 #constraints=41411
814.98/815.21	c nbDecision=59500 #constraints=41861
822.08/822.30	c nbDecision=60000 #constraints=42247
830.17/830.45	c nbDecision=60500 #constraints=42609
838.17/838.48	c nbDecision=61000 #constraints=42964
846.77/847.01	c nbDecision=61500 #constraints=43349
856.57/856.82	c nbDecision=62000 #constraints=43752
868.37/868.68	c nbDecision=62500 #constraints=44227
876.66/876.91	c nbDecision=63000 #constraints=44572
887.96/888.29	c nbDecision=63500 #constraints=44974
899.16/899.43	c nbDecision=64000 #constraints=45317
910.75/911.01	c nbDecision=64500 #constraints=45724
920.45/920.74	c nbDecision=65000 #constraints=46065
931.55/931.80	c nbDecision=65500 #constraints=46375
942.55/942.81	c nbDecision=66000 #constraints=46760
957.24/957.56	c nbDecision=66500 #constraints=47174
971.84/972.11	c nbDecision=67000 #constraints=47609
987.43/987.79	c nbDecision=67500 #constraints=48021
1002.42/1002.73	c nbDecision=68000 #constraints=48460
1009.53/1009.89	c nbDecision=68500 #constraints=48754
1026.72/1027.00	c nbDecision=69000 #constraints=49189
1044.22/1044.55	c nbDecision=69500 #constraints=49621
1057.41/1057.74	c nbDecision=70000 #constraints=50005
1069.21/1069.57	c nbDecision=70500 #constraints=50356
1084.51/1084.85	c nbDecision=71000 #constraints=50814
1105.21/1105.51	c nbDecision=71500 #constraints=51260
1122.30/1122.69	c nbDecision=72000 #constraints=51605
1141.09/1141.45	c nbDecision=72500 #constraints=52019
1163.29/1163.69	c nbDecision=73000 #constraints=52463
1180.69/1181.08	c nbDecision=73500 #constraints=52811
1203.37/1203.71	c nbDecision=74000 #constraints=53288
1215.47/1215.87	c nbDecision=74500 #constraints=53734
1234.17/1234.56	c nbDecision=75000 #constraints=54200
1248.57/1248.93	c nbDecision=75500 #constraints=54575
1265.26/1265.62	c nbDecision=76000 #constraints=54895
1279.76/1280.11	c nbDecision=76500 #constraints=55228
1302.75/1303.15	c nbDecision=77000 #constraints=55602
1321.65/1322.06	c nbDecision=77500 #constraints=55999
1340.94/1341.33	c nbDecision=78000 #constraints=56326
1352.54/1352.99	c nbDecision=78500 #constraints=56648
1368.33/1368.73	c nbDecision=79000 #constraints=56968
1392.32/1392.76	c nbDecision=79500 #constraints=57432
1413.52/1413.96	c nbDecision=80000 #constraints=57777
1434.41/1434.87	c nbDecision=80500 #constraints=58064
1462.90/1463.39	c nbDecision=81000 #constraints=58501
1488.60/1489.06	c nbDecision=81500 #constraints=58903
1508.30/1508.79	c nbDecision=82000 #constraints=59298
1528.09/1528.58	c nbDecision=82500 #constraints=59716
1552.49/1552.93	c nbDecision=83000 #constraints=60098
1577.98/1578.48	c nbDecision=83500 #constraints=60500
1589.67/1590.15	c nbDecision=84000 #constraints=60874
1615.27/1615.80	c nbDecision=84500 #constraints=61275
1630.87/1631.39	c nbDecision=85000 #constraints=61589
1657.16/1657.69	c nbDecision=85500 #constraints=62048
1681.46/1681.91	c nbDecision=86000 #constraints=62436
1703.05/1703.55	c nbDecision=86500 #constraints=62770
1730.94/1731.42	c nbDecision=87000 #constraints=63120
1760.53/1761.00	c nbDecision=87500 #constraints=63550
1786.03/1786.53	c nbDecision=88000 #constraints=63895
1800.02/1800.50	Received signal 15
1800.02/1800.57	
1800.02/1800.57	s UNKNOWN
1800.02/1800.57	
1800.02/1800.57	c user time= 1798.96 s
1800.02/1800.57	c system time= 1.14783 s
1800.02/1800.57	c wall clock time=1800.57

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/node19/watcher-356930-1176848738 -o ROOT/results/node19/solver-356930-1176848738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356930-1176848738/instance-356930-1176848738.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.92 0.95 0.98 3/77 10920
/proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=1468 CPUtime=0
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132791234 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 367 166 131 317 0 46 0

[startup+0.0325569 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 10920
/proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=2132 CPUtime=0.03
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 339 0 0 0 3 0 0 0 18 0 1 0 132791234 2183168 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 533 321 131 317 0 212 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2132

[startup+0.101564 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 10920
/proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=2948 CPUtime=0.09
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 132791234 3018752 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 737 534 139 317 0 416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2948

[startup+0.301585 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 10920
/proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=3596 CPUtime=0.29
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 712 0 0 0 29 0 0 0 19 0 1 0 132791234 3682304 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 899 694 139 317 0 578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3596

[startup+0.701629 s]
/proc/loadavg: 0.92 0.95 0.98 3/77 10920
/proc/meminfo: memFree=1611152/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=5580 CPUtime=0.69
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 1195 0 0 0 69 0 0 0 23 0 1 0 132791234 5713920 1177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 1395 1177 139 317 0 1074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5580

[startup+1.50172 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 10921
/proc/meminfo: memFree=1605704/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=9048 CPUtime=1.49
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 2114 0 0 0 148 1 0 0 25 0 1 0 132791234 9265152 2096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 2262 2096 170 317 0 1941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9048

[startup+3.10289 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 10921
/proc/meminfo: memFree=1600776/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=16148 CPUtime=3.09
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 3867 0 0 0 308 1 0 0 25 0 1 0 132791234 16535552 3849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 4037 3849 170 317 0 3716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16148

[startup+6.30124 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 10921
/proc/meminfo: memFree=1584968/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=30640 CPUtime=6.29
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 7400 0 0 0 626 3 0 0 25 0 1 0 132791234 31375360 7382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 7660 7382 170 317 0 7339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30640

[startup+12.7019 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 10921
/proc/meminfo: memFree=1562632/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=53204 CPUtime=12.69
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 12785 0 0 0 1263 6 0 0 25 0 1 0 132791234 54480896 12767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 13301 12767 170 317 0 12980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53204

[startup+25.5013 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 10921
/proc/meminfo: memFree=1511624/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=104668 CPUtime=25.49
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 25265 0 0 0 2536 13 0 0 25 0 1 0 132791234 107180032 25247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 26167 25247 170 317 0 25846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104668

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 10921
/proc/meminfo: memFree=1472904/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=142988 CPUtime=51.08
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 34892 0 0 0 5090 18 0 0 25 0 1 0 132791234 146419712 34816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 35747 34816 170 317 0 35426 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 142988

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 10921
/proc/meminfo: memFree=1414920/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=205228 CPUtime=102.27
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 49209 0 0 0 10201 26 0 0 25 0 1 0 132791234 210153472 49133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718550 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 51307 49133 170 317 0 50986 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 205228

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1364936/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=255028 CPUtime=162.24
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 61928 0 0 0 16191 33 0 0 25 0 1 0 132791234 261148672 61738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 63757 61738 170 317 0 63436 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 255028

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1329096/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=289460 CPUtime=222.23
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 70745 0 0 0 22184 39 0 0 25 0 1 0 132791234 296407040 70555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 72365 70555 170 317 0 72044 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 289460

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1292680/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=337324 CPUtime=282.22
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 82237 0 0 0 28177 45 0 0 25 0 1 0 132791234 345419776 79737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 84331 79737 170 317 0 84010 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 337324

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1261448/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=368076 CPUtime=342.2
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 90581 0 0 0 34170 50 0 0 25 0 1 0 132791234 376909824 87454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 92019 87454 170 317 0 91698 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 368076

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1228296/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=411072 CPUtime=402.18
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 100645 0 0 0 40164 54 0 0 25 0 1 0 132791234 420937728 95769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 102768 95769 170 317 0 102447 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 411072

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1199752/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=437072 CPUtime=462.17
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 107715 0 0 0 46158 59 0 0 25 0 1 0 132791234 447561728 102839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 109268 102839 170 317 0 108947 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 437072

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1173576/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=460984 CPUtime=522.16
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 114363 0 0 0 52152 64 0 0 25 0 1 0 132791234 472047616 109421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 115246 109421 170 317 0 114925 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 460984

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1152712/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=480220 CPUtime=582.13
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 119604 0 0 0 58147 66 0 0 25 0 1 0 132791234 491745280 114563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 120055 114563 170 317 0 119734 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 480220

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10921
/proc/meminfo: memFree=1135432/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=496352 CPUtime=642.12
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 124153 0 0 0 64143 69 0 0 25 0 1 0 132791234 508264448 118853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 124088 118853 170 317 0 123767 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 496352


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10923
/proc/meminfo: memFree=1049736/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=578564 CPUtime=882.06
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 145597 0 0 0 88121 85 0 0 25 0 1 0 132791234 592449536 140231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 144641 140231 170 317 0 144320 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 578564

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10923
/proc/meminfo: memFree=1041608/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=586092 CPUtime=942.05
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 147636 0 0 0 94117 88 0 0 25 0 1 0 132791234 600158208 142270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 146523 142270 170 317 0 146202 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 586092

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10923
/proc/meminfo: memFree=1034824/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=592532 CPUtime=1002.03
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 149323 0 0 0 100113 90 0 0 25 0 1 0 132791234 606752768 143957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 148133 143957 170 317 0 147812 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 592532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10923
/proc/meminfo: memFree=1024264/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=602040 CPUtime=1062.01
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 151974 0 0 0 106109 92 0 0 25 0 1 0 132791234 616488960 146608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 150510 146608 170 317 0 150189 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 602040

[startup+1122.3 s]
/proc/loadavg: 1.06 0.99 0.98 2/78 10923
/proc/meminfo: memFree=1015112/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=610880 CPUtime=1122
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 154227 0 0 0 112106 94 0 0 25 0 1 0 132791234 625541120 148861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 152720 148861 170 317 0 152399 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 610880

[startup+1182.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 10923
/proc/meminfo: memFree=1009352/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=621520 CPUtime=1181.99
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 156615 0 0 0 118103 96 0 0 25 0 1 0 132791234 636436480 150325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 155380 150325 170 317 0 155059 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 621520

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 10923
/proc/meminfo: memFree=993928/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=641124 CPUtime=1241.97
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 161434 0 0 0 124098 99 0 0 25 0 1 0 132791234 656510976 154253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 160281 154253 170 317 0 159960 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 641124

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=987464/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=647036 CPUtime=1301.96
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 162968 0 0 0 130095 101 0 0 25 0 1 0 132791234 662564864 155754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 161759 155754 170 317 0 161438 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 647036

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=978952/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=654776 CPUtime=1361.93
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 165129 0 0 0 136091 102 0 0 25 0 1 0 132791234 670490624 157882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 163694 157882 170 317 0 163373 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 654776

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=972936/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=660744 CPUtime=1421.92
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 166647 0 0 0 142088 104 0 0 25 0 1 0 132791234 676601856 159367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 165186 159367 170 317 0 164865 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 660744

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=969224/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=664140 CPUtime=1481.9
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 167635 0 0 0 148085 105 0 0 25 0 1 0 132791234 680079360 160322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 166035 160322 170 317 0 165714 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 664140

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=961224/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=671496 CPUtime=1541.89
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 169633 0 0 0 154082 107 0 0 25 0 1 0 132791234 687611904 162320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 167874 162320 170 317 0 167553 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 671496

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=951368/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=680396 CPUtime=1601.88
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 172108 0 0 0 160079 109 0 0 25 0 1 0 132791234 696725504 164795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 170099 164795 170 317 0 169778 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 680396

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=942664/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=687836 CPUtime=1661.85
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 174251 0 0 0 166075 110 0 0 25 0 1 0 132791234 704344064 166938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 171959 166938 170 317 0 171638 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 687836

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=939080/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=691356 CPUtime=1721.84
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 175219 0 0 0 172072 112 0 0 25 0 1 0 132791234 707948544 167840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 172839 167840 170 317 0 172518 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 691356

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=935624/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=694388 CPUtime=1781.83
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 176081 0 0 0 178069 114 0 0 25 0 1 0 132791234 711053312 168702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 173597 168702 170 317 0 173276 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 694388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 10923
/proc/meminfo: memFree=934536/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=695556 CPUtime=1800.02
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194304 176378 0 0 0 179888 114 0 0 25 0 1 0 132791234 712249344 168966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 173889 168966 170 317 0 173568 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 695556

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 10924
/proc/meminfo: memFree=1034240/2055920 swapFree=4159444/4192956
[pid=10920] ppid=10918 vsize=0 CPUtime=1800.12
/proc/10920/stat : 10920 (oree) R 10918 10920 10580 0 -1 4194308 176398 0 0 0 179896 116 0 0 25 0 1 0 132791234 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10920/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.23
CPU user time (s): 1798.97
CPU system time (s): 1.25681
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 695556

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

runsolver used 2.17167 second user time and 4.31934 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue Apr 17 22:25:39 UTC 2007

IDJOB= 356930
IDBENCH= 1654
IDSOLVER= 172
FILE ID= node19/356930-1176848738

PBS_JOBID= 4590201

Free space on /tmp= 66488 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b27b0c72b75cc4f9d136fed88900224a

RANDOM SEED= 272747431

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1611496 kB
Buffers:         38040 kB
Cached:         331952 kB
SwapCached:       2580 kB
Active:          36144 kB
Inactive:       356888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1611496 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:            1608 kB
Writeback:           0 kB
Mapped:          30756 kB
Slab:            36892 kB
Committed_AS:  2951756 kB
PageTables:       1784 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= 66488 MiB

End job on node19 on Tue Apr 17 22:55:41 UTC 2007