Trace number 328337

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
ornithorynque 0.1 alpha? (TO) 1200.04 601.629

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
MD5SUM7031e461464b8d1c0f6a8a1c913e5155
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark618.095
Satisfiable
(Un)Satisfiability was proved
Number of variables4497
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.03	c ...done
0.00/0.03	c nbVar=4500 nbClause=12014
0.00/0.04	c nbVar=4500 nbClause=12014
0.00/0.05	c complete search running
0.00/0.05	c local search running
0.00/0.05	c flip 0 nbSat=10095 maxSat=0
0.14/0.10	c flip 10000 nbSat=11751 maxSat=11764
0.14/0.15	c flip 20000 nbSat=11799 maxSat=11835
0.14/0.19	c flip 30000 nbSat=11822 maxSat=11843
0.34/0.24	c flip 40000 nbSat=11847 maxSat=11865
0.34/0.29	c flip 50000 nbSat=11860 maxSat=11879
0.54/0.33	c flip 60000 nbSat=11865 maxSat=11880
0.54/0.38	c flip 70000 nbSat=11858 maxSat=11880
0.74/0.43	c flip 80000 nbSat=11866 maxSat=11882
0.74/0.48	c flip 0 nbSat=11132 maxSat=11887
0.94/0.56	c flip 10000 nbSat=12835 maxSat=12846
1.14/0.64	c flip 20000 nbSat=12909 maxSat=12917
1.34/0.73	c flip 30000 nbSat=12932 maxSat=12951
1.54/0.81	c flip 40000 nbSat=12971 maxSat=12983
1.54/0.89	c flip 50000 nbSat=12975 maxSat=12986
1.74/0.96	c flip 60000 nbSat=12949 maxSat=12988
1.95/1.05	c flip 70000 nbSat=12959 maxSat=12988
2.15/1.12	c flip 80000 nbSat=12954 maxSat=12988
2.34/1.20	c flip 0 nbSat=12747 maxSat=12988
2.54/1.33	c flip 10000 nbSat=14493 maxSat=14507
2.74/1.46	c flip 20000 nbSat=14572 maxSat=14588
3.14/1.60	c flip 30000 nbSat=14585 maxSat=14604
3.34/1.74	c flip 40000 nbSat=14592 maxSat=14611
3.54/1.89	c flip 50000 nbSat=14613 maxSat=14620
3.94/2.03	c flip 60000 nbSat=14608 maxSat=14628
4.14/2.18	c flip 70000 nbSat=14630 maxSat=14636
4.53/2.33	c flip 80000 nbSat=14639 maxSat=14643
4.93/2.51	c flip 0 nbSat=15272 maxSat=14647
5.33/2.72	c flip 10000 nbSat=16948 maxSat=16952
5.72/2.94	c flip 20000 nbSat=17026 maxSat=17033
6.12/3.13	c flip 30000 nbSat=17046 maxSat=17054
6.33/3.20	c nbDecision=10000 #clauses=18231
6.53/3.35	c flip 40000 nbSat=17051 maxSat=17068
6.91/3.59	c flip 50000 nbSat=17056 maxSat=17075
7.52/3.81	c flip 60000 nbSat=17072 maxSat=17081
7.92/4.02	c flip 70000 nbSat=17070 maxSat=17085
8.32/4.25	c flip 80000 nbSat=17076 maxSat=17085
8.72/4.49	c flip 0 nbSat=18142 maxSat=17088
9.51/4.81	c flip 10000 nbSat=19825 maxSat=19833
10.11/5.17	c flip 20000 nbSat=19888 maxSat=19909
11.10/5.60	c flip 30000 nbSat=19904 maxSat=19926
11.90/6.01	c flip 40000 nbSat=19916 maxSat=19929
12.70/6.42	c flip 50000 nbSat=19940 maxSat=19958
13.49/6.86	c flip 60000 nbSat=19958 maxSat=19974
14.49/7.31	c flip 70000 nbSat=19967 maxSat=19978
15.29/7.73	c flip 80000 nbSat=19951 maxSat=19982
16.08/8.16	c nbDecision=20000 #clauses=24560
16.08/8.19	c flip 0 nbSat=22557 maxSat=19982
17.28/8.75	c flip 10000 nbSat=24238 maxSat=24250
18.67/9.41	c flip 20000 nbSat=24334 maxSat=24348
19.87/10.03	c flip 30000 nbSat=24364 maxSat=24380
21.27/10.70	c flip 40000 nbSat=24381 maxSat=24394
22.67/11.41	c flip 50000 nbSat=24381 maxSat=24400
24.08/12.10	c flip 60000 nbSat=24388 maxSat=24402
25.27/12.71	c flip 70000 nbSat=24383 maxSat=24411
26.46/13.39	c flip 80000 nbSat=24396 maxSat=24414
28.06/14.16	c flip 0 nbSat=27649 maxSat=24419
30.25/15.21	c flip 10000 nbSat=29347 maxSat=29358
32.85/16.51	c nbDecision=30000 #clauses=31268
32.85/16.58	c flip 20000 nbSat=29432 maxSat=29439
35.44/17.85	c flip 30000 nbSat=29423 maxSat=29459
38.03/19.10	c flip 40000 nbSat=29459 maxSat=29471
40.44/20.36	c flip 50000 nbSat=29463 maxSat=29478
42.83/21.59	c flip 60000 nbSat=29478 maxSat=29492
45.22/22.73	c flip 70000 nbSat=29474 maxSat=29492
46.22/23.24	c nbDecision=40000 #clauses=37778
47.62/23.91	c flip 80000 nbSat=29484 maxSat=29494
50.01/25.14	c flip 0 nbSat=37506 maxSat=29494
53.41/26.88	c flip 10000 nbSat=39244 maxSat=39254
58.40/29.36	c flip 20000 nbSat=39321 maxSat=39350
61.79/31.03	c nbDecision=50000 #clauses=44188
62.79/31.54	c flip 30000 nbSat=39361 maxSat=39375
67.37/33.85	c flip 40000 nbSat=39372 maxSat=39400
72.96/36.66	c flip 50000 nbSat=39398 maxSat=39411
78.95/39.62	c flip 60000 nbSat=39390 maxSat=39412
79.94/40.15	c nbDecision=60000 #clauses=50388
84.54/42.44	c flip 70000 nbSat=39400 maxSat=39413
89.93/45.12	c flip 80000 nbSat=39425 maxSat=39429
95.11/47.74	c flip 0 nbSat=52781 maxSat=39436
100.69/50.57	c flip 10000 nbSat=54497 maxSat=54499
103.68/52.08	c nbDecision=70000 #clauses=56937
108.46/54.41	c flip 20000 nbSat=54559 maxSat=54567
116.44/58.44	c flip 30000 nbSat=54589 maxSat=54617
124.03/62.29	c flip 40000 nbSat=54621 maxSat=54634
131.21/65.80	c nbDecision=80000 #clauses=63345
133.41/66.93	c flip 50000 nbSat=54612 maxSat=54638
142.59/71.55	c flip 60000 nbSat=54611 maxSat=54642
151.57/76.09	c flip 70000 nbSat=54635 maxSat=54646
160.16/80.34	c flip 80000 nbSat=54637 maxSat=54651
165.14/82.80	c nbDecision=90000 #clauses=69801
168.53/84.57	c flip 0 nbSat=68439 maxSat=54666
177.11/88.86	c flip 10000 nbSat=70084 maxSat=70141
187.89/94.20	c flip 20000 nbSat=70223 maxSat=70237
199.24/99.93	c flip 30000 nbSat=70243 maxSat=70259
200.64/100.67	c nbDecision=100000 #clauses=76363
210.62/105.68	c flip 40000 nbSat=70242 maxSat=70276
220.40/110.54	c flip 50000 nbSat=70274 maxSat=70294
230.38/115.50	c flip 60000 nbSat=70264 maxSat=70294
236.57/118.68	c nbDecision=110000 #clauses=82819
241.56/121.15	c flip 70000 nbSat=70252 maxSat=70294
252.73/126.74	c flip 80000 nbSat=70282 maxSat=70294
264.10/132.45	c flip 0 nbSat=85856 maxSat=70298
270.08/135.42	c nbDecision=120000 #clauses=89106
275.88/138.32	c flip 10000 nbSat=87600 maxSat=87625
290.63/145.73	c flip 20000 nbSat=87699 maxSat=87729
302.01/151.43	c nbDecision=130000 #clauses=95487
307.20/154.07	c flip 30000 nbSat=87731 maxSat=87744
323.36/162.18	c flip 40000 nbSat=87728 maxSat=87757
339.72/170.35	c flip 50000 nbSat=87731 maxSat=87758
341.12/171.10	c nbDecision=140000 #clauses=101893
355.29/178.19	c flip 60000 nbSat=87766 maxSat=87777
372.44/186.77	c flip 70000 nbSat=87767 maxSat=87782
385.20/193.10	c nbDecision=150000 #clauses=108271
387.80/194.42	c flip 80000 nbSat=87736 maxSat=87782
402.77/201.98	c flip 0 nbSat=108452 maxSat=87782
418.93/210.07	c flip 10000 nbSat=110222 maxSat=110223
439.48/220.33	c flip 20000 nbSat=110251 maxSat=110288
441.05/221.17	c nbDecision=160000 #clauses=114997
459.74/230.56	c flip 30000 nbSat=110299 maxSat=110325
479.88/240.64	c flip 40000 nbSat=110323 maxSat=110349
496.21/248.87	c nbDecision=170000 #clauses=121598
500.99/251.22	c flip 50000 nbSat=110353 maxSat=110365
523.14/262.37	c flip 60000 nbSat=110328 maxSat=110366
544.87/273.25	c flip 70000 nbSat=110360 maxSat=110369
550.82/276.28	c nbDecision=180000 #clauses=128118
569.55/285.65	c flip 80000 nbSat=110352 maxSat=110378
595.28/298.56	c flip 0 nbSat=130719 maxSat=110384
615.40/308.64	c flip 10000 nbSat=132467 maxSat=132484
615.80/308.88	c nbDecision=190000 #clauses=134855
641.13/321.50	c flip 20000 nbSat=132545 maxSat=132575
663.48/332.72	c flip 30000 nbSat=132572 maxSat=132610
683.43/342.76	c nbDecision=200000 #clauses=141471
683.43/342.78	c flip 40000 nbSat=132601 maxSat=132629
703.80/352.91	c flip 50000 nbSat=132619 maxSat=132638
726.34/364.27	c flip 60000 nbSat=132583 maxSat=132638
752.47/377.39	c flip 70000 nbSat=132598 maxSat=132638
755.86/379.03	c nbDecision=210000 #clauses=148445
782.20/392.25	c flip 80000 nbSat=132613 maxSat=132651
810.53/406.42	c flip 0 nbSat=151233 maxSat=132659
833.67/418.08	c nbDecision=220000 #clauses=155213
836.86/419.67	c flip 10000 nbSat=153033 maxSat=153035
871.59/437.04	c flip 20000 nbSat=153105 maxSat=153116
904.91/453.74	c flip 30000 nbSat=153100 maxSat=153128
909.89/456.21	c nbDecision=230000 #clauses=161951
942.21/472.45	c flip 40000 nbSat=153133 maxSat=153166
977.13/489.93	c flip 50000 nbSat=153116 maxSat=153166
1004.26/503.60	c nbDecision=240000 #clauses=168624
1009.65/506.23	c flip 60000 nbSat=153144 maxSat=153166
1040.58/521.73	c flip 70000 nbSat=153129 maxSat=153166
1069.92/536.40	c flip 80000 nbSat=153128 maxSat=153177
1091.66/547.31	c nbDecision=250000 #clauses=175282
1098.44/550.71	c flip 0 nbSat=173721 maxSat=153177
1124.98/564.08	c flip 10000 nbSat=175488 maxSat=175535
1160.71/581.95	c flip 20000 nbSat=175628 maxSat=175638
1174.07/588.62	c nbDecision=260000 #clauses=181821
1198.01/600.61	c flip 30000 nbSat=175614 maxSat=175666

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node66/watcher-328337-1173110240 -o ROOT/results/node66/solver-328337-1173110240 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328337-1173110240/ornithorynque /tmp/evaluation/328337-1173110240/instance-328337-1173110240.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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: 1.84 1.94 1.90 3/64 9051
/proc/meminfo: memFree=1681408/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=23220 CPUtime=0
/proc/9051/stat : 9051 (ornithorynque) R 9049 9051 8500 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330981569 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227604993136 0 0 4096 0 0 0 0 17 1 0 0
/proc/9051/statm: 5805 266 219 42 0 45 0

[startup+0.0624889 s]
/proc/loadavg: 1.84 1.94 1.90 3/64 9051
/proc/meminfo: memFree=1681408/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=46700 CPUtime=0.06
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1183 0 0 0 6 0 0 0 18 0 3 0 330981569 47820800 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 11675 1144 387 42 0 5927 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 46700

[startup+0.101495 s]
/proc/loadavg: 1.84 1.94 1.90 3/64 9051
/proc/meminfo: memFree=1681408/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=46700 CPUtime=0.14
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1183 0 0 0 14 0 0 0 18 0 3 0 330981569 47820800 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 11675 1144 387 42 0 5927 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46700

[startup+0.301531 s]
/proc/loadavg: 1.84 1.94 1.90 3/64 9051
/proc/meminfo: memFree=1681408/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=46700 CPUtime=0.54
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1206 0 0 0 54 0 0 0 18 0 3 0 330981569 47820800 1167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 11675 1167 387 42 0 5927 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46700

[startup+0.702614 s]
/proc/loadavg: 1.84 1.94 1.90 3/64 9051
/proc/meminfo: memFree=1681408/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=47980 CPUtime=1.34
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1309 0 0 0 134 0 0 0 18 0 3 0 330981569 49131520 1270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 11995 1270 387 42 0 6247 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 47980

[startup+1.50178 s]
/proc/loadavg: 1.84 1.94 1.90 3/67 9054
/proc/meminfo: memFree=1677608/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=48236 CPUtime=2.94
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1470 0 0 0 293 1 0 0 18 0 3 0 330981569 49393664 1431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 12059 1431 387 42 0 6311 0
[pid=9051/tid=9053] ppid=9049 vsize=48236 CPUtime=1.44
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 171 0 0 0 144 0 0 0 25 0 3 0 330981574 49393664 1431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311101 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=48236 CPUtime=1.44
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 135 0 0 0 144 0 0 0 19 0 3 0 330981574 49393664 1431 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 48236

[startup+3.1011 s]
/proc/loadavg: 1.84 1.94 1.90 3/67 9054
/proc/meminfo: memFree=1676584/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=49412 CPUtime=6.12
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 1824 0 0 0 611 1 0 0 18 0 3 0 330981569 50597888 1719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 12353 1719 387 42 0 6605 0
[pid=9051/tid=9053] ppid=9049 vsize=49412 CPUtime=3.04
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 365 0 0 0 304 0 0 0 21 0 3 0 330981574 50597888 1719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311637 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=49412 CPUtime=3.03
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 295 0 0 0 303 0 0 0 21 0 3 0 330981574 50597888 1719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 49412

[startup+6.30275 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 9054
/proc/meminfo: memFree=1674472/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=51220 CPUtime=12.5
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 2187 0 0 0 1248 2 0 0 18 0 3 0 330981569 52449280 2082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 12805 2082 387 42 0 7057 0
[pid=9051/tid=9053] ppid=9049 vsize=51220 CPUtime=6.24
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 590 0 0 0 624 0 0 0 25 0 3 0 330981574 52449280 2082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=51220 CPUtime=6.2
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 433 0 0 0 620 0 0 0 25 0 3 0 330981574 52449280 2082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241648 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 51220

[startup+12.702 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 9054
/proc/meminfo: memFree=1671792/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=53124 CPUtime=25.27
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 2822 0 0 0 2524 3 0 0 18 0 3 0 330981569 54398976 2717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 13281 2717 387 42 0 7533 0
[pid=9051/tid=9053] ppid=9049 vsize=53124 CPUtime=12.63
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 1009 0 0 0 1262 1 0 0 25 0 3 0 330981574 54398976 2717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=53124 CPUtime=12.57
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 649 0 0 0 1257 0 0 0 25 0 3 0 330981574 54398976 2717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 53124

[startup+25.5026 s]
/proc/loadavg: 1.89 1.94 1.91 3/67 9054
/proc/meminfo: memFree=1666160/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=59504 CPUtime=50.8
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 4353 0 0 0 5076 4 0 0 18 0 3 0 330981569 60932096 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 14876 4118 387 42 0 9128 0
[pid=9051/tid=9053] ppid=9049 vsize=59504 CPUtime=25.43
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 1786 0 0 0 2541 2 0 0 19 0 3 0 330981574 60932096 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=59504 CPUtime=25.32
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 1403 0 0 0 2531 1 0 0 19 0 3 0 330981574 60932096 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241746 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 59504

[startup+51.1028 s]
/proc/loadavg: 1.93 1.94 1.91 3/67 9054
/proc/meminfo: memFree=1659568/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=66876 CPUtime=101.88
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 6058 0 0 0 10182 6 0 0 18 0 3 0 330981569 68481024 5776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 16719 5776 387 42 0 10971 0
[pid=9051/tid=9053] ppid=9049 vsize=66876 CPUtime=51.02
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 2872 0 0 0 5099 3 0 0 25 0 3 0 330981574 68481024 5776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=66876 CPUtime=50.8
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 2022 0 0 0 5079 1 0 0 25 0 3 0 330981574 68481024 5776 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 66876

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 9054
/proc/meminfo: memFree=1651440/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=75640 CPUtime=204.04
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 8278 0 0 0 20397 7 0 0 18 0 3 0 330981569 77455360 7738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 18910 7738 387 42 0 13162 0
[pid=9051/tid=9053] ppid=9049 vsize=75640 CPUtime=102.21
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 4393 0 0 0 10216 5 0 0 25 0 3 0 330981574 77455360 7738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=75640 CPUtime=101.77
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 2721 0 0 0 10176 1 0 0 25 0 3 0 330981574 77455360 7738 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 75640

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 9054
/proc/meminfo: memFree=1643504/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=83968 CPUtime=323.76
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 10376 0 0 0 32367 9 0 0 18 0 3 0 330981569 85983232 9708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 20992 9708 387 42 0 15244 0
[pid=9051/tid=9053] ppid=9049 vsize=83968 CPUtime=162.17
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 5828 0 0 0 16212 5 0 0 25 0 3 0 330981574 85983232 9708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=83968 CPUtime=161.52
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 3384 0 0 0 16150 2 0 0 25 0 3 0 330981574 85983232 9708 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241847 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.76
Current children cumulated vsize (KiB) 83968

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/73 9080
/proc/meminfo: memFree=1634152/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=92908 CPUtime=443.43
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 12381 0 0 0 44330 13 0 0 18 0 3 0 330981569 95137792 11713 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 23227 11713 387 42 0 17479 0
[pid=9051/tid=9053] ppid=9049 vsize=92908 CPUtime=222.12
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 6861 0 0 0 22205 7 0 0 25 0 3 0 330981574 95137792 11713 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=92908 CPUtime=221.26
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 4356 0 0 0 22121 5 0 0 25 0 3 0 330981574 95137792 11713 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.43
Current children cumulated vsize (KiB) 92908

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 9212
/proc/meminfo: memFree=1630256/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=96488 CPUtime=562.97
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 13320 0 0 0 56270 27 0 0 18 0 3 0 330981569 98803712 12652 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 24122 12652 387 42 0 18374 0
[pid=9051/tid=9053] ppid=9049 vsize=96488 CPUtime=281.96
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 7800 0 0 0 28187 9 0 0 25 0 3 0 330981574 98803712 12652 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=96488 CPUtime=280.96
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 4356 0 0 0 28079 17 0 0 25 0 3 0 330981574 98803712 12652 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241705 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (KiB) 96488

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1624944/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=105012 CPUtime=682.63
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 15467 0 0 0 68232 31 0 0 18 0 3 0 330981569 107532288 14252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 26253 14252 387 42 0 20505 0
[pid=9051/tid=9053] ppid=9049 vsize=105012 CPUtime=341.89
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 8825 0 0 0 34180 9 0 0 25 0 3 0 330981574 107532288 14252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=105012 CPUtime=340.69
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 5478 0 0 0 34048 21 0 0 25 0 3 0 330981574 107532288 14252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.63
Current children cumulated vsize (KiB) 105012

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1621936/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=107916 CPUtime=802.36
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 16228 0 0 0 80203 33 0 0 18 0 3 0 330981569 110505984 15013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 26979 15013 387 42 0 21231 0
[pid=9051/tid=9053] ppid=9049 vsize=107916 CPUtime=401.87
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 9586 0 0 0 40176 11 0 0 25 0 3 0 330981574 110505984 15013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=107916 CPUtime=400.44
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 5478 0 0 0 40023 21 0 0 25 0 3 0 330981574 110505984 15013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.36
Current children cumulated vsize (KiB) 107916

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1615280/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=115856 CPUtime=922.06
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 18152 0 0 0 92172 34 0 0 18 0 3 0 330981569 118636544 16707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 28964 16707 387 42 0 23216 0
[pid=9051/tid=9053] ppid=9049 vsize=115856 CPUtime=461.84
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 10300 0 0 0 46172 12 0 0 25 0 3 0 330981574 118636544 16707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=115856 CPUtime=460.16
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 6688 0 0 0 45995 21 0 0 25 0 3 0 330981574 118636544 16707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.06
Current children cumulated vsize (KiB) 115856

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1612912/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=118384 CPUtime=1041.78
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 18800 0 0 0 104143 35 0 0 18 0 3 0 330981569 121225216 17322 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 29596 17322 387 42 0 23848 0
[pid=9051/tid=9053] ppid=9049 vsize=118384 CPUtime=521.82
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 10948 0 0 0 52170 12 0 0 25 0 3 0 330981574 121225216 17322 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=118384 CPUtime=519.9
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 6688 0 0 0 51969 21 0 0 25 0 3 0 330981574 121225216 17322 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.78
Current children cumulated vsize (KiB) 118384

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1607280/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=124156 CPUtime=1161.5
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 20263 0 0 0 116114 36 0 0 18 0 3 0 330981569 127135744 18719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 31039 18719 387 42 0 25291 0
[pid=9051/tid=9053] ppid=9049 vsize=124156 CPUtime=581.8
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 11493 0 0 0 58167 13 0 0 25 0 3 0 330981574 127135744 18719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=124156 CPUtime=579.64
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 7606 0 0 0 57943 21 0 0 25 0 3 0 330981574 127135744 18719 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.5
Current children cumulated vsize (KiB) 124156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 9252
/proc/meminfo: memFree=1606512/2055920 swapFree=4183296/4192956
[pid=9051] ppid=9049 vsize=124676 CPUtime=1200.01
/proc/9051/stat : 9051 (ornithorynque) S 9049 9051 8500 0 -1 4194304 20429 0 0 0 119965 36 0 0 18 0 3 0 330981569 127668224 18885 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9051/statm: 31169 18885 387 42 0 25421 0
[pid=9051/tid=9053] ppid=9049 vsize=124676 CPUtime=601.09
/proc/9051/task/9053/stat : 9053 (ornithorynque) R 9049 9051 8500 0 -1 4194368 11659 0 0 0 60096 13 0 0 25 0 3 0 330981574 127668224 18885 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9051/tid=9054] ppid=9049 vsize=124676 CPUtime=598.85
/proc/9051/task/9054/stat : 9054 (ornithorynque) R 9049 9051 8500 0 -1 4194368 7606 0 0 0 59864 21 0 0 25 0 3 0 330981574 127668224 18885 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 124676

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.629
CPU time (s): 1200.04
CPU user time (s): 1199.67
CPU system time (s): 0.375942
CPU usage (%): 199.466
Max. virtual memory (cumulated for all children) (KiB): 124676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.67
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20429
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= 89
involuntary context switches= 9553

runsolver used 0.461929 second user time and 1.74373 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Mon Mar  5 15:57:20 UTC 2007

IDJOB= 328337
IDBENCH= 20249
IDSOLVER= 139
FILE ID= node66/328337-1173110240

PBS_JOBID= 4013921

Free space on /tmp= 66560 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328337-1173110240/ornithorynque /tmp/evaluation/328337-1173110240/instance-328337-1173110240.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-328337-1173110240 -o ROOT/results/node66/solver-328337-1173110240 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328337-1173110240/ornithorynque /tmp/evaluation/328337-1173110240/instance-328337-1173110240.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  7031e461464b8d1c0f6a8a1c913e5155

RANDOM SEED= 102040848

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.259
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	: 5931.00
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.259
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:       1681816 kB
Buffers:         25032 kB
Cached:         275132 kB
SwapCached:       3660 kB
Active:          47344 kB
Inactive:       262396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681816 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:             440 kB
Writeback:           0 kB
Mapped:          15580 kB
Slab:            50396 kB
Committed_AS:   767104 kB
PageTables:       1376 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= 66560 MiB

End job on node66 on Mon Mar  5 16:07:24 UTC 2007