Trace number 328329

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.17 601.631

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
MD5SUM7dc1e0d3ec36f8265c6ac507adda4d13
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark184.639
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.02/0.03	c ...done
0.02/0.03	c nbVar=4500 nbClause=12014
0.02/0.04	c nbVar=4500 nbClause=12014
0.02/0.05	c complete search running
0.02/0.05	c local search running
0.02/0.05	c flip 0 nbSat=10031 maxSat=0
0.14/0.10	c flip 10000 nbSat=11736 maxSat=11765
0.14/0.15	c flip 20000 nbSat=11850 maxSat=11851
0.14/0.19	c flip 30000 nbSat=11849 maxSat=11873
0.34/0.24	c flip 40000 nbSat=11872 maxSat=11879
0.34/0.29	c flip 50000 nbSat=11866 maxSat=11880
0.54/0.33	c flip 60000 nbSat=11874 maxSat=11883
0.54/0.38	c flip 70000 nbSat=11866 maxSat=11883
0.74/0.43	c flip 80000 nbSat=11867 maxSat=11883
0.74/0.48	c flip 0 nbSat=11117 maxSat=11891
0.94/0.56	c flip 10000 nbSat=12882 maxSat=12903
1.14/0.64	c flip 20000 nbSat=12961 maxSat=12973
1.34/0.73	c flip 30000 nbSat=12982 maxSat=13003
1.54/0.81	c flip 40000 nbSat=13000 maxSat=13016
1.54/0.89	c flip 50000 nbSat=13014 maxSat=13022
1.74/0.97	c flip 60000 nbSat=13010 maxSat=13025
1.94/1.06	c flip 70000 nbSat=13004 maxSat=13030
2.14/1.14	c flip 80000 nbSat=13024 maxSat=13033
2.33/1.24	c flip 0 nbSat=12895 maxSat=13034
2.53/1.38	c flip 10000 nbSat=14621 maxSat=14629
2.93/1.52	c flip 20000 nbSat=14666 maxSat=14688
3.13/1.65	c flip 30000 nbSat=14677 maxSat=14704
3.52/1.80	c flip 40000 nbSat=14718 maxSat=14734
3.72/1.92	c flip 50000 nbSat=14748 maxSat=14755
3.92/2.05	c flip 60000 nbSat=14741 maxSat=14757
4.13/2.19	c flip 70000 nbSat=14737 maxSat=14758
4.52/2.32	c flip 80000 nbSat=14749 maxSat=14760
4.72/2.46	c flip 0 nbSat=15240 maxSat=14761
5.12/2.64	c flip 10000 nbSat=16873 maxSat=16890
5.52/2.86	c flip 20000 nbSat=16944 maxSat=16984
5.92/3.03	c nbDecision=10000 #clauses=18046
5.92/3.07	c flip 30000 nbSat=16980 maxSat=17004
6.53/3.32	c flip 40000 nbSat=17010 maxSat=17026
6.92/3.55	c flip 50000 nbSat=17003 maxSat=17026
7.32/3.79	c flip 60000 nbSat=17018 maxSat=17045
7.92/4.03	c flip 70000 nbSat=17029 maxSat=17045
8.32/4.24	c flip 80000 nbSat=17012 maxSat=17045
8.72/4.47	c flip 0 nbSat=18403 maxSat=17045
9.51/4.83	c flip 10000 nbSat=20062 maxSat=20081
10.11/5.19	c flip 20000 nbSat=20174 maxSat=20198
10.91/5.51	c flip 30000 nbSat=20196 maxSat=20216
11.50/5.83	c flip 40000 nbSat=20228 maxSat=20239
12.31/6.25	c flip 50000 nbSat=20238 maxSat=20249
13.12/6.63	c flip 60000 nbSat=20227 maxSat=20260
13.91/7.00	c flip 70000 nbSat=20232 maxSat=20260
14.51/7.35	c flip 80000 nbSat=20236 maxSat=20260
14.51/7.37	c nbDecision=20000 #clauses=24400
15.31/7.73	c flip 0 nbSat=22736 maxSat=20260
16.50/8.33	c flip 10000 nbSat=24430 maxSat=24455
18.29/9.20	c flip 20000 nbSat=24538 maxSat=24554
20.09/10.16	c flip 30000 nbSat=24564 maxSat=24592
22.08/11.11	c flip 40000 nbSat=24556 maxSat=24592
23.69/11.96	c flip 50000 nbSat=24569 maxSat=24592
25.68/12.92	c flip 60000 nbSat=24591 maxSat=24612
27.27/13.79	c flip 70000 nbSat=24571 maxSat=24612
28.66/14.42	c nbDecision=30000 #clauses=30791
29.06/14.61	c flip 80000 nbSat=24595 maxSat=24612
30.67/15.41	c flip 0 nbSat=29378 maxSat=24612
32.66/16.45	c flip 10000 nbSat=31096 maxSat=31110
34.86/17.55	c flip 20000 nbSat=31203 maxSat=31212
36.64/18.49	c flip 30000 nbSat=31230 maxSat=31242
39.04/19.60	c flip 40000 nbSat=31249 maxSat=31263
41.04/20.69	c flip 50000 nbSat=31262 maxSat=31279
43.23/21.74	c flip 60000 nbSat=31267 maxSat=31281
45.62/22.98	c flip 70000 nbSat=31275 maxSat=31292
48.61/24.42	c flip 80000 nbSat=31272 maxSat=31292
49.02/24.60	c nbDecision=40000 #clauses=37418
51.22/25.79	c flip 0 nbSat=36219 maxSat=31296
54.21/27.29	c flip 10000 nbSat=37887 maxSat=37893
58.00/29.14	c flip 20000 nbSat=37984 maxSat=38012
62.58/31.46	c flip 30000 nbSat=38013 maxSat=38028
66.98/33.61	c flip 40000 nbSat=38006 maxSat=38033
71.17/35.78	c nbDecision=50000 #clauses=43996
71.57/35.93	c flip 50000 nbSat=38028 maxSat=38041
75.37/37.87	c flip 60000 nbSat=38031 maxSat=38057
79.15/39.71	c flip 70000 nbSat=38055 maxSat=38062
82.95/41.64	c flip 80000 nbSat=38046 maxSat=38063
87.54/43.92	c flip 0 nbSat=46356 maxSat=38068
92.72/46.53	c flip 10000 nbSat=48022 maxSat=48031
99.30/49.89	c flip 20000 nbSat=48123 maxSat=48128
100.30/50.32	c nbDecision=60000 #clauses=50644
106.29/53.32	c flip 30000 nbSat=48148 maxSat=48161
114.27/57.31	c flip 40000 nbSat=48143 maxSat=48173
122.24/61.34	c flip 50000 nbSat=48151 maxSat=48179
129.63/65.08	c flip 60000 nbSat=48149 maxSat=48179
133.22/66.88	c nbDecision=70000 #clauses=57425
137.41/68.93	c flip 70000 nbSat=48163 maxSat=48183
145.00/72.77	c flip 80000 nbSat=48165 maxSat=48188
153.18/76.82	c flip 0 nbSat=59072 maxSat=48190
160.18/80.38	c flip 10000 nbSat=60824 maxSat=60831
168.75/84.68	c flip 20000 nbSat=60866 maxSat=60885
171.15/85.87	c nbDecision=80000 #clauses=64026
177.54/89.10	c flip 30000 nbSat=60923 maxSat=60929
188.10/94.32	c flip 40000 nbSat=60942 maxSat=60956
198.28/99.42	c flip 50000 nbSat=60937 maxSat=60957
208.05/104.31	c flip 60000 nbSat=60920 maxSat=60960
211.24/105.93	c nbDecision=90000 #clauses=70708
218.02/109.37	c flip 70000 nbSat=60931 maxSat=60960
228.22/114.49	c flip 80000 nbSat=60945 maxSat=60960
239.78/120.26	c flip 0 nbSat=72655 maxSat=60960
249.56/125.18	c flip 10000 nbSat=74408 maxSat=74413
260.13/130.41	c flip 20000 nbSat=74506 maxSat=74514
261.33/131.01	c nbDecision=100000 #clauses=77475
269.93/135.39	c flip 30000 nbSat=74523 maxSat=74542
281.08/140.91	c flip 40000 nbSat=74523 maxSat=74550
291.26/146.06	c flip 50000 nbSat=74559 maxSat=74562
302.24/151.54	c flip 60000 nbSat=74557 maxSat=74578
308.62/154.78	c nbDecision=110000 #clauses=84316
314.01/157.43	c flip 70000 nbSat=74565 maxSat=74580
325.38/163.19	c flip 80000 nbSat=74553 maxSat=74580
337.36/169.18	c flip 0 nbSat=85960 maxSat=74583
348.94/174.90	c flip 10000 nbSat=87599 maxSat=87608
361.51/181.26	c flip 20000 nbSat=87692 maxSat=87718
365.50/183.27	c nbDecision=120000 #clauses=91115
373.67/187.33	c flip 30000 nbSat=87741 maxSat=87744
389.24/195.18	c flip 40000 nbSat=87729 maxSat=87746
407.39/204.29	c flip 50000 nbSat=87746 maxSat=87760
414.97/208.09	c nbDecision=130000 #clauses=97912
423.56/212.35	c flip 60000 nbSat=87731 maxSat=87772
438.34/219.72	c flip 70000 nbSat=87736 maxSat=87780
456.29/228.71	c flip 80000 nbSat=87761 maxSat=87790
467.65/234.41	c nbDecision=140000 #clauses=104687
474.05/237.64	c flip 0 nbSat=103321 maxSat=87794
489.01/245.13	c flip 10000 nbSat=105041 maxSat=105074
508.36/254.83	c flip 20000 nbSat=105115 maxSat=105144
527.53/264.42	c flip 30000 nbSat=105157 maxSat=105167
527.73/264.57	c nbDecision=150000 #clauses=111612
550.27/275.89	c flip 40000 nbSat=105185 maxSat=105187
569.42/285.48	c flip 50000 nbSat=105165 maxSat=105201
576.00/288.73	c nbDecision=160000 #clauses=118291
591.28/296.43	c flip 60000 nbSat=105162 maxSat=105201
613.22/307.46	c flip 70000 nbSat=105191 maxSat=105215
632.53/317.17	c flip 80000 nbSat=105188 maxSat=105215
650.89/326.36	c flip 0 nbSat=121390 maxSat=105223
671.04/336.40	c flip 10000 nbSat=123107 maxSat=123122
694.14/348.03	c flip 20000 nbSat=123173 maxSat=123199
702.92/352.40	c nbDecision=170000 #clauses=125078
720.67/361.38	c flip 30000 nbSat=123189 maxSat=123209
746.80/374.44	c flip 40000 nbSat=123213 maxSat=123225
769.50/385.80	c nbDecision=180000 #clauses=131917
769.50/385.84	c flip 50000 nbSat=123196 maxSat=123239
795.45/398.80	c flip 60000 nbSat=123211 maxSat=123240
820.78/411.50	c flip 70000 nbSat=123215 maxSat=123243
840.94/421.67	c nbDecision=190000 #clauses=138649
843.94/423.20	c flip 80000 nbSat=123236 maxSat=123260
866.48/434.45	c flip 0 nbSat=138996 maxSat=123260
888.64/445.54	c flip 10000 nbSat=140774 maxSat=140775
913.77/458.11	c flip 20000 nbSat=140864 maxSat=140870
917.56/460.04	c nbDecision=200000 #clauses=145305
938.32/470.41	c flip 30000 nbSat=140898 maxSat=140912
961.67/482.11	c flip 40000 nbSat=140910 maxSat=140927
988.20/495.49	c flip 50000 nbSat=140900 maxSat=140932
995.58/499.18	c nbDecision=210000 #clauses=151943
1016.33/509.51	c flip 60000 nbSat=140869 maxSat=140934
1050.86/526.89	c flip 70000 nbSat=140907 maxSat=140934
1077.00/539.91	c nbDecision=220000 #clauses=158694
1081.19/542.04	c flip 80000 nbSat=140902 maxSat=140934
1111.52/557.22	c flip 0 nbSat=159456 maxSat=140935
1139.46/571.28	c flip 10000 nbSat=161128 maxSat=161134
1155.82/579.46	c nbDecision=230000 #clauses=165388
1170.19/586.68	c flip 20000 nbSat=161225 maxSat=161237

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/node61/watcher-328329-1173110168 -o ROOT/results/node61/solver-328329-1173110168 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328329-1173110168/ornithorynque /tmp/evaluation/328329-1173110168/instance-328329-1173110168.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.83 1.94 1.90 3/64 31901
/proc/meminfo: memFree=1626528/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=23220 CPUtime=0
/proc/31901/stat : 31901 (ornithorynque) R 31899 31901 31350 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330973700 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246403890691 0 0 4096 0 0 0 0 17 1 0 0
/proc/31901/statm: 5805 264 218 42 0 45 0

[startup+0.029286 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31901
/proc/meminfo: memFree=1626528/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=24232 CPUtime=0.02
/proc/31901/stat : 31901 (ornithorynque) R 31899 31901 31350 0 -1 4194304 700 0 0 0 2 0 0 0 18 0 1 0 330973700 24813568 661 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246406353633 0 0 4096 1088 0 0 0 17 1 0 0
/proc/31901/statm: 6058 662 377 42 0 310 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24232

[startup+0.101298 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31901
/proc/meminfo: memFree=1626528/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=46680 CPUtime=0.14
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 1183 0 0 0 14 0 0 0 18 0 3 0 330973700 47800320 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 11670 1144 387 42 0 5922 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46680

[startup+0.301312 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31901
/proc/meminfo: memFree=1626528/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=46680 CPUtime=0.54
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 1206 0 0 0 54 0 0 0 18 0 3 0 330973700 47800320 1167 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 11670 1167 387 42 0 5922 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46680

[startup+0.701352 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 31901
/proc/meminfo: memFree=1626528/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=48096 CPUtime=1.34
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 1329 0 0 0 134 0 0 0 18 0 3 0 330973700 49250304 1290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 12024 1290 387 42 0 6276 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 48096

[startup+1.50143 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1622536/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=48096 CPUtime=2.93
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 1531 0 0 0 293 0 0 0 18 0 3 0 330973700 49250304 1492 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 12024 1492 387 42 0 6276 0
[pid=31901/tid=31903] ppid=31899 vsize=48096 CPUtime=1.44
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 204 0 0 0 144 0 0 0 25 0 3 0 330973705 49250304 1492 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4305822 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=48096 CPUtime=1.44
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 163 0 0 0 144 0 0 0 18 0 3 0 330973705 49250304 1492 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) 48096

[startup+3.10258 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1621384/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=50044 CPUtime=6.13
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 1889 0 0 0 612 1 0 0 18 0 3 0 330973700 51245056 1784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 12511 1784 387 42 0 6763 0
[pid=31901/tid=31903] ppid=31899 vsize=50044 CPUtime=3.04
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 383 0 0 0 304 0 0 0 25 0 3 0 330973705 51245056 1784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310848 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=50044 CPUtime=3.03
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 342 0 0 0 303 0 0 0 23 0 3 0 330973705 51245056 1784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 50044

[startup+6.30189 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1618696/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=52372 CPUtime=12.51
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 2441 0 0 0 1249 2 0 0 18 0 3 0 330973700 53628928 2336 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 13093 2336 387 42 0 7345 0
[pid=31901/tid=31903] ppid=31899 vsize=52372 CPUtime=6.24
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 712 0 0 0 624 0 0 0 25 0 3 0 330973705 53628928 2336 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=52372 CPUtime=6.21
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 565 0 0 0 621 0 0 0 25 0 3 0 330973705 53628928 2336 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 52372

[startup+12.7025 s]
/proc/loadavg: 1.87 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1615256/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=55632 CPUtime=25.28
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 3222 0 0 0 2525 3 0 0 18 0 3 0 330973700 56967168 3117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 13908 3117 387 42 0 8160 0
[pid=31901/tid=31903] ppid=31899 vsize=55632 CPUtime=12.64
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 1184 0 0 0 1263 1 0 0 25 0 3 0 330973705 56967168 3117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=55632 CPUtime=12.57
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 874 0 0 0 1257 0 0 0 25 0 3 0 330973705 56967168 3117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 55632

[startup+25.5017 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1611480/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=59984 CPUtime=50.82
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 4234 0 0 0 5077 5 0 0 18 0 3 0 330973700 61423616 4064 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 14996 4064 387 42 0 9248 0
[pid=31901/tid=31903] ppid=31899 vsize=59984 CPUtime=25.44
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 1854 0 0 0 2541 3 0 0 25 0 3 0 330973705 61423616 4064 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=59984 CPUtime=25.32
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 1216 0 0 0 2531 1 0 0 25 0 3 0 330973705 61423616 4064 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 59984

[startup+51.1012 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 31904
/proc/meminfo: memFree=1604568/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=67744 CPUtime=101.9
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 6061 0 0 0 10183 7 0 0 18 0 3 0 330973700 69369856 5779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 16936 5779 387 42 0 11188 0
[pid=31901/tid=31903] ppid=31899 vsize=67744 CPUtime=51.03
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 2804 0 0 0 5098 5 0 0 25 0 3 0 330973705 69369856 5779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=67744 CPUtime=50.81
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 2093 0 0 0 5080 1 0 0 25 0 3 0 330973705 69369856 5779 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 67744

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 31904
/proc/meminfo: memFree=1596824/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=76084 CPUtime=204.07
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 8083 0 0 0 20397 10 0 0 18 0 3 0 330973700 77910016 7672 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 19021 7672 387 42 0 13273 0
[pid=31901/tid=31903] ppid=31899 vsize=76084 CPUtime=102.22
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 4249 0 0 0 10214 8 0 0 25 0 3 0 330973705 77910016 7672 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=76084 CPUtime=101.79
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 2670 0 0 0 10178 1 0 0 25 0 3 0 330973705 77910016 7672 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 76084

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 31904
/proc/meminfo: memFree=1589592/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=83532 CPUtime=323.79
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 10031 0 0 0 32366 13 0 0 18 0 3 0 330973700 85536768 9491 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 20883 9491 387 42 0 15135 0
[pid=31901/tid=31903] ppid=31899 vsize=83532 CPUtime=162.2
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 5432 0 0 0 16210 10 0 0 25 0 3 0 330973705 85536768 9491 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311864 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=83532 CPUtime=161.52
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 3435 0 0 0 16151 1 0 0 25 0 3 0 330973705 85536768 9491 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.79
Current children cumulated vsize (KiB) 83532

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 31904
/proc/meminfo: memFree=1582680/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=91632 CPUtime=443.52
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 11935 0 0 0 44337 15 0 0 18 0 3 0 330973700 93831168 11199 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 22908 11199 387 42 0 17160 0
[pid=31901/tid=31903] ppid=31899 vsize=91632 CPUtime=222.19
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 6615 0 0 0 22207 12 0 0 25 0 3 0 330973705 93831168 11199 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=91632 CPUtime=221.28
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 4156 0 0 0 22126 2 0 0 25 0 3 0 330973705 93831168 11199 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 91632

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 31904
/proc/meminfo: memFree=1575832/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=98464 CPUtime=563.24
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 13682 0 0 0 56306 18 0 0 18 0 3 0 330973700 100827136 12913 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 24616 12913 387 42 0 18868 0
[pid=31901/tid=31903] ppid=31899 vsize=98464 CPUtime=282.17
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 7610 0 0 0 28202 15 0 0 25 0 3 0 330973705 100827136 12913 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=98464 CPUtime=281.01
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 4908 0 0 0 28099 2 0 0 25 0 3 0 330973705 100827136 12913 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 98464

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 32040
/proc/meminfo: memFree=1568784/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=105672 CPUtime=682.8
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 15257 0 0 0 68247 33 0 0 18 0 3 0 330973700 108208128 14290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 26418 14290 387 42 0 20670 0
[pid=31901/tid=31903] ppid=31899 vsize=105672 CPUtime=342.01
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 8105 0 0 0 34185 16 0 0 25 0 3 0 330973705 108208128 14290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=105672 CPUtime=340.72
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 5988 0 0 0 34056 16 0 0 25 0 3 0 330973705 108208128 14290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.8
Current children cumulated vsize (KiB) 105672

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 32104
/proc/meminfo: memFree=1566360/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=109768 CPUtime=802.44
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 16415 0 0 0 80200 44 0 0 18 0 3 0 330973700 112402432 15191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 27442 15191 387 42 0 21694 0
[pid=31901/tid=31903] ppid=31899 vsize=109768 CPUtime=401.94
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 9263 0 0 0 40176 18 0 0 25 0 3 0 330973705 112402432 15191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=109768 CPUtime=400.44
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 5988 0 0 0 40019 25 0 0 25 0 3 0 330973705 112402432 15191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 109768

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 32104
/proc/meminfo: memFree=1559448/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=118524 CPUtime=922.15
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 18636 0 0 0 92169 46 0 0 18 0 3 0 330973700 121368576 16925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 29631 16925 387 42 0 23883 0
[pid=31901/tid=31903] ppid=31899 vsize=118524 CPUtime=461.92
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 10070 0 0 0 46173 19 0 0 25 0 3 0 330973705 121368576 16925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=118524 CPUtime=460.18
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 7402 0 0 0 45992 26 0 0 25 0 3 0 330973705 121368576 16925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.15
Current children cumulated vsize (KiB) 118524

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 32104
/proc/meminfo: memFree=1556504/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=121728 CPUtime=1041.88
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 19365 0 0 0 104140 48 0 0 18 0 3 0 330973700 124649472 17654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 30432 17654 387 42 0 24684 0
[pid=31901/tid=31903] ppid=31899 vsize=121728 CPUtime=521.9
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 10799 0 0 0 52169 21 0 0 25 0 3 0 330973705 124649472 17654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=121728 CPUtime=519.92
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 7402 0 0 0 51966 26 0 0 25 0 3 0 330973705 124649472 17654 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.88
Current children cumulated vsize (KiB) 121728

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 32104
/proc/meminfo: memFree=1550040/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=128832 CPUtime=1161.61
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 21228 0 0 0 116111 50 0 0 18 0 3 0 330973700 131923968 19283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 32208 19283 387 42 0 26460 0
[pid=31901/tid=31903] ppid=31899 vsize=128832 CPUtime=581.89
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 11513 0 0 0 58166 23 0 0 25 0 3 0 330973705 131923968 19283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=128832 CPUtime=579.66
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 8551 0 0 0 57940 26 0 0 25 0 3 0 330973705 131923968 19283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.61
Current children cumulated vsize (KiB) 128832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 2.07 1.99 1.91 3/67 32104
/proc/meminfo: memFree=1548952/2055920 swapFree=4183424/4192956
[pid=31901] ppid=31899 vsize=129856 CPUtime=1200.14
/proc/31901/stat : 31901 (ornithorynque) S 31899 31901 31350 0 -1 4194304 21482 0 0 0 119963 51 0 0 18 0 3 0 330973700 132972544 19537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 246415388539 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31901/statm: 32464 19537 387 42 0 26716 0
[pid=31901/tid=31903] ppid=31899 vsize=129856 CPUtime=601.19
/proc/31901/task/31903/stat : 31903 (ornithorynque) R 31899 31901 31350 0 -1 4194368 11767 0 0 0 60096 23 0 0 25 0 3 0 330973705 132972544 19537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31901/tid=31904] ppid=31899 vsize=129856 CPUtime=598.88
/proc/31901/task/31904/stat : 31904 (ornithorynque) R 31899 31901 31350 0 -1 4194368 8551 0 0 0 59862 26 0 0 25 0 3 0 330973705 132972544 19537 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241746 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 129856

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.631
CPU time (s): 1200.17
CPU user time (s): 1199.64
CPU system time (s): 0.52292
CPU usage (%): 199.485
Max. virtual memory (cumulated for all children) (KiB): 129856

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

runsolver used 0.490925 second user time and 1.72374 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Mon Mar  5 15:56:08 UTC 2007

IDJOB= 328329
IDBENCH= 20240
IDSOLVER= 139
FILE ID= node61/328329-1173110168

PBS_JOBID= 4013912

Free space on /tmp= 66528 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  7dc1e0d3ec36f8265c6ac507adda4d13

RANDOM SEED= 427325994

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.216
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.216
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:       1626936 kB
Buffers:         25100 kB
Cached:         328132 kB
SwapCached:       3496 kB
Active:          47228 kB
Inactive:       315512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626936 kB
SwapTotal:     4192956 kB
SwapFree:      4183424 kB
Dirty:             444 kB
Writeback:           0 kB
Mapped:          15620 kB
Slab:            52328 kB
Committed_AS:   864080 kB
PageTables:       1388 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= 66528 MiB

End job on node61 on Mon Mar  5 16:06:12 UTC 2007