Trace number 328271

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.15 601.532

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
MD5SUM8e2b6af718158791a511354b0839f24f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.9097
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
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.08	c ...done
0.00/0.08	c nbVar=7000 nbClause=29400
0.00/0.09	c nbVar=7000 nbClause=29400
0.09/0.11	c complete search running
0.09/0.11	c local search running
0.09/0.12	c flip 0 nbSat=25685 maxSat=0
0.28/0.20	c flip 10000 nbSat=28258 maxSat=28258
0.28/0.27	c flip 20000 nbSat=28607 maxSat=28622
0.48/0.34	c flip 30000 nbSat=28732 maxSat=28766
0.68/0.41	c flip 40000 nbSat=28903 maxSat=28910
0.68/0.48	c flip 50000 nbSat=28951 maxSat=28978
0.88/0.54	c flip 60000 nbSat=28880 maxSat=28978
1.08/0.61	c flip 70000 nbSat=28931 maxSat=28978
1.08/0.68	c flip 80000 nbSat=28966 maxSat=28996
1.28/0.74	c flip 90000 nbSat=28963 maxSat=29002
1.48/0.81	c flip 100000 nbSat=28991 maxSat=29019
1.48/0.87	c flip 110000 nbSat=29022 maxSat=29056
1.68/0.94	c flip 120000 nbSat=29044 maxSat=29081
1.88/1.00	c flip 130000 nbSat=29041 maxSat=29081
1.88/1.08	c flip 0 nbSat=26576 maxSat=29081
2.28/1.21	c flip 10000 nbSat=29068 maxSat=29088
2.47/1.34	c flip 20000 nbSat=29412 maxSat=29462
2.67/1.48	c flip 30000 nbSat=29500 maxSat=29551
3.07/1.60	c flip 40000 nbSat=29653 maxSat=29663
3.27/1.74	c flip 50000 nbSat=29681 maxSat=29728
3.47/1.88	c flip 60000 nbSat=29692 maxSat=29732
3.87/2.01	c flip 70000 nbSat=29653 maxSat=29736
4.07/2.15	c flip 80000 nbSat=29721 maxSat=29737
4.27/2.27	c flip 90000 nbSat=29695 maxSat=29740
4.66/2.40	c flip 100000 nbSat=29712 maxSat=29755
4.86/2.54	c flip 110000 nbSat=29722 maxSat=29755
5.06/2.68	c flip 120000 nbSat=29775 maxSat=29789
5.46/2.81	c flip 130000 nbSat=29729 maxSat=29797
5.66/2.97	c flip 0 nbSat=28095 maxSat=29797
6.06/3.17	c flip 10000 nbSat=30636 maxSat=30672
6.46/3.39	c flip 20000 nbSat=30980 maxSat=30980
7.06/3.61	c flip 30000 nbSat=31112 maxSat=31119
7.46/3.83	c flip 40000 nbSat=31186 maxSat=31197
7.86/4.05	c flip 50000 nbSat=31184 maxSat=31222
8.25/4.28	c flip 60000 nbSat=31191 maxSat=31224
8.86/4.50	c flip 70000 nbSat=31217 maxSat=31245
9.25/4.73	c flip 80000 nbSat=31254 maxSat=31273
9.65/4.99	c flip 90000 nbSat=31221 maxSat=31300
10.25/5.24	c flip 100000 nbSat=31299 maxSat=31350
10.65/5.47	c flip 110000 nbSat=31307 maxSat=31354
11.25/5.71	c flip 120000 nbSat=31360 maxSat=31380
11.65/5.95	c flip 130000 nbSat=31303 maxSat=31380
12.25/6.23	c flip 0 nbSat=30878 maxSat=31380
12.65/6.42	c nbDecision=10000 #clauses=34722
13.06/6.61	c flip 10000 nbSat=33516 maxSat=33519
13.84/7.01	c flip 20000 nbSat=33852 maxSat=33864
14.64/7.42	c flip 30000 nbSat=33941 maxSat=33963
15.44/7.83	c flip 40000 nbSat=34010 maxSat=34022
16.24/8.26	c flip 50000 nbSat=33935 maxSat=34057
17.04/8.68	c flip 60000 nbSat=33977 maxSat=34057
18.04/9.11	c flip 70000 nbSat=34028 maxSat=34078
18.84/9.53	c flip 80000 nbSat=34029 maxSat=34083
19.64/9.95	c flip 90000 nbSat=34127 maxSat=34140
20.43/10.35	c flip 100000 nbSat=34046 maxSat=34140
21.23/10.78	c flip 110000 nbSat=34110 maxSat=34140
22.22/11.22	c flip 120000 nbSat=34116 maxSat=34157
23.02/11.68	c flip 130000 nbSat=34128 maxSat=34157
24.03/12.19	c flip 0 nbSat=34695 maxSat=34179
25.42/12.85	c flip 10000 nbSat=37120 maxSat=37140
26.82/13.59	c flip 20000 nbSat=37471 maxSat=37481
28.42/14.39	c flip 30000 nbSat=37631 maxSat=37645
30.22/15.28	c flip 40000 nbSat=37712 maxSat=37739
32.00/16.14	c flip 50000 nbSat=37719 maxSat=37776
33.60/16.95	c flip 60000 nbSat=37758 maxSat=37783
35.00/17.62	c nbDecision=20000 #clauses=40772
35.00/17.68	c flip 70000 nbSat=37708 maxSat=37785
36.79/18.53	c flip 80000 nbSat=37780 maxSat=37814
38.37/19.35	c flip 90000 nbSat=37811 maxSat=37835
39.97/20.16	c flip 100000 nbSat=37801 maxSat=37843
41.77/21.02	c flip 110000 nbSat=37810 maxSat=37843
43.36/21.89	c flip 120000 nbSat=37849 maxSat=37867
45.15/22.70	c flip 130000 nbSat=37833 maxSat=37882
46.76/23.59	c flip 0 nbSat=39440 maxSat=37882
49.15/24.73	c flip 10000 nbSat=41964 maxSat=41981
51.94/26.15	c flip 20000 nbSat=42263 maxSat=42313
55.13/27.74	c flip 30000 nbSat=42383 maxSat=42475
58.13/29.23	c flip 40000 nbSat=42475 maxSat=42516
61.13/30.79	c flip 50000 nbSat=42538 maxSat=42539
64.52/32.43	c flip 60000 nbSat=42550 maxSat=42578
66.12/33.20	c nbDecision=30000 #clauses=46595
67.92/34.20	c flip 70000 nbSat=42636 maxSat=42648
71.30/35.88	c flip 80000 nbSat=42636 maxSat=42681
74.70/37.57	c flip 90000 nbSat=42635 maxSat=42681
77.89/39.15	c flip 100000 nbSat=42645 maxSat=42707
81.08/40.73	c flip 110000 nbSat=42688 maxSat=42728
84.07/42.24	c flip 120000 nbSat=42737 maxSat=42744
87.47/43.90	c flip 130000 nbSat=42726 maxSat=42753
90.66/45.51	c flip 0 nbSat=46479 maxSat=42782
95.25/47.80	c flip 10000 nbSat=49033 maxSat=49045
100.85/50.68	c flip 20000 nbSat=49386 maxSat=49412
107.43/54.00	c flip 30000 nbSat=49498 maxSat=49529
110.62/55.53	c nbDecision=40000 #clauses=52680
114.02/57.26	c flip 40000 nbSat=49590 maxSat=49601
120.00/60.30	c flip 50000 nbSat=49609 maxSat=49673
126.38/63.47	c flip 60000 nbSat=49654 maxSat=49673
132.95/66.78	c flip 70000 nbSat=49702 maxSat=49718
140.13/70.31	c flip 80000 nbSat=49686 maxSat=49748
146.73/73.62	c flip 90000 nbSat=49694 maxSat=49751
153.11/76.82	c flip 100000 nbSat=49726 maxSat=49753
159.50/80.01	c flip 110000 nbSat=49722 maxSat=49753
164.49/82.52	c nbDecision=50000 #clauses=58852
166.08/83.38	c flip 120000 nbSat=49753 maxSat=49803
172.67/86.65	c flip 130000 nbSat=49748 maxSat=49803
179.05/89.85	c flip 0 nbSat=56524 maxSat=49803
187.24/93.98	c flip 10000 nbSat=58994 maxSat=59013
196.22/98.43	c flip 20000 nbSat=59314 maxSat=59349
207.59/104.15	c flip 30000 nbSat=59524 maxSat=59538
218.95/109.80	c flip 40000 nbSat=59598 maxSat=59627
230.54/115.67	c flip 50000 nbSat=59681 maxSat=59716
238.32/119.58	c nbDecision=60000 #clauses=64855
240.91/120.81	c flip 60000 nbSat=59656 maxSat=59716
252.08/126.46	c flip 70000 nbSat=59643 maxSat=59716
263.26/132.02	c flip 80000 nbSat=59610 maxSat=59716
275.43/138.17	c flip 90000 nbSat=59701 maxSat=59716
287.01/143.93	c flip 100000 nbSat=59715 maxSat=59749
298.18/149.51	c flip 110000 nbSat=59678 maxSat=59752
309.34/155.15	c flip 120000 nbSat=59693 maxSat=59752
322.32/161.61	c flip 130000 nbSat=59741 maxSat=59768
324.72/162.89	c nbDecision=70000 #clauses=71238
335.09/168.03	c flip 0 nbSat=68401 maxSat=59768
348.26/174.62	c flip 10000 nbSat=70885 maxSat=70888
363.83/182.40	c flip 20000 nbSat=71247 maxSat=71261
382.19/191.61	c flip 30000 nbSat=71356 maxSat=71364
402.33/201.74	c flip 40000 nbSat=71413 maxSat=71493
420.89/211.07	c nbDecision=80000 #clauses=77423
420.89/211.09	c flip 50000 nbSat=71467 maxSat=71502
438.65/219.95	c flip 60000 nbSat=71523 maxSat=71532
456.22/228.79	c flip 70000 nbSat=71535 maxSat=71568
476.18/238.71	c flip 80000 nbSat=71565 maxSat=71610
495.52/248.47	c flip 90000 nbSat=71520 maxSat=71610
514.47/257.98	c flip 100000 nbSat=71541 maxSat=71610
519.46/260.44	c nbDecision=90000 #clauses=83371
533.03/267.25	c flip 110000 nbSat=71552 maxSat=71610
554.19/277.83	c flip 120000 nbSat=71570 maxSat=71611
574.96/288.29	c flip 130000 nbSat=71547 maxSat=71611
595.29/298.49	c flip 0 nbSat=83587 maxSat=71611
614.84/308.25	c flip 10000 nbSat=86190 maxSat=86191
636.40/319.07	c flip 20000 nbSat=86510 maxSat=86510
640.39/321.08	c nbDecision=100000 #clauses=89487
660.56/331.16	c flip 30000 nbSat=86641 maxSat=86662
686.88/344.36	c flip 40000 nbSat=86679 maxSat=86710
715.42/358.64	c flip 50000 nbSat=86743 maxSat=86810
743.36/372.61	c flip 60000 nbSat=86751 maxSat=86820
772.27/387.12	c flip 70000 nbSat=86785 maxSat=86829
782.66/392.35	c nbDecision=110000 #clauses=95765
803.61/402.80	c flip 80000 nbSat=86845 maxSat=86862
834.35/418.27	c flip 90000 nbSat=86852 maxSat=86883
862.47/432.30	c flip 100000 nbSat=86893 maxSat=86907
890.81/446.56	c flip 110000 nbSat=86881 maxSat=86910
920.34/461.35	c flip 120000 nbSat=86863 maxSat=86923
942.89/472.65	c nbDecision=120000 #clauses=102217
949.07/475.75	c flip 130000 nbSat=86929 maxSat=86943
977.21/489.81	c flip 0 nbSat=99733 maxSat=86952
1002.76/502.70	c flip 10000 nbSat=102340 maxSat=102342
1037.47/520.02	c flip 20000 nbSat=102708 maxSat=102739
1076.58/539.65	c flip 30000 nbSat=102828 maxSat=102852
1077.18/539.97	c nbDecision=130000 #clauses=108559
1113.31/558.03	c flip 40000 nbSat=102922 maxSat=102961
1152.80/577.88	c flip 50000 nbSat=102954 maxSat=102996
1195.71/599.40	c flip 60000 nbSat=103015 maxSat=103034

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/node24/watcher-328271-1173109562 -o ROOT/results/node24/solver-328271-1173109562 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328271-1173109562/ornithorynque /tmp/evaluation/328271-1173109562/instance-328271-1173109562.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/77 17830
/proc/meminfo: memFree=1096400/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=23220 CPUtime=0
/proc/17830/stat : 17830 (ornithorynque) R 17828 17830 17317 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330910525 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237785615633 0 0 4096 0 0 0 0 17 1 0 0
/proc/17830/statm: 5805 266 219 42 0 45 0

[startup+0.105703 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17830
/proc/meminfo: memFree=1096400/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=28608 CPUtime=0.09
/proc/17830/stat : 17830 (ornithorynque) R 17828 17830 17317 0 -1 4194304 1829 0 0 0 9 0 0 0 18 0 1 0 330910525 29294592 1757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 208006739322 0 0 4096 1088 0 0 0 17 1 0 0
/proc/17830/statm: 7152 1757 382 42 0 1404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28608

[startup+0.201721 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17830
/proc/meminfo: memFree=1096400/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=49720 CPUtime=0.28
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 1966 0 0 0 27 1 0 0 18 0 3 0 330910525 50913280 1894 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 12430 1894 387 42 0 6682 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49720

[startup+0.301731 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17830
/proc/meminfo: memFree=1096400/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=49720 CPUtime=0.48
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 1967 0 0 0 47 1 0 0 18 0 3 0 330910525 50913280 1895 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 12430 1895 387 42 0 6682 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 49720

[startup+0.701775 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17830
/proc/meminfo: memFree=1096400/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=49936 CPUtime=1.28
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 2019 0 0 0 127 1 0 0 18 0 3 0 330910525 51134464 1947 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 12484 1947 387 42 0 6736 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 49936

[startup+1.50186 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1089016/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=51768 CPUtime=2.87
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 2282 0 0 0 286 1 0 0 18 0 3 0 330910525 53010432 2210 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 12942 2210 387 42 0 7194 0
[pid=17830/tid=17832] ppid=17828 vsize=51768 CPUtime=1.38
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 187 0 0 0 138 0 0 0 25 0 3 0 330910537 53010432 2210 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=51768 CPUtime=1.37
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 174 0 0 0 137 0 0 0 21 0 3 0 330910537 53010432 2210 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241403 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 51768

[startup+3.10104 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1088440/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=52960 CPUtime=6.06
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 2752 0 0 0 605 1 0 0 18 0 3 0 330910525 54231040 2680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 13240 2680 387 42 0 7492 0
[pid=17830/tid=17832] ppid=17828 vsize=52960 CPUtime=2.97
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 360 0 0 0 297 0 0 0 25 0 3 0 330910537 54231040 2680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=52960 CPUtime=2.96
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 471 0 0 0 296 0 0 0 25 0 3 0 330910537 54231040 2680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 52960

[startup+6.30238 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1085688/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=57648 CPUtime=12.45
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 3783 0 0 0 1242 3 0 0 18 0 3 0 330910525 59031552 3581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 14412 3581 387 42 0 8664 0
[pid=17830/tid=17832] ppid=17828 vsize=57648 CPUtime=6.17
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 780 0 0 0 616 1 0 0 17 0 3 0 330910537 59031552 3581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=57648 CPUtime=6.15
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 1082 0 0 0 615 0 0 0 25 0 3 0 330910537 59031552 3581 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241654 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 57648

[startup+12.7011 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1081208/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=62556 CPUtime=25.22
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 5029 0 0 0 2517 5 0 0 18 0 3 0 330910525 64057344 4827 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 15639 4827 387 42 0 9891 0
[pid=17830/tid=17832] ppid=17828 vsize=62556 CPUtime=12.57
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 1308 0 0 0 1255 2 0 0 25 0 3 0 330910537 64057344 4827 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311083 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=62556 CPUtime=12.52
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 1800 0 0 0 1251 1 0 0 25 0 3 0 330910537 64057344 4827 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 62556

[startup+25.5025 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1070712/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=70304 CPUtime=50.74
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 6901 0 0 0 5067 7 0 0 18 0 3 0 330910525 71991296 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 17576 6699 387 42 0 11828 0
[pid=17830/tid=17832] ppid=17828 vsize=70304 CPUtime=25.36
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 2125 0 0 0 2532 4 0 0 25 0 3 0 330910537 71991296 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=70304 CPUtime=25.25
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 2855 0 0 0 2524 1 0 0 25 0 3 0 330910537 71991296 6699 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 70304

[startup+51.1022 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 17833
/proc/meminfo: memFree=1061624/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=80128 CPUtime=101.84
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 9186 0 0 0 10174 10 0 0 18 0 3 0 330910525 82051072 8984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 20032 8984 387 42 0 14284 0
[pid=17830/tid=17832] ppid=17828 vsize=80128 CPUtime=50.96
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 3227 0 0 0 5089 7 0 0 25 0 3 0 330910537 82051072 8984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=80128 CPUtime=50.75
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 4038 0 0 0 5073 2 0 0 25 0 3 0 330910537 82051072 8984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241811 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 80128

[startup+102.303 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 17833
/proc/meminfo: memFree=1046968/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=95536 CPUtime=204.01
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 12856 0 0 0 20387 14 0 0 18 0 3 0 330910525 97828864 12596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 23884 12596 387 42 0 18136 0
[pid=17830/tid=17832] ppid=17828 vsize=95536 CPUtime=102.15
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 4923 0 0 0 10205 10 0 0 25 0 3 0 330910537 97828864 12596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=95536 CPUtime=101.73
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 6012 0 0 0 10170 3 0 0 25 0 3 0 330910537 97828864 12596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 95536

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 17833
/proc/meminfo: memFree=1041016/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=102192 CPUtime=323.72
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 14466 0 0 0 32355 17 0 0 18 0 3 0 330910525 104644608 14077 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 25548 14077 387 42 0 19800 0
[pid=17830/tid=17832] ppid=17828 vsize=102192 CPUtime=162.13
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 6533 0 0 0 16201 12 0 0 25 0 3 0 330910537 104644608 14077 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=102192 CPUtime=161.46
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 6012 0 0 0 16143 3 0 0 25 0 3 0 330910537 104644608 14077 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 102192

[startup+222.307 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 17833
/proc/meminfo: memFree=1025656/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=120136 CPUtime=443.45
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 18420 0 0 0 44324 21 0 0 18 0 3 0 330910525 123019264 17902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 30034 17902 387 42 0 24286 0
[pid=17830/tid=17832] ppid=17828 vsize=120136 CPUtime=222.12
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 7736 0 0 0 22197 15 0 0 25 0 3 0 330910537 123019264 17902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311492 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=120136 CPUtime=221.21
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 8763 0 0 0 22116 5 0 0 25 0 3 0 330910537 123019264 17902 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.45
Current children cumulated vsize (KiB) 120136

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=1021176/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=124232 CPUtime=563.17
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 19543 0 0 0 56294 23 0 0 18 0 3 0 330910525 127213568 19025 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 31058 19025 387 42 0 25310 0
[pid=17830/tid=17832] ppid=17828 vsize=124232 CPUtime=282.09
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 8859 0 0 0 28192 17 0 0 25 0 3 0 330910537 127213568 19025 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=124232 CPUtime=280.96
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 8763 0 0 0 28091 5 0 0 25 0 3 0 330910537 127213568 19025 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.17
Current children cumulated vsize (KiB) 124232

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=1005048/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=143180 CPUtime=682.88
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 23612 0 0 0 68261 27 0 0 18 0 3 0 330910525 146616320 23061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 35795 23061 387 42 0 30047 0
[pid=17830/tid=17832] ppid=17828 vsize=143180 CPUtime=342.08
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 9788 0 0 0 34188 20 0 0 25 0 3 0 330910537 146616320 23061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=143180 CPUtime=340.68
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 11903 0 0 0 34062 6 0 0 25 0 3 0 330910537 146616320 23061 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (KiB) 143180

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=1001592/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=146252 CPUtime=802.61
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 24467 0 0 0 80232 29 0 0 18 0 3 0 330910525 149762048 23916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 36563 23916 387 42 0 30815 0
[pid=17830/tid=17832] ppid=17828 vsize=146252 CPUtime=402.05
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 10643 0 0 0 40184 21 0 0 25 0 3 0 330910537 149762048 23916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=146252 CPUtime=400.43
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 11903 0 0 0 40037 6 0 0 25 0 3 0 330910537 149762048 23916 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.61
Current children cumulated vsize (KiB) 146252

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=997944/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=149324 CPUtime=922.34
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 25367 0 0 0 92203 31 0 0 18 0 3 0 330910525 152907776 24816 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 37331 24816 387 42 0 31583 0
[pid=17830/tid=17832] ppid=17828 vsize=149324 CPUtime=462.04
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 11543 0 0 0 46180 24 0 0 25 0 3 0 330910537 152907776 24816 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=149324 CPUtime=460.17
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 11903 0 0 0 46011 6 0 0 25 0 3 0 330910537 152907776 24816 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.34
Current children cumulated vsize (KiB) 149324

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=980536/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=170420 CPUtime=1042.05
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 29916 0 0 0 104171 34 0 0 18 0 3 0 330910525 174510080 29190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 42605 29190 387 42 0 36857 0
[pid=17830/tid=17832] ppid=17828 vsize=170420 CPUtime=522.02
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 12444 0 0 0 52177 25 0 0 25 0 3 0 330910537 174510080 29190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=170420 CPUtime=519.91
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 15551 0 0 0 51983 8 0 0 25 0 3 0 330910537 174510080 29190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.05
Current children cumulated vsize (KiB) 170420

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=976824/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=173492 CPUtime=1161.78
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 30825 0 0 0 116142 36 0 0 18 0 3 0 330910525 177655808 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 43373 30099 387 42 0 37625 0
[pid=17830/tid=17832] ppid=17828 vsize=173492 CPUtime=582.01
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 13353 0 0 0 58174 27 0 0 25 0 3 0 330910537 177655808 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=173492 CPUtime=579.65
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 15551 0 0 0 57957 8 0 0 25 0 3 0 330910537 177655808 30099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.78
Current children cumulated vsize (KiB) 173492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17833
/proc/meminfo: memFree=975864/2055920 swapFree=4144152/4192956
[pid=17830] ppid=17828 vsize=174516 CPUtime=1200.11
/proc/17830/stat : 17830 (ornithorynque) S 17828 17830 17317 0 -1 4194304 31053 0 0 0 119974 37 0 0 18 0 3 0 330910525 178704384 30327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17830/statm: 43629 30327 387 42 0 37881 0
[pid=17830/tid=17832] ppid=17828 vsize=174516 CPUtime=601.21
/proc/17830/task/17832/stat : 17832 (ornithorynque) R 17828 17830 17317 0 -1 4194368 13581 0 0 0 60093 28 0 0 25 0 3 0 330910537 178704384 30327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17830/tid=17833] ppid=17828 vsize=174516 CPUtime=598.77
/proc/17830/task/17833/stat : 17833 (ornithorynque) R 17828 17830 17317 0 -1 4194368 15551 0 0 0 59869 8 0 0 25 0 3 0 330910537 178704384 30327 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 174516

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.532
CPU time (s): 1200.15
CPU user time (s): 1199.75
CPU system time (s): 0.395939
CPU usage (%): 199.515
Max. virtual memory (cumulated for all children) (KiB): 174516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.395939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31053
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= 23
involuntary context switches= 9251

runsolver used 0.543917 second user time and 1.66575 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Mar  5 15:46:02 UTC 2007

IDJOB= 328271
IDBENCH= 20179
IDSOLVER= 139
FILE ID= node24/328271-1173109562

PBS_JOBID= 4013905

Free space on /tmp= 66540 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
COMMAND LINE= /tmp/evaluation/328271-1173109562/ornithorynque /tmp/evaluation/328271-1173109562/instance-328271-1173109562.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-328271-1173109562 -o ROOT/results/node24/solver-328271-1173109562 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328271-1173109562/ornithorynque /tmp/evaluation/328271-1173109562/instance-328271-1173109562.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  8e2b6af718158791a511354b0839f24f

RANDOM SEED= 393882479

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.232
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.232
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:       1096808 kB
Buffers:         38108 kB
Cached:         848180 kB
SwapCached:       3764 kB
Active:         193948 kB
Inactive:       701916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1096808 kB
SwapTotal:     4192956 kB
SwapFree:      4144152 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:          15648 kB
Slab:            48840 kB
Committed_AS:   907108 kB
PageTables:       1732 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66540 MiB

End job on node24 on Mon Mar  5 15:56:06 UTC 2007