Trace number 328516

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.18 601.522

General information on the benchmark

Namecrafted/spence/
medium/s73-100.cnf
MD5SUMe3db629d913d76ea47534f9df94ead1b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark17.1754
Satisfiable
(Un)Satisfiability was proved
Number of variables73
Number of clauses156
Sum of the clauses size468
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3156
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.00	c ...done
0.00/0.00	c nbVar=73 nbClause=156
0.00/0.00	c nbVar=73 nbClause=156
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=144 maxSat=0
0.00/0.01	c flip 0 nbSat=347 maxSat=153
0.00/0.02	c flip 0 nbSat=693 maxSat=364
0.00/0.03	c flip 0 nbSat=883 maxSat=711
0.00/0.06	c flip 0 nbSat=1305 maxSat=897
0.00/0.07	c flip 0 nbSat=1464 maxSat=1325
0.19/0.10	c flip 0 nbSat=1832 maxSat=1484
0.19/0.12	c flip 0 nbSat=2027 maxSat=1850
0.19/0.15	c flip 0 nbSat=2407 maxSat=2047
0.39/0.25	c flip 0 nbSat=3154 maxSat=2426
0.59/0.35	c flip 0 nbSat=4111 maxSat=3173
0.59/0.39	c flip 0 nbSat=4480 maxSat=4144
0.79/0.44	c flip 0 nbSat=4820 maxSat=4511
0.79/0.46	c flip 0 nbSat=5008 maxSat=4844
0.99/0.50	c flip 0 nbSat=5288 maxSat=5027
1.18/0.60	c flip 0 nbSat=5851 maxSat=5308
1.18/0.69	c flip 0 nbSat=6467 maxSat=5892
1.78/0.97	c flip 0 nbSat=7860 maxSat=6488
2.19/1.13	c flip 0 nbSat=8709 maxSat=7880
2.19/1.15	c nbDecision=10000 #clauses=8809
2.38/1.21	c flip 0 nbSat=9026 maxSat=8725
2.58/1.36	c flip 0 nbSat=9594 maxSat=9055
3.57/1.81	c flip 0 nbSat=11387 maxSat=9604
3.57/1.87	c flip 0 nbSat=11717 maxSat=11406
3.77/1.96	c flip 0 nbSat=12066 maxSat=11734
4.38/2.21	c flip 0 nbSat=13233 maxSat=12123
4.38/2.29	c flip 0 nbSat=13541 maxSat=13251
4.97/2.50	c flip 0 nbSat=14390 maxSat=13554
6.17/3.15	c flip 0 nbSat=16741 maxSat=14417
6.77/3.41	c nbDecision=20000 #clauses=17689
7.37/3.75	c flip 0 nbSat=18546 maxSat=16757
7.97/4.04	c flip 0 nbSat=19693 maxSat=18565
8.57/4.36	c flip 0 nbSat=20451 maxSat=19707
9.16/4.68	c flip 0 nbSat=21656 maxSat=20525
10.16/5.11	c flip 0 nbSat=22847 maxSat=21666
10.77/5.48	c flip 0 nbSat=23562 maxSat=22870
11.16/5.61	c flip 0 nbSat=23760 maxSat=23599
11.36/5.76	c flip 0 nbSat=24109 maxSat=23854
11.76/5.90	c flip 0 nbSat=24364 maxSat=24146
12.16/6.17	c flip 0 nbSat=24819 maxSat=24381
12.36/6.29	c flip 0 nbSat=25005 maxSat=24833
13.95/7.09	c nbDecision=30000 #clauses=26430
14.35/7.21	c flip 0 nbSat=26719 maxSat=25066
15.55/7.84	c flip 0 nbSat=27780 maxSat=26741
17.74/8.99	c flip 0 nbSat=29779 maxSat=27957
19.35/9.79	c flip 0 nbSat=32280 maxSat=29830
20.54/10.38	c flip 0 nbSat=33656 maxSat=32298
22.13/11.18	c nbDecision=40000 #clauses=35106
24.53/12.32	c flip 0 nbSat=36753 maxSat=33676
31.51/15.89	c flip 0 nbSat=41090 maxSat=36773
35.90/18.09	c nbDecision=50000 #clauses=43873
40.89/20.56	c flip 0 nbSat=45551 maxSat=41113
44.68/22.41	c flip 0 nbSat=47816 maxSat=45563
45.88/23.08	c flip 0 nbSat=48472 maxSat=47889
53.67/26.99	c nbDecision=60000 #clauses=52351
56.26/28.23	c flip 0 nbSat=53883 maxSat=48486
66.22/33.27	c nbDecision=70000 #clauses=60634
68.03/34.16	c flip 0 nbSat=61369 maxSat=53935
70.62/35.42	c flip 0 nbSat=62888 maxSat=61399
73.82/37.07	c flip 0 nbSat=64469 maxSat=62914
82.80/41.54	c flip 0 nbSat=67485 maxSat=64495
86.77/43.59	c nbDecision=80000 #clauses=68758
101.54/50.96	c flip 0 nbSat=72243 maxSat=67534
110.52/55.41	c flip 0 nbSat=74124 maxSat=72290
114.52/57.47	c flip 0 nbSat=75368 maxSat=74342
119.70/60.08	c flip 0 nbSat=76540 maxSat=75390
121.70/61.07	c nbDecision=90000 #clauses=77027
129.88/65.10	c flip 0 nbSat=78986 maxSat=76588
136.86/68.69	c flip 0 nbSat=80900 maxSat=79099
139.46/69.96	c flip 0 nbSat=81546 maxSat=80914
147.04/73.70	c flip 0 nbSat=83384 maxSat=81569
151.43/75.91	c flip 0 nbSat=84687 maxSat=83407
153.22/76.83	c nbDecision=100000 #clauses=85267
156.62/78.58	c flip 0 nbSat=86150 maxSat=84727
172.58/86.59	c flip 0 nbSat=90550 maxSat=86174
180.95/90.72	c flip 0 nbSat=92162 maxSat=90638
187.74/94.18	c nbDecision=110000 #clauses=93365
190.74/95.62	c flip 0 nbSat=93801 maxSat=92184
207.29/103.95	c flip 0 nbSat=97712 maxSat=93924
208.89/104.74	c flip 0 nbSat=98042 maxSat=97734
221.06/110.82	c flip 0 nbSat=100828 maxSat=98083
222.86/111.72	c nbDecision=120000 #clauses=101461
228.84/114.74	c flip 0 nbSat=103664 maxSat=100851
248.19/124.40	c flip 0 nbSat=109019 maxSat=103688
250.39/125.59	c nbDecision=130000 #clauses=109714
258.38/129.50	c flip 0 nbSat=111919 maxSat=109079
265.16/132.90	c flip 0 nbSat=113706 maxSat=111950
272.14/136.46	c flip 0 nbSat=115415 maxSat=113742
280.51/140.68	c nbDecision=140000 #clauses=117841
299.88/150.36	c flip 0 nbSat=122742 maxSat=115590
309.85/155.33	c flip 0 nbSat=125680 maxSat=122835
310.45/155.61	c nbDecision=150000 #clauses=126002
320.23/160.54	c flip 0 nbSat=128789 maxSat=125752
322.83/161.85	c flip 0 nbSat=129485 maxSat=128833
332.79/166.80	c flip 0 nbSat=131792 maxSat=129546
341.17/171.04	c nbDecision=160000 #clauses=133964
345.36/173.14	c flip 0 nbSat=134388 maxSat=131817
358.13/179.58	c flip 0 nbSat=136636 maxSat=134808
373.30/187.18	c flip 0 nbSat=139618 maxSat=136688
383.08/192.01	c flip 0 nbSat=141117 maxSat=139742
390.67/195.81	c nbDecision=170000 #clauses=142116
444.14/222.68	c flip 0 nbSat=148332 maxSat=141170
454.70/227.95	c nbDecision=180000 #clauses=150005
455.70/228.49	c flip 0 nbSat=150142 maxSat=148560
460.29/230.70	c flip 0 nbSat=150770 maxSat=150160
497.62/249.43	c flip 0 nbSat=155152 maxSat=150928
511.19/256.26	c flip 0 nbSat=156661 maxSat=155204
517.56/259.48	c flip 0 nbSat=157640 maxSat=156811
523.15/262.20	c nbDecision=190000 #clauses=158576
559.26/280.39	c flip 0 nbSat=162513 maxSat=157704
581.02/291.23	c flip 0 nbSat=164832 maxSat=163119
596.79/299.18	c flip 0 nbSat=166371 maxSat=165340
598.99/300.29	c nbDecision=200000 #clauses=167166
609.95/305.71	c flip 0 nbSat=168189 maxSat=166992
613.94/307.76	c flip 0 nbSat=168596 maxSat=168276
634.29/317.97	c flip 0 nbSat=171701 maxSat=168761
660.82/331.25	c nbDecision=210000 #clauses=175432
675.00/338.32	c flip 0 nbSat=176840 maxSat=171747
704.33/353.02	c flip 0 nbSat=181808 maxSat=177352
712.71/357.26	c nbDecision=220000 #clauses=183726
713.70/357.78	c flip 0 nbSat=183863 maxSat=181933
754.01/377.99	c flip 0 nbSat=189257 maxSat=183890
760.19/381.00	c flip 0 nbSat=189640 maxSat=189306
772.97/387.46	c nbDecision=230000 #clauses=191811
787.74/394.84	c flip 0 nbSat=194418 maxSat=190040
814.85/408.49	c flip 0 nbSat=198689 maxSat=194547
818.65/410.34	c flip 0 nbSat=199427 maxSat=198752
823.63/412.82	c nbDecision=240000 #clauses=200147
835.61/418.85	c flip 0 nbSat=201644 maxSat=199475
842.60/422.32	c flip 0 nbSat=202126 maxSat=201713
882.31/442.21	c flip 0 nbSat=208064 maxSat=202527
882.50/442.31	c nbDecision=250000 #clauses=208456
909.63/455.96	c flip 0 nbSat=210987 maxSat=208421
916.22/459.21	c flip 0 nbSat=212125 maxSat=211649
945.96/474.10	c flip 0 nbSat=215760 maxSat=212425
947.95/475.15	c nbDecision=260000 #clauses=216669
984.27/493.36	c flip 0 nbSat=222251 maxSat=216254
1000.82/501.67	c nbDecision=270000 #clauses=224874
1018.18/510.38	c flip 0 nbSat=227359 maxSat=222302
1025.76/514.20	c flip 0 nbSat=228294 maxSat=227546
1051.70/527.11	c nbDecision=280000 #clauses=233092
1075.84/539.22	c flip 0 nbSat=237017 maxSat=228711
1109.96/556.36	c flip 0 nbSat=241047 maxSat=237053
1112.16/557.40	c nbDecision=290000 #clauses=241463
1143.89/573.38	c flip 0 nbSat=245288 maxSat=241203
1176.60/589.73	c nbDecision=300000 #clauses=249670
1185.97/594.45	c flip 0 nbSat=250805 maxSat=245413
1197.15/600.06	c flip 0 nbSat=251952 maxSat=250836

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/node65/watcher-328516-1173112087 -o ROOT/results/node65/solver-328516-1173112087 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328516-1173112087/ornithorynque /tmp/evaluation/328516-1173112087/instance-328516-1173112087.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.93 2/64 9646
/proc/meminfo: memFree=873944/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=23220 CPUtime=0
/proc/9646/stat : 9646 (ornithorynque) R 9644 9646 8730 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 331166252 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257201076361 0 0 4096 0 0 0 0 17 1 0 0
/proc/9646/statm: 5805 257 217 42 0 45 0

[startup+0.0910329 s]
/proc/loadavg: 1.83 1.94 1.93 2/64 9646
/proc/meminfo: memFree=873944/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=44964 CPUtime=0.17
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 593 0 0 0 17 0 0 0 18 0 3 0 331166252 46043136 554 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 11241 554 387 42 0 5493 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 44964

[startup+0.101035 s]
/proc/loadavg: 1.83 1.94 1.93 2/64 9646
/proc/meminfo: memFree=873944/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=44964 CPUtime=0.19
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 596 0 0 0 19 0 0 0 18 0 3 0 331166252 46043136 557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 11241 557 387 42 0 5493 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44964

[startup+0.301068 s]
/proc/loadavg: 1.83 1.94 1.93 2/64 9646
/proc/meminfo: memFree=873944/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=45096 CPUtime=0.59
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 704 0 0 0 59 0 0 0 18 0 3 0 331166252 46178304 665 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 11274 665 387 42 0 5526 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 45096

[startup+0.701134 s]
/proc/loadavg: 1.83 1.94 1.93 2/64 9646
/proc/meminfo: memFree=873944/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=45392 CPUtime=1.38
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 881 0 0 0 138 0 0 0 18 0 3 0 331166252 46481408 842 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 11348 842 387 42 0 5600 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45392

[startup+1.50226 s]
/proc/loadavg: 1.83 1.94 1.93 3/67 9649
/proc/meminfo: memFree=871616/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=46840 CPUtime=2.98
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 1078 0 0 0 298 0 0 0 18 0 3 0 331166252 47964160 1039 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 11710 1039 387 42 0 5962 0
[pid=9646/tid=9648] ppid=9644 vsize=46840 CPUtime=1.48
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 381 0 0 0 148 0 0 0 19 0 3 0 331166253 47964160 1039 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=46840 CPUtime=1.48
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 201 0 0 0 148 0 0 0 25 0 3 0 331166253 47964160 1039 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241047 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 46840

[startup+3.10153 s]
/proc/loadavg: 1.83 1.94 1.93 3/67 9649
/proc/meminfo: memFree=870464/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=48440 CPUtime=6.17
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 1453 0 0 0 616 1 0 0 18 0 3 0 331166252 49602560 1381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 12110 1381 387 42 0 6362 0
[pid=9646/tid=9648] ppid=9644 vsize=48440 CPUtime=3.08
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 664 0 0 0 308 0 0 0 25 0 3 0 331166253 49602560 1381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311105 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=48440 CPUtime=3.07
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 293 0 0 0 307 0 0 0 25 0 3 0 331166253 49602560 1381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 48440

[startup+6.30206 s]
/proc/loadavg: 1.85 1.94 1.93 3/67 9649
/proc/meminfo: memFree=867904/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=50636 CPUtime=12.56
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 2016 0 0 0 1255 1 0 0 18 0 3 0 331166252 51851264 1911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 12659 1911 387 42 0 6911 0
[pid=9646/tid=9648] ppid=9644 vsize=50636 CPUtime=6.28
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 981 0 0 0 627 1 0 0 25 0 3 0 331166253 51851264 1911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=50636 CPUtime=6.26
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 539 0 0 0 626 0 0 0 25 0 3 0 331166253 51851264 1911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 50636

[startup+12.7011 s]
/proc/loadavg: 1.86 1.94 1.93 3/67 9649
/proc/meminfo: memFree=865088/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=54320 CPUtime=25.33
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 2831 0 0 0 2531 2 0 0 18 0 3 0 331166252 55623680 2563 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 13580 2563 387 42 0 7832 0
[pid=9646/tid=9648] ppid=9644 vsize=54320 CPUtime=12.68
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 1519 0 0 0 1267 1 0 0 25 0 3 0 331166253 55623680 2563 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=54320 CPUtime=12.63
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 816 0 0 0 1263 0 0 0 25 0 3 0 331166253 55623680 2563 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 54320

[startup+25.5012 s]
/proc/loadavg: 1.89 1.94 1.93 3/67 9649
/proc/meminfo: memFree=861888/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=56936 CPUtime=50.87
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 3634 0 0 0 5084 3 0 0 18 0 3 0 331166252 58302464 3333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 14234 3333 387 42 0 8486 0
[pid=9646/tid=9648] ppid=9644 vsize=56936 CPUtime=25.48
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 2071 0 0 0 2546 2 0 0 25 0 3 0 331166253 58302464 3333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=56936 CPUtime=25.38
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 1067 0 0 0 2538 0 0 0 25 0 3 0 331166253 58302464 3333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241172 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 56936

[startup+51.1014 s]
/proc/loadavg: 1.93 1.94 1.93 3/67 9649
/proc/meminfo: memFree=857664/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=63464 CPUtime=101.94
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 5213 0 0 0 10190 4 0 0 18 0 3 0 331166252 64987136 4490 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 15866 4490 387 42 0 10118 0
[pid=9646/tid=9648] ppid=9644 vsize=63464 CPUtime=51.06
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 2994 0 0 0 5103 3 0 0 25 0 3 0 331166253 64987136 4490 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=63464 CPUtime=50.86
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 1723 0 0 0 5085 1 0 0 25 0 3 0 331166253 64987136 4490 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241084 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 63464

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.93 3/67 9649
/proc/meminfo: memFree=852288/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=68772 CPUtime=204.11
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 6595 0 0 0 20405 6 0 0 18 0 3 0 331166252 70422528 5705 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 17193 5705 387 42 0 11445 0
[pid=9646/tid=9648] ppid=9644 vsize=68772 CPUtime=102.26
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 3966 0 0 0 10221 5 0 0 25 0 3 0 331166253 70422528 5705 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=68772 CPUtime=101.84
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 2133 0 0 0 10183 1 0 0 25 0 3 0 331166253 70422528 5705 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 68772

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.93 3/67 9649
/proc/meminfo: memFree=845504/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=75296 CPUtime=323.83
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 8511 0 0 0 32374 9 0 0 18 0 3 0 331166252 77103104 7391 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 18824 7391 387 42 0 13076 0
[pid=9646/tid=9648] ppid=9644 vsize=75296 CPUtime=162.23
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 5100 0 0 0 16216 7 0 0 25 0 3 0 331166253 77103104 7391 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311200 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=75296 CPUtime=161.58
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 2915 0 0 0 16157 1 0 0 25 0 3 0 331166253 77103104 7391 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.83
Current children cumulated vsize (KiB) 75296

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.93 3/67 9649
/proc/meminfo: memFree=841728/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=82116 CPUtime=443.54
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 10335 0 0 0 44343 11 0 0 18 0 3 0 331166252 84086784 8308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 20529 8308 387 42 0 14781 0
[pid=9646/tid=9648] ppid=9644 vsize=82116 CPUtime=222.2
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 6290 0 0 0 22211 9 0 0 25 0 3 0 331166253 84086784 8308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=82116 CPUtime=221.31
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 3549 0 0 0 22130 1 0 0 25 0 3 0 331166253 84086784 8308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241162 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 82116

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=838592/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=85996 CPUtime=563.25
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 11412 0 0 0 56313 12 0 0 18 0 3 0 331166252 88059904 9151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 21499 9151 387 42 0 15751 0
[pid=9646/tid=9648] ppid=9644 vsize=85996 CPUtime=282.18
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 6818 0 0 0 28208 10 0 0 25 0 3 0 331166253 88059904 9151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=85996 CPUtime=281.06
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 4098 0 0 0 28104 2 0 0 25 0 3 0 331166253 88059904 9151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.25
Current children cumulated vsize (KiB) 85996

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=835136/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=88892 CPUtime=682.98
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 12553 0 0 0 68284 14 0 0 18 0 3 0 331166252 91025408 9996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 22223 9996 387 42 0 16475 0
[pid=9646/tid=9648] ppid=9644 vsize=88892 CPUtime=342.16
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 7642 0 0 0 34205 11 0 0 25 0 3 0 331166253 91025408 9996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=88892 CPUtime=340.8
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 4415 0 0 0 34078 2 0 0 25 0 3 0 331166253 91025408 9996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.98
Current children cumulated vsize (KiB) 88892

[startup+402.303 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=831808/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=92480 CPUtime=802.69
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 13616 0 0 0 80254 15 0 0 18 0 3 0 331166252 94699520 10831 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 23120 10831 387 42 0 17372 0
[pid=9646/tid=9648] ppid=9644 vsize=92480 CPUtime=402.14
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 8346 0 0 0 40202 12 0 0 25 0 3 0 331166253 94699520 10831 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=92480 CPUtime=400.53
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 4774 0 0 0 40051 2 0 0 25 0 3 0 331166253 94699520 10831 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.69
Current children cumulated vsize (KiB) 92480

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=828288/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=96600 CPUtime=922.41
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 14785 0 0 0 92224 17 0 0 18 0 3 0 331166252 98918400 11671 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 24150 11671 387 42 0 18402 0
[pid=9646/tid=9648] ppid=9644 vsize=96600 CPUtime=462.13
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 8971 0 0 0 46199 14 0 0 25 0 3 0 331166253 98918400 11671 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311043 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=96600 CPUtime=460.26
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 5318 0 0 0 46024 2 0 0 25 0 3 0 331166253 98918400 11671 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284348 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.41
Current children cumulated vsize (KiB) 96600

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=824896/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=99692 CPUtime=1042.12
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 15764 0 0 0 104194 18 0 0 18 0 3 0 331166252 102084608 12551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 24923 12551 387 42 0 19175 0
[pid=9646/tid=9648] ppid=9644 vsize=99692 CPUtime=522.1
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 9719 0 0 0 52195 15 0 0 25 0 3 0 331166253 102084608 12551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=99692 CPUtime=520.02
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 5549 0 0 0 51999 3 0 0 25 0 3 0 331166253 102084608 12551 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242280 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (KiB) 99692

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=821568/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=102396 CPUtime=1161.84
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 16859 0 0 0 116164 20 0 0 18 0 3 0 331166252 104853504 13385 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 25599 13385 387 42 0 19851 0
[pid=9646/tid=9648] ppid=9644 vsize=102396 CPUtime=582.08
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 10365 0 0 0 58192 16 0 0 25 0 3 0 331166253 104853504 13385 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311054 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=102396 CPUtime=579.75
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 5998 0 0 0 57972 3 0 0 25 0 3 0 331166253 104853504 13385 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.84
Current children cumulated vsize (KiB) 102396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=820480/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=104192 CPUtime=1200.15
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 17274 0 0 0 119995 20 0 0 18 0 3 0 331166252 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 26048 13637 387 42 0 20300 0
[pid=9646/tid=9648] ppid=9644 vsize=104192 CPUtime=601.28
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 10522 0 0 0 60111 17 0 0 25 0 3 0 331166253 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=104192 CPUtime=598.86
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 6256 0 0 0 59883 3 0 0 25 0 3 0 331166253 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 104192

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

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

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.93 3/67 9649
/proc/meminfo: memFree=820480/2055920 swapFree=4184052/4192956
[pid=9646] ppid=9644 vsize=104192 CPUtime=1200.15
/proc/9646/stat : 9646 (ornithorynque) S 9644 9646 8730 0 -1 4194304 17274 0 0 0 119995 20 0 0 18 0 3 0 331166252 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257212575611 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9646/statm: 26048 13637 387 42 0 20300 0
[pid=9646/tid=9648] ppid=9644 vsize=104192 CPUtime=601.28
/proc/9646/task/9648/stat : 9648 (ornithorynque) R 9644 9646 8730 0 -1 4194368 10522 0 0 0 60111 17 0 0 25 0 3 0 331166253 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9646/tid=9649] ppid=9644 vsize=104192 CPUtime=598.86
/proc/9646/task/9649/stat : 9649 (ornithorynque) R 9644 9646 8730 0 -1 4194368 6256 0 0 0 59883 3 0 0 25 0 3 0 331166253 106692608 13637 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 104192

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.522
CPU time (s): 1200.18
CPU user time (s): 1199.97
CPU system time (s): 0.217966
CPU usage (%): 199.525
Max. virtual memory (cumulated for all children) (KiB): 104192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17274
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= 22
involuntary context switches= 9207

runsolver used 0.467928 second user time and 1.74273 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Mon Mar  5 16:28:07 UTC 2007

IDJOB= 328516
IDBENCH= 20438
IDSOLVER= 139
FILE ID= node65/328516-1173112087

PBS_JOBID= 4013919

Free space on /tmp= 66512 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s73-100.cnf
COMMAND LINE= /tmp/evaluation/328516-1173112087/ornithorynque /tmp/evaluation/328516-1173112087/instance-328516-1173112087.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-328516-1173112087 -o ROOT/results/node65/solver-328516-1173112087 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328516-1173112087/ornithorynque /tmp/evaluation/328516-1173112087/instance-328516-1173112087.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  e3db629d913d76ea47534f9df94ead1b

RANDOM SEED= 379558914

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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:        874416 kB
Buffers:         46500 kB
Cached:        1037748 kB
SwapCached:       3004 kB
Active:         389924 kB
Inactive:       705420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        874416 kB
SwapTotal:     4192956 kB
SwapFree:      4184052 kB
Dirty:             248 kB
Writeback:           0 kB
Mapped:          16928 kB
Slab:            72132 kB
Committed_AS:   758624 kB
PageTables:       1460 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= 66512 MiB

End job on node65 on Mon Mar  5 16:38:11 UTC 2007