Trace number 328338

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

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
MD5SUM31fa9dcbbdcf6d6838519178df62b3fa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark525.455
Satisfiable
(Un)Satisfiability was proved
Number of variables4494
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.04	c complete search running
0.00/0.04	c local search running
0.00/0.05	c flip 0 nbSat=10081 maxSat=0
0.14/0.10	c flip 10000 nbSat=11774 maxSat=11781
0.14/0.14	c flip 20000 nbSat=11847 maxSat=11865
0.14/0.19	c flip 30000 nbSat=11868 maxSat=11891
0.34/0.24	c flip 40000 nbSat=11880 maxSat=11902
0.34/0.29	c flip 50000 nbSat=11879 maxSat=11902
0.54/0.33	c flip 60000 nbSat=11872 maxSat=11902
0.54/0.38	c flip 70000 nbSat=11872 maxSat=11902
0.74/0.43	c flip 80000 nbSat=11893 maxSat=11902
0.74/0.48	c flip 0 nbSat=11239 maxSat=11906
0.94/0.56	c flip 10000 nbSat=12903 maxSat=12909
1.14/0.64	c flip 20000 nbSat=12945 maxSat=12959
1.34/0.72	c flip 30000 nbSat=12968 maxSat=12991
1.34/0.79	c flip 40000 nbSat=13013 maxSat=13021
1.55/0.87	c flip 50000 nbSat=13022 maxSat=13041
1.75/0.96	c flip 60000 nbSat=13011 maxSat=13041
1.95/1.05	c flip 70000 nbSat=13017 maxSat=13046
2.15/1.13	c flip 80000 nbSat=13046 maxSat=13053
2.34/1.23	c flip 0 nbSat=12992 maxSat=13054
2.54/1.36	c flip 10000 nbSat=14673 maxSat=14688
2.74/1.49	c flip 20000 nbSat=14725 maxSat=14737
3.14/1.63	c flip 30000 nbSat=14736 maxSat=14757
3.34/1.77	c flip 40000 nbSat=14756 maxSat=14770
3.54/1.90	c flip 50000 nbSat=14774 maxSat=14791
3.94/2.03	c flip 60000 nbSat=14768 maxSat=14794
4.14/2.16	c flip 70000 nbSat=14778 maxSat=14799
4.34/2.29	c flip 80000 nbSat=14781 maxSat=14799
4.73/2.43	c flip 0 nbSat=15149 maxSat=14799
5.13/2.63	c flip 10000 nbSat=16899 maxSat=16906
5.53/2.85	c flip 20000 nbSat=16936 maxSat=16964
5.93/3.06	c flip 30000 nbSat=17002 maxSat=17015
6.13/3.10	c nbDecision=10000 #clauses=18300
6.34/3.29	c flip 40000 nbSat=17022 maxSat=17029
6.92/3.51	c flip 50000 nbSat=17020 maxSat=17039
7.32/3.72	c flip 60000 nbSat=17029 maxSat=17051
7.72/3.95	c flip 70000 nbSat=17012 maxSat=17051
8.12/4.18	c flip 80000 nbSat=17036 maxSat=17051
8.73/4.42	c flip 0 nbSat=18413 maxSat=17053
9.33/4.74	c flip 10000 nbSat=20108 maxSat=20135
10.13/5.10	c flip 20000 nbSat=20199 maxSat=20204
10.73/5.49	c flip 30000 nbSat=20224 maxSat=20229
11.52/5.82	c flip 40000 nbSat=20203 maxSat=20236
12.12/6.18	c flip 50000 nbSat=20232 maxSat=20259
12.92/6.54	c flip 60000 nbSat=20246 maxSat=20263
13.71/6.94	c flip 70000 nbSat=20249 maxSat=20273
14.51/7.35	c flip 80000 nbSat=20267 maxSat=20275
15.51/7.80	c flip 0 nbSat=22132 maxSat=20283
16.71/8.40	c flip 10000 nbSat=23906 maxSat=23916
16.71/8.42	c nbDecision=20000 #clauses=24869
18.10/9.14	c flip 20000 nbSat=23937 maxSat=23967
19.50/9.84	c flip 30000 nbSat=23945 maxSat=23976
20.69/10.47	c flip 40000 nbSat=23996 maxSat=24009
22.09/11.12	c flip 50000 nbSat=23994 maxSat=24017
23.49/11.80	c flip 60000 nbSat=23987 maxSat=24018
24.68/12.46	c flip 70000 nbSat=24013 maxSat=24028
26.09/13.14	c flip 80000 nbSat=23995 maxSat=24029
27.48/13.80	c flip 0 nbSat=28324 maxSat=24036
29.28/14.74	c flip 10000 nbSat=29960 maxSat=29976
30.08/15.19	c nbDecision=30000 #clauses=31306
31.07/15.70	c flip 20000 nbSat=30040 maxSat=30054
33.27/16.77	c flip 30000 nbSat=30050 maxSat=30078
35.66/17.95	c flip 40000 nbSat=30083 maxSat=30100
38.05/19.16	c flip 50000 nbSat=30102 maxSat=30113
40.25/20.28	c flip 60000 nbSat=30096 maxSat=30116
42.65/21.42	c flip 70000 nbSat=30108 maxSat=30126
44.65/22.46	c flip 80000 nbSat=30100 maxSat=30127
44.85/22.55	c nbDecision=40000 #clauses=37747
46.84/23.59	c flip 0 nbSat=36376 maxSat=30129
50.23/25.29	c flip 10000 nbSat=38154 maxSat=38165
54.02/27.12	c flip 20000 nbSat=38216 maxSat=38245
57.81/29.01	c flip 30000 nbSat=38249 maxSat=38268
61.59/30.96	c flip 40000 nbSat=38238 maxSat=38271
64.39/32.36	c nbDecision=50000 #clauses=44183
64.99/32.67	c flip 50000 nbSat=38245 maxSat=38271
68.00/34.15	c flip 60000 nbSat=38254 maxSat=38287
71.37/35.82	c flip 70000 nbSat=38277 maxSat=38288
74.56/37.47	c flip 80000 nbSat=38257 maxSat=38301
77.75/39.04	c flip 0 nbSat=46115 maxSat=38301
82.34/41.39	c flip 10000 nbSat=47851 maxSat=47854
87.74/44.08	c flip 20000 nbSat=47890 maxSat=47910
88.53/44.42	c nbDecision=60000 #clauses=50703
93.72/47.06	c flip 30000 nbSat=47929 maxSat=47952
99.51/50.00	c flip 40000 nbSat=47929 maxSat=47967
105.10/52.79	c flip 50000 nbSat=47961 maxSat=47973
111.28/55.80	c flip 60000 nbSat=47942 maxSat=47973
116.27/58.38	c flip 70000 nbSat=47963 maxSat=47973
117.06/58.79	c nbDecision=70000 #clauses=57251
122.06/61.21	c flip 80000 nbSat=47929 maxSat=47977
128.24/64.38	c flip 0 nbSat=57638 maxSat=47977
135.83/68.10	c flip 10000 nbSat=59335 maxSat=59346
146.01/73.29	c flip 20000 nbSat=59404 maxSat=59420
152.98/76.72	c nbDecision=80000 #clauses=64145
155.78/78.15	c flip 30000 nbSat=59433 maxSat=59455
164.74/82.66	c flip 40000 nbSat=59473 maxSat=59481
172.73/86.67	c flip 50000 nbSat=59453 maxSat=59482
180.91/90.75	c flip 60000 nbSat=59466 maxSat=59488
182.70/91.65	c nbDecision=90000 #clauses=70673
189.70/95.19	c flip 70000 nbSat=59473 maxSat=59488
198.27/99.44	c flip 80000 nbSat=59458 maxSat=59488
206.26/103.45	c flip 0 nbSat=73032 maxSat=59488
215.83/108.23	c flip 10000 nbSat=74796 maxSat=74805
219.43/110.05	c nbDecision=100000 #clauses=77254
226.81/113.71	c flip 20000 nbSat=74890 maxSat=74894
238.98/119.89	c flip 30000 nbSat=74895 maxSat=74932
251.95/126.36	c flip 40000 nbSat=74912 maxSat=74936
260.52/130.65	c nbDecision=110000 #clauses=83908
264.51/132.62	c flip 50000 nbSat=74911 maxSat=74936
276.49/138.67	c flip 60000 nbSat=74932 maxSat=74942
289.66/145.26	c flip 70000 nbSat=74919 maxSat=74954
301.63/151.23	c flip 80000 nbSat=74907 maxSat=74954
309.22/155.10	c nbDecision=120000 #clauses=90874
314.80/157.89	c flip 0 nbSat=89509 maxSat=74954
327.36/164.10	c flip 10000 nbSat=91354 maxSat=91380
341.73/171.34	c flip 20000 nbSat=91441 maxSat=91460
358.89/179.94	c flip 30000 nbSat=91451 maxSat=91468
365.47/183.26	c nbDecision=130000 #clauses=97422
375.05/188.04	c flip 40000 nbSat=91480 maxSat=91497
390.21/195.64	c flip 50000 nbSat=91455 maxSat=91497
405.99/203.52	c flip 60000 nbSat=91480 maxSat=91506
424.13/212.61	c flip 70000 nbSat=91476 maxSat=91512
424.33/212.73	c nbDecision=140000 #clauses=103846
442.64/221.92	c flip 80000 nbSat=91490 maxSat=91518
462.35/231.80	c flip 0 nbSat=106570 maxSat=91518
474.71/238.01	c nbDecision=150000 #clauses=110338
476.30/238.84	c flip 10000 nbSat=108342 maxSat=108359
495.23/248.32	c flip 20000 nbSat=108440 maxSat=108446
517.16/259.34	c flip 30000 nbSat=108443 maxSat=108477
523.95/262.71	c nbDecision=160000 #clauses=116757
539.87/270.76	c flip 40000 nbSat=108473 maxSat=108495
563.00/282.30	c flip 50000 nbSat=108479 maxSat=108506
589.12/295.48	c flip 60000 nbSat=108466 maxSat=108506
593.51/297.62	c nbDecision=170000 #clauses=123501
613.62/307.74	c flip 70000 nbSat=108493 maxSat=108523
637.16/319.51	c flip 80000 nbSat=108503 maxSat=108524
661.11/331.52	c flip 0 nbSat=127841 maxSat=108529
664.10/333.03	c nbDecision=180000 #clauses=130323
680.67/341.31	c flip 10000 nbSat=129617 maxSat=129638
706.41/354.24	c flip 20000 nbSat=129723 maxSat=129739
734.74/368.45	c flip 30000 nbSat=129728 maxSat=129751
743.91/373.06	c nbDecision=190000 #clauses=137229
764.26/383.28	c flip 40000 nbSat=129734 maxSat=129766
791.00/396.68	c flip 50000 nbSat=129778 maxSat=129785
815.94/409.12	c nbDecision=200000 #clauses=143906
816.93/409.62	c flip 60000 nbSat=129779 maxSat=129798
840.48/421.41	c flip 70000 nbSat=129791 maxSat=129814
864.82/433.62	c flip 80000 nbSat=129815 maxSat=129833
885.78/444.12	c nbDecision=210000 #clauses=150673
890.17/446.34	c flip 0 nbSat=148970 maxSat=129833
914.30/458.45	c flip 10000 nbSat=150716 maxSat=150726
944.44/473.57	c flip 20000 nbSat=150876 maxSat=150890
973.97/488.37	c flip 30000 nbSat=150898 maxSat=150909
975.36/489.02	c nbDecision=220000 #clauses=157657
1007.29/505.08	c flip 40000 nbSat=150906 maxSat=150924
1036.22/519.59	c flip 50000 nbSat=150944 maxSat=150946
1065.75/534.39	c flip 60000 nbSat=150951 maxSat=150964
1082.11/542.52	c nbDecision=230000 #clauses=164376
1095.08/549.02	c flip 70000 nbSat=150944 maxSat=150968
1124.01/563.52	c flip 80000 nbSat=150951 maxSat=150968
1159.53/581.31	c flip 0 nbSat=167767 maxSat=150969
1186.87/595.04	c flip 10000 nbSat=169437 maxSat=169457
1187.66/595.45	c nbDecision=240000 #clauses=171273

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/node60/watcher-328338-1173110242 -o ROOT/results/node60/solver-328338-1173110242 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328338-1173110242/ornithorynque /tmp/evaluation/328338-1173110242/instance-328338-1173110242.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.88 1.99 1.93 3/64 24988
/proc/meminfo: memFree=1657616/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=23220 CPUtime=0
/proc/24988/stat : 24988 (ornithorynque) R 24986 24988 24437 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330981073 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271891592842 0 0 4096 0 0 0 0 17 1 0 0
/proc/24988/statm: 5805 264 218 42 0 45 0

[startup+0.0696451 s]
/proc/loadavg: 1.88 1.99 1.93 3/64 24988
/proc/meminfo: memFree=1657616/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=46676 CPUtime=0.08
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1183 0 0 0 8 0 0 0 18 0 3 0 330981073 47796224 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 11669 1144 387 42 0 5921 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46676

[startup+0.10165 s]
/proc/loadavg: 1.88 1.99 1.93 3/64 24988
/proc/meminfo: memFree=1657616/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=46676 CPUtime=0.14
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1183 0 0 0 14 0 0 0 18 0 3 0 330981073 47796224 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 11669 1144 387 42 0 5921 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46676

[startup+0.301682 s]
/proc/loadavg: 1.88 1.99 1.93 3/64 24988
/proc/meminfo: memFree=1657616/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=46676 CPUtime=0.54
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1210 0 0 0 54 0 0 0 18 0 3 0 330981073 47796224 1171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 11669 1171 387 42 0 5921 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46676

[startup+0.701757 s]
/proc/loadavg: 1.88 1.99 1.93 3/64 24988
/proc/meminfo: memFree=1657616/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=48092 CPUtime=1.34
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1328 0 0 0 134 0 0 0 18 0 3 0 330981073 49246208 1289 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 12023 1289 387 42 0 6275 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 48092

[startup+1.5019 s]
/proc/loadavg: 1.88 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1653688/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=48356 CPUtime=2.94
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1515 0 0 0 293 1 0 0 18 0 3 0 330981073 49516544 1476 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 12089 1476 387 42 0 6341 0
[pid=24988/tid=24990] ppid=24986 vsize=48356 CPUtime=1.44
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 221 0 0 0 144 0 0 0 25 0 3 0 330981078 49516544 1476 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=48356 CPUtime=1.44
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 130 0 0 0 144 0 0 0 25 0 3 0 330981078 49516544 1476 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242580 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 48356

[startup+3.10118 s]
/proc/loadavg: 1.88 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1652600/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=50036 CPUtime=6.13
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 1867 0 0 0 612 1 0 0 18 0 3 0 330981073 51236864 1762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 12509 1762 387 42 0 6761 0
[pid=24988/tid=24990] ppid=24986 vsize=50036 CPUtime=3.04
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 440 0 0 0 304 0 0 0 22 0 3 0 330981078 51236864 1762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=50036 CPUtime=3.03
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 263 0 0 0 303 0 0 0 25 0 3 0 330981078 51236864 1762 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283769 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 50036

[startup+6.30176 s]
/proc/loadavg: 1.89 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1650424/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=50964 CPUtime=12.52
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 2277 0 0 0 1250 2 0 0 18 0 3 0 330981073 52187136 2172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 12741 2172 387 42 0 6993 0
[pid=24988/tid=24990] ppid=24986 vsize=50964 CPUtime=6.24
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 706 0 0 0 624 0 0 0 25 0 3 0 330981078 52187136 2172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311212 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=50964 CPUtime=6.22
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 407 0 0 0 622 0 0 0 25 0 3 0 330981078 52187136 2172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 50964

[startup+12.7019 s]
/proc/loadavg: 1.90 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1647608/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=54244 CPUtime=25.28
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 2893 0 0 0 2526 2 0 0 18 0 3 0 330981073 55545856 2788 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 13561 2788 387 42 0 7813 0
[pid=24988/tid=24990] ppid=24986 vsize=54244 CPUtime=12.64
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 1008 0 0 0 1263 1 0 0 25 0 3 0 330981078 55545856 2788 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=54244 CPUtime=12.59
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 721 0 0 0 1259 0 0 0 25 0 3 0 330981078 55545856 2788 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241104 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 54244

[startup+25.5012 s]
/proc/loadavg: 1.92 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1642488/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=59428 CPUtime=50.83
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 4294 0 0 0 5079 4 0 0 18 0 3 0 330981073 60854272 4059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 14857 4059 387 42 0 9109 0
[pid=24988/tid=24990] ppid=24986 vsize=59428 CPUtime=25.43
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 1619 0 0 0 2541 2 0 0 25 0 3 0 330981078 60854272 4059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=59428 CPUtime=25.34
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 1511 0 0 0 2533 1 0 0 25 0 3 0 330981078 60854272 4059 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240942 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 59428

[startup+51.1017 s]
/proc/loadavg: 1.95 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1637496/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=64716 CPUtime=101.9
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 5609 0 0 0 10184 6 0 0 18 0 3 0 330981073 66269184 5327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 16179 5327 387 42 0 10431 0
[pid=24988/tid=24990] ppid=24986 vsize=64716 CPUtime=51.02
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 2451 0 0 0 5099 3 0 0 25 0 3 0 330981078 66269184 5327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=64716 CPUtime=50.82
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 1994 0 0 0 5081 1 0 0 25 0 3 0 330981078 66269184 5327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241077 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 64716

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1629048/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=73800 CPUtime=204.07
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 7786 0 0 0 20398 9 0 0 18 0 3 0 330981073 75571200 7375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 18450 7375 387 42 0 12702 0
[pid=24988/tid=24990] ppid=24986 vsize=73800 CPUtime=102.21
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 4050 0 0 0 10215 6 0 0 25 0 3 0 330981078 75571200 7375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=73800 CPUtime=101.79
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 2572 0 0 0 10178 1 0 0 25 0 3 0 330981078 75571200 7375 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 73800

[startup+162.302 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 24991
/proc/meminfo: memFree=1619896/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=83976 CPUtime=323.78
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 10317 0 0 0 32367 11 0 0 18 0 3 0 330981073 85991424 9674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 20994 9674 387 42 0 15246 0
[pid=24988/tid=24990] ppid=24986 vsize=83976 CPUtime=162.19
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 4957 0 0 0 16211 8 0 0 25 0 3 0 330981078 85991424 9674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=83976 CPUtime=161.54
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 4196 0 0 0 16152 2 0 0 25 0 3 0 330981078 85991424 9674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (KiB) 83976

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 1.93 3/73 25055
/proc/meminfo: memFree=1614360/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=88576 CPUtime=443.4
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 11390 0 0 0 44326 14 0 0 18 0 3 0 330981073 90701824 10654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 22144 10654 387 42 0 16396 0
[pid=24988/tid=24990] ppid=24986 vsize=88576 CPUtime=222.11
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 6030 0 0 0 22201 10 0 0 25 0 3 0 330981078 90701824 10654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=88576 CPUtime=221.23
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 4196 0 0 0 22120 3 0 0 25 0 3 0 330981078 90701824 10654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 88576

[startup+282.302 s]
/proc/loadavg: 1.99 1.99 1.93 3/73 25155
/proc/meminfo: memFree=1608192/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=94344 CPUtime=563
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 12948 0 0 0 56273 27 0 0 18 0 3 0 330981073 96608256 12212 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 23586 12212 387 42 0 17838 0
[pid=24988/tid=24990] ppid=24986 vsize=94344 CPUtime=281.99
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 7004 0 0 0 28186 13 0 0 25 0 3 0 330981078 96608256 12212 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=94344 CPUtime=280.95
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 4780 0 0 0 28082 13 0 0 25 0 3 0 330981078 96608256 12212 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 94344

[startup+342.302 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1602488/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=102428 CPUtime=682.67
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 15012 0 0 0 68232 35 0 0 18 0 3 0 330981073 104886272 13953 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 25607 13953 387 42 0 19859 0
[pid=24988/tid=24990] ppid=24986 vsize=102428 CPUtime=341.92
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 8085 0 0 0 34178 14 0 0 25 0 3 0 330981078 104886272 13953 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=102428 CPUtime=340.68
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 5763 0 0 0 34049 19 0 0 25 0 3 0 330981078 104886272 13953 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.67
Current children cumulated vsize (KiB) 102428

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1599544/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=105632 CPUtime=802.37
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 15746 0 0 0 80202 35 0 0 18 0 3 0 330981073 108167168 14687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 26408 14687 387 42 0 20660 0
[pid=24988/tid=24990] ppid=24986 vsize=105632 CPUtime=401.9
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 8819 0 0 0 40175 15 0 0 25 0 3 0 330981078 108167168 14687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=105632 CPUtime=400.42
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 5763 0 0 0 40023 19 0 0 25 0 3 0 330981078 108167168 14687 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.37
Current children cumulated vsize (KiB) 105632

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1592888/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=113844 CPUtime=922.08
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 17810 0 0 0 92171 37 0 0 18 0 3 0 330981073 116576256 16331 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 28461 16331 387 42 0 22713 0
[pid=24988/tid=24990] ppid=24986 vsize=113844 CPUtime=461.88
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 9543 0 0 0 46171 17 0 0 25 0 3 0 330981078 116576256 16331 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=113844 CPUtime=460.15
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 7103 0 0 0 45996 19 0 0 25 0 3 0 330981078 116576256 16331 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.08
Current children cumulated vsize (KiB) 113844

[startup+522.303 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1590456/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=115892 CPUtime=1041.81
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 18411 0 0 0 104142 39 0 0 18 0 3 0 330981073 118673408 16932 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 28973 16932 387 42 0 23225 0
[pid=24988/tid=24990] ppid=24986 vsize=115892 CPUtime=521.87
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 10144 0 0 0 52168 19 0 0 25 0 3 0 330981078 118673408 16932 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=115892 CPUtime=519.89
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 7103 0 0 0 51970 19 0 0 25 0 3 0 330981078 118673408 16932 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (KiB) 115892

[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1585656/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=121856 CPUtime=1161.52
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 19974 0 0 0 116111 41 0 0 18 0 3 0 330981073 124780544 18166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 30464 18166 387 42 0 24716 0
[pid=24988/tid=24990] ppid=24986 vsize=121856 CPUtime=581.84
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 10696 0 0 0 58164 20 0 0 25 0 3 0 330981078 124780544 18166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=121856 CPUtime=579.63
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 8114 0 0 0 57943 20 0 0 25 0 3 0 330981078 124780544 18166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 121856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.99 1.93 3/67 25189
/proc/meminfo: memFree=1584952/2055920 swapFree=4183500/4192956
[pid=24988] ppid=24986 vsize=123012 CPUtime=1200.04
/proc/24988/stat : 24988 (ornithorynque) S 24986 24988 24437 0 -1 4194304 20137 0 0 0 119962 42 0 0 18 0 3 0 330981073 125964288 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24988/statm: 30753 18329 387 42 0 25005 0
[pid=24988/tid=24990] ppid=24986 vsize=123012 CPUtime=601.14
/proc/24988/task/24990/stat : 24990 (ornithorynque) R 24986 24988 24437 0 -1 4194368 10859 0 0 0 60093 21 0 0 25 0 3 0 330981078 125964288 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24988/tid=24991] ppid=24986 vsize=123012 CPUtime=598.84
/proc/24988/task/24991/stat : 24991 (ornithorynque) R 24986 24988 24437 0 -1 4194368 8114 0 0 0 59864 20 0 0 25 0 3 0 330981078 125964288 18329 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 123012

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.08
CPU user time (s): 1199.64
CPU system time (s): 0.435933
CPU usage (%): 199.471
Max. virtual memory (cumulated for all children) (KiB): 123012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.435933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20137
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= 43
involuntary context switches= 9539

runsolver used 0.472928 second user time and 1.73773 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Mar  5 15:57:22 UTC 2007

IDJOB= 328338
IDBENCH= 20250
IDSOLVER= 139
FILE ID= node60/328338-1173110242

PBS_JOBID= 4013922

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  31fa9dcbbdcf6d6838519178df62b3fa

RANDOM SEED= 174095436

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.283
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.283
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:       1658024 kB
Buffers:         26524 kB
Cached:         297144 kB
SwapCached:       3412 kB
Active:          51512 kB
Inactive:       281796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658024 kB
SwapTotal:     4192956 kB
SwapFree:      4183500 kB
Dirty:             436 kB
Writeback:           0 kB
Mapped:          15628 kB
Slab:            50548 kB
Committed_AS:   915788 kB
PageTables:       1464 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= 66534 MiB

End job on node60 on Mon Mar  5 16:07:26 UTC 2007