Trace number 420613

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.26 1800.72

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
others/QG-gensys-brn008.sat05-2685.reshuffled-07.opb
MD5SUM413d2a34186936ca51e5abe4c646ad10
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark211.375
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1467
Total number of constraints7521
Number of constraints which are clauses7521
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 constraint16
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 28
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.09/0.16	c ...done
0.09/0.16	c #vars=1467 #constraints=7521 hasObjective=no
0.09/0.18	c res. mode=mod
0.09/0.18	c VSIDS like heuristics
0.09/0.18	c complete search running
0.29/0.33	c restart after 401 decisions
0.29/0.37	c nbDecision=500 #constraints=7578
0.59/0.69	c restart after 801 decisions
0.79/0.87	c nbDecision=1000 #constraints=7768
1.50/1.56	c nbDecision=1500 #constraints=7964
1.60/1.68	c restart after 1601 decisions
2.29/2.36	c nbDecision=2000 #constraints=8228
2.79/2.88	c nbDecision=2500 #constraints=8375
3.19/3.28	c nbDecision=3000 #constraints=8467
3.49/3.50	c restart after 3201 decisions
3.89/3.92	c nbDecision=3500 #constraints=8631
5.20/5.24	c nbDecision=4000 #constraints=8869
5.70/5.75	c nbDecision=4500 #constraints=8965
5.90/5.97	c nbDecision=5000 #constraints=8997
6.00/6.04	c nbDecision=5500 #constraints=9008
6.00/6.09	c nbDecision=6000 #constraints=9013
6.10/6.14	c restart after 6401 decisions
6.20/6.28	c nbDecision=6500 #constraints=9048
6.99/7.00	c nbDecision=7000 #constraints=9203
7.49/7.56	c nbDecision=7500 #constraints=9301
7.49/7.59	c nbDecision=8000 #constraints=9306
7.60/7.62	c nbDecision=8500 #constraints=9310
7.60/7.65	c nbDecision=9000 #constraints=9315
7.60/7.68	c nbDecision=9500 #constraints=9316
9.19/9.25	c nbDecision=10000 #constraints=9598
10.29/10.36	c nbDecision=10500 #constraints=9785
10.29/10.39	c nbDecision=11000 #constraints=9786
10.39/10.44	c nbDecision=11500 #constraints=9793
10.39/10.46	c nbDecision=12000 #constraints=9795
12.29/12.38	c nbDecision=12500 #constraints=10076
13.88/13.96	c restart after 12801 decisions
14.48/14.54	c nbDecision=13000 #constraints=10338
16.39/16.43	c nbDecision=13500 #constraints=10582
18.29/18.35	c nbDecision=14000 #constraints=10806
21.48/21.55	c nbDecision=14500 #constraints=11096
24.99/25.02	c nbDecision=15000 #constraints=11414
27.69/27.75	c nbDecision=15500 #constraints=11670
31.08/31.13	c nbDecision=16000 #constraints=11942
36.28/36.38	c nbDecision=16500 #constraints=12318
43.18/43.20	c nbDecision=17000 #constraints=12712
50.08/50.14	c nbDecision=17500 #constraints=13093
55.48/55.57	c nbDecision=18000 #constraints=13409
61.07/61.17	c nbDecision=18500 #constraints=13691
68.17/68.20	c nbDecision=19000 #constraints=13988
75.77/75.83	c nbDecision=19500 #constraints=14276
84.68/84.76	c nbDecision=20000 #constraints=14611
96.56/96.69	c nbDecision=20500 #constraints=15007
107.87/107.97	c nbDecision=21000 #constraints=15355
117.07/117.13	c nbDecision=21500 #constraints=15647
124.26/124.36	c nbDecision=22000 #constraints=15906
135.85/135.94	c nbDecision=22500 #constraints=16283
146.56/146.66	c nbDecision=23000 #constraints=16629
159.55/159.63	c nbDecision=23500 #constraints=17001
173.75/173.89	c nbDecision=24000 #constraints=17336
190.25/190.31	c nbDecision=24500 #constraints=17736
208.84/208.91	c nbDecision=25000 #constraints=18130
227.83/227.91	c nbDecision=25500 #constraints=18533
230.93/231.09	c restart after 25601 decisions
237.43/237.54	c nbDecision=26000 #constraints=18756
249.53/249.64	c nbDecision=26500 #constraints=19009
262.63/262.76	c nbDecision=27000 #constraints=19261
271.42/271.60	c nbDecision=27500 #constraints=19485
285.92/286.06	c nbDecision=28000 #constraints=19747
298.91/299.01	c nbDecision=28500 #constraints=19975
307.51/307.61	c nbDecision=29000 #constraints=20138
323.01/323.10	c nbDecision=29500 #constraints=20431
336.81/336.99	c nbDecision=30000 #constraints=20715
343.71/343.83	c nbDecision=30500 #constraints=20871
359.40/359.50	c nbDecision=31000 #constraints=21121
378.69/378.81	c nbDecision=31500 #constraints=21402
398.59/398.77	c nbDecision=32000 #constraints=21699
418.58/418.71	c nbDecision=32500 #constraints=21975
440.99/441.14	c nbDecision=33000 #constraints=22314
455.48/455.69	c nbDecision=33500 #constraints=22542
476.67/476.85	c nbDecision=34000 #constraints=22862
498.66/498.84	c nbDecision=34500 #constraints=23122
521.76/521.90	c nbDecision=35000 #constraints=23399
543.16/543.30	c nbDecision=35500 #constraints=23715
564.85/565.08	c nbDecision=36000 #constraints=24000
578.94/579.14	c nbDecision=36500 #constraints=24231
597.14/597.35	c nbDecision=37000 #constraints=24498
607.13/607.38	c nbDecision=37500 #constraints=24614
626.23/626.49	c nbDecision=38000 #constraints=24873
652.03/652.24	c nbDecision=38500 #constraints=25214
677.02/677.26	c nbDecision=39000 #constraints=25505
705.71/705.96	c nbDecision=39500 #constraints=25832
733.51/733.75	c nbDecision=40000 #constraints=26179
759.99/760.21	c nbDecision=40500 #constraints=26493
779.20/779.42	c nbDecision=41000 #constraints=26774
807.19/807.46	c nbDecision=41500 #constraints=27093
811.79/812.09	c nbDecision=42000 #constraints=27147
812.19/812.42	c nbDecision=42500 #constraints=27158
812.19/812.46	c nbDecision=43000 #constraints=27164
812.29/812.51	c nbDecision=43500 #constraints=27174
812.29/812.57	c nbDecision=44000 #constraints=27189
812.39/812.60	c nbDecision=44500 #constraints=27189
828.38/828.62	c nbDecision=45000 #constraints=27395
855.17/855.43	c nbDecision=45500 #constraints=27721
889.57/889.87	c nbDecision=46000 #constraints=28094
925.56/925.87	c nbDecision=46500 #constraints=28450
954.25/954.52	c nbDecision=47000 #constraints=28768
993.24/993.55	c nbDecision=47500 #constraints=29127
1020.63/1020.90	c nbDecision=48000 #constraints=29453
1036.83/1037.13	c nbDecision=48500 #constraints=29636
1061.92/1062.26	c nbDecision=49000 #constraints=29908
1096.91/1097.26	c nbDecision=49500 #constraints=30233
1128.10/1128.49	c nbDecision=50000 #constraints=30562
1140.80/1141.18	c nbDecision=50500 #constraints=30687
1154.50/1154.80	c nbDecision=51000 #constraints=30814
1171.20/1171.54	c restart after 51201 decisions
1183.69/1184.01	c nbDecision=51500 #constraints=31083
1204.78/1205.16	c nbDecision=52000 #constraints=31318
1233.08/1233.40	c nbDecision=52500 #constraints=31574
1272.96/1273.36	c nbDecision=53000 #constraints=31914
1314.56/1314.90	c nbDecision=53500 #constraints=32247
1342.45/1342.89	c nbDecision=54000 #constraints=32529
1362.15/1362.57	c nbDecision=54500 #constraints=32717
1382.04/1382.47	c nbDecision=55000 #constraints=32869
1386.94/1387.35	c nbDecision=55500 #constraints=32924
1388.34/1388.74	c nbDecision=56000 #constraints=32940
1388.94/1389.40	c nbDecision=56500 #constraints=32943
1389.04/1389.47	c nbDecision=57000 #constraints=32953
1389.14/1389.59	c nbDecision=57500 #constraints=32979
1389.34/1389.76	c nbDecision=58000 #constraints=33017
1389.44/1389.85	c nbDecision=58500 #constraints=33035
1389.54/1389.95	c nbDecision=59000 #constraints=33075
1389.64/1390.02	c nbDecision=59500 #constraints=33101
1389.74/1390.12	c nbDecision=60000 #constraints=33137
1389.74/1390.18	c nbDecision=60500 #constraints=33143
1389.84/1390.20	c nbDecision=61000 #constraints=33145
1390.14/1390.52	c nbDecision=61500 #constraints=33172
1409.13/1409.57	c nbDecision=62000 #constraints=33331
1409.23/1409.64	c nbDecision=62500 #constraints=33335
1409.23/1409.67	c nbDecision=63000 #constraints=33339
1409.74/1410.13	c nbDecision=63500 #constraints=33409
1417.13/1417.56	c nbDecision=64000 #constraints=33500
1421.93/1422.33	c nbDecision=64500 #constraints=33555
1424.03/1424.45	c nbDecision=65000 #constraints=33577
1425.13/1425.59	c nbDecision=65500 #constraints=33587
1425.23/1425.64	c nbDecision=66000 #constraints=33588
1425.63/1426.09	c nbDecision=66500 #constraints=33602
1434.32/1434.70	c nbDecision=67000 #constraints=33699
1452.32/1452.78	c nbDecision=67500 #constraints=33863
1452.42/1452.85	c nbDecision=68000 #constraints=33868
1465.12/1465.51	c nbDecision=68500 #constraints=33975
1475.72/1476.18	c nbDecision=69000 #constraints=34068
1475.82/1476.22	c nbDecision=69500 #constraints=34071
1475.82/1476.27	c nbDecision=70000 #constraints=34071
1491.31/1491.73	c nbDecision=70500 #constraints=34197
1534.40/1534.87	c nbDecision=71000 #constraints=34481
1539.40/1539.86	c nbDecision=71500 #constraints=34536
1557.69/1558.19	c nbDecision=72000 #constraints=34667
1572.89/1573.34	c nbDecision=72500 #constraints=34773
1572.89/1573.39	c nbDecision=73000 #constraints=34779
1572.99/1573.43	c nbDecision=73500 #constraints=34781
1572.99/1573.46	c nbDecision=74000 #constraints=34782
1573.09/1573.51	c nbDecision=74500 #constraints=34791
1574.38/1574.89	c nbDecision=75000 #constraints=34817
1600.29/1600.71	c nbDecision=75500 #constraints=34986
1625.48/1625.96	c nbDecision=76000 #constraints=35164
1640.27/1640.74	c nbDecision=76500 #constraints=35263
1645.57/1646.03	c nbDecision=77000 #constraints=35309
1658.97/1659.46	c nbDecision=77500 #constraints=35398
1676.46/1676.96	c nbDecision=78000 #constraints=35508
1683.57/1684.02	c nbDecision=78500 #constraints=35569
1683.67/1684.16	c nbDecision=79000 #constraints=35571
1685.26/1685.75	c nbDecision=79500 #constraints=35598
1692.66/1693.18	c nbDecision=80000 #constraints=35656
1707.65/1708.14	c nbDecision=80500 #constraints=35768
1718.55/1719.07	c nbDecision=81000 #constraints=35851
1718.65/1719.17	c nbDecision=81500 #constraints=35864
1736.35/1736.84	c nbDecision=82000 #constraints=35992
1740.45/1740.96	c nbDecision=82500 #constraints=36027
1740.45/1740.99	c nbDecision=83000 #constraints=36029
1757.84/1758.34	c nbDecision=83500 #constraints=36174
1773.94/1774.43	c nbDecision=84000 #constraints=36277
1773.94/1774.45	c nbDecision=84500 #constraints=36278
1790.63/1791.14	c nbDecision=85000 #constraints=36383
1800.03/1800.50	Received signal 15
1800.14/1800.69	
1800.14/1800.69	s UNKNOWN
1800.14/1800.69	
1800.14/1800.69	c user time= 1800.04 s
1800.14/1800.69	c system time= 0.199969 s
1800.14/1800.69	c wall clock time=1800.69

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/node70/watcher-420613-1177428076 -o ROOT/results/node70/solver-420613-1177428076 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420613-1177428076/instance-420613-1177428076.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.91 0.98 0.99 3/64 3752
/proc/meminfo: memFree=1889264/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=1468 CPUtime=0
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 182344990 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 367 163 130 317 0 46 0

[startup+0.0313961 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 3752
/proc/meminfo: memFree=1889264/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=1996 CPUtime=0.03
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 309 0 0 0 3 0 0 0 18 0 1 0 182344990 2043904 292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 499 292 130 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101389 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 3752
/proc/meminfo: memFree=1889264/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=3316 CPUtime=0.09
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 645 0 0 0 9 0 0 0 18 0 1 0 182344990 3395584 628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 829 628 130 317 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3316

[startup+0.301407 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 3752
/proc/meminfo: memFree=1889264/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=6376 CPUtime=0.29
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 1400 0 0 0 29 0 0 0 19 0 1 0 182344990 6529024 1331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 1594 1331 139 317 0 1273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6376

[startup+0.701448 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 3752
/proc/meminfo: memFree=1889264/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=6376 CPUtime=0.69
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 1416 0 0 0 69 0 0 0 22 0 1 0 182344990 6529024 1347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134608007 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 1594 1347 139 317 0 1273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6376

[startup+1.50153 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1884328/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=6904 CPUtime=1.5
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 1551 0 0 0 149 1 0 0 25 0 1 0 182344990 7069696 1482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 1726 1482 139 317 0 1405 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6904

[startup+3.10169 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1883432/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=7944 CPUtime=3.09
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 1805 0 0 0 308 1 0 0 25 0 1 0 182344990 8134656 1736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 1986 1736 139 317 0 1665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7944

[startup+6.30201 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1881512/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=9260 CPUtime=6.3
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 2136 0 0 0 628 2 0 0 25 0 1 0 182344990 9482240 2067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 2315 2067 139 317 0 1994 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9260

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1878888/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=12040 CPUtime=12.69
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 2817 0 0 0 1267 2 0 0 25 0 1 0 182344990 12328960 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 3010 2748 139 317 0 2689 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12040

[startup+25.5019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1874792/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=15932 CPUtime=25.49
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 3770 0 0 0 2545 4 0 0 25 0 1 0 182344990 16314368 3701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 3983 3701 139 317 0 3662 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15932

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1868328/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=22260 CPUtime=51.08
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 5377 0 0 0 5103 5 0 0 25 0 1 0 182344990 22794240 5308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 5565 5308 139 317 0 5244 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22260

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1861224/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=30404 CPUtime=102.27
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 7230 0 0 0 10220 7 0 0 25 0 1 0 182344990 31133696 7058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 7601 7058 139 317 0 7280 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30404

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1854504/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=37176 CPUtime=162.25
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 8915 0 0 0 16217 8 0 0 25 0 1 0 182344990 38068224 8743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 9294 8743 139 317 0 8973 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37176

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1849640/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=41824 CPUtime=222.23
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 10106 0 0 0 22215 8 0 0 25 0 1 0 182344990 42827776 9934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 10456 9934 139 317 0 10135 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41824

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1845992/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=45928 CPUtime=282.22
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 11034 0 0 0 28213 9 0 0 25 0 1 0 182344990 47030272 10862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 11482 10862 139 317 0 11161 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45928

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1843112/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=49204 CPUtime=342.21
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 11728 0 0 0 34211 10 0 0 25 0 1 0 182344990 50384896 11556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 12301 11556 139 317 0 11980 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49204

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1840616/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=52488 CPUtime=402.19
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 12380 0 0 0 40209 10 0 0 25 0 1 0 182344990 53747712 12208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 13122 12208 139 317 0 12801 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 52488

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1837480/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=55784 CPUtime=462.17
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 13134 0 0 0 46206 11 0 0 25 0 1 0 182344990 57122816 12962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 13946 12962 139 317 0 13625 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 55784

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1835176/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=58048 CPUtime=522.16
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 13695 0 0 0 52204 12 0 0 25 0 1 0 182344990 59441152 13523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 14512 13523 139 317 0 14191 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 58048

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1832552/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=60668 CPUtime=582.14
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 14345 0 0 0 58202 12 0 0 25 0 1 0 182344990 62124032 14173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 15167 14173 139 317 0 14846 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 60668

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3753
/proc/meminfo: memFree=1829992/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=63092 CPUtime=642.14
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 14988 0 0 0 64201 13 0 0 25 0 1 0 182344990 64606208 14816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 15773 14816 139 317 0 15452 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 63092


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

[startup+942.303 s]
/proc/loadavg: 1.12 1.05 1.01 2/65 3753
/proc/meminfo: memFree=1817192/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=75788 CPUtime=942.05
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 18156 0 0 0 94190 15 0 0 25 0 1 0 182344990 77606912 17984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 18947 17984 139 317 0 18626 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 75788

[startup+1002.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 3753
/proc/meminfo: memFree=1815016/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=77928 CPUtime=1002.03
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 18687 0 0 0 100188 15 0 0 25 0 1 0 182344990 79798272 18515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 19482 18515 139 317 0 19161 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 77928

[startup+1062.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 3753
/proc/meminfo: memFree=1811752/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=81644 CPUtime=1062.02
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 19659 0 0 0 106186 16 0 0 25 0 1 0 182344990 83603456 19282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 20411 19282 139 317 0 20090 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 81644

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3753
/proc/meminfo: memFree=1810728/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=82832 CPUtime=1122
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 19991 0 0 0 112184 16 0 0 25 0 1 0 182344990 84819968 19581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 20708 19581 139 317 0 20387 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 82832

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3753
/proc/meminfo: memFree=1808744/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=85444 CPUtime=1181.99
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 20639 0 0 0 118182 17 0 0 25 0 1 0 182344990 87494656 20064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 21361 20064 139 317 0 21040 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 85444

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3753
/proc/meminfo: memFree=1807208/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=87216 CPUtime=1241.97
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 21057 0 0 0 124180 17 0 0 25 0 1 0 182344990 89309184 20449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 21804 20449 139 317 0 21483 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 87216

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1805416/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=89272 CPUtime=1301.97
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 21560 0 0 0 130179 18 0 0 25 0 1 0 182344990 91414528 20886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 22318 20886 139 317 0 21997 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 89272

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1803944/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=91296 CPUtime=1361.95
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 22025 0 0 0 136177 18 0 0 25 0 1 0 182344990 93487104 21252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 22824 21252 139 317 0 22503 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 91296

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1802408/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=93028 CPUtime=1421.93
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 22473 0 0 0 142175 18 0 0 25 0 1 0 182344990 95260672 21634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 23257 21634 139 317 0 22936 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 93028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1800680/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=95208 CPUtime=1481.91
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 22975 0 0 0 148173 18 0 0 25 0 1 0 182344990 97492992 22070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 23802 22070 139 317 0 23481 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 95208

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1798888/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=97172 CPUtime=1541.9
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 23479 0 0 0 154172 18 0 0 25 0 1 0 182344990 99504128 22508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 24293 22508 139 317 0 23972 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 97172

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1797032/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=99444 CPUtime=1601.89
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 24010 0 0 0 160170 19 0 0 25 0 1 0 182344990 101830656 22973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 24861 22973 139 317 0 24540 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 99444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1795304/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=100940 CPUtime=1661.87
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 24415 0 0 0 166168 19 0 0 25 0 1 0 182344990 103362560 23378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 25235 23378 139 317 0 24914 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 100940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1793448/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=103328 CPUtime=1721.85
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 25005 0 0 0 172166 19 0 0 25 0 1 0 182344990 105807872 23836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 25832 23836 139 317 0 25511 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 103328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1792104/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=104836 CPUtime=1781.83
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 25351 0 0 0 178164 19 0 0 25 0 1 0 182344990 107352064 24182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 26209 24182 139 317 0 25888 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 104836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3753
/proc/meminfo: memFree=1791656/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=105100 CPUtime=1800.03
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 25451 0 0 0 179984 19 0 0 25 0 1 0 182344990 107622400 24282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 26275 24282 139 317 0 25954 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 105100

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3754
/proc/meminfo: memFree=1791648/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=105100 CPUtime=1800.14
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194304 25451 0 0 0 179995 19 0 0 25 0 1 0 182344990 107622400 24282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 26275 24282 139 317 0 25954 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 105100

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3754
/proc/meminfo: memFree=1791648/2055920 swapFree=4183812/4192956
[pid=3752] ppid=3750 vsize=0 CPUtime=1800.24
/proc/3752/stat : 3752 (oree) R 3750 3752 3380 0 -1 4194308 25467 0 0 0 180004 20 0 0 25 0 1 0 182344990 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3752/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.26
CPU user time (s): 1800.04
CPU system time (s): 0.215967
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 105100

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

runsolver used 1.34679 second user time and 3.58245 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue Apr 24 15:21:17 UTC 2007

IDJOB= 420613
IDBENCH= 47857
IDSOLVER= 172
FILE ID= node70/420613-1177428076

PBS_JOBID= 4675714

Free space on /tmp= 66475 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG-gensys-brn008.sat05-2685.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420613-1177428076/instance-420613-1177428076.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-420613-1177428076 -o ROOT/results/node70/solver-420613-1177428076 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420613-1177428076/instance-420613-1177428076.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  413d2a34186936ca51e5abe4c646ad10

RANDOM SEED= 804907194

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1889736 kB
Buffers:          9172 kB
Cached:          84544 kB
SwapCached:       3048 kB
Active:          57020 kB
Inactive:        46760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1889736 kB
SwapTotal:     4192956 kB
SwapFree:      4183812 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          16156 kB
Slab:            48496 kB
Committed_AS:  3457620 kB
PageTables:       1396 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= 66475 MiB

End job on node70 on Tue Apr 24 15:51:19 UTC 2007