Trace number 420431

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.05 1800.74

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.opb
MD5SUM6932e9c37c423f9afe5ebc8b0b821733
Bench CategoryPURE-SAT (instances containing only clauses)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables725
Total number of constraints22684
Number of constraints which are clauses22684
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
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.49/0.50	c ...done
0.49/0.50	c #vars=725 #constraints=22684 hasObjective=no
0.49/0.55	c res. mode=mod
0.49/0.55	c VSIDS like heuristics
0.49/0.55	c complete search running
0.69/0.72	c restart after 401 decisions
0.79/0.82	c nbDecision=500 #constraints=22687
0.89/0.95	c restart after 801 decisions
0.99/1.07	c nbDecision=1000 #constraints=22696
1.29/1.35	c nbDecision=1500 #constraints=22717
1.39/1.43	c restart after 1601 decisions
1.69/1.71	c nbDecision=2000 #constraints=22743
3.69/3.71	c nbDecision=2500 #constraints=23096
5.69/5.70	c nbDecision=3000 #constraints=23401
6.69/6.79	c restart after 3201 decisions
6.99/7.02	c nbDecision=3500 #constraints=23566
7.09/7.17	c nbDecision=4000 #constraints=23585
8.09/8.17	c nbDecision=4500 #constraints=23784
8.69/8.70	c nbDecision=5000 #constraints=23873
8.99/9.07	c nbDecision=5500 #constraints=23931
9.69/9.72	c nbDecision=6000 #constraints=24046
11.09/11.18	c restart after 6401 decisions
11.29/11.33	c nbDecision=6500 #constraints=24346
12.19/12.29	c nbDecision=7000 #constraints=24466
15.39/15.49	c nbDecision=7500 #constraints=24722
18.69/18.76	c nbDecision=8000 #constraints=24993
22.38/22.48	c nbDecision=8500 #constraints=25322
22.58/22.64	c nbDecision=9000 #constraints=25343
22.88/22.90	c nbDecision=9500 #constraints=25385
23.78/23.85	c nbDecision=10000 #constraints=25628
25.08/25.12	c nbDecision=10500 #constraints=25886
25.78/25.88	c nbDecision=11000 #constraints=25990
27.38/27.40	c nbDecision=11500 #constraints=26183
28.77/28.86	c nbDecision=12000 #constraints=26501
30.38/30.44	c nbDecision=12500 #constraints=26803
31.68/31.73	c restart after 12801 decisions
31.78/31.88	c nbDecision=13000 #constraints=26999
33.97/34.08	c nbDecision=13500 #constraints=27198
38.67/38.73	c nbDecision=14000 #constraints=27591
42.07/42.14	c nbDecision=14500 #constraints=27859
45.97/46.00	c nbDecision=15000 #constraints=28276
50.17/50.23	c nbDecision=15500 #constraints=28669
54.36/54.48	c nbDecision=16000 #constraints=29037
58.66/58.73	c nbDecision=16500 #constraints=29393
64.16/64.20	c nbDecision=17000 #constraints=29766
69.96/70.09	c nbDecision=17500 #constraints=30151
76.55/76.63	c nbDecision=18000 #constraints=30518
83.75/83.86	c nbDecision=18500 #constraints=30884
90.56/90.67	c nbDecision=19000 #constraints=31227
97.15/97.22	c nbDecision=19500 #constraints=31625
104.25/104.33	c nbDecision=20000 #constraints=32016
114.04/114.12	c nbDecision=20500 #constraints=32445
122.64/122.70	c nbDecision=21000 #constraints=32802
129.23/129.35	c nbDecision=21500 #constraints=33140
134.73/134.87	c nbDecision=22000 #constraints=33464
141.94/142.08	c nbDecision=22500 #constraints=33803
149.43/149.53	c nbDecision=23000 #constraints=34090
157.83/157.96	c nbDecision=23500 #constraints=34422
166.32/166.45	c nbDecision=24000 #constraints=34779
174.72/174.87	c nbDecision=24500 #constraints=35228
184.42/184.54	c nbDecision=25000 #constraints=35625
195.12/195.24	c nbDecision=25500 #constraints=36022
197.31/197.42	c restart after 25601 decisions
197.71/197.81	c nbDecision=26000 #constraints=36126
199.21/199.30	c nbDecision=26500 #constraints=36359
201.11/201.26	c nbDecision=27000 #constraints=36629
202.41/202.58	c nbDecision=27500 #constraints=36825
204.61/204.79	c nbDecision=28000 #constraints=37098
207.11/207.27	c nbDecision=28500 #constraints=37419
209.21/209.30	c nbDecision=29000 #constraints=37673
212.01/212.16	c nbDecision=29500 #constraints=37981
214.91/215.01	c nbDecision=30000 #constraints=38339
217.60/217.78	c nbDecision=30500 #constraints=38656
221.10/221.21	c nbDecision=31000 #constraints=38995
224.51/224.63	c nbDecision=31500 #constraints=39306
228.00/228.10	c nbDecision=32000 #constraints=39633
230.80/230.97	c nbDecision=32500 #constraints=39863
236.00/236.12	c nbDecision=33000 #constraints=40244
242.00/242.17	c nbDecision=33500 #constraints=40643
247.59/247.78	c nbDecision=34000 #constraints=40997
253.19/253.31	c nbDecision=34500 #constraints=41334
259.69/259.85	c nbDecision=35000 #constraints=41700
263.99/264.12	c nbDecision=35500 #constraints=41918
268.29/268.43	c nbDecision=36000 #constraints=42292
274.38/274.58	c nbDecision=36500 #constraints=42670
280.28/280.45	c nbDecision=37000 #constraints=42978
285.88/286.06	c nbDecision=37500 #constraints=43299
292.28/292.44	c nbDecision=38000 #constraints=43573
298.08/298.27	c nbDecision=38500 #constraints=43807
305.57/305.74	c nbDecision=39000 #constraints=44095
312.87/313.06	c nbDecision=39500 #constraints=44345
316.68/316.87	c nbDecision=40000 #constraints=44626
322.76/322.90	c nbDecision=40500 #constraints=44902
329.76/329.99	c nbDecision=41000 #constraints=45179
334.66/334.86	c nbDecision=41500 #constraints=45411
341.26/341.41	c nbDecision=42000 #constraints=45710
346.46/346.61	c nbDecision=42500 #constraints=45909
353.55/353.71	c nbDecision=43000 #constraints=46217
364.15/364.34	c nbDecision=43500 #constraints=46516
371.95/372.19	c nbDecision=44000 #constraints=46781
380.55/380.79	c nbDecision=44500 #constraints=47064
391.64/391.87	c nbDecision=45000 #constraints=47348
400.83/401.06	c nbDecision=45500 #constraints=47633
409.03/409.21	c nbDecision=46000 #constraints=47885
418.63/418.83	c nbDecision=46500 #constraints=48234
429.73/429.94	c nbDecision=47000 #constraints=48573
438.62/438.83	c nbDecision=47500 #constraints=48864
447.22/447.41	c nbDecision=48000 #constraints=49180
458.52/458.73	c nbDecision=48500 #constraints=49555
472.21/472.47	c nbDecision=49000 #constraints=49930
485.20/485.46	c nbDecision=49500 #constraints=50297
495.80/496.02	c nbDecision=50000 #constraints=50611
511.79/512.06	c nbDecision=50500 #constraints=51003
520.69/520.96	c nbDecision=51000 #constraints=51208
525.60/525.85	c restart after 51201 decisions
527.49/527.71	c nbDecision=51500 #constraints=51346
529.79/530.10	c nbDecision=52000 #constraints=51401
539.39/539.65	c nbDecision=52500 #constraints=51755
548.88/549.15	c nbDecision=53000 #constraints=52119
560.78/561.03	c nbDecision=53500 #constraints=52541
573.17/573.44	c nbDecision=54000 #constraints=52968
585.07/585.32	c nbDecision=54500 #constraints=53364
597.87/598.18	c nbDecision=55000 #constraints=53780
611.66/611.94	c nbDecision=55500 #constraints=54197
624.56/624.81	c nbDecision=56000 #constraints=54616
636.45/636.71	c nbDecision=56500 #constraints=55035
650.35/650.60	c nbDecision=57000 #constraints=55415
660.04/660.38	c nbDecision=57500 #constraints=55715
674.83/675.15	c nbDecision=58000 #constraints=56122
689.63/689.94	c nbDecision=58500 #constraints=56505
703.83/704.15	c nbDecision=59000 #constraints=56825
714.12/714.41	c nbDecision=59500 #constraints=57130
727.42/727.74	c nbDecision=60000 #constraints=57435
741.12/741.49	c nbDecision=60500 #constraints=57738
756.90/757.25	c nbDecision=61000 #constraints=58098
765.10/765.48	c nbDecision=61500 #constraints=58393
778.79/779.10	c nbDecision=62000 #constraints=58711
793.39/793.77	c nbDecision=62500 #constraints=59031
801.79/802.19	c nbDecision=63000 #constraints=59265
813.59/813.98	c nbDecision=63500 #constraints=59603
830.68/831.03	c nbDecision=64000 #constraints=59941
846.57/846.91	c nbDecision=64500 #constraints=60254
864.56/864.91	c nbDecision=65000 #constraints=60612
881.26/881.68	c nbDecision=65500 #constraints=60977
893.86/894.20	c nbDecision=66000 #constraints=61168
909.15/909.53	c nbDecision=66500 #constraints=61368
922.55/922.98	c nbDecision=67000 #constraints=61736
935.94/936.30	c nbDecision=67500 #constraints=62054
951.04/951.40	c nbDecision=68000 #constraints=62404
968.63/969.10	c nbDecision=68500 #constraints=62796
979.42/979.82	c nbDecision=69000 #constraints=63034
990.62/991.08	c nbDecision=69500 #constraints=63279
1000.11/1000.58	c nbDecision=70000 #constraints=63485
1014.71/1015.16	c nbDecision=70500 #constraints=63784
1029.91/1030.38	c nbDecision=71000 #constraints=64057
1048.20/1048.65	c nbDecision=71500 #constraints=64453
1066.59/1067.04	c nbDecision=72000 #constraints=64834
1083.69/1084.12	c nbDecision=72500 #constraints=65136
1101.17/1101.63	c nbDecision=73000 #constraints=65472
1120.36/1120.83	c nbDecision=73500 #constraints=65813
1142.56/1143.07	c nbDecision=74000 #constraints=66183
1159.66/1160.12	c nbDecision=74500 #constraints=66489
1176.25/1176.75	c nbDecision=75000 #constraints=66760
1195.74/1196.27	c nbDecision=75500 #constraints=67112
1214.23/1214.77	c nbDecision=76000 #constraints=67455
1233.92/1234.42	c nbDecision=76500 #constraints=67804
1253.52/1254.03	c nbDecision=77000 #constraints=68170
1271.12/1271.65	c nbDecision=77500 #constraints=68485
1290.40/1290.93	c nbDecision=78000 #constraints=68841
1313.19/1313.75	c nbDecision=78500 #constraints=69164
1336.68/1337.25	c nbDecision=79000 #constraints=69505
1359.28/1359.85	c nbDecision=79500 #constraints=69809
1380.17/1380.74	c nbDecision=80000 #constraints=70144
1402.26/1402.85	c nbDecision=80500 #constraints=70483
1420.85/1421.45	c nbDecision=81000 #constraints=70823
1438.24/1438.81	c nbDecision=81500 #constraints=71090
1458.63/1459.27	c nbDecision=82000 #constraints=71394
1479.23/1479.84	c nbDecision=82500 #constraints=71761
1502.52/1503.14	c nbDecision=83000 #constraints=72129
1523.11/1523.73	c nbDecision=83500 #constraints=72444
1543.40/1544.01	c nbDecision=84000 #constraints=72739
1564.50/1565.18	c nbDecision=84500 #constraints=73044
1587.89/1588.51	c nbDecision=85000 #constraints=73379
1610.58/1611.22	c nbDecision=85500 #constraints=73680
1632.08/1632.79	c nbDecision=86000 #constraints=74016
1655.56/1656.28	c nbDecision=86500 #constraints=74378
1677.85/1678.56	c nbDecision=87000 #constraints=74687
1702.45/1703.17	c nbDecision=87500 #constraints=75026
1727.64/1728.36	c nbDecision=88000 #constraints=75360
1744.93/1745.69	c nbDecision=88500 #constraints=75651
1768.62/1769.32	c nbDecision=89000 #constraints=75975
1794.01/1794.72	c nbDecision=89500 #constraints=76338
1800.01/1800.70	Received signal 15
1800.01/1800.71	
1800.01/1800.71	s UNKNOWN
1800.01/1800.71	
1800.01/1800.71	c user time= 1799.76 s
1800.01/1800.71	c system time= 0.269958 s
1800.01/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node23/watcher-420431-1177424416 -o ROOT/results/node23/solver-420431-1177424416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420431-1177424416/instance-420431-1177424416.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.77 0.93 0.98 3/77 29319
/proc/meminfo: memFree=1878920/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=1468 CPUtime=0
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 190358781 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 367 164 130 317 0 46 0

[startup+0.102675 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 29319
/proc/meminfo: memFree=1878920/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=3456 CPUtime=0.1
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 667 0 0 0 10 0 0 0 18 0 1 0 190358781 3538944 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 864 650 130 317 0 543 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3456

[startup+0.201693 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 29319
/proc/meminfo: memFree=1878920/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=5436 CPUtime=0.19
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 1155 0 0 0 19 0 0 0 18 0 1 0 190358781 5566464 1138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 1359 1138 130 317 0 1038 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5436

[startup+0.301713 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 29319
/proc/meminfo: memFree=1878920/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=7416 CPUtime=0.29
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 1650 0 0 0 29 0 0 0 19 0 1 0 190358781 7593984 1633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 1854 1633 130 317 0 1533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7416

[startup+0.701789 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 29319
/proc/meminfo: memFree=1878920/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=16352 CPUtime=0.69
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 3898 0 0 0 69 0 0 0 23 0 1 0 190358781 16744448 3725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4088 3725 139 317 0 3767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16352

[startup+1.50194 s]
/proc/loadavg: 0.77 0.93 0.98 2/78 29320
/proc/meminfo: memFree=1864384/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=16352 CPUtime=1.49
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 3898 0 0 0 149 0 0 0 25 0 1 0 190358781 16744448 3725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4088 3725 139 317 0 3767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16352

[startup+3.10125 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 29320
/proc/meminfo: memFree=1864256/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=16352 CPUtime=3.09
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 3900 0 0 0 309 0 0 0 25 0 1 0 190358781 16744448 3727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4088 3727 139 317 0 3767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16352

[startup+6.30187 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 29320
/proc/meminfo: memFree=1864128/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=16484 CPUtime=6.29
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 3923 0 0 0 629 0 0 0 25 0 1 0 190358781 16879616 3750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4121 3750 139 317 0 3800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16484

[startup+12.7011 s]
/proc/loadavg: 0.82 0.94 0.98 2/78 29320
/proc/meminfo: memFree=1863112/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=17532 CPUtime=12.69
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 4213 0 0 0 1268 1 0 0 25 0 1 0 190358781 17952768 4040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4383 4040 139 317 0 4062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17532

[startup+25.5016 s]
/proc/loadavg: 0.85 0.94 0.98 2/78 29320
/proc/meminfo: memFree=1861640/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=19128 CPUtime=25.48
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 4596 0 0 0 2547 1 0 0 25 0 1 0 190358781 19587072 4423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 4782 4423 139 317 0 4461 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19128

[startup+51.1015 s]
/proc/loadavg: 0.90 0.94 0.98 2/78 29320
/proc/meminfo: memFree=1858056/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=22864 CPUtime=51.07
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 5508 0 0 0 5105 2 0 0 25 0 1 0 190358781 23412736 5335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 5716 5335 139 317 0 5395 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22864

[startup+102.301 s]
/proc/loadavg: 0.96 0.95 0.98 2/78 29320
/proc/meminfo: memFree=1854344/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=26432 CPUtime=102.25
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 6412 0 0 0 10222 3 0 0 25 0 1 0 190358781 27066368 6239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710971 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 6608 6239 139 317 0 6287 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26432

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 29320
/proc/meminfo: memFree=1851528/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=29456 CPUtime=162.22
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 7152 0 0 0 16218 4 0 0 25 0 1 0 190358781 30162944 6946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 7364 6946 139 317 0 7043 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 29456

[startup+222.306 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 29320
/proc/meminfo: memFree=1844936/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=36008 CPUtime=222.2
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 8770 0 0 0 22214 6 0 0 25 0 1 0 190358781 36872192 8564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 9002 8564 139 317 0 8681 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 36008

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1837320/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=43840 CPUtime=282.18
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 10670 0 0 0 28209 9 0 0 25 0 1 0 190358781 44892160 10464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 10960 10464 139 317 0 10639 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 43840

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1831304/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=50904 CPUtime=342.16
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 12423 0 0 0 34206 10 0 0 25 0 1 0 190358781 52125696 11907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 12726 11907 139 317 0 12405 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 50904

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1828040/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=54364 CPUtime=402.13
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 13250 0 0 0 40202 11 0 0 25 0 1 0 190358781 55668736 12734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 13591 12734 139 317 0 13270 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 54364

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1824392/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=58200 CPUtime=462.11
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 14150 0 0 0 46198 13 0 0 25 0 1 0 190358781 59596800 13634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 14550 13634 139 317 0 14229 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 58200

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1821320/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=61552 CPUtime=522.09
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 14928 0 0 0 52195 14 0 0 25 0 1 0 190358781 63029248 14412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 15388 14412 139 317 0 15067 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 61552

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1819720/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=63164 CPUtime=582.06
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 15304 0 0 0 58192 14 0 0 25 0 1 0 190358781 64679936 14788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 15791 14788 139 317 0 15470 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 63164

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1818440/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=64360 CPUtime=642.05
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 15639 0 0 0 64190 15 0 0 25 0 1 0 190358781 65904640 15123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 16090 15123 139 317 0 15769 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 64360


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1814344/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=68356 CPUtime=821.98
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 16655 0 0 0 82181 17 0 0 25 0 1 0 190358781 69996544 16139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 17089 16139 139 317 0 16768 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 68356

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1813256/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=69608 CPUtime=881.97
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 16930 0 0 0 88179 18 0 0 25 0 1 0 190358781 71278592 16414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 17402 16414 139 317 0 17081 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 69608

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1812104/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=70784 CPUtime=941.94
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 17248 0 0 0 94175 19 0 0 25 0 1 0 190358781 72482816 16699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 17696 16699 139 317 0 17375 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 70784

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1810568/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=72148 CPUtime=1001.91
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 17616 0 0 0 100172 19 0 0 25 0 1 0 190358781 73879552 17067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 18037 17067 139 317 0 17716 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 72148

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1809352/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=73468 CPUtime=1061.89
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 17958 0 0 0 106169 20 0 0 25 0 1 0 190358781 75231232 17376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 18367 17376 139 317 0 18046 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 73468

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29320
/proc/meminfo: memFree=1808136/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=74772 CPUtime=1121.86
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 18313 0 0 0 112166 20 0 0 25 0 1 0 190358781 76566528 17666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 18693 17666 139 317 0 18372 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 74772

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1806984/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=76288 CPUtime=1181.85
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 18636 0 0 0 118164 21 0 0 25 0 1 0 190358781 78118912 17956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 19072 17956 139 317 0 18751 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 76288

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1805640/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=77596 CPUtime=1241.82
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 18960 0 0 0 124161 21 0 0 25 0 1 0 190358781 79458304 18280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 19399 18280 139 317 0 19078 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 77596

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1804360/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=78644 CPUtime=1301.8
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 19269 0 0 0 130158 22 0 0 25 0 1 0 190358781 80531456 18589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 19661 18589 139 317 0 19340 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 78644

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1803208/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=79692 CPUtime=1361.78
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 19545 0 0 0 136155 23 0 0 25 0 1 0 190358781 81604608 18832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 19923 18832 139 317 0 19602 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 79692

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1802248/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=80668 CPUtime=1421.75
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 19811 0 0 0 142152 23 0 0 25 0 1 0 190358781 82604032 19098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 20167 19098 139 317 0 19846 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 80668

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1800968/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=82108 CPUtime=1481.73
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 20137 0 0 0 148149 24 0 0 25 0 1 0 190358781 84078592 19391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 20527 19391 139 317 0 20206 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 82108

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1799816/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=83508 CPUtime=1541.71
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 20432 0 0 0 154147 24 0 0 25 0 1 0 190358781 85512192 19686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 20877 19686 139 317 0 20556 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 83508

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1798728/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=84424 CPUtime=1601.68
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 20693 0 0 0 160144 24 0 0 25 0 1 0 190358781 86450176 19947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711106 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 21106 19947 139 317 0 20785 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 84424

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1797512/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=85676 CPUtime=1661.66
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 21000 0 0 0 166141 25 0 0 25 0 1 0 190358781 87732224 20254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 21419 20254 139 317 0 21098 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 85676

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1796360/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=87008 CPUtime=1721.64
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 21327 0 0 0 172138 26 0 0 25 0 1 0 190358781 89096192 20548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 21752 20548 139 317 0 21431 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 87008

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1795144/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=88312 CPUtime=1781.61
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 21682 0 0 0 178135 26 0 0 25 0 1 0 190358781 90431488 20837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718550 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 22078 20837 139 317 0 21757 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 88312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29322
/proc/meminfo: memFree=1794632/2055920 swapFree=4169168/4192956
[pid=29319] ppid=29317 vsize=88704 CPUtime=1800.01
/proc/29319/stat : 29319 (oree) R 29317 29319 29260 0 -1 4194304 21801 0 0 0 179975 26 0 0 25 0 1 0 190358781 90832896 20923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29319/statm: 22176 20923 139 317 0 21855 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 88704

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

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

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.05
CPU user time (s): 1799.77
CPU system time (s): 0.284956
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 88704

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

runsolver used 1.47078 second user time and 4.15037 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue Apr 24 14:20:17 UTC 2007

IDJOB= 420431
IDBENCH= 47844
IDSOLVER= 172
FILE ID= node23/420431-1177424416

PBS_JOBID= 4675710

Free space on /tmp= 66453 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420431-1177424416/instance-420431-1177424416.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-420431-1177424416 -o ROOT/results/node23/solver-420431-1177424416 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420431-1177424416/instance-420431-1177424416.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6932e9c37c423f9afe5ebc8b0b821733

RANDOM SEED= 7366798

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1879456 kB
Buffers:         20812 kB
Cached:          78484 kB
SwapCached:       3112 kB
Active:          70992 kB
Inactive:        51600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1879456 kB
SwapTotal:     4192956 kB
SwapFree:      4169168 kB
Dirty:            3120 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            39388 kB
Committed_AS:  2824112 kB
PageTables:       1796 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= 66453 MiB

End job on node23 on Tue Apr 24 14:50:19 UTC 2007