Trace number 357313

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.14 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-boeing2.opb
MD5SUM5e2e92f5cdf687685f560235d961ce1c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3371
Total number of constraints197
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 constraints197
Minimum length of a constraint12
Maximum length of a constraint1921
Number of terms in the objective function 3114
Biggest coefficient in the objective function 40265318400000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 2533036563346675
Number of bits of the sum of numbers in the objective function 52
Biggest number in a constraint 431563682611200
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 17042207919312540
Number of bits of the biggest sum of numbers54
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.00/0.08	c ...done
0.00/0.08	c #vars=3371 #constraints=202 hasObjective=yes
0.09/0.11	c res. mode=mod
0.09/0.11	c VSIDS like heuristics
0.09/0.11	c complete search running
0.09/0.14	c restart after 401 decisions
0.09/0.14	c nbDecision=500 #constraints=209
0.09/0.15	c restart after 801 decisions
0.09/0.16	c nbDecision=1000 #constraints=210
0.49/0.56	c nbDecision=1500 #constraints=276
0.59/0.61	c restart after 1601 decisions
0.59/0.62	c nbDecision=2000 #constraints=283
1.19/1.23	c nbDecision=2500 #constraints=369
1.99/2.05	c nbDecision=3000 #constraints=494
2.89/2.91	c restart after 3201 decisions
2.89/2.93	c nbDecision=3500 #constraints=621
3.99/4.07	c nbDecision=4000 #constraints=774
4.79/4.85	c nbDecision=4500 #constraints=882
5.88/5.90	c nbDecision=5000 #constraints=1016
7.09/7.19	c nbDecision=5500 #constraints=1178
9.09/9.12	c nbDecision=6000 #constraints=1404
9.69/9.79	c restart after 6401 decisions
9.79/9.83	c nbDecision=6500 #constraints=1484
10.59/10.67	c nbDecision=7000 #constraints=1573
11.79/11.85	c nbDecision=7500 #constraints=1699
14.09/14.14	c nbDecision=8000 #constraints=1941
16.29/16.34	c nbDecision=8500 #constraints=2160
17.79/17.88	c nbDecision=9000 #constraints=2297
19.39/19.48	c nbDecision=9500 #constraints=2435
21.08/21.11	c nbDecision=10000 #constraints=2555
23.38/23.40	c nbDecision=10500 #constraints=2748
25.38/25.49	c nbDecision=11000 #constraints=2911
28.08/28.12	c nbDecision=11500 #constraints=3100
30.38/30.44	c nbDecision=12000 #constraints=3268
33.38/33.47	c nbDecision=12500 #constraints=3487
34.38/34.44	c restart after 12801 decisions
34.58/34.68	c nbDecision=13000 #constraints=3548
35.98/36.07	c nbDecision=13500 #constraints=3640
39.08/39.15	c nbDecision=14000 #constraints=3817
42.07/42.11	c nbDecision=14500 #constraints=4008
44.58/44.67	c nbDecision=15000 #constraints=4160
48.08/48.17	c nbDecision=15500 #constraints=4344
51.28/51.35	c nbDecision=16000 #constraints=4524
53.97/54.08	c nbDecision=16500 #constraints=4665
58.38/58.45	c nbDecision=17000 #constraints=4931
60.77/60.83	c nbDecision=17500 #constraints=5044
64.67/64.73	c nbDecision=18000 #constraints=5208
69.27/69.35	c nbDecision=18500 #constraints=5444
72.37/72.47	c nbDecision=19000 #constraints=5586
76.07/76.17	c nbDecision=19500 #constraints=5746
80.36/80.41	c nbDecision=20000 #constraints=5915
83.57/83.66	c nbDecision=20500 #constraints=6037
87.87/87.99	c nbDecision=21000 #constraints=6222
92.97/93.04	c nbDecision=21500 #constraints=6409
97.16/97.28	c nbDecision=22000 #constraints=6564
102.16/102.30	c nbDecision=22500 #constraints=6755
105.56/105.66	c nbDecision=23000 #constraints=6865
110.26/110.34	c nbDecision=23500 #constraints=7006
116.26/116.31	c nbDecision=24000 #constraints=7236
123.26/123.35	c nbDecision=24500 #constraints=7498
126.95/127.01	c nbDecision=25000 #constraints=7611
132.16/132.28	c nbDecision=25500 #constraints=7760
132.76/132.83	c restart after 25601 decisions
133.46/133.58	c nbDecision=26000 #constraints=7773
139.85/139.93	c nbDecision=26500 #constraints=7991
144.85/144.96	c nbDecision=27000 #constraints=8149
151.05/151.17	c nbDecision=27500 #constraints=8315
156.05/156.11	c nbDecision=28000 #constraints=8471
164.45/164.59	c nbDecision=28500 #constraints=8767
169.94/170.06	c nbDecision=29000 #constraints=8935
176.04/176.18	c nbDecision=29500 #constraints=9106
182.64/182.74	c nbDecision=30000 #constraints=9279
189.84/189.93	c nbDecision=30500 #constraints=9510
193.83/193.94	c nbDecision=31000 #constraints=9607
199.33/199.40	c nbDecision=31500 #constraints=9737
206.73/206.88	c nbDecision=32000 #constraints=9919
214.34/214.49	c nbDecision=32500 #constraints=10138
221.33/221.44	c nbDecision=33000 #constraints=10306
226.33/226.41	c nbDecision=33500 #constraints=10423
235.02/235.11	c nbDecision=34000 #constraints=10648
239.52/239.67	c nbDecision=34500 #constraints=10761
247.33/247.40	c nbDecision=35000 #constraints=10927
253.52/253.68	c nbDecision=35500 #constraints=11067
262.62/262.70	c nbDecision=36000 #constraints=11260
267.22/267.33	c nbDecision=36500 #constraints=11351
277.42/277.57	c nbDecision=37000 #constraints=11577
283.31/283.47	c nbDecision=37500 #constraints=11683
291.11/291.24	c nbDecision=38000 #constraints=11844
298.41/298.54	c nbDecision=38500 #constraints=11966
306.90/307.07	c nbDecision=39000 #constraints=12150
317.20/317.37	c nbDecision=39500 #constraints=12379
322.70/322.85	c nbDecision=40000 #constraints=12478
329.69/329.86	c nbDecision=40500 #constraints=12604
340.70/340.87	c nbDecision=41000 #constraints=12826
345.20/345.34	c nbDecision=41500 #constraints=12911
353.50/353.66	c nbDecision=42000 #constraints=13042
363.59/363.78	c nbDecision=42500 #constraints=13242
373.69/373.84	c nbDecision=43000 #constraints=13448
379.09/379.21	c nbDecision=43500 #constraints=13532
390.28/390.49	c nbDecision=44000 #constraints=13755
397.58/397.73	c nbDecision=44500 #constraints=13869
406.68/406.86	c nbDecision=45000 #constraints=14038
416.07/416.29	c nbDecision=45500 #constraints=14186
425.37/425.55	c nbDecision=46000 #constraints=14344
435.48/435.64	c nbDecision=46500 #constraints=14539
443.57/443.79	c nbDecision=47000 #constraints=14669
452.06/452.25	c nbDecision=47500 #constraints=14809
463.06/463.21	c nbDecision=48000 #constraints=15016
469.76/469.92	c nbDecision=48500 #constraints=15125
479.06/479.27	c nbDecision=49000 #constraints=15257
487.35/487.59	c nbDecision=49500 #constraints=15403
497.35/497.52	c nbDecision=50000 #constraints=15583
507.65/507.82	c nbDecision=50500 #constraints=15748
517.35/517.59	c nbDecision=51000 #constraints=15918
523.75/523.96	c restart after 51201 decisions
525.24/525.43	c nbDecision=51500 #constraints=16026
532.34/532.54	c nbDecision=52000 #constraints=16131
543.14/543.35	c nbDecision=52500 #constraints=16312
552.53/552.76	c nbDecision=53000 #constraints=16440
563.63/563.84	c nbDecision=53500 #constraints=16611
576.13/576.39	c nbDecision=54000 #constraints=16820
585.22/585.49	c nbDecision=54500 #constraints=16956
596.53/596.75	c nbDecision=55000 #constraints=17113
604.83/605.06	c nbDecision=55500 #constraints=17224
616.82/617.03	c nbDecision=56000 #constraints=17424
627.71/627.95	c nbDecision=56500 #constraints=17571
638.91/639.16	c nbDecision=57000 #constraints=17729
649.92/650.14	c nbDecision=57500 #constraints=17907
659.31/659.53	c nbDecision=58000 #constraints=18063
671.70/671.98	c nbDecision=58500 #constraints=18249
681.40/681.69	c nbDecision=59000 #constraints=18375
694.58/694.87	c nbDecision=59500 #constraints=18570
702.15/702.49	c nbDecision=60000 #constraints=18668
712.92/713.20	c nbDecision=60500 #constraints=18809
724.99/725.30	c nbDecision=61000 #constraints=18966
736.48/736.90	c nbDecision=61500 #constraints=19138
748.06/748.47	c nbDecision=62000 #constraints=19293
758.87/759.28	c nbDecision=62500 #constraints=19426
772.86/773.22	c nbDecision=63000 #constraints=19645
782.96/783.34	c nbDecision=63500 #constraints=19775
792.76/793.15	c nbDecision=64000 #constraints=19882
802.66/803.07	c nbDecision=64500 #constraints=20013
817.75/818.13	c nbDecision=65000 #constraints=20197
823.74/824.12	c nbDecision=65500 #constraints=20259
838.24/838.61	c nbDecision=66000 #constraints=20440
850.24/850.62	c nbDecision=66500 #constraints=20571
864.03/864.45	c nbDecision=67000 #constraints=20739
874.34/874.71	c nbDecision=67500 #constraints=20840
888.23/888.63	c nbDecision=68000 #constraints=20997
906.22/906.62	c nbDecision=68500 #constraints=21224
912.72/913.10	c nbDecision=69000 #constraints=21288
924.62/925.06	c nbDecision=69500 #constraints=21424
939.22/939.68	c nbDecision=70000 #constraints=21589
950.41/950.88	c nbDecision=70500 #constraints=21697
963.91/964.38	c nbDecision=71000 #constraints=21834
975.30/975.74	c nbDecision=71500 #constraints=21961
989.10/989.59	c nbDecision=72000 #constraints=22132
1002.30/1002.77	c nbDecision=72500 #constraints=22278
1014.89/1015.32	c nbDecision=73000 #constraints=22412
1033.08/1033.55	c nbDecision=73500 #constraints=22618
1042.39/1042.90	c nbDecision=74000 #constraints=22700
1061.28/1061.79	c nbDecision=74500 #constraints=22906
1075.27/1075.76	c nbDecision=75000 #constraints=23079
1086.87/1087.31	c nbDecision=75500 #constraints=23205
1099.87/1100.34	c nbDecision=76000 #constraints=23334
1113.77/1114.25	c nbDecision=76500 #constraints=23479
1128.36/1128.89	c nbDecision=77000 #constraints=23665
1139.66/1140.18	c nbDecision=77500 #constraints=23769
1154.95/1155.40	c nbDecision=78000 #constraints=23923
1172.05/1172.54	c nbDecision=78500 #constraints=24124
1183.15/1183.60	c nbDecision=79000 #constraints=24237
1196.84/1197.39	c nbDecision=79500 #constraints=24386
1212.74/1213.29	c nbDecision=80000 #constraints=24552
1228.33/1228.86	c nbDecision=80500 #constraints=24718
1239.53/1240.03	c nbDecision=81000 #constraints=24811
1255.83/1256.36	c nbDecision=81500 #constraints=24964
1273.02/1273.59	c nbDecision=82000 #constraints=25145
1285.12/1285.62	c nbDecision=82500 #constraints=25269
1296.51/1297.03	c nbDecision=83000 #constraints=25366
1314.21/1314.72	c nbDecision=83500 #constraints=25543
1329.51/1330.09	c nbDecision=84000 #constraints=25714
1343.00/1343.55	c nbDecision=84500 #constraints=25829
1361.40/1361.98	c nbDecision=85000 #constraints=26007
1379.29/1379.85	c nbDecision=85500 #constraints=26200
1392.09/1392.64	c nbDecision=86000 #constraints=26333
1409.18/1409.74	c nbDecision=86500 #constraints=26509
1428.38/1428.96	c nbDecision=87000 #constraints=26684
1444.68/1445.29	c nbDecision=87500 #constraints=26854
1455.57/1456.12	c nbDecision=88000 #constraints=26943
1472.46/1473.08	c nbDecision=88500 #constraints=27095
1490.86/1491.48	c nbDecision=89000 #constraints=27271
1503.56/1504.15	c nbDecision=89500 #constraints=27385
1521.45/1522.04	c nbDecision=90000 #constraints=27558
1534.64/1535.24	c nbDecision=90500 #constraints=27669
1553.75/1554.36	c nbDecision=91000 #constraints=27887
1567.44/1568.09	c nbDecision=91500 #constraints=28003
1586.54/1587.10	c nbDecision=92000 #constraints=28170
1598.13/1598.78	c nbDecision=92500 #constraints=28277
1614.23/1614.88	c nbDecision=93000 #constraints=28448
1633.12/1633.76	c nbDecision=93500 #constraints=28621
1650.22/1650.83	c nbDecision=94000 #constraints=28773
1671.21/1671.82	c nbDecision=94500 #constraints=28963
1684.00/1684.62	c nbDecision=95000 #constraints=29056
1702.00/1702.67	c nbDecision=95500 #constraints=29213
1718.80/1719.46	c nbDecision=96000 #constraints=29368
1737.19/1737.84	c nbDecision=96500 #constraints=29553
1749.40/1750.04	c nbDecision=97000 #constraints=29640
1772.59/1773.23	c nbDecision=97500 #constraints=29856
1790.97/1791.60	c nbDecision=98000 #constraints=30021
1800.09/1800.71	Received signal 15
1800.09/1800.72	
1800.09/1800.72	s UNKNOWN
1800.09/1800.72	
1800.09/1800.72	c user time= 1799.62 s
1800.09/1800.72	c system time= 0.480926 s
1800.09/1800.72	c wall clock time=1800.72

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-357313-1176994168 -o ROOT/results/node45/solver-357313-1176994168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357313-1176994168/instance-357313-1176994168.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 1.00 0.99 3/77 31932
/proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=1468 CPUtime=0
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54262408 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174380 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 367 160 127 317 0 46 0

[startup+0.0819711 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 31932
/proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=2692 CPUtime=0.07
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 499 0 0 0 7 0 0 0 18 0 1 0 54262408 2756608 481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 673 481 137 317 0 352 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2692

[startup+0.101972 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 31932
/proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=2824 CPUtime=0.09
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 54262408 2891776 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 706 510 137 317 0 385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2824

[startup+0.301993 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 31932
/proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=3088 CPUtime=0.29
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 54262408 3162112 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 772 606 170 317 0 451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3088

[startup+0.701033 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 31932
/proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=3348 CPUtime=0.69
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 697 0 0 0 69 0 0 0 22 0 1 0 54262408 3428352 679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 837 679 170 317 0 516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3348

[startup+1.50111 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1763904/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=4000 CPUtime=1.49
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 842 0 0 0 149 0 0 0 25 0 1 0 54262408 4096000 824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 1000 824 170 317 0 679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4000

[startup+3.10128 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1762880/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=5200 CPUtime=3.09
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 1130 0 0 0 309 0 0 0 25 0 1 0 54262408 5324800 1112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 1300 1112 170 317 0 979 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5200

[startup+6.3016 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1760448/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=7280 CPUtime=6.28
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 1677 0 0 0 628 0 0 0 25 0 1 0 54262408 7454720 1659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 1820 1659 170 317 0 1499 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7280

[startup+12.7013 s]
/proc/loadavg: 0.93 1.00 0.99 3/78 31933
/proc/meminfo: memFree=1756552/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=11052 CPUtime=12.69
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 2610 0 0 0 1267 2 0 0 25 0 1 0 54262408 11317248 2592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 2763 2592 170 317 0 2442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11052

[startup+25.5015 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1750408/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=17332 CPUtime=25.48
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 4073 0 0 0 2546 2 0 0 25 0 1 0 54262408 17747968 4055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 4333 4055 170 317 0 4012 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17332

[startup+51.1011 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1742408/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=26296 CPUtime=51.08
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 6126 0 0 0 5103 5 0 0 25 0 1 0 54262408 26927104 6108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 6574 6108 170 317 0 6253 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26296

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1731400/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=36604 CPUtime=102.26
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 8785 0 0 0 10219 7 0 0 25 0 1 0 54262408 37482496 8767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715652 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 9151 8767 170 317 0 8830 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36604

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1720712/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=49376 CPUtime=162.25
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 11523 0 0 0 16215 10 0 0 25 0 1 0 54262408 50561024 11447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 12344 11447 170 317 0 12023 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49376

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1712328/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=58220 CPUtime=222.23
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 13584 0 0 0 22211 12 0 0 25 0 1 0 54262408 59617280 13508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 14555 13508 170 317 0 14234 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58220

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1706184/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=63788 CPUtime=282.22
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 15118 0 0 0 28208 14 0 0 25 0 1 0 54262408 65318912 15042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 15947 15042 170 317 0 15626 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 63788

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1700616/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=68808 CPUtime=342.2
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 16498 0 0 0 34205 15 0 0 25 0 1 0 54262408 70459392 16422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 17202 16422 170 317 0 16881 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 68808

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1695560/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=73668 CPUtime=402.18
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 17779 0 0 0 40201 17 0 0 25 0 1 0 54262408 75436032 17703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 18417 17703 170 317 0 18096 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 73668

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1690760/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=77828 CPUtime=462.16
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 18964 0 0 0 46198 18 0 0 25 0 1 0 54262408 79695872 18888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 19457 18888 170 317 0 19136 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 77828

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1686216/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=82120 CPUtime=522.15
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 20108 0 0 0 52195 20 0 0 25 0 1 0 54262408 84090880 20032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 20530 20032 170 317 0 20209 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 82120

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1680456/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=94640 CPUtime=582.12
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 22796 0 0 0 58191 21 0 0 25 0 1 0 54262408 96911360 21451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 23660 21451 170 317 0 23339 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 94640

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 31933
/proc/meminfo: memFree=1676424/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=98428 CPUtime=642.11
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 23825 0 0 0 64189 22 0 0 25 0 1 0 54262408 100790272 22447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 24607 22447 170 317 0 24286 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 98428


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32131
/proc/meminfo: memFree=1660680/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=115480 CPUtime=881.93
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 28268 0 0 0 88163 30 0 0 25 0 1 0 54262408 118251520 26329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 28870 26329 170 317 0 28549 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 115480

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32131
/proc/meminfo: memFree=1657416/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=118356 CPUtime=941.91
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 29091 0 0 0 94160 31 0 0 25 0 1 0 54262408 121196544 27152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 29589 27152 170 317 0 29268 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 118356

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32131
/proc/meminfo: memFree=1654216/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=120968 CPUtime=1001.9
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 29890 0 0 0 100158 32 0 0 25 0 1 0 54262408 123871232 27951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 30242 27951 170 317 0 29921 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 120968

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32131
/proc/meminfo: memFree=1651080/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=123836 CPUtime=1061.88
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 30675 0 0 0 106155 33 0 0 25 0 1 0 54262408 126808064 28736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 30959 28736 170 317 0 30638 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 123836

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32133
/proc/meminfo: memFree=1647880/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=126576 CPUtime=1121.86
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 31473 0 0 0 112152 34 0 0 25 0 1 0 54262408 129613824 29534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 31644 29534 170 317 0 31323 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 126576

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32133
/proc/meminfo: memFree=1645000/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=129344 CPUtime=1181.84
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 32260 0 0 0 118149 35 0 0 25 0 1 0 54262408 132448256 30288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 32336 30288 170 317 0 32015 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 129344

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32133
/proc/meminfo: memFree=1641928/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=131816 CPUtime=1241.83
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 33017 0 0 0 124147 36 0 0 25 0 1 0 54262408 134979584 31045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 32954 31045 170 317 0 32633 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 131816

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32133
/proc/meminfo: memFree=1639112/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=134160 CPUtime=1301.81
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 33706 0 0 0 130144 37 0 0 25 0 1 0 54262408 137379840 31734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 33540 31734 170 317 0 33219 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 134160

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 32133
/proc/meminfo: memFree=1636296/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=136904 CPUtime=1361.8
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 34450 0 0 0 136141 39 0 0 25 0 1 0 54262408 140189696 32445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 34226 32445 170 317 0 33905 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 136904

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 32133
/proc/meminfo: memFree=1633352/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=139640 CPUtime=1421.78
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 35243 0 0 0 142138 40 0 0 25 0 1 0 54262408 142991360 33172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 34910 33172 170 317 0 34589 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 139640

[startup+1482.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 32133
/proc/meminfo: memFree=1630728/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=141992 CPUtime=1481.76
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 35909 0 0 0 148135 41 0 0 25 0 1 0 54262408 145399808 33838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 35498 33838 170 317 0 35177 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 141992

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 32133
/proc/meminfo: memFree=1627912/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=144376 CPUtime=1541.75
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 36605 0 0 0 154132 43 0 0 25 0 1 0 54262408 147841024 34534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564053 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 36094 34534 170 317 0 35773 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 144376

[startup+1602.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/78 32133
/proc/meminfo: memFree=1625288/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=146728 CPUtime=1601.73
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 37274 0 0 0 160129 44 0 0 25 0 1 0 54262408 150249472 35203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 36682 35203 170 317 0 36361 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 146728

[startup+1662.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/78 32133
/proc/meminfo: memFree=1622600/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=148944 CPUtime=1661.71
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 37935 0 0 0 166126 45 0 0 25 0 1 0 54262408 152518656 35864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 37236 35864 170 317 0 36915 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 148944

[startup+1722.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/78 32133
/proc/meminfo: memFree=1620040/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=151176 CPUtime=1721.7
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 38568 0 0 0 172124 46 0 0 25 0 1 0 54262408 154804224 36497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 37794 36497 170 317 0 37473 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 151176

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 32133
/proc/meminfo: memFree=1617288/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=153412 CPUtime=1781.68
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39261 0 0 0 178121 47 0 0 25 0 1 0 54262408 157093888 37190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 38353 37190 170 317 0 38032 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 153412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 32133
/proc/meminfo: memFree=1616648/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=153932 CPUtime=1800.09
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39414 0 0 0 179961 48 0 0 25 0 1 0 54262408 157626368 37343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 38483 37343 170 317 0 38162 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153932

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 32133
/proc/meminfo: memFree=1616648/2055920 swapFree=4157496/4192956
[pid=31932] ppid=31930 vsize=153932 CPUtime=1800.09
/proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39414 0 0 0 179961 48 0 0 25 0 1 0 54262408 157626368 37343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31932/statm: 38483 37343 170 317 0 38162 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153932

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.14
CPU user time (s): 1799.63
CPU system time (s): 0.504923
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 153932

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

runsolver used 2.03169 second user time and 4.53731 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Thu Apr 19 14:49:28 UTC 2007

IDJOB= 357313
IDBENCH= 2384
IDSOLVER= 172
FILE ID= node45/357313-1176994168

PBS_JOBID= 4630416

Free space on /tmp= 66446 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5e2e92f5cdf687685f560235d961ce1c

RANDOM SEED= 205329986

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:       1766624 kB
Buffers:         37096 kB
Cached:         185192 kB
SwapCached:      15576 kB
Active:         131632 kB
Inactive:       115948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766624 kB
SwapTotal:     4192956 kB
SwapFree:      4157496 kB
Dirty:            1640 kB
Writeback:           0 kB
Mapped:          32380 kB
Slab:            27308 kB
Committed_AS:  1169916 kB
PageTables:       1736 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= 66446 MiB

End job on node45 on Thu Apr 19 15:19:31 UTC 2007