Trace number 328332

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.19 601.63

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
MD5SUMbd48c0af40579fae130a490637a0c778
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark81.1437
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.01/0.03	c ...done
0.01/0.03	c nbVar=4500 nbClause=12014
0.01/0.04	c nbVar=4500 nbClause=12014
0.01/0.05	c complete search running
0.01/0.05	c local search running
0.01/0.05	c flip 0 nbSat=10087 maxSat=0
0.14/0.10	c flip 10000 nbSat=11690 maxSat=11691
0.14/0.14	c flip 20000 nbSat=11777 maxSat=11793
0.14/0.19	c flip 30000 nbSat=11810 maxSat=11821
0.34/0.24	c flip 40000 nbSat=11831 maxSat=11853
0.34/0.28	c flip 50000 nbSat=11871 maxSat=11882
0.54/0.33	c flip 60000 nbSat=11877 maxSat=11882
0.54/0.37	c flip 70000 nbSat=11853 maxSat=11883
0.74/0.42	c flip 80000 nbSat=11872 maxSat=11883
0.74/0.47	c flip 0 nbSat=11209 maxSat=11883
0.94/0.54	c flip 10000 nbSat=12872 maxSat=12874
1.14/0.61	c flip 20000 nbSat=12945 maxSat=12957
1.14/0.69	c flip 30000 nbSat=12961 maxSat=12979
1.34/0.76	c flip 40000 nbSat=12965 maxSat=12985
1.54/0.83	c flip 50000 nbSat=12988 maxSat=13003
1.74/0.90	c flip 60000 nbSat=13011 maxSat=13018
1.74/0.97	c flip 70000 nbSat=12991 maxSat=13020
1.94/1.05	c flip 80000 nbSat=12983 maxSat=13020
2.14/1.13	c flip 0 nbSat=12968 maxSat=13031
2.33/1.25	c flip 10000 nbSat=14635 maxSat=14647
2.53/1.37	c flip 20000 nbSat=14701 maxSat=14721
2.93/1.50	c flip 30000 nbSat=14740 maxSat=14748
3.13/1.61	c flip 40000 nbSat=14749 maxSat=14774
3.33/1.72	c flip 50000 nbSat=14773 maxSat=14782
3.53/1.84	c flip 60000 nbSat=14770 maxSat=14782
3.73/1.97	c flip 70000 nbSat=14765 maxSat=14782
4.14/2.10	c flip 80000 nbSat=14760 maxSat=14789
4.34/2.24	c flip 0 nbSat=15225 maxSat=14793
4.73/2.43	c flip 10000 nbSat=16972 maxSat=16986
4.93/2.59	c nbDecision=10000 #clauses=17988
5.13/2.63	c flip 20000 nbSat=17048 maxSat=17084
5.53/2.82	c flip 30000 nbSat=17085 maxSat=17118
5.73/2.99	c flip 40000 nbSat=17108 maxSat=17118
6.13/3.18	c flip 50000 nbSat=17111 maxSat=17127
6.53/3.38	c flip 60000 nbSat=17110 maxSat=17135
6.92/3.59	c flip 70000 nbSat=17128 maxSat=17135
7.33/3.79	c flip 80000 nbSat=17131 maxSat=17140
7.93/4.01	c flip 0 nbSat=18405 maxSat=17142
8.53/4.34	c flip 10000 nbSat=20077 maxSat=20087
9.12/4.69	c flip 20000 nbSat=20187 maxSat=20206
10.11/5.10	c flip 30000 nbSat=20208 maxSat=20235
10.72/5.49	c flip 40000 nbSat=20230 maxSat=20253
11.51/5.87	c flip 50000 nbSat=20225 maxSat=20260
12.31/6.23	c flip 60000 nbSat=20219 maxSat=20261
13.11/6.62	c flip 70000 nbSat=20240 maxSat=20261
13.50/6.89	c nbDecision=20000 #clauses=24269
13.90/7.00	c flip 80000 nbSat=20256 maxSat=20271
14.50/7.38	c flip 0 nbSat=22781 maxSat=20281
15.69/7.95	c flip 10000 nbSat=24469 maxSat=24500
17.30/8.75	c flip 20000 nbSat=24584 maxSat=24604
18.49/9.39	c flip 30000 nbSat=24613 maxSat=24623
19.70/9.94	c flip 40000 nbSat=24608 maxSat=24626
20.88/10.50	c flip 50000 nbSat=24606 maxSat=24640
21.90/11.06	c flip 60000 nbSat=24623 maxSat=24656
23.09/11.63	c flip 70000 nbSat=24640 maxSat=24656
24.29/12.22	c flip 80000 nbSat=24633 maxSat=24657
25.49/12.85	c flip 0 nbSat=28259 maxSat=24659
26.88/13.52	c nbDecision=30000 #clauses=30888
27.28/13.74	c flip 10000 nbSat=29977 maxSat=29991
29.87/15.00	c flip 20000 nbSat=30077 maxSat=30092
32.67/16.41	c flip 30000 nbSat=30093 maxSat=30109
35.26/17.75	c flip 40000 nbSat=30092 maxSat=30112
37.85/19.02	c flip 50000 nbSat=30110 maxSat=30129
40.45/20.35	c flip 60000 nbSat=30122 maxSat=30138
43.24/21.79	c flip 70000 nbSat=30111 maxSat=30149
44.24/22.30	c nbDecision=40000 #clauses=37532
46.44/23.39	c flip 80000 nbSat=30138 maxSat=30153
49.83/25.03	c flip 0 nbSat=37726 maxSat=30161
53.22/26.71	c flip 10000 nbSat=39376 maxSat=39391
58.41/29.30	c flip 20000 nbSat=39471 maxSat=39490
62.80/31.55	c nbDecision=50000 #clauses=44104
63.40/31.89	c flip 30000 nbSat=39494 maxSat=39518
69.19/34.80	c flip 40000 nbSat=39516 maxSat=39526
74.18/37.26	c flip 50000 nbSat=39509 maxSat=39535
78.37/39.36	c flip 60000 nbSat=39516 maxSat=39544
82.95/41.64	c flip 70000 nbSat=39507 maxSat=39562
87.34/43.86	c flip 80000 nbSat=39550 maxSat=39568
89.74/45.06	c nbDecision=60000 #clauses=50873
91.53/45.97	c flip 0 nbSat=49281 maxSat=39573
96.93/48.69	c flip 10000 nbSat=50921 maxSat=50932
104.10/52.26	c flip 20000 nbSat=51009 maxSat=51031
112.29/56.31	c flip 30000 nbSat=51029 maxSat=51044
120.67/60.55	c flip 40000 nbSat=51040 maxSat=51055
126.06/63.26	c nbDecision=70000 #clauses=57645
129.26/64.81	c flip 50000 nbSat=51047 maxSat=51060
137.63/69.01	c flip 60000 nbSat=51055 maxSat=51079
147.21/73.85	c flip 70000 nbSat=51049 maxSat=51079
157.19/78.83	c flip 80000 nbSat=51046 maxSat=51079
165.97/83.27	c flip 0 nbSat=61477 maxSat=51092
172.14/86.40	c nbDecision=80000 #clauses=64504
174.34/87.49	c flip 10000 nbSat=63153 maxSat=63181
183.12/91.87	c flip 20000 nbSat=63227 maxSat=63250
192.11/96.35	c flip 30000 nbSat=63276 maxSat=63301
198.28/99.48	c nbDecision=90000 #clauses=71116
202.27/101.43	c flip 40000 nbSat=63311 maxSat=63329
212.86/106.76	c flip 50000 nbSat=63289 maxSat=63329
222.23/111.44	c flip 60000 nbSat=63292 maxSat=63331
231.21/115.94	c nbDecision=100000 #clauses=77725
233.61/117.10	c flip 70000 nbSat=63328 maxSat=63344
245.79/123.27	c flip 80000 nbSat=63338 maxSat=63356
258.15/129.44	c flip 0 nbSat=80572 maxSat=63365
269.73/135.29	c flip 10000 nbSat=82230 maxSat=82245
271.52/136.14	c nbDecision=110000 #clauses=84474
285.68/143.26	c flip 20000 nbSat=82323 maxSat=82332
302.05/151.44	c flip 30000 nbSat=82345 maxSat=82360
318.41/159.63	c flip 40000 nbSat=82346 maxSat=82374
331.40/166.19	c nbDecision=120000 #clauses=91383
334.78/167.81	c flip 50000 nbSat=82366 maxSat=82395
352.33/176.62	c flip 60000 nbSat=82372 maxSat=82395
367.30/184.14	c flip 70000 nbSat=82351 maxSat=82395
385.06/193.09	c flip 80000 nbSat=82367 maxSat=82395
386.45/193.74	c nbDecision=130000 #clauses=98070
402.22/201.67	c flip 0 nbSat=97697 maxSat=82404
416.39/208.74	c flip 10000 nbSat=99400 maxSat=99425
436.94/219.08	c flip 20000 nbSat=99484 maxSat=99502
452.70/226.99	c nbDecision=140000 #clauses=104893
459.09/230.15	c flip 30000 nbSat=99504 maxSat=99553
479.25/240.27	c flip 40000 nbSat=99516 maxSat=99553
501.20/251.24	c flip 50000 nbSat=99551 maxSat=99572
526.15/263.78	c flip 60000 nbSat=99541 maxSat=99572
528.53/265.00	c nbDecision=150000 #clauses=111672
549.81/275.66	c flip 70000 nbSat=99560 maxSat=99572
570.94/286.26	c flip 80000 nbSat=99551 maxSat=99576
593.45/297.57	c flip 0 nbSat=115654 maxSat=99576
603.43/302.52	c nbDecision=160000 #clauses=118501
612.61/307.18	c flip 10000 nbSat=117315 maxSat=117328
637.52/319.62	c flip 20000 nbSat=117392 maxSat=117430
660.62/331.27	c flip 30000 nbSat=117433 maxSat=117465
683.97/342.97	c flip 40000 nbSat=117442 maxSat=117479
688.55/345.25	c nbDecision=170000 #clauses=125343
707.86/354.92	c flip 50000 nbSat=117468 maxSat=117495
731.60/366.83	c flip 60000 nbSat=117482 maxSat=117504
756.76/379.45	c flip 70000 nbSat=117471 maxSat=117509
779.10/390.66	c flip 80000 nbSat=117515 maxSat=117535
781.70/391.96	c nbDecision=180000 #clauses=132274
800.85/401.56	c flip 0 nbSat=131341 maxSat=117538
822.00/412.19	c flip 10000 nbSat=133101 maxSat=133136
846.15/424.25	c flip 20000 nbSat=133189 maxSat=133215
852.34/427.37	c nbDecision=190000 #clauses=139057
872.69/437.51	c flip 30000 nbSat=133224 maxSat=133238
904.61/453.51	c flip 40000 nbSat=133265 maxSat=133279
909.20/455.88	c nbDecision=200000 #clauses=145801
938.14/470.31	c flip 50000 nbSat=133260 maxSat=133294
966.07/484.35	c nbDecision=210000 #clauses=152464
971.06/486.81	c flip 60000 nbSat=133278 maxSat=133300
1003.38/503.06	c flip 70000 nbSat=133295 maxSat=133329
1031.93/517.36	c flip 80000 nbSat=133302 maxSat=133329
1036.71/519.77	c nbDecision=220000 #clauses=159241
1058.87/530.84	c flip 0 nbSat=159613 maxSat=133330
1084.41/543.60	c flip 10000 nbSat=161248 maxSat=161274
1102.37/552.64	c nbDecision=230000 #clauses=165870
1118.53/560.77	c flip 20000 nbSat=161412 maxSat=161432
1155.25/579.15	c flip 30000 nbSat=161469 maxSat=161485
1169.62/586.31	c nbDecision=240000 #clauses=172476
1194.75/598.97	c flip 40000 nbSat=161461 maxSat=161485

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/node41/watcher-328332-1173110192 -o ROOT/results/node41/solver-328332-1173110192 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328332-1173110192/ornithorynque /tmp/evaluation/328332-1173110192/instance-328332-1173110192.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.90 2.00 1.93 3/64 7161
/proc/meminfo: memFree=1360248/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=23220 CPUtime=0
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6567 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 330975103 23777280 255 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238387500144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7161/statm: 5805 256 218 42 0 45 0

[startup+0.0217801 s]
/proc/loadavg: 1.90 2.00 1.93 3/64 7161
/proc/meminfo: memFree=1360248/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=23836 CPUtime=0.01
/proc/7161/stat : 7161 (ornithorynque) R 7159 7161 6567 0 -1 4194304 632 0 0 0 1 0 0 0 18 0 1 0 330975103 24408064 593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238389990113 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7161/statm: 5959 594 377 42 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23836

[startup+0.101791 s]
/proc/loadavg: 1.90 2.00 1.93 3/64 7161
/proc/meminfo: memFree=1360248/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=46684 CPUtime=0.14
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 1185 0 0 0 14 0 0 0 18 0 3 0 330975103 47804416 1146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 11671 1146 387 42 0 5923 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46684

[startup+0.301804 s]
/proc/loadavg: 1.90 2.00 1.93 3/64 7161
/proc/meminfo: memFree=1360248/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=46684 CPUtime=0.54
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 1206 0 0 0 54 0 0 0 18 0 3 0 330975103 47804416 1167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 11671 1167 387 42 0 5923 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46684

[startup+0.701841 s]
/proc/loadavg: 1.90 2.00 1.93 3/64 7161
/proc/meminfo: memFree=1360248/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=48100 CPUtime=1.34
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 1309 0 0 0 134 0 0 0 18 0 3 0 330975103 49254400 1270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 12025 1270 387 42 0 6277 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 48100

[startup+1.50191 s]
/proc/loadavg: 1.90 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1356320/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=48624 CPUtime=2.93
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 1488 0 0 0 293 0 0 0 18 0 3 0 330975103 49790976 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 12156 1449 387 42 0 6408 0
[pid=7161/tid=7163] ppid=7159 vsize=48624 CPUtime=1.44
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 189 0 0 0 144 0 0 0 25 0 3 0 330975108 49790976 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314358 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=48624 CPUtime=1.44
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 134 0 0 0 144 0 0 0 19 0 3 0 330975108 49790976 1449 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 48624

[startup+3.10205 s]
/proc/loadavg: 1.90 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1355360/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=49532 CPUtime=6.13
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 1855 0 0 0 613 0 0 0 18 0 3 0 330975103 50720768 1750 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 12383 1750 387 42 0 6635 0
[pid=7161/tid=7163] ppid=7159 vsize=49532 CPUtime=3.04
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 389 0 0 0 304 0 0 0 23 0 3 0 330975108 50720768 1750 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=49532 CPUtime=3.04
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 301 0 0 0 304 0 0 0 24 0 3 0 330975108 50720768 1750 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 49532

[startup+6.30133 s]
/proc/loadavg: 1.91 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1352992/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=51084 CPUtime=12.51
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 2273 0 0 0 1250 1 0 0 18 0 3 0 330975103 52310016 2168 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 12771 2168 387 42 0 7023 0
[pid=7161/tid=7163] ppid=7159 vsize=51084 CPUtime=6.24
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 669 0 0 0 624 0 0 0 25 0 3 0 330975108 52310016 2168 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=51084 CPUtime=6.21
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 439 0 0 0 621 0 0 0 25 0 3 0 330975108 52310016 2168 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241565 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 51084

[startup+12.7029 s]
/proc/loadavg: 1.92 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1350240/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=54004 CPUtime=25.29
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 2908 0 0 0 2527 2 0 0 18 0 3 0 330975103 55300096 2803 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 13501 2803 387 42 0 7753 0
[pid=7161/tid=7163] ppid=7159 vsize=54004 CPUtime=12.64
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 1063 0 0 0 1263 1 0 0 25 0 3 0 330975108 55300096 2803 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=54004 CPUtime=12.59
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 680 0 0 0 1259 0 0 0 25 0 3 0 330975108 55300096 2803 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 54004

[startup+25.502 s]
/proc/loadavg: 1.93 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1344224/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=60536 CPUtime=50.83
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 4496 0 0 0 5080 3 0 0 18 0 3 0 330975103 61988864 4261 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 15134 4261 387 42 0 9386 0
[pid=7161/tid=7163] ppid=7159 vsize=60536 CPUtime=25.43
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 1707 0 0 0 2542 1 0 0 20 0 3 0 330975108 61988864 4261 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238389987680 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=60536 CPUtime=25.33
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 1624 0 0 0 2533 0 0 0 20 0 3 0 330975108 61988864 4261 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 60536

[startup+51.1012 s]
/proc/loadavg: 1.95 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1338656/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=66260 CPUtime=101.91
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 5943 0 0 0 10186 5 0 0 18 0 3 0 330975103 67850240 5661 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 16565 5661 387 42 0 10817 0
[pid=7161/tid=7163] ppid=7159 vsize=66260 CPUtime=51.02
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 2463 0 0 0 5100 2 0 0 25 0 3 0 330975108 67850240 5661 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=66260 CPUtime=50.82
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 2315 0 0 0 5081 1 0 0 25 0 3 0 330975108 67850240 5661 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 66260

[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1331872/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=73308 CPUtime=204.08
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 7744 0 0 0 20402 6 0 0 18 0 3 0 330975103 75067392 7333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 18327 7333 387 42 0 12579 0
[pid=7161/tid=7163] ppid=7159 vsize=73308 CPUtime=102.21
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 3559 0 0 0 10218 3 0 0 25 0 3 0 330975108 75067392 7333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=73308 CPUtime=101.8
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 3020 0 0 0 10179 1 0 0 25 0 3 0 330975108 75067392 7333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 73308

[startup+162.302 s]
/proc/loadavg: 1.99 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1324384/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=81724 CPUtime=323.8
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 9760 0 0 0 32372 8 0 0 18 0 3 0 330975103 83685376 9188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 20431 9188 387 42 0 14683 0
[pid=7161/tid=7163] ppid=7159 vsize=81724 CPUtime=162.2
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 4601 0 0 0 16215 5 0 0 25 0 3 0 330975108 83685376 9188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=81724 CPUtime=161.55
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 3994 0 0 0 16153 2 0 0 25 0 3 0 330975108 83685376 9188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.8
Current children cumulated vsize (KiB) 81724

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/67 7164
/proc/meminfo: memFree=1317856/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=89496 CPUtime=443.52
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 11641 0 0 0 44343 9 0 0 18 0 3 0 330975103 91643904 10811 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 22374 10811 387 42 0 16626 0
[pid=7161/tid=7163] ppid=7159 vsize=89496 CPUtime=222.18
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 5606 0 0 0 22212 6 0 0 25 0 3 0 330975108 91643904 10811 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=89496 CPUtime=221.28
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 4870 0 0 0 22126 2 0 0 25 0 3 0 330975108 91643904 10811 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 89496

[startup+282.301 s]
/proc/loadavg: 2.06 2.01 1.93 3/73 7236
/proc/meminfo: memFree=1313240/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=92664 CPUtime=563.16
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 12442 0 0 0 56303 13 0 0 18 0 3 0 330975103 94887936 11612 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 23166 11612 387 42 0 17418 0
[pid=7161/tid=7163] ppid=7159 vsize=92664 CPUtime=282.09
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 6407 0 0 0 28202 7 0 0 25 0 3 0 330975108 94887936 11612 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=92664 CPUtime=281.01
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 4870 0 0 0 28096 5 0 0 25 0 3 0 330975108 94887936 11612 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.16
Current children cumulated vsize (KiB) 92664

[startup+342.301 s]
/proc/loadavg: 2.13 2.05 1.95 3/73 7334
/proc/meminfo: memFree=1307168/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=99300 CPUtime=682.77
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 14063 0 0 0 68251 26 0 0 18 0 3 0 330975103 101683200 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 24825 13101 387 42 0 19077 0
[pid=7161/tid=7163] ppid=7159 vsize=99300 CPUtime=341.97
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 7139 0 0 0 34189 8 0 0 25 0 3 0 330975108 101683200 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=99300 CPUtime=340.74
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 5759 0 0 0 34057 17 0 0 25 0 3 0 330975108 101683200 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.77
Current children cumulated vsize (KiB) 99300

[startup+402.302 s]
/proc/loadavg: 2.05 2.04 1.95 3/67 7362
/proc/meminfo: memFree=1305888/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=107016 CPUtime=802.44
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 15977 0 0 0 80215 29 0 0 18 0 3 0 330975103 109584384 14344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 26754 14344 387 42 0 21006 0
[pid=7161/tid=7163] ppid=7159 vsize=107016 CPUtime=401.91
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 7995 0 0 0 40183 8 0 0 25 0 3 0 330975108 109584384 14344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=107016 CPUtime=400.47
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 6817 0 0 0 40027 20 0 0 25 0 3 0 330975108 109584384 14344 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 107016

[startup+462.302 s]
/proc/loadavg: 2.02 2.03 1.95 3/67 7362
/proc/meminfo: memFree=1300256/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=110356 CPUtime=922.18
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 16814 0 0 0 92188 30 0 0 18 0 3 0 330975103 113004544 15162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 27589 15162 387 42 0 21841 0
[pid=7161/tid=7163] ppid=7159 vsize=110356 CPUtime=461.9
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 8832 0 0 0 46181 9 0 0 25 0 3 0 330975108 113004544 15162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=110356 CPUtime=460.22
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 6817 0 0 0 46002 20 0 0 25 0 3 0 330975108 113004544 15162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.18
Current children cumulated vsize (KiB) 110356

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/67 7362
/proc/meminfo: memFree=1297504/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=112832 CPUtime=1041.9
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 17491 0 0 0 104159 31 0 0 18 0 3 0 330975103 115539968 15839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 28208 15839 387 42 0 22460 0
[pid=7161/tid=7163] ppid=7159 vsize=112832 CPUtime=521.89
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 9509 0 0 0 52179 10 0 0 25 0 3 0 330975108 115539968 15839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=112832 CPUtime=519.96
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 6817 0 0 0 51976 20 0 0 25 0 3 0 330975108 115539968 15839 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284351 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.9
Current children cumulated vsize (KiB) 112832

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/67 7362
/proc/meminfo: memFree=1290528/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=120252 CPUtime=1161.62
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 19299 0 0 0 116130 32 0 0 18 0 3 0 330975103 123138048 17614 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 30063 17614 387 42 0 24315 0
[pid=7161/tid=7163] ppid=7159 vsize=120252 CPUtime=581.87
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 9647 0 0 0 58177 10 0 0 25 0 3 0 330975108 123138048 17614 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311419 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=120252 CPUtime=579.7
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 8487 0 0 0 57949 21 0 0 25 0 3 0 330975108 123138048 17614 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241052 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.62
Current children cumulated vsize (KiB) 120252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.00 2.02 1.95 3/67 7362
/proc/meminfo: memFree=1290464/2055920 swapFree=4183888/4192956
[pid=7161] ppid=7159 vsize=120252 CPUtime=1200.15
/proc/7161/stat : 7161 (ornithorynque) S 7159 7161 6567 0 -1 4194304 19310 0 0 0 119983 32 0 0 18 0 3 0 330975103 123138048 17625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238399025019 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7161/statm: 30063 17625 387 42 0 24315 0
[pid=7161/tid=7163] ppid=7159 vsize=120252 CPUtime=601.17
/proc/7161/task/7163/stat : 7163 (ornithorynque) R 7159 7161 6567 0 -1 4194368 9658 0 0 0 60107 10 0 0 25 0 3 0 330975108 123138048 17625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7161/tid=7164] ppid=7159 vsize=120252 CPUtime=598.93
/proc/7161/task/7164/stat : 7164 (ornithorynque) R 7159 7161 6567 0 -1 4194368 8487 0 0 0 59872 21 0 0 25 0 3 0 330975108 123138048 17625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 120252

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.63
CPU time (s): 1200.19
CPU user time (s): 1199.85
CPU system time (s): 0.336948
CPU usage (%): 199.49
Max. virtual memory (cumulated for all children) (KiB): 120252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19310
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= 73
involuntary context switches= 9496

runsolver used 0.568913 second user time and 1.63975 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Mar  5 15:56:32 UTC 2007

IDJOB= 328332
IDBENCH= 20243
IDSOLVER= 139
FILE ID= node41/328332-1173110192

PBS_JOBID= 4013904

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-S1293761391-11-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328332-1173110192/ornithorynque /tmp/evaluation/328332-1173110192/instance-328332-1173110192.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-328332-1173110192 -o ROOT/results/node41/solver-328332-1173110192 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328332-1173110192/ornithorynque /tmp/evaluation/328332-1173110192/instance-328332-1173110192.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  bd48c0af40579fae130a490637a0c778

RANDOM SEED= 852792329

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.231
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.231
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:       1360656 kB
Buffers:         34784 kB
Cached:         573356 kB
SwapCached:       2976 kB
Active:          71060 kB
Inactive:       546644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1360656 kB
SwapTotal:     4192956 kB
SwapFree:      4183888 kB
Dirty:             448 kB
Writeback:           0 kB
Mapped:          15588 kB
Slab:            63560 kB
Committed_AS:   648576 kB
PageTables:       1476 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 node41 on Mon Mar  5 16:06:35 UTC 2007