Trace number 357392

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.66 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM00504f72d4d33ef46136a0269c782c15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1075045120
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074976000
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 26904326400
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 81230087655
Number of bits of the biggest sum of numbers37
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.06/0.08	c ...done
0.06/0.08	c #vars=7561 #constraints=338 hasObjective=yes
0.06/0.09	c res. mode=mod
0.06/0.09	c VSIDS like heuristics
0.06/0.09	c complete search running
0.09/0.17	c restart after 401 decisions
0.09/0.18	c nbDecision=500 #constraints=347
0.19/0.24	c restart after 801 decisions
0.19/0.28	c nbDecision=1000 #constraints=368
0.29/0.37	c nbDecision=1500 #constraints=434
0.29/0.39	c restart after 1601 decisions
0.39/0.46	c nbDecision=2000 #constraints=460
0.49/0.56	c nbDecision=2500 #constraints=535
0.59/0.64	c nbDecision=3000 #constraints=559
0.59/0.68	c restart after 3201 decisions
0.69/0.73	c nbDecision=3500 #constraints=602
0.79/0.83	c nbDecision=4000 #constraints=646
0.89/0.93	c nbDecision=4500 #constraints=718
1.00/1.04	c nbDecision=5000 #constraints=775
1.10/1.15	c nbDecision=5500 #constraints=804
1.29/1.30	c nbDecision=6000 #constraints=865
1.29/1.39	c restart after 6401 decisions
1.39/1.42	c nbDecision=6500 #constraints=890
1.49/1.55	c nbDecision=7000 #constraints=912
1.59/1.68	c nbDecision=7500 #constraints=940
1.79/1.83	c nbDecision=8000 #constraints=958
1.89/1.94	c nbDecision=8500 #constraints=967
2.19/2.26	c nbDecision=9000 #constraints=1000
2.39/2.46	c nbDecision=9500 #constraints=1016
3.19/3.27	c nbDecision=10000 #constraints=1189
4.49/4.56	c nbDecision=10500 #constraints=1614
5.99/6.09	c nbDecision=11000 #constraints=1895
7.99/8.04	c nbDecision=11500 #constraints=2317
9.99/10.05	c nbDecision=12000 #constraints=2680
11.89/11.92	c nbDecision=12500 #constraints=2926
13.79/13.86	c restart after 12801 decisions
15.69/15.75	c nbDecision=13000 #constraints=3163
18.69/18.71	c nbDecision=13500 #constraints=3440
22.79/22.83	c nbDecision=14000 #constraints=3837
26.49/26.58	c nbDecision=14500 #constraints=4235
31.29/31.37	c nbDecision=15000 #constraints=4612
35.49/35.56	c nbDecision=15500 #constraints=4900
42.30/42.35	c nbDecision=16000 #constraints=5075
47.49/47.57	c nbDecision=16500 #constraints=5317
53.49/53.52	c nbDecision=17000 #constraints=5710
60.40/60.47	c nbDecision=17500 #constraints=6061
66.79/66.80	c nbDecision=18000 #constraints=6279
74.59/74.68	c nbDecision=18500 #constraints=6675
82.29/82.32	c nbDecision=19000 #constraints=7031
87.69/87.79	c nbDecision=19500 #constraints=7255
93.80/93.85	c nbDecision=20000 #constraints=7432
97.80/97.82	c nbDecision=20500 #constraints=7495
103.20/103.25	c nbDecision=21000 #constraints=7643
106.70/106.71	c nbDecision=21500 #constraints=7679
110.60/110.67	c nbDecision=22000 #constraints=7754
111.60/111.64	c nbDecision=22500 #constraints=7767
112.60/112.65	c nbDecision=23000 #constraints=7783
113.70/113.77	c nbDecision=23500 #constraints=7798
114.70/114.71	c nbDecision=24000 #constraints=7821
116.90/116.96	c nbDecision=24500 #constraints=7860
118.50/118.60	c nbDecision=25000 #constraints=7881
120.39/120.44	c nbDecision=25500 #constraints=7973
120.69/120.74	c restart after 25601 decisions
122.49/122.53	c nbDecision=26000 #constraints=8000
124.89/124.99	c nbDecision=26500 #constraints=8054
126.20/126.26	c nbDecision=27000 #constraints=8112
127.61/127.61	c nbDecision=27500 #constraints=8175
129.20/129.23	c nbDecision=28000 #constraints=8360
132.70/132.73	c nbDecision=28500 #constraints=8480
134.00/134.09	c nbDecision=29000 #constraints=8497
135.60/135.67	c nbDecision=29500 #constraints=8526
139.10/139.17	c nbDecision=30000 #constraints=8683
143.10/143.12	c nbDecision=30500 #constraints=8737
144.70/144.71	c nbDecision=31000 #constraints=8762
150.30/150.37	c nbDecision=31500 #constraints=8918
155.80/155.85	c nbDecision=32000 #constraints=9016
159.60/159.61	c nbDecision=32500 #constraints=9189
164.50/164.50	c nbDecision=33000 #constraints=9287
167.50/167.57	c nbDecision=33500 #constraints=9357
168.60/168.67	c nbDecision=34000 #constraints=9405
170.30/170.40	c nbDecision=34500 #constraints=9433
187.80/187.83	c nbDecision=35000 #constraints=9487
196.20/196.20	c nbDecision=35500 #constraints=9598
206.81/206.84	c nbDecision=36000 #constraints=9689
219.00/219.05	c nbDecision=36500 #constraints=9763
227.90/227.98	c nbDecision=37000 #constraints=9816
236.71/236.74	c nbDecision=37500 #constraints=9942
245.40/245.45	c nbDecision=38000 #constraints=10018
254.70/254.73	c nbDecision=38500 #constraints=10084
264.50/264.50	c nbDecision=39000 #constraints=10148
274.60/274.65	c nbDecision=39500 #constraints=10211
277.00/277.03	c nbDecision=40000 #constraints=10222
278.50/278.59	c nbDecision=40500 #constraints=10232
280.51/280.56	c nbDecision=41000 #constraints=10262
282.30/282.36	c nbDecision=41500 #constraints=10285
284.10/284.16	c nbDecision=42000 #constraints=10345
286.70/286.77	c nbDecision=42500 #constraints=10382
290.01/290.09	c nbDecision=43000 #constraints=10459
292.51/292.59	c nbDecision=43500 #constraints=10502
295.31/295.39	c nbDecision=44000 #constraints=10528
298.20/298.28	c nbDecision=44500 #constraints=10585
301.70/301.76	c nbDecision=45000 #constraints=10628
305.10/305.17	c nbDecision=45500 #constraints=10677
312.20/312.29	c nbDecision=46000 #constraints=10705
332.91/332.98	c nbDecision=46500 #constraints=10743
338.41/338.50	c nbDecision=47000 #constraints=10785
341.41/341.43	c nbDecision=47500 #constraints=10810
344.61/344.62	c nbDecision=48000 #constraints=10849
345.31/345.39	c nbDecision=48500 #constraints=10888
348.01/348.02	c nbDecision=49000 #constraints=10988
351.41/351.43	c nbDecision=49500 #constraints=11012
356.50/356.56	c nbDecision=50000 #constraints=11057
359.61/359.61	c nbDecision=50500 #constraints=11088
361.91/361.92	c nbDecision=51000 #constraints=11173
363.01/363.00	c restart after 51201 decisions
367.11/367.14	c nbDecision=51500 #constraints=11216
374.51/374.50	c nbDecision=52000 #constraints=11262
380.41/380.40	c nbDecision=52500 #constraints=11362
387.61/387.66	c nbDecision=53000 #constraints=11464
395.61/395.63	c nbDecision=53500 #constraints=11551
404.11/404.11	c nbDecision=54000 #constraints=11657
410.11/410.19	c nbDecision=54500 #constraints=11723
418.51/418.51	c nbDecision=55000 #constraints=11795
426.91/426.97	c nbDecision=55500 #constraints=11842
432.01/432.05	c nbDecision=56000 #constraints=11986
438.41/438.45	c nbDecision=56500 #constraints=12057
442.82/442.85	c nbDecision=57000 #constraints=12086
452.92/452.97	c nbDecision=57500 #constraints=12158
459.41/459.48	c nbDecision=58000 #constraints=12190
471.71/471.70	c nbDecision=58500 #constraints=12241
480.72/480.77	c nbDecision=59000 #constraints=12300
489.91/489.97	c nbDecision=59500 #constraints=12338
495.02/495.08	c nbDecision=60000 #constraints=12374
497.32/497.37	c nbDecision=60500 #constraints=12413
501.82/501.81	c nbDecision=61000 #constraints=12461
511.12/511.11	c nbDecision=61500 #constraints=12504
513.92/513.94	c nbDecision=62000 #constraints=12533
520.52/520.54	c nbDecision=62500 #constraints=12569
556.82/556.85	c nbDecision=63000 #constraints=12790
567.52/567.52	c nbDecision=63500 #constraints=12884
572.52/572.52	c nbDecision=64000 #constraints=12955
581.72/581.77	c nbDecision=64500 #constraints=13029
587.02/587.04	c nbDecision=65000 #constraints=13137
594.22/594.29	c nbDecision=65500 #constraints=13174
603.62/603.63	c nbDecision=66000 #constraints=13267
609.52/609.59	c nbDecision=66500 #constraints=13303
619.62/619.67	c nbDecision=67000 #constraints=13354
626.93/626.91	c nbDecision=67500 #constraints=13387
636.32/636.36	c nbDecision=68000 #constraints=13476
640.33/640.34	c nbDecision=68500 #constraints=13570
648.32/648.31	c nbDecision=69000 #constraints=13604
655.12/655.12	c nbDecision=69500 #constraints=13634
661.93/661.92	c nbDecision=70000 #constraints=13666
668.33/668.39	c nbDecision=70500 #constraints=13708
677.13/677.19	c nbDecision=71000 #constraints=13754
681.12/681.16	c nbDecision=71500 #constraints=13841
684.13/684.17	c nbDecision=72000 #constraints=13935
686.63/686.64	c nbDecision=72500 #constraints=14016
691.13/691.17	c nbDecision=73000 #constraints=14046
705.72/705.71	c nbDecision=73500 #constraints=14129
728.03/728.09	c nbDecision=74000 #constraints=14221
759.33/759.35	c nbDecision=74500 #constraints=14341
798.74/798.80	c nbDecision=75000 #constraints=14500
826.93/826.97	c nbDecision=75500 #constraints=14603
829.94/829.96	c nbDecision=76000 #constraints=14643
833.44/833.44	c nbDecision=76500 #constraints=14667
836.84/836.84	c nbDecision=77000 #constraints=14709
840.24/840.21	c nbDecision=77500 #constraints=14817
843.74/843.74	c nbDecision=78000 #constraints=14893
848.74/848.73	c nbDecision=78500 #constraints=14981
871.33/871.30	c nbDecision=79000 #constraints=15090
894.03/894.03	c nbDecision=79500 #constraints=15252
963.84/963.83	c nbDecision=80000 #constraints=15518
992.24/992.24	c nbDecision=80500 #constraints=15686
1006.45/1006.44	c nbDecision=81000 #constraints=15816
1020.14/1020.15	c nbDecision=81500 #constraints=16025
1064.25/1064.25	c nbDecision=82000 #constraints=16184
1087.25/1087.22	c nbDecision=82500 #constraints=16288
1131.55/1131.51	c nbDecision=83000 #constraints=16428
1152.46/1152.43	c nbDecision=83500 #constraints=16617
1168.75/1168.78	c nbDecision=84000 #constraints=16898
1228.95/1228.98	c nbDecision=84500 #constraints=17126
1279.06/1279.08	c nbDecision=85000 #constraints=17398
1326.86/1326.80	c nbDecision=85500 #constraints=17557
1363.06/1363.06	c nbDecision=86000 #constraints=17750
1430.27/1430.21	c nbDecision=86500 #constraints=18029
1526.88/1526.81	c nbDecision=87000 #constraints=18309
1552.27/1552.24	c nbDecision=87500 #constraints=18363
1584.78/1584.77	c nbDecision=88000 #constraints=18446
1621.98/1621.91	c nbDecision=88500 #constraints=18534
1638.38/1638.32	c nbDecision=89000 #constraints=18582
1662.38/1662.36	c nbDecision=89500 #constraints=18634
1688.08/1688.03	c nbDecision=90000 #constraints=18705
1720.98/1720.97	c nbDecision=90500 #constraints=18780
1756.19/1756.16	c nbDecision=91000 #constraints=18877
1787.79/1787.74	c nbDecision=91500 #constraints=18969
1800.10/1800.00	Received signal 15
1800.49/1800.48	
1800.49/1800.48	s UNKNOWN
1800.49/1800.48	
1800.49/1800.48	c user time= 1799.89 s
1800.49/1800.48	c system time= 0.684895 s
1800.49/1800.48	c wall clock time=1800.48

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/node16/watcher-357392-1176996618 -o ROOT/results/node16/solver-357392-1176996618 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.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.98 0.99 3/77 13853
/proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=1468 CPUtime=0
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147579421 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 367 161 131 317 0 46 0

[startup+0.065082 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13853
/proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=2548 CPUtime=0.06
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 435 0 0 0 6 0 0 0 18 0 1 0 147579421 2609152 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 637 417 131 317 0 316 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2548

[startup+0.101074 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13853
/proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=3796 CPUtime=0.09
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 751 0 0 0 9 0 0 0 18 0 1 0 147579421 3887104 733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 949 733 138 317 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3796

[startup+0.301033 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13853
/proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=3796 CPUtime=0.29
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 757 0 0 0 29 0 0 0 19 0 1 0 147579421 3887104 739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 949 739 139 317 0 628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3796

[startup+0.701949 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13853
/proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=3928 CPUtime=0.69
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 814 0 0 0 69 0 0 0 22 0 1 0 147579421 4022272 796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 982 796 139 317 0 661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3928

[startup+1.50178 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1752040/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=4984 CPUtime=1.49
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 1058 0 0 0 149 0 0 0 25 0 1 0 147579421 5103616 1040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 1246 1040 139 317 0 925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4984

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1750576/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=8288 CPUtime=3.09
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 1862 0 0 0 309 0 0 0 25 0 1 0 147579421 8486912 1844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 2072 1844 170 317 0 1751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8288

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1740784/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=18672 CPUtime=6.29
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 4361 0 0 0 627 2 0 0 25 0 1 0 147579421 19120128 4343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 4668 4343 170 317 0 4347 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18672

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1723760/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=35404 CPUtime=12.69
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 8260 0 0 0 1265 4 0 0 25 0 1 0 147579421 36253696 8242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 8851 8242 170 317 0 8530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35404

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1701808/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=58056 CPUtime=25.49
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 13460 0 0 0 2542 7 0 0 25 0 1 0 147579421 59449344 13442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 14514 13442 170 317 0 14193 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58056

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1674480/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=89308 CPUtime=51.09
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 20329 0 0 0 5099 10 0 0 25 0 1 0 147579421 91451392 20311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 22327 20311 170 317 0 22006 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89308

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1639088/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=123880 CPUtime=102.3
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 29018 0 0 0 10214 16 0 0 25 0 1 0 147579421 126853120 29000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 30970 29000 170 317 0 30649 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123880

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1622000/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=141444 CPUtime=162.3
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 33374 0 0 0 16212 18 0 0 25 0 1 0 147579421 144838656 33299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 35361 33299 170 317 0 35040 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 141444

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13854
/proc/meminfo: memFree=1615728/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=147756 CPUtime=222.3
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 34881 0 0 0 22211 19 0 0 25 0 1 0 147579421 151302144 34806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 36939 34806 170 317 0 36618 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 147756

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1606064/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=158004 CPUtime=282.3
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 37301 0 0 0 28209 21 0 0 25 0 1 0 147579421 161796096 37226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 39501 37226 170 317 0 39180 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 158004

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1597424/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=169128 CPUtime=342.31
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 39442 0 0 0 34208 23 0 0 25 0 1 0 147579421 173187072 39367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 42282 39367 170 317 0 41961 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 169128

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1572656/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=200544 CPUtime=402.31
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 45682 0 0 0 40205 26 0 0 25 0 1 0 147579421 205357056 45607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 50136 45607 170 317 0 49815 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 200544

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1558000/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=215444 CPUtime=462.31
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 49278 0 0 0 46203 28 0 0 25 0 1 0 147579421 220614656 49203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 53861 49203 170 317 0 53540 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 215444

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1550256/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=223872 CPUtime=522.32
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 51238 0 0 0 52203 29 0 0 25 0 1 0 147579421 229244928 51163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 55968 51163 170 317 0 55647 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 223872

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1536176/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=239256 CPUtime=582.32
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 54802 0 0 0 58201 31 0 0 25 0 1 0 147579421 244998144 54727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 59814 54727 170 317 0 59493 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 239256

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13856
/proc/meminfo: memFree=1512240/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=264968 CPUtime=642.33
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 60682 0 0 0 64200 33 0 0 25 0 1 0 147579421 271327232 60607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 66242 60607 170 317 0 65921 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 264968


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

[startup+1002.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1442288/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=341060 CPUtime=1002.34
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 78182 0 0 0 100189 45 0 0 25 0 1 0 147579421 349245440 78107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 85265 78107 170 317 0 84944 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 341060

[startup+1062.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1433584/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=350516 CPUtime=1062.35
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 80338 0 0 0 106189 46 0 0 25 0 1 0 147579421 358928384 80263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 87629 80263 170 317 0 87308 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 350516

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1426224/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=358472 CPUtime=1122.35
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 82147 0 0 0 112188 47 0 0 25 0 1 0 147579421 367075328 82071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 89618 82071 170 317 0 89297 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 358472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1405808/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=381256 CPUtime=1182.36
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 87376 0 0 0 118186 50 0 0 25 0 1 0 147579421 390406144 87187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 95314 87187 170 317 0 94993 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 381256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1392048/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=396064 CPUtime=1242.36
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 90833 0 0 0 124184 52 0 0 25 0 1 0 147579421 405569536 90644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 99016 90644 170 317 0 98695 0
Current children cumulated CPU time (s) 1242.36
Current children cumulated vsize (KiB) 396064

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1370352/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=418924 CPUtime=1302.37
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 96192 0 0 0 130182 55 0 0 25 0 1 0 147579421 428978176 96003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 104731 96003 170 317 0 104410 0
Current children cumulated CPU time (s) 1302.37
Current children cumulated vsize (KiB) 418924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1353136/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=437312 CPUtime=1362.37
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 100514 0 0 0 136180 57 0 0 25 0 1 0 147579421 447807488 100322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 109328 100322 170 317 0 109007 0
Current children cumulated CPU time (s) 1362.37
Current children cumulated vsize (KiB) 437312

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1339312/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=452820 CPUtime=1422.37
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 103948 0 0 0 142178 59 0 0 25 0 1 0 147579421 463687680 103756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 113205 103756 170 317 0 112884 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 452820

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1325872/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=468760 CPUtime=1482.38
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 107328 0 0 0 148177 61 0 0 25 0 1 0 147579421 480010240 107136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 117190 107136 170 317 0 116869 0
Current children cumulated CPU time (s) 1482.38
Current children cumulated vsize (KiB) 468760

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1318256/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=476964 CPUtime=1542.37
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 109222 0 0 0 154175 62 0 0 25 0 1 0 147579421 488411136 109030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 119241 109030 170 317 0 118920 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 476964

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1310768/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=484712 CPUtime=1602.37
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 111112 0 0 0 160174 63 0 0 25 0 1 0 147579421 496345088 110920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 121178 110920 170 317 0 120857 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 484712

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 13856
/proc/meminfo: memFree=1302512/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=494008 CPUtime=1662.38
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 113152 0 0 0 166173 65 0 0 25 0 1 0 147579421 505864192 112960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 123502 112960 170 317 0 123181 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 494008

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 13856
/proc/meminfo: memFree=1292464/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=506416 CPUtime=1722.38
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 115689 0 0 0 172172 66 0 0 25 0 1 0 147579421 518569984 115497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 126604 115497 170 317 0 126283 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 506416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1280560/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=521260 CPUtime=1782.39
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 118628 0 0 0 178171 68 0 0 25 0 1 0 147579421 533770240 118436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 130315 118436 170 317 0 129994 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 521260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=523236 CPUtime=1800.1
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119022 0 0 0 179942 68 0 0 25 0 1 0 147579421 535793664 118830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 130809 118830 170 317 0 130488 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 523236

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

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=523428 CPUtime=1800.29
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119064 0 0 0 179961 68 0 0 25 0 1 0 147579421 535990272 118872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 130857 118872 170 317 0 130536 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 523428

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=523364 CPUtime=1800.49
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119064 0 0 0 179981 68 0 0 25 0 1 0 147579421 535924736 118872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 130841 118872 170 317 0 130520 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 523364

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13856
/proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956
[pid=13853] ppid=13851 vsize=0 CPUtime=1800.58
/proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194308 119081 0 0 0 179989 69 0 0 25 0 1 0 147579421 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13853/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.66
CPU user time (s): 1799.9
CPU system time (s): 0.762884
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 523428

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

runsolver used 1.9897 second user time and 4.5833 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Thu Apr 19 15:30:18 UTC 2007

IDJOB= 357392
IDBENCH= 2513
IDSOLVER= 172
FILE ID= node16/357392-1176996618

PBS_JOBID= 4630473

Free space on /tmp= 66360 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
COMMAND LINE= oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-357392-1176996618 -o ROOT/results/node16/solver-357392-1176996618 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  00504f72d4d33ef46136a0269c782c15

RANDOM SEED= 804497335

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1755400 kB
Buffers:         38068 kB
Cached:         177992 kB
SwapCached:      12080 kB
Active:         111684 kB
Inactive:       127500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755400 kB
SwapTotal:     4192956 kB
SwapFree:      4148596 kB
Dirty:            1584 kB
Writeback:           0 kB
Mapped:          30160 kB
Slab:            46868 kB
Committed_AS:  6500296 kB
PageTables:       1836 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= 66360 MiB

End job on node16 on Thu Apr 19 16:00:20 UTC 2007