Trace number 356896

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.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb
MD5SUM395bac5c9d0c4cdb5ae1073c67c6675c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark263089
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 263089
Optimality of the best value was proved NO
Number of variables7287
Total number of constraints529
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)420
Number of constraints which are nor clauses,nor cardinality constraints109
Minimum length of a constraint3
Maximum length of a constraint6062
Number of terms in the objective function 31
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 524318
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 527290
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.32	c ...done
0.29/0.32	c #vars=7287 #constraints=596 hasObjective=yes
0.29/0.36	c res. mode=mod
0.29/0.36	c VSIDS like heuristics
0.29/0.36	c complete search running
0.49/0.55	c restart after 401 decisions
0.49/0.59	c nbDecision=500 #constraints=771
0.69/0.74	c restart after 801 decisions
0.79/0.84	c nbDecision=1000 #constraints=962
0.99/1.08	c nbDecision=1500 #constraints=1090
1.09/1.13	c restart after 1601 decisions
1.29/1.33	c nbDecision=2000 #constraints=1255
1.49/1.56	c nbDecision=2500 #constraints=1356
1.69/1.77	c nbDecision=3000 #constraints=1421
1.79/1.86	c restart after 3201 decisions
1.99/2.01	c nbDecision=3500 #constraints=1564
2.19/2.25	c nbDecision=4000 #constraints=1679
2.39/2.47	c nbDecision=4500 #constraints=1748
2.59/2.69	c nbDecision=5000 #constraints=1836
2.89/2.91	c nbDecision=5500 #constraints=1912
3.09/3.13	c nbDecision=6000 #constraints=2007
3.29/3.31	c restart after 6401 decisions
3.29/3.37	c nbDecision=6500 #constraints=2125
3.59/3.65	c nbDecision=7000 #constraints=2268
3.89/3.90	c nbDecision=7500 #constraints=2354
4.09/4.12	c nbDecision=8000 #constraints=2422
4.29/4.34	c nbDecision=8500 #constraints=2499
4.49/4.57	c nbDecision=9000 #constraints=2582
4.69/4.79	c nbDecision=9500 #constraints=2665
5.00/5.01	c nbDecision=10000 #constraints=2740
5.20/5.22	c nbDecision=10500 #constraints=2819
5.40/5.43	c nbDecision=11000 #constraints=2893
5.60/5.65	c nbDecision=11500 #constraints=2968
5.80/5.87	c nbDecision=12000 #constraints=3038
6.00/6.09	c nbDecision=12500 #constraints=3114
6.20/6.23	c restart after 12801 decisions
6.30/6.38	c nbDecision=13000 #constraints=3233
6.69/6.70	c nbDecision=13500 #constraints=3357
6.89/6.97	c nbDecision=14000 #constraints=3424
7.19/7.21	c nbDecision=14500 #constraints=3503
7.39/7.45	c nbDecision=15000 #constraints=3581
7.60/7.68	c nbDecision=15500 #constraints=3665
7.89/7.94	c nbDecision=16000 #constraints=3732
8.09/8.17	c nbDecision=16500 #constraints=3820
8.29/8.39	c nbDecision=17000 #constraints=3891
8.59/8.63	c nbDecision=17500 #constraints=3985
8.80/8.86	c nbDecision=18000 #constraints=4065
8.99/9.09	c nbDecision=18500 #constraints=4142
9.29/9.32	c nbDecision=19000 #constraints=4220
9.59/9.60	c nbDecision=19500 #constraints=4293
9.80/9.85	c nbDecision=20000 #constraints=4382
10.09/10.12	c nbDecision=20500 #constraints=4446
10.39/10.42	c nbDecision=21000 #constraints=4519
10.59/10.68	c nbDecision=21500 #constraints=4607
10.89/10.94	c nbDecision=22000 #constraints=4678
11.09/11.20	c nbDecision=22500 #constraints=4756
11.49/11.56	c nbDecision=23000 #constraints=4820
11.89/11.91	c nbDecision=23500 #constraints=4895
12.19/12.27	c nbDecision=24000 #constraints=4948
12.59/12.63	c nbDecision=24500 #constraints=5026
12.89/12.98	c nbDecision=25000 #constraints=5078
13.29/13.31	c nbDecision=25500 #constraints=5133
13.29/13.38	c restart after 25601 decisions
13.79/13.87	c nbDecision=26000 #constraints=5274
14.29/14.31	c nbDecision=26500 #constraints=5393
14.59/14.66	c nbDecision=27000 #constraints=5470
14.89/14.96	c nbDecision=27500 #constraints=5550
15.19/15.25	c nbDecision=28000 #constraints=5635
15.49/15.58	c nbDecision=28500 #constraints=5708
15.79/15.88	c nbDecision=29000 #constraints=5783
16.09/16.14	c nbDecision=29500 #constraints=5864
16.29/16.40	c nbDecision=30000 #constraints=5940
16.59/16.67	c nbDecision=30500 #constraints=6018
16.89/16.93	c nbDecision=31000 #constraints=6086
17.19/17.23	c nbDecision=31500 #constraints=6162
17.49/17.50	c nbDecision=32000 #constraints=6235
17.69/17.79	c nbDecision=32500 #constraints=6312
18.09/18.19	c nbDecision=33000 #constraints=6384
18.49/18.54	c nbDecision=33500 #constraints=6476
18.79/18.83	c nbDecision=34000 #constraints=6561
19.09/19.11	c nbDecision=34500 #constraints=6637
19.29/19.38	c nbDecision=35000 #constraints=6715
19.79/19.80	c nbDecision=35500 #constraints=6803
20.18/20.25	c nbDecision=36000 #constraints=6879
20.48/20.57	c nbDecision=36500 #constraints=6966
20.98/21.04	c nbDecision=37000 #constraints=7016
21.38/21.45	c nbDecision=37500 #constraints=7108
21.68/21.72	c nbDecision=38000 #constraints=7189
21.99/22.01	c nbDecision=38500 #constraints=7264
22.18/22.29	c nbDecision=39000 #constraints=7345
22.58/22.67	c nbDecision=39500 #constraints=7409
22.99/23.05	c nbDecision=40000 #constraints=7462
23.38/23.46	c nbDecision=40500 #constraints=7516
23.68/23.79	c nbDecision=41000 #constraints=7579
24.09/24.14	c nbDecision=41500 #constraints=7634
24.48/24.52	c nbDecision=42000 #constraints=7687
24.78/24.88	c nbDecision=42500 #constraints=7741
25.19/25.22	c nbDecision=43000 #constraints=7796
25.48/25.55	c nbDecision=43500 #constraints=7854
25.88/25.90	c nbDecision=44000 #constraints=7908
26.18/26.27	c nbDecision=44500 #constraints=7990
26.68/26.80	c nbDecision=45000 #constraints=8066
27.19/27.24	c nbDecision=45500 #constraints=8119
27.59/27.63	c nbDecision=46000 #constraints=8172
27.89/27.98	c nbDecision=46500 #constraints=8227
28.29/28.37	c nbDecision=47000 #constraints=8280
28.79/28.84	c nbDecision=47500 #constraints=8373
29.49/29.51	c nbDecision=48000 #constraints=8444
30.19/30.24	c nbDecision=48500 #constraints=8494
30.69/30.75	c nbDecision=49000 #constraints=8552
31.19/31.23	c nbDecision=49500 #constraints=8604
31.59/31.63	c nbDecision=50000 #constraints=8657
32.09/32.12	c nbDecision=50500 #constraints=8707
32.59/32.68	c nbDecision=51000 #constraints=8762
32.79/32.85	c restart after 51201 decisions
33.59/33.62	c nbDecision=51500 #constraints=8902
34.49/34.52	c nbDecision=52000 #constraints=9015
35.09/35.15	c nbDecision=52500 #constraints=9085
35.59/35.60	c nbDecision=53000 #constraints=9164
36.09/36.11	c nbDecision=53500 #constraints=9239
36.49/36.57	c nbDecision=54000 #constraints=9320
36.99/37.04	c nbDecision=54500 #constraints=9407
37.39/37.49	c nbDecision=55000 #constraints=9484
37.79/37.83	c nbDecision=55500 #constraints=9552
38.19/38.23	c nbDecision=56000 #constraints=9624
38.49/38.59	c nbDecision=56500 #constraints=9703
38.89/38.95	c nbDecision=57000 #constraints=9783
39.29/39.36	c nbDecision=57500 #constraints=9854
39.68/39.79	c nbDecision=58000 #constraints=9925
40.28/40.35	c nbDecision=58500 #constraints=9987
40.88/40.91	c nbDecision=59000 #constraints=10084
41.18/41.25	c nbDecision=59500 #constraints=10166
41.58/41.61	c nbDecision=60000 #constraints=10241
41.88/41.95	c nbDecision=60500 #constraints=10321
42.38/42.45	c nbDecision=61000 #constraints=10386
42.98/43.05	c nbDecision=61500 #constraints=10450
43.58/43.67	c nbDecision=62000 #constraints=10516
44.08/44.15	c nbDecision=62500 #constraints=10621
44.68/44.76	c nbDecision=63000 #constraints=10684
45.38/45.45	c nbDecision=63500 #constraints=10774
46.18/46.25	c nbDecision=64000 #constraints=10825
46.58/46.66	c nbDecision=64500 #constraints=10888
46.98/47.05	c nbDecision=65000 #constraints=10946
47.48/47.54	c nbDecision=65500 #constraints=10997
47.98/48.06	c nbDecision=66000 #constraints=11075
48.38/48.43	c nbDecision=66500 #constraints=11130
48.78/48.83	c nbDecision=67000 #constraints=11184
49.18/49.22	c nbDecision=67500 #constraints=11239
49.58/49.60	c nbDecision=68000 #constraints=11293
49.98/50.04	c nbDecision=68500 #constraints=11346
50.38/50.46	c nbDecision=69000 #constraints=11400
50.88/50.90	c nbDecision=69500 #constraints=11454
51.58/51.61	c nbDecision=70000 #constraints=11502
52.08/52.18	c nbDecision=70500 #constraints=11552
52.58/52.61	c nbDecision=71000 #constraints=11606
53.07/53.11	c nbDecision=71500 #constraints=11702
53.57/53.62	c nbDecision=72000 #constraints=11754
53.97/54.10	c nbDecision=72500 #constraints=11806
54.57/54.68	c nbDecision=73000 #constraints=11858
55.37/55.40	c nbDecision=73500 #constraints=11940
55.87/55.92	c nbDecision=74000 #constraints=11995
56.37/56.42	c nbDecision=74500 #constraints=12058
56.97/57.02	c nbDecision=75000 #constraints=12113
57.47/57.56	c nbDecision=75500 #constraints=12172
58.37/58.49	c nbDecision=76000 #constraints=12224
59.17/59.29	c nbDecision=76500 #constraints=12272
59.87/59.92	c nbDecision=77000 #constraints=12323
60.57/60.62	c nbDecision=77500 #constraints=12417
61.17/61.28	c nbDecision=78000 #constraints=12476
62.07/62.11	c nbDecision=78500 #constraints=12535
62.58/62.63	c nbDecision=79000 #constraints=12601
62.97/63.02	c nbDecision=79500 #constraints=12656
63.57/63.60	c nbDecision=80000 #constraints=12753
78.68/78.77	c nbDecision=80500 #constraints=12919
115.56/115.60	c nbDecision=81000 #constraints=13270
144.76/144.85	c nbDecision=81500 #constraints=13543
163.75/163.90	c nbDecision=82000 #constraints=13736
200.35/200.45	c nbDecision=82500 #constraints=14047
238.03/238.19	c nbDecision=83000 #constraints=14388
260.13/260.20	c nbDecision=83500 #constraints=14581
303.12/303.27	c nbDecision=84000 #constraints=14914
338.21/338.34	c nbDecision=84500 #constraints=15185
364.01/364.13	c nbDecision=85000 #constraints=15378
399.70/399.81	c nbDecision=85500 #constraints=15622
413.59/413.71	c nbDecision=86000 #constraints=15706
454.98/455.17	c nbDecision=86500 #constraints=15958
481.77/481.99	c nbDecision=87000 #constraints=16144
540.06/540.21	c nbDecision=87500 #constraints=16475
593.95/594.17	c nbDecision=88000 #constraints=16805
643.13/643.31	c nbDecision=88500 #constraints=17062
684.23/684.40	c nbDecision=89000 #constraints=17286
757.31/757.57	c nbDecision=89500 #constraints=17659
808.50/808.74	c nbDecision=90000 #constraints=17943
845.99/846.23	c nbDecision=90500 #constraints=18112
924.27/924.52	c nbDecision=91000 #constraints=18458
990.46/990.79	c nbDecision=91500 #constraints=18733
1015.95/1016.22	c nbDecision=92000 #constraints=18862
1074.73/1075.08	c nbDecision=92500 #constraints=19146
1099.73/1100.06	c nbDecision=93000 #constraints=19246
1162.01/1162.31	c nbDecision=93500 #constraints=19494
1189.01/1189.38	c nbDecision=94000 #constraints=19596
1254.49/1254.88	c nbDecision=94500 #constraints=19833
1277.58/1277.94	c nbDecision=95000 #constraints=19934
1335.57/1335.96	c nbDecision=95500 #constraints=20120
1429.05/1429.42	c nbDecision=96000 #constraints=20485
1493.63/1494.02	c nbDecision=96500 #constraints=20747
1572.61/1573.09	c nbDecision=97000 #constraints=20989
1666.79/1667.23	c nbDecision=97500 #constraints=21315
1746.18/1746.61	c nbDecision=98000 #constraints=21579
1800.06/1800.50	Received signal 15
1800.06/1800.54	
1800.06/1800.54	s UNKNOWN
1800.06/1800.54	
1800.06/1800.54	c user time= 1799.81 s
1800.06/1800.54	c system time= 0.307953 s
1800.06/1800.54	c wall clock time=1800.55

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/node29/watcher-356896-1176847318 -o ROOT/results/node29/solver-356896-1176847318 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.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.74 0.94 0.98 2/77 16002
/proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=1468 CPUtime=0
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 132647547 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 367 163 131 317 0 46 0

[startup+0.0893569 s]
/proc/loadavg: 0.74 0.94 0.98 2/77 16002
/proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=3300 CPUtime=0.08
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 581 0 0 0 8 0 0 0 18 0 1 0 132647547 3379200 563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 825 563 131 317 0 504 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3300

[startup+0.101356 s]
/proc/loadavg: 0.74 0.94 0.98 2/77 16002
/proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=3572 CPUtime=0.09
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 132647547 3657728 622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 893 622 131 317 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3572

[startup+0.301368 s]
/proc/loadavg: 0.74 0.94 0.98 2/77 16002
/proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=7760 CPUtime=0.29
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 1560 0 0 0 29 0 0 0 20 0 1 0 132647547 7946240 1542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 1940 1542 131 317 0 1619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7760

[startup+0.701393 s]
/proc/loadavg: 0.74 0.94 0.98 2/77 16002
/proc/meminfo: memFree=1893040/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=10608 CPUtime=0.69
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2282 0 0 0 69 0 0 0 23 0 1 0 132647547 10862592 2264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 2652 2264 139 317 0 2331 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10608

[startup+1.50244 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1884392/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=10876 CPUtime=1.49
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2354 0 0 0 149 0 0 0 25 0 1 0 132647547 11137024 2336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 2719 2336 139 317 0 2398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10876

[startup+3.10154 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1883944/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=11268 CPUtime=3.09
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2447 0 0 0 309 0 0 0 25 0 1 0 132647547 11538432 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 2817 2429 139 317 0 2496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11268

[startup+6.30174 s]
/proc/loadavg: 0.76 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1883112/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=11920 CPUtime=6.3
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2619 0 0 0 629 1 0 0 25 0 1 0 132647547 12206080 2601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710928 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 2980 2601 139 317 0 2659 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11920

[startup+12.7011 s]
/proc/loadavg: 0.78 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1881968/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=13064 CPUtime=12.69
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 2884 0 0 0 1268 1 0 0 25 0 1 0 132647547 13377536 2866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 3266 2866 139 317 0 2945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13064

[startup+25.5019 s]
/proc/loadavg: 0.83 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1880304/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=14644 CPUtime=25.48
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 3286 0 0 0 2547 1 0 0 25 0 1 0 132647547 14995456 3268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 3661 3268 139 317 0 3340 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14644

[startup+51.1015 s]
/proc/loadavg: 0.88 0.94 0.98 2/78 16003
/proc/meminfo: memFree=1878192/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=16984 CPUtime=51.08
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 3879 0 0 0 5106 2 0 0 25 0 1 0 132647547 17391616 3804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 4246 3804 139 317 0 3925 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16984

[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 16003
/proc/meminfo: memFree=1873008/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=22048 CPUtime=102.27
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 5163 0 0 0 10224 3 0 0 25 0 1 0 132647547 22577152 5088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 5512 5088 139 317 0 5191 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22048

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 16003
/proc/meminfo: memFree=1866800/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=28232 CPUtime=162.25
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 6714 0 0 0 16221 4 0 0 25 0 1 0 132647547 28909568 6639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 7058 6639 139 317 0 6737 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28232

[startup+222.301 s]
/proc/loadavg: 1.08 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1860144/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=34748 CPUtime=222.24
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 8357 0 0 0 22219 5 0 0 25 0 1 0 132647547 35581952 8282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 8687 8282 139 317 0 8366 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34748

[startup+282.302 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1855152/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=39884 CPUtime=282.22
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 9615 0 0 0 28216 6 0 0 25 0 1 0 132647547 40841216 9540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 9971 9540 139 317 0 9650 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39884

[startup+342.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1850352/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=44628 CPUtime=342.2
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 10801 0 0 0 34213 7 0 0 25 0 1 0 132647547 45699072 10726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 11157 10726 139 317 0 10836 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44628

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1844976/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=50744 CPUtime=402.2
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 12141 0 0 0 40211 9 0 0 25 0 1 0 132647547 51961856 12066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 12686 12066 139 317 0 12365 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 50744

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1841264/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=54220 CPUtime=462.18
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 13064 0 0 0 46208 10 0 0 25 0 1 0 132647547 55521280 12989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 13555 12989 139 317 0 13234 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 54220

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1837552/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=57824 CPUtime=522.17
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 13994 0 0 0 52206 11 0 0 25 0 1 0 132647547 59211776 13919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 14456 13919 139 317 0 14135 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 57824

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1833520/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=62020 CPUtime=582.15
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 15099 0 0 0 58203 12 0 0 25 0 1 0 132647547 63508480 14911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 15505 14911 139 317 0 15184 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 62020

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1830064/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=65364 CPUtime=642.14
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 15949 0 0 0 64201 13 0 0 25 0 1 0 132647547 66932736 15761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 16341 15761 139 317 0 16020 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 65364


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1815472/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=81728 CPUtime=882.08
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 19590 0 0 0 88191 17 0 0 25 0 1 0 132647547 83689472 19402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 20432 19402 139 317 0 20111 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 81728

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1812272/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=84796 CPUtime=942.07
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 20371 0 0 0 94189 18 0 0 25 0 1 0 132647547 86831104 20183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 21199 20183 139 317 0 20878 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 84796

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1809712/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=87216 CPUtime=1002.05
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 21020 0 0 0 100186 19 0 0 25 0 1 0 132647547 89309184 20832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 21804 20832 139 317 0 21483 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 87216

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1806768/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=90028 CPUtime=1062.04
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 21771 0 0 0 106184 20 0 0 25 0 1 0 132647547 92188672 21583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 22507 21583 139 317 0 22186 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 90028

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1804528/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=92164 CPUtime=1122.02
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 22310 0 0 0 112182 20 0 0 25 0 1 0 132647547 94375936 22122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 23041 22122 139 317 0 22720 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 92164

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1801840/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=94572 CPUtime=1182
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 22988 0 0 0 118179 21 0 0 25 0 1 0 132647547 96841728 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 23643 22800 139 317 0 23322 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 94572

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1799728/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=96592 CPUtime=1241.99
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 23487 0 0 0 124177 22 0 0 25 0 1 0 132647547 98910208 23299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 24148 23299 139 317 0 23827 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 96592

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1798128/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=98192 CPUtime=1301.98
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 23883 0 0 0 130175 23 0 0 25 0 1 0 132647547 100548608 23695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 24548 23695 139 317 0 24227 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 98192

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1795632/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=100324 CPUtime=1361.96
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 24512 0 0 0 136172 24 0 0 25 0 1 0 132647547 102731776 24324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 25081 24324 139 317 0 24760 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 100324

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1793200/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=102736 CPUtime=1421.95
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 25105 0 0 0 142170 25 0 0 25 0 1 0 132647547 105201664 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 25684 24917 139 317 0 25363 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 102736

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1790896/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=105004 CPUtime=1481.94
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 25682 0 0 0 148168 26 0 0 25 0 1 0 132647547 107524096 25494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 26251 25494 139 317 0 25930 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 105004

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1788656/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=106896 CPUtime=1541.92
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 26238 0 0 0 154165 27 0 0 25 0 1 0 132647547 109461504 26050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 26724 26050 139 317 0 26403 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 106896

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1786800/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=108772 CPUtime=1601.91
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 26704 0 0 0 160163 28 0 0 25 0 1 0 132647547 111382528 26516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 27193 26516 139 317 0 26872 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 108772

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1784368/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=111056 CPUtime=1661.89
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 27308 0 0 0 166160 29 0 0 25 0 1 0 132647547 113721344 27120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 27764 27120 139 317 0 27443 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 111056

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1782000/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=113208 CPUtime=1721.88
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 27905 0 0 0 172158 30 0 0 25 0 1 0 132647547 115924992 27717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 28302 27717 139 317 0 27981 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 113208

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1780144/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=114956 CPUtime=1781.86
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28343 0 0 0 178156 30 0 0 25 0 1 0 132647547 117714944 28155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 28739 28155 139 317 0 28418 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 114956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1779504/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=115636 CPUtime=1800.06
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28520 0 0 0 179976 30 0 0 25 0 1 0 132647547 118411264 28332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 28909 28332 139 317 0 28588 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 115636

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 16003
/proc/meminfo: memFree=1779504/2055920 swapFree=4141356/4192956
[pid=16002] ppid=16000 vsize=115636 CPUtime=1800.06
/proc/16002/stat : 16002 (oree) R 16000 16002 15925 0 -1 4194304 28520 0 0 0 179976 30 0 0 25 0 1 0 132647547 118411264 28332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16002/statm: 28909 28332 139 317 0 28588 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 115636

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.14
CPU user time (s): 1799.82
CPU system time (s): 0.32695
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 115636

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

runsolver used 2.16067 second user time and 4.26735 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue Apr 17 22:01:58 UTC 2007

IDJOB= 356896
IDBENCH= 1608
IDSOLVER= 172
FILE ID= node29/356896-1176847318

PBS_JOBID= 4590210

Free space on /tmp= 66508 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-356896-1176847318 -o ROOT/results/node29/solver-356896-1176847318 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356896-1176847318/instance-356896-1176847318.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  395bac5c9d0c4cdb5ae1073c67c6675c

RANDOM SEED= 275960207

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1893512 kB
Buffers:         31936 kB
Cached:          70048 kB
SwapCached:      17152 kB
Active:          69040 kB
Inactive:        61792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1893512 kB
SwapTotal:     4192956 kB
SwapFree:      4141356 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          29652 kB
Slab:            17052 kB
Committed_AS:  2007112 kB
PageTables:       1872 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= 66508 MiB

End job on node29 on Tue Apr 17 22:32:01 UTC 2007