Trace number 328312

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.22 601.73

General information on the benchmark

Namerandom/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
MD5SUM410d091a694560f8677ebd7e24f26af7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark761.144
Satisfiable
(Un)Satisfiability was proved
Number of variables3496
Number of clauses9344
Sum of the clauses size25229
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22803
Number of clauses of size 36541
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.02	c ...done
0.00/0.02	c nbVar=3500 nbClause=9344
0.00/0.03	c nbVar=3500 nbClause=9344
0.03/0.04	c complete search running
0.03/0.04	c local search running
0.03/0.04	c flip 0 nbSat=7820 maxSat=0
0.03/0.09	c flip 10000 nbSat=9130 maxSat=9151
0.15/0.13	c flip 20000 nbSat=9209 maxSat=9219
0.15/0.18	c flip 30000 nbSat=9221 maxSat=9228
0.35/0.22	c flip 40000 nbSat=9223 maxSat=9237
0.35/0.27	c flip 50000 nbSat=9221 maxSat=9242
0.55/0.32	c flip 60000 nbSat=9233 maxSat=9244
0.55/0.37	c flip 0 nbSat=8940 maxSat=9258
0.75/0.45	c flip 10000 nbSat=10253 maxSat=10273
0.95/0.52	c flip 20000 nbSat=10327 maxSat=10329
1.15/0.60	c flip 30000 nbSat=10328 maxSat=10355
1.15/0.67	c flip 40000 nbSat=10350 maxSat=10360
1.35/0.76	c flip 50000 nbSat=10352 maxSat=10363
1.55/0.84	c flip 60000 nbSat=10353 maxSat=10363
1.75/0.92	c flip 0 nbSat=10478 maxSat=10365
1.95/1.06	c flip 10000 nbSat=11828 maxSat=11832
2.34/1.20	c flip 20000 nbSat=11887 maxSat=11896
2.54/1.35	c flip 30000 nbSat=11919 maxSat=11924
2.74/1.50	c flip 40000 nbSat=11926 maxSat=11935
3.14/1.64	c flip 50000 nbSat=11930 maxSat=11940
3.34/1.79	c flip 60000 nbSat=11920 maxSat=11941
3.74/1.95	c flip 0 nbSat=13001 maxSat=11941
4.35/2.20	c flip 10000 nbSat=14279 maxSat=14297
4.74/2.42	c nbDecision=10000 #clauses=15487
4.74/2.49	c flip 20000 nbSat=14350 maxSat=14355
5.34/2.78	c flip 30000 nbSat=14367 maxSat=14379
5.95/3.08	c flip 40000 nbSat=14375 maxSat=14394
6.55/3.38	c flip 50000 nbSat=14392 maxSat=14399
7.14/3.70	c flip 60000 nbSat=14387 maxSat=14403
7.94/4.00	c flip 0 nbSat=16819 maxSat=14405
8.74/4.42	c flip 10000 nbSat=18141 maxSat=18155
9.53/4.89	c flip 20000 nbSat=18177 maxSat=18201
10.73/5.40	c flip 30000 nbSat=18214 maxSat=18232
11.52/5.86	c flip 40000 nbSat=18219 maxSat=18242
12.51/6.37	c flip 50000 nbSat=18234 maxSat=18244
12.72/6.42	c nbDecision=20000 #clauses=21963
13.71/6.94	c flip 60000 nbSat=18244 maxSat=18264
14.71/7.47	c flip 0 nbSat=21519 maxSat=18267
16.31/8.21	c flip 10000 nbSat=22891 maxSat=22898
18.10/9.18	c flip 20000 nbSat=22955 maxSat=22965
19.90/10.04	c flip 30000 nbSat=22949 maxSat=22976
21.70/10.93	c flip 40000 nbSat=22997 maxSat=23002
23.49/11.81	c flip 50000 nbSat=22987 maxSat=23005
25.08/12.62	c flip 60000 nbSat=22988 maxSat=23010
26.09/13.20	c nbDecision=30000 #clauses=28729
26.88/13.58	c flip 0 nbSat=27468 maxSat=23012
29.48/14.81	c flip 10000 nbSat=28843 maxSat=28856
32.27/16.22	c flip 20000 nbSat=28886 maxSat=28899
34.46/17.37	c flip 30000 nbSat=28897 maxSat=28918
36.86/18.56	c flip 40000 nbSat=28928 maxSat=28932
39.65/19.97	c flip 50000 nbSat=28918 maxSat=28937
42.85/21.50	c flip 60000 nbSat=28930 maxSat=28939
44.04/22.11	c nbDecision=40000 #clauses=35331
45.64/22.91	c flip 0 nbSat=34404 maxSat=28947
50.04/25.13	c flip 10000 nbSat=35724 maxSat=35749
54.83/27.56	c flip 20000 nbSat=35797 maxSat=35806
58.81/29.52	c flip 30000 nbSat=35804 maxSat=35827
63.00/31.66	c flip 40000 nbSat=35790 maxSat=35829
66.78/33.51	c nbDecision=50000 #clauses=42178
67.79/34.05	c flip 50000 nbSat=35815 maxSat=35836
72.78/36.50	c flip 60000 nbSat=35836 maxSat=35842
77.97/39.14	c flip 0 nbSat=43481 maxSat=35853
83.95/42.15	c flip 10000 nbSat=44869 maxSat=44876
90.13/45.22	c flip 20000 nbSat=44926 maxSat=44941
93.13/46.70	c nbDecision=60000 #clauses=48891
96.92/48.65	c flip 30000 nbSat=44928 maxSat=44942
103.89/52.13	c flip 40000 nbSat=44943 maxSat=44955
111.28/55.81	c flip 50000 nbSat=44948 maxSat=44969
119.26/59.89	c flip 60000 nbSat=44959 maxSat=44974
128.24/64.39	c nbDecision=70000 #clauses=55726
129.84/65.15	c flip 0 nbSat=54379 maxSat=44974
138.22/69.33	c flip 10000 nbSat=55785 maxSat=55802
147.59/74.09	c flip 20000 nbSat=55852 maxSat=55861
158.76/79.61	c flip 30000 nbSat=55864 maxSat=55882
166.55/83.59	c flip 40000 nbSat=55865 maxSat=55885
170.33/85.42	c nbDecision=80000 #clauses=62517
175.12/87.86	c flip 50000 nbSat=55870 maxSat=55888
184.11/92.31	c flip 60000 nbSat=55865 maxSat=55888
193.47/97.01	c flip 0 nbSat=64847 maxSat=55902
205.85/103.25	c flip 10000 nbSat=66200 maxSat=66243
211.23/105.95	c nbDecision=90000 #clauses=69234
219.02/109.84	c flip 20000 nbSat=66261 maxSat=66288
233.39/117.07	c flip 30000 nbSat=66278 maxSat=66302
247.36/124.08	c flip 40000 nbSat=66302 maxSat=66312
256.13/128.47	c nbDecision=100000 #clauses=76191
259.52/130.12	c flip 50000 nbSat=66304 maxSat=66316
273.09/136.90	c flip 60000 nbSat=66312 maxSat=66327
286.65/143.78	c flip 0 nbSat=78774 maxSat=66332
301.62/151.26	c flip 10000 nbSat=80085 maxSat=80111
304.82/152.81	c nbDecision=110000 #clauses=82957
320.19/160.59	c flip 20000 nbSat=80156 maxSat=80169
340.33/170.65	c flip 30000 nbSat=80192 maxSat=80212
359.89/180.46	c flip 40000 nbSat=80182 maxSat=80212
361.28/181.12	c nbDecision=120000 #clauses=89778
382.23/191.63	c flip 50000 nbSat=80196 maxSat=80217
405.78/203.49	c flip 60000 nbSat=80217 maxSat=80229
425.13/213.11	c nbDecision=130000 #clauses=96620
429.52/215.35	c flip 0 nbSat=95478 maxSat=80242
446.88/224.04	c flip 10000 nbSat=96867 maxSat=96884
466.62/233.93	c flip 20000 nbSat=96926 maxSat=96938
492.17/246.73	c flip 30000 nbSat=96911 maxSat=96954
496.96/249.11	c nbDecision=140000 #clauses=103573
517.51/259.47	c flip 40000 nbSat=96941 maxSat=96961
541.25/271.40	c flip 50000 nbSat=96944 maxSat=96972
553.02/277.29	c nbDecision=150000 #clauses=110226
566.19/283.87	c flip 60000 nbSat=96947 maxSat=96972
589.13/295.35	c flip 0 nbSat=112405 maxSat=96972
611.48/306.56	c flip 10000 nbSat=113807 maxSat=113811
621.65/311.62	c nbDecision=160000 #clauses=117036
639.21/320.44	c flip 20000 nbSat=113886 maxSat=113897
670.94/336.30	c flip 30000 nbSat=113869 maxSat=113910
700.66/351.22	c nbDecision=170000 #clauses=124057
700.86/351.40	c flip 40000 nbSat=113871 maxSat=113910
731.98/367.00	c flip 50000 nbSat=113886 maxSat=113911
758.52/380.23	c flip 60000 nbSat=113903 maxSat=113917
775.48/388.75	c nbDecision=180000 #clauses=130718
780.47/391.22	c flip 0 nbSat=129543 maxSat=113920
809.51/405.90	c flip 10000 nbSat=130970 maxSat=130985
845.36/423.81	c flip 20000 nbSat=131016 maxSat=131068
849.35/425.88	c nbDecision=190000 #clauses=137558
882.86/442.65	c flip 30000 nbSat=131051 maxSat=131070
921.50/462.07	c flip 40000 nbSat=131063 maxSat=131106
925.29/463.95	c nbDecision=200000 #clauses=144520
959.56/481.17	c flip 50000 nbSat=131065 maxSat=131106
995.07/498.96	c flip 60000 nbSat=131082 maxSat=131110
1005.85/504.31	c nbDecision=210000 #clauses=151449
1026.80/514.87	c flip 0 nbSat=151366 maxSat=131123
1060.12/531.55	c flip 10000 nbSat=152753 maxSat=152777
1092.44/547.73	c nbDecision=220000 #clauses=158269
1098.02/550.57	c flip 20000 nbSat=152813 maxSat=152838
1141.52/572.33	c flip 30000 nbSat=152835 maxSat=152855
1182.82/593.01	c flip 40000 nbSat=152849 maxSat=152882
1184.02/593.66	c nbDecision=230000 #clauses=165161

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/node23/watcher-328312-1173110065 -o ROOT/results/node23/solver-328312-1173110065 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328312-1173110065/ornithorynque /tmp/evaluation/328312-1173110065/instance-328312-1173110065.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: 2.00 2.00 1.92 3/77 14352
/proc/meminfo: memFree=1375640/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=23220 CPUtime=0
/proc/14352/stat : 14352 (ornithorynque) R 14350 14352 13801 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36974865 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238485017712 0 0 4096 0 0 0 0 17 1 0 0
/proc/14352/statm: 5805 264 218 42 0 45 0

[startup+0.0389419 s]
/proc/loadavg: 2.00 2.00 1.92 3/77 14352
/proc/meminfo: memFree=1375640/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=25456 CPUtime=0.03
/proc/14352/stat : 14352 (ornithorynque) R 14350 14352 13801 0 -1 4194304 1001 0 0 0 3 0 0 0 18 0 1 0 36974865 26066944 962 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238487507681 0 0 4096 1088 0 0 0 17 1 0 0
/proc/14352/statm: 6364 963 382 42 0 616 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25456

[startup+0.101957 s]
/proc/loadavg: 2.00 2.00 1.92 3/77 14352
/proc/meminfo: memFree=1375640/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=46120 CPUtime=0.15
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 1033 0 0 0 15 0 0 0 18 0 3 0 36974865 47226880 994 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 11530 994 387 42 0 5782 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 46120

[startup+0.301994 s]
/proc/loadavg: 2.00 2.00 1.92 3/77 14352
/proc/meminfo: memFree=1375640/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=46120 CPUtime=0.55
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 1067 0 0 0 55 0 0 0 18 0 3 0 36974865 47226880 1028 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 11530 1028 387 42 0 5782 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 46120

[startup+0.701073 s]
/proc/loadavg: 2.00 2.00 1.92 3/77 14352
/proc/meminfo: memFree=1375640/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=47668 CPUtime=1.35
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 1185 0 0 0 135 0 0 0 18 0 3 0 36974865 48812032 1146 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 11917 1146 387 42 0 6169 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 47668

[startup+1.50123 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1371904/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=47800 CPUtime=2.94
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 1384 0 0 0 294 0 0 0 18 0 3 0 36974865 48947200 1345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 11950 1345 387 42 0 6202 0
[pid=14352/tid=14354] ppid=14350 vsize=47800 CPUtime=1.45
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 233 0 0 0 145 0 0 0 22 0 3 0 36974869 48947200 1345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=47800 CPUtime=1.45
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 135 0 0 0 145 0 0 0 21 0 3 0 36974869 48947200 1345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242052 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 47800

[startup+3.10262 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1370752/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=49484 CPUtime=6.15
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 1715 0 0 0 614 1 0 0 18 0 3 0 36974865 50671616 1643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 12371 1643 387 42 0 6623 0
[pid=14352/tid=14354] ppid=14350 vsize=49484 CPUtime=3.05
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 445 0 0 0 305 0 0 0 25 0 3 0 36974869 50671616 1643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=49484 CPUtime=3.05
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 254 0 0 0 305 0 0 0 25 0 3 0 36974869 50671616 1643 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 49484

[startup+6.30116 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1368576/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=51444 CPUtime=12.51
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 2209 0 0 0 1250 1 0 0 18 0 3 0 36974865 52678656 2137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 12861 2137 387 42 0 7113 0
[pid=14352/tid=14354] ppid=14350 vsize=51444 CPUtime=6.25
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 770 0 0 0 624 1 0 0 25 0 3 0 36974869 52678656 2137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238487513734 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=51444 CPUtime=6.22
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 423 0 0 0 622 0 0 0 25 0 3 0 36974869 52678656 2137 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241088 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 51444

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1365568/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=53440 CPUtime=25.28
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 2877 0 0 0 2526 2 0 0 18 0 3 0 36974865 54722560 2805 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 13360 2805 387 42 0 7612 0
[pid=14352/tid=14354] ppid=14350 vsize=53440 CPUtime=12.65
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 1198 0 0 0 1263 2 0 0 25 0 3 0 36974869 54722560 2805 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=53440 CPUtime=12.59
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 663 0 0 0 1259 0 0 0 25 0 3 0 36974869 54722560 2805 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 53440

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1360896/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=59448 CPUtime=50.83
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 4194 0 0 0 5078 5 0 0 18 0 3 0 36974865 60874752 3955 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 14862 3955 387 42 0 9114 0
[pid=14352/tid=14354] ppid=14350 vsize=59448 CPUtime=25.44
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 1912 0 0 0 2541 3 0 0 25 0 3 0 36974869 60874752 3955 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=59448 CPUtime=25.34
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 1266 0 0 0 2534 0 0 0 25 0 3 0 36974869 60874752 3955 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) 59448

[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1355456/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=64528 CPUtime=101.9
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 5558 0 0 0 10183 7 0 0 18 0 3 0 36974865 66076672 5319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 16132 5319 387 42 0 10384 0
[pid=14352/tid=14354] ppid=14350 vsize=64528 CPUtime=51.04
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 2824 0 0 0 5098 6 0 0 25 0 3 0 36974869 66076672 5319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=64528 CPUtime=50.81
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 1718 0 0 0 5081 0 0 0 25 0 3 0 36974869 66076672 5319 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 64528

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 14355
/proc/meminfo: memFree=1347008/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=73756 CPUtime=204.06
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 7891 0 0 0 20395 11 0 0 18 0 3 0 36974865 75526144 7394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 18439 7394 387 42 0 12691 0
[pid=14352/tid=14354] ppid=14350 vsize=73756 CPUtime=102.21
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 4080 0 0 0 10213 8 0 0 25 0 3 0 36974869 75526144 7394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=73756 CPUtime=101.79
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 2795 0 0 0 10178 1 0 0 25 0 3 0 36974869 75526144 7394 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 73756

[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/80 14355
/proc/meminfo: memFree=1339200/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=82764 CPUtime=323.77
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 9998 0 0 0 32363 14 0 0 18 0 3 0 36974865 84750336 9329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 20691 9329 387 42 0 14943 0
[pid=14352/tid=14354] ppid=14350 vsize=82764 CPUtime=162.19
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 5426 0 0 0 16208 11 0 0 25 0 3 0 36974869 84750336 9329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=82764 CPUtime=161.53
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 3556 0 0 0 16151 2 0 0 25 0 3 0 36974869 84750336 9329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 82764

[startup+222.303 s]
/proc/loadavg: 2.01 2.01 1.93 3/80 14355
/proc/meminfo: memFree=1333632/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=88540 CPUtime=443.48
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 11448 0 0 0 44332 16 0 0 18 0 3 0 36974865 90664960 10746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 22135 10746 387 42 0 16387 0
[pid=14352/tid=14354] ppid=14350 vsize=88540 CPUtime=222.17
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 6246 0 0 0 22204 13 0 0 25 0 3 0 36974869 90664960 10746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=88540 CPUtime=221.27
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 4186 0 0 0 22125 2 0 0 25 0 3 0 36974869 90664960 10746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285252 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.48
Current children cumulated vsize (KiB) 88540

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14355
/proc/meminfo: memFree=1330176/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=91744 CPUtime=563.19
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 12290 0 0 0 56301 18 0 0 18 0 3 0 36974865 93945856 11588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 22936 11588 387 42 0 17188 0
[pid=14352/tid=14354] ppid=14350 vsize=91744 CPUtime=282.14
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7088 0 0 0 28199 15 0 0 25 0 3 0 36974869 93945856 11588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=91744 CPUtime=281
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 4186 0 0 0 28098 2 0 0 25 0 3 0 36974869 93945856 11588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.19
Current children cumulated vsize (KiB) 91744

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14355
/proc/meminfo: memFree=1323968/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=98268 CPUtime=682.9
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 13935 0 0 0 68269 21 0 0 18 0 3 0 36974865 100626432 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 24567 13101 387 42 0 18819 0
[pid=14352/tid=14354] ppid=14350 vsize=98268 CPUtime=342.12
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7870 0 0 0 34194 18 0 0 25 0 3 0 36974869 100626432 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=98268 CPUtime=340.73
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 5049 0 0 0 34071 2 0 0 25 0 3 0 36974869 100626432 13101 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 98268

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 14419
/proc/meminfo: memFree=1316672/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=107356 CPUtime=802.53
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 16158 0 0 0 80224 29 0 0 18 0 3 0 36974865 109932544 14581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 26839 14581 387 42 0 21091 0
[pid=14352/tid=14354] ppid=14350 vsize=107356 CPUtime=402.02
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 8853 0 0 0 40183 19 0 0 25 0 3 0 36974869 109932544 14581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311182 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=107356 CPUtime=400.46
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 6289 0 0 0 40037 9 0 0 25 0 3 0 36974869 109932544 14581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.53
Current children cumulated vsize (KiB) 107356

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 14521
/proc/meminfo: memFree=1314048/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=109664 CPUtime=922.09
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 16859 0 0 0 92166 43 0 0 18 0 3 0 36974865 112295936 15249 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 27416 15249 387 42 0 21668 0
[pid=14352/tid=14354] ppid=14350 vsize=109664 CPUtime=461.9
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 9554 0 0 0 46170 20 0 0 25 0 3 0 36974869 112295936 15249 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=109664 CPUtime=460.14
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 6289 0 0 0 45992 22 0 0 25 0 3 0 36974869 112295936 15249 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.09
Current children cumulated vsize (KiB) 109664

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14553
/proc/meminfo: memFree=1309312/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=117688 CPUtime=1041.77
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 18760 0 0 0 104127 50 0 0 18 0 3 0 36974865 120512512 16742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 29422 16742 387 42 0 23674 0
[pid=14352/tid=14354] ppid=14350 vsize=117688 CPUtime=521.84
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 10321 0 0 0 52161 23 0 0 25 0 3 0 36974869 120512512 16742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=117688 CPUtime=519.87
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7423 0 0 0 51961 26 0 0 25 0 3 0 36974869 120512512 16742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.77
Current children cumulated vsize (KiB) 117688

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14553
/proc/meminfo: memFree=1306688/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=119736 CPUtime=1161.49
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 19405 0 0 0 116097 52 0 0 18 0 3 0 36974865 122609664 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 29934 17387 387 42 0 24186 0
[pid=14352/tid=14354] ppid=14350 vsize=119736 CPUtime=581.82
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 10966 0 0 0 58158 24 0 0 25 0 3 0 36974869 122609664 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311048 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=119736 CPUtime=579.61
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7423 0 0 0 57935 26 0 0 25 0 3 0 36974869 122609664 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.49
Current children cumulated vsize (KiB) 119736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.706 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14553
/proc/meminfo: memFree=1305856/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=120760 CPUtime=1200.19
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 19598 0 0 0 119967 52 0 0 18 0 3 0 36974865 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 30190 17580 387 42 0 24442 0
[pid=14352/tid=14354] ppid=14350 vsize=120760 CPUtime=601.22
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 11159 0 0 0 60097 25 0 0 25 0 3 0 36974869 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=120760 CPUtime=598.92
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7423 0 0 0 59866 26 0 0 25 0 3 0 36974869 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 120760

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

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

[startup+601.706 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 14553
/proc/meminfo: memFree=1305856/2055920 swapFree=4191880/4192956
[pid=14352] ppid=14350 vsize=120760 CPUtime=1200.19
/proc/14352/stat : 14352 (ornithorynque) S 14350 14352 13801 0 -1 4194304 19598 0 0 0 119967 52 0 0 18 0 3 0 36974865 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 238496542587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/14352/statm: 30190 17580 387 42 0 24442 0
[pid=14352/tid=14354] ppid=14350 vsize=120760 CPUtime=601.22
/proc/14352/task/14354/stat : 14354 (ornithorynque) R 14350 14352 13801 0 -1 4194368 11159 0 0 0 60097 25 0 0 25 0 3 0 36974869 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=120760 CPUtime=598.92
/proc/14352/task/14355/stat : 14355 (ornithorynque) R 14350 14352 13801 0 -1 4194368 7423 0 0 0 59866 26 0 0 25 0 3 0 36974869 123658240 17580 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 120760

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.73
CPU time (s): 1200.22
CPU user time (s): 1199.69
CPU system time (s): 0.536918
CPU usage (%): 199.462
Max. virtual memory (cumulated for all children) (KiB): 120760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.536918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19598
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= 38
involuntary context switches= 23089

runsolver used 0.425935 second user time and 1.78773 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Mon Mar  5 15:54:26 UTC 2007

IDJOB= 328312
IDBENCH= 20221
IDSOLVER= 139
FILE ID= node23/328312-1173110065

PBS_JOBID= 4013899

Free space on /tmp= 66454 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328312-1173110065/ornithorynque /tmp/evaluation/328312-1173110065/instance-328312-1173110065.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-328312-1173110065 -o ROOT/results/node23/solver-328312-1173110065 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328312-1173110065/ornithorynque /tmp/evaluation/328312-1173110065/instance-328312-1173110065.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  410d091a694560f8677ebd7e24f26af7

RANDOM SEED= 64727550

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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	: 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.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:       1376048 kB
Buffers:         46472 kB
Cached:         499700 kB
SwapCached:        548 kB
Active:         151212 kB
Inactive:       454132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376048 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:             476 kB
Writeback:           0 kB
Mapped:          76032 kB
Slab:            60164 kB
Committed_AS:   209484 kB
PageTables:       1732 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= 66454 MiB

End job on node23 on Mon Mar  5 16:04:29 UTC 2007