Trace number 328272

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.16 601.533

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
MD5SUM23cebbf389b50923607c40b76db46967
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark213.037
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.04/0.08	c ...done
0.04/0.08	c nbVar=7000 nbClause=29400
0.04/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.27/0.20	c flip 10000 nbSat=28260 maxSat=28292
0.27/0.27	c flip 20000 nbSat=28595 maxSat=28614
0.47/0.34	c flip 30000 nbSat=28782 maxSat=28793
0.67/0.41	c flip 40000 nbSat=28790 maxSat=28838
0.67/0.48	c flip 50000 nbSat=28829 maxSat=28869
0.87/0.55	c flip 60000 nbSat=28837 maxSat=28905
1.07/0.61	c flip 70000 nbSat=28878 maxSat=28912
1.07/0.68	c flip 80000 nbSat=28907 maxSat=28924
1.27/0.75	c flip 90000 nbSat=28930 maxSat=28977
1.47/0.81	c flip 100000 nbSat=28971 maxSat=29011
1.47/0.88	c flip 110000 nbSat=28958 maxSat=29011
1.67/0.94	c flip 120000 nbSat=28987 maxSat=29011
1.88/1.01	c flip 130000 nbSat=28963 maxSat=29011
1.88/1.10	c flip 0 nbSat=26821 maxSat=29022
2.27/1.23	c flip 10000 nbSat=29334 maxSat=29334
2.47/1.37	c flip 20000 nbSat=29549 maxSat=29603
2.87/1.50	c flip 30000 nbSat=29756 maxSat=29780
3.07/1.64	c flip 40000 nbSat=29813 maxSat=29845
3.27/1.78	c flip 50000 nbSat=29885 maxSat=29934
3.67/1.92	c flip 60000 nbSat=29889 maxSat=29934
3.87/2.06	c flip 70000 nbSat=29976 maxSat=29985
4.07/2.19	c flip 80000 nbSat=29984 maxSat=30002
4.47/2.33	c flip 90000 nbSat=29988 maxSat=30026
4.67/2.48	c flip 100000 nbSat=29998 maxSat=30027
5.07/2.62	c flip 110000 nbSat=29964 maxSat=30027
5.27/2.75	c flip 120000 nbSat=29945 maxSat=30027
5.47/2.90	c flip 130000 nbSat=29981 maxSat=30027
5.87/3.06	c flip 0 nbSat=28590 maxSat=30027
6.47/3.30	c flip 10000 nbSat=31116 maxSat=31150
6.86/3.56	c flip 20000 nbSat=31465 maxSat=31496
7.46/3.83	c flip 30000 nbSat=31551 maxSat=31650
7.86/4.08	c flip 40000 nbSat=31650 maxSat=31682
8.46/4.36	c flip 50000 nbSat=31733 maxSat=31741
9.05/4.61	c flip 60000 nbSat=31704 maxSat=31765
9.45/4.88	c flip 70000 nbSat=31723 maxSat=31768
10.05/5.16	c flip 80000 nbSat=31795 maxSat=31802
10.66/5.43	c flip 90000 nbSat=31799 maxSat=31821
11.05/5.69	c flip 100000 nbSat=31762 maxSat=31823
11.65/5.97	c flip 110000 nbSat=31760 maxSat=31824
12.05/6.13	c nbDecision=10000 #clauses=34611
12.25/6.26	c flip 120000 nbSat=31774 maxSat=31829
12.85/6.53	c flip 130000 nbSat=31821 maxSat=31838
13.44/6.83	c flip 0 nbSat=31278 maxSat=31857
14.25/7.25	c flip 10000 nbSat=33889 maxSat=33896
15.25/7.72	c flip 20000 nbSat=34130 maxSat=34171
16.04/8.18	c flip 30000 nbSat=34307 maxSat=34347
17.04/8.66	c flip 40000 nbSat=34365 maxSat=34391
18.04/9.17	c flip 50000 nbSat=34450 maxSat=34454
19.24/9.70	c flip 60000 nbSat=34426 maxSat=34473
20.23/10.24	c flip 70000 nbSat=34449 maxSat=34511
21.23/10.71	c flip 80000 nbSat=34462 maxSat=34514
22.23/11.25	c flip 90000 nbSat=34458 maxSat=34533
23.23/11.79	c flip 100000 nbSat=34521 maxSat=34578
24.42/12.35	c flip 110000 nbSat=34564 maxSat=34597
25.42/12.86	c flip 120000 nbSat=34572 maxSat=34623
26.41/13.38	c flip 130000 nbSat=34602 maxSat=34625
27.61/13.95	c flip 0 nbSat=34636 maxSat=34625
29.21/14.70	c flip 10000 nbSat=37189 maxSat=37200
30.80/15.57	c flip 20000 nbSat=37554 maxSat=37559
32.99/16.65	c flip 30000 nbSat=37693 maxSat=37727
34.99/17.67	c flip 40000 nbSat=37714 maxSat=37769
36.79/18.59	c flip 50000 nbSat=37775 maxSat=37817
38.98/19.66	c flip 60000 nbSat=37832 maxSat=37852
39.78/20.04	c nbDecision=20000 #clauses=40756
40.98/20.63	c flip 70000 nbSat=37837 maxSat=37862
42.77/21.55	c flip 80000 nbSat=37817 maxSat=37875
44.57/22.43	c flip 90000 nbSat=37858 maxSat=37895
46.36/23.31	c flip 100000 nbSat=37842 maxSat=37895
48.16/24.24	c flip 110000 nbSat=37865 maxSat=37895
49.95/25.16	c flip 120000 nbSat=37891 maxSat=37901
51.95/26.13	c flip 130000 nbSat=37885 maxSat=37930
54.14/27.25	c flip 0 nbSat=39549 maxSat=37930
56.74/28.58	c flip 10000 nbSat=41970 maxSat=41985
59.92/30.11	c flip 20000 nbSat=42314 maxSat=42363
62.92/31.67	c flip 30000 nbSat=42479 maxSat=42495
66.31/33.30	c flip 40000 nbSat=42558 maxSat=42573
69.71/35.01	c flip 50000 nbSat=42633 maxSat=42679
73.10/36.75	c flip 60000 nbSat=42654 maxSat=42702
76.70/38.52	c flip 70000 nbSat=42685 maxSat=42722
80.49/40.42	c flip 80000 nbSat=42699 maxSat=42722
84.28/42.32	c flip 90000 nbSat=42716 maxSat=42739
85.28/42.81	c nbDecision=30000 #clauses=47014
87.68/44.05	c flip 100000 nbSat=42717 maxSat=42743
91.06/45.76	c flip 110000 nbSat=42736 maxSat=42743
94.85/47.62	c flip 120000 nbSat=42736 maxSat=42796
98.65/49.54	c flip 130000 nbSat=42700 maxSat=42796
102.84/51.60	c flip 0 nbSat=45232 maxSat=42796
108.03/54.25	c flip 10000 nbSat=47696 maxSat=47725
114.61/57.55	c flip 20000 nbSat=47956 maxSat=48029
121.79/61.13	c flip 30000 nbSat=48150 maxSat=48181
128.57/64.59	c flip 40000 nbSat=48202 maxSat=48240
135.56/68.09	c flip 50000 nbSat=48259 maxSat=48295
142.14/71.31	c nbDecision=40000 #clauses=53181
142.74/71.67	c flip 60000 nbSat=48303 maxSat=48326
150.31/75.46	c flip 70000 nbSat=48269 maxSat=48345
157.31/78.94	c flip 80000 nbSat=48356 maxSat=48362
164.49/82.58	c flip 90000 nbSat=48353 maxSat=48389
171.87/86.30	c flip 100000 nbSat=48377 maxSat=48413
179.66/90.12	c flip 110000 nbSat=48356 maxSat=48413
186.84/93.75	c flip 120000 nbSat=48354 maxSat=48421
194.03/97.35	c flip 130000 nbSat=48385 maxSat=48421
201.21/100.90	c flip 0 nbSat=54669 maxSat=48429
211.18/105.91	c flip 10000 nbSat=57194 maxSat=57219
211.38/106.02	c nbDecision=50000 #clauses=59380
222.96/111.87	c flip 20000 nbSat=57588 maxSat=57597
235.53/118.17	c flip 30000 nbSat=57745 maxSat=57753
247.70/124.23	c flip 40000 nbSat=57843 maxSat=57857
261.67/131.28	c flip 50000 nbSat=57891 maxSat=57914
275.83/138.35	c flip 60000 nbSat=57912 maxSat=57945
289.01/144.99	c flip 70000 nbSat=57930 maxSat=57949
301.57/151.25	c flip 80000 nbSat=57932 maxSat=57967
314.14/157.57	c nbDecision=60000 #clauses=65939
314.54/157.78	c flip 90000 nbSat=58010 maxSat=58053
328.72/164.83	c flip 100000 nbSat=57973 maxSat=58053
341.48/171.29	c flip 110000 nbSat=57958 maxSat=58053
355.05/178.03	c flip 120000 nbSat=57998 maxSat=58053
367.82/184.49	c flip 130000 nbSat=57991 maxSat=58053
382.60/191.83	c flip 0 nbSat=65934 maxSat=58053
399.55/200.37	c flip 10000 nbSat=68387 maxSat=68398
420.51/210.85	c flip 20000 nbSat=68773 maxSat=68849
433.67/217.47	c nbDecision=70000 #clauses=72553
445.05/223.13	c flip 30000 nbSat=68956 maxSat=68993
470.79/236.09	c flip 40000 nbSat=69005 maxSat=69070
497.33/249.38	c flip 50000 nbSat=69069 maxSat=69102
526.46/263.93	c flip 60000 nbSat=69104 maxSat=69144
552.60/277.02	c nbDecision=80000 #clauses=78798
553.20/277.34	c flip 70000 nbSat=69129 maxSat=69144
576.95/289.25	c flip 80000 nbSat=69138 maxSat=69172
602.89/302.24	c flip 90000 nbSat=69156 maxSat=69187
627.63/314.63	c flip 100000 nbSat=69158 maxSat=69213
652.78/327.23	c flip 110000 nbSat=69126 maxSat=69213
679.11/340.41	c flip 120000 nbSat=69164 maxSat=69213
689.49/345.61	c nbDecision=90000 #clauses=85298
705.85/353.81	c flip 130000 nbSat=69203 maxSat=69219
732.20/367.06	c flip 0 nbSat=83786 maxSat=69226
757.33/379.68	c flip 10000 nbSat=86393 maxSat=86420
789.46/395.74	c flip 20000 nbSat=86716 maxSat=86753
805.62/403.82	c nbDecision=100000 #clauses=91575
823.58/412.84	c flip 30000 nbSat=86848 maxSat=86897
860.90/431.53	c flip 40000 nbSat=86921 maxSat=86950
900.40/451.31	c flip 50000 nbSat=86948 maxSat=87008
938.71/470.56	c flip 60000 nbSat=86947 maxSat=87016
951.09/476.76	c nbDecision=110000 #clauses=98146
975.44/488.97	c flip 70000 nbSat=87036 maxSat=87052
1013.35/507.92	c flip 80000 nbSat=87032 maxSat=87090
1051.26/526.99	c flip 90000 nbSat=87045 maxSat=87090
1089.17/545.94	c flip 100000 nbSat=87053 maxSat=87090
1118.51/560.66	c nbDecision=120000 #clauses=104707
1130.68/566.79	c flip 110000 nbSat=87077 maxSat=87122
1171.18/587.01	c flip 120000 nbSat=87097 maxSat=87125

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/node70/watcher-328272-1173109566 -o ROOT/results/node70/solver-328272-1173109566 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328272-1173109566/ornithorynque /tmp/evaluation/328272-1173109566/instance-328272-1173109566.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.92 3/64 7310
/proc/meminfo: memFree=1223512/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=23220 CPUtime=0
/proc/7310/stat : 7310 (ornithorynque) R 7308 7310 6801 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 36908861 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233399422225 0 0 4096 0 0 0 0 17 1 0 0
/proc/7310/statm: 5805 266 219 42 0 45 0

[startup+0.051564 s]
/proc/loadavg: 2.05 2.01 1.92 3/64 7310
/proc/meminfo: memFree=1223512/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=25044 CPUtime=0.04
/proc/7310/stat : 7310 (ornithorynque) R 7308 7310 6801 0 -1 4194304 919 0 0 0 4 0 0 0 18 0 1 0 36908861 25645056 847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410965602 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7310/statm: 6261 847 377 42 0 513 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25044

[startup+0.101568 s]
/proc/loadavg: 2.05 2.01 1.92 3/64 7310
/proc/meminfo: memFree=1223512/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=28460 CPUtime=0.09
/proc/7310/stat : 7310 (ornithorynque) R 7308 7310 6801 0 -1 4194304 1849 0 0 0 9 0 0 0 18 0 1 0 36908861 29143040 1744 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233401914081 0 0 4096 1088 0 0 0 17 1 0 0
/proc/7310/statm: 7115 1744 382 42 0 1367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28460

[startup+0.301595 s]
/proc/loadavg: 2.05 2.01 1.92 3/64 7310
/proc/meminfo: memFree=1223512/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=49704 CPUtime=0.47
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 1998 0 0 0 47 0 0 0 18 0 3 0 36908861 50896896 1893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 12426 1893 387 42 0 6678 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 49704

[startup+0.701636 s]
/proc/loadavg: 2.05 2.01 1.92 3/64 7310
/proc/meminfo: memFree=1223512/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=49968 CPUtime=1.27
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 2057 0 0 0 127 0 0 0 18 0 3 0 36908861 51167232 1952 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 12492 1953 387 42 0 6744 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 49968

[startup+1.50171 s]
/proc/loadavg: 2.05 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1216896/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=51428 CPUtime=2.87
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 2359 0 0 0 287 0 0 0 18 0 3 0 36908861 52662272 2254 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 12857 2254 387 42 0 7109 0
[pid=7310/tid=7312] ppid=7308 vsize=51428 CPUtime=1.38
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 174 0 0 0 138 0 0 0 19 0 3 0 36908873 52662272 2254 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=51428 CPUtime=1.37
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 231 0 0 0 137 0 0 0 20 0 3 0 36908873 52662272 2254 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238075 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 51428

[startup+3.10288 s]
/proc/loadavg: 2.05 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1215488/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=54132 CPUtime=6.07
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 2889 0 0 0 606 1 0 0 18 0 3 0 36908861 55431168 2784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 13533 2784 387 42 0 7785 0
[pid=7310/tid=7312] ppid=7308 vsize=54132 CPUtime=2.98
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 331 0 0 0 298 0 0 0 25 0 3 0 36908873 55431168 2784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=54132 CPUtime=2.96
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 604 0 0 0 296 0 0 0 17 0 3 0 36908873 55431168 2784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 54132

[startup+6.3012 s]
/proc/loadavg: 2.04 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1212800/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=55432 CPUtime=12.45
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 3219 0 0 0 1244 1 0 0 18 0 3 0 36908861 56762368 3049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 13858 3049 387 42 0 8110 0
[pid=7310/tid=7312] ppid=7308 vsize=55432 CPUtime=6.17
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 661 0 0 0 617 0 0 0 25 0 3 0 36908873 56762368 3049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313022 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=55432 CPUtime=6.15
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 604 0 0 0 615 0 0 0 25 0 3 0 36908873 56762368 3049 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 55432

[startup+12.7028 s]
/proc/loadavg: 2.04 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1208384/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=59988 CPUtime=25.22
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 4353 0 0 0 2520 2 0 0 18 0 3 0 36908861 61427712 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 14997 4118 387 42 0 9249 0
[pid=7310/tid=7312] ppid=7308 vsize=59988 CPUtime=12.57
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 945 0 0 0 1257 0 0 0 25 0 3 0 36908873 61427712 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=59988 CPUtime=12.52
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 1454 0 0 0 1252 0 0 0 25 0 3 0 36908873 61427712 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241393 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 59988

[startup+25.5011 s]
/proc/loadavg: 2.03 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1202304/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=65668 CPUtime=50.75
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 5813 0 0 0 5072 3 0 0 18 0 3 0 36908861 67244032 5578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 16417 5578 387 42 0 10669 0
[pid=7310/tid=7312] ppid=7308 vsize=65668 CPUtime=25.37
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 1386 0 0 0 2536 1 0 0 25 0 3 0 36908873 67244032 5578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=65668 CPUtime=25.26
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 2473 0 0 0 2525 1 0 0 25 0 3 0 36908873 67244032 5578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 65668

[startup+51.1017 s]
/proc/loadavg: 2.02 2.01 1.92 3/67 7313
/proc/meminfo: memFree=1193664/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=75188 CPUtime=101.84
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 7986 0 0 0 10179 5 0 0 18 0 3 0 36908861 76992512 7751 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 18797 7751 387 42 0 13049 0
[pid=7310/tid=7312] ppid=7308 vsize=75188 CPUtime=50.95
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 1734 0 0 0 5094 1 0 0 25 0 3 0 36908873 76992512 7751 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=75188 CPUtime=50.75
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 4298 0 0 0 5073 2 0 0 25 0 3 0 36908873 76992512 7751 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 75188

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1169600/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=100892 CPUtime=204.01
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 13952 0 0 0 20391 10 0 0 18 0 3 0 36908861 103313408 13717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 25223 13717 387 42 0 19475 0
[pid=7310/tid=7312] ppid=7308 vsize=100892 CPUtime=102.15
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 2943 0 0 0 10211 4 0 0 25 0 3 0 36908873 103313408 13717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=100892 CPUtime=101.74
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 9055 0 0 0 10169 5 0 0 25 0 3 0 36908873 103313408 13717 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283723 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 100892

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1162752/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=108368 CPUtime=323.73
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 15839 0 0 0 32360 13 0 0 18 0 3 0 36908861 110968832 15417 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 27092 15417 387 42 0 21344 0
[pid=7310/tid=7312] ppid=7308 vsize=108368 CPUtime=162.13
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 4830 0 0 0 16206 7 0 0 25 0 3 0 36908873 110968832 15417 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=108368 CPUtime=161.48
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 9055 0 0 0 16143 5 0 0 25 0 3 0 36908873 110968832 15417 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240913 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 108368

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1140480/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=137932 CPUtime=443.45
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 21542 0 0 0 44329 16 0 0 18 0 3 0 36908861 141242368 20991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 34483 20991 387 42 0 28735 0
[pid=7310/tid=7312] ppid=7308 vsize=137932 CPUtime=222.11
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 5718 0 0 0 22204 7 0 0 25 0 3 0 36908873 141242368 20991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=137932 CPUtime=221.22
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 13870 0 0 0 22114 8 0 0 25 0 3 0 36908873 141242368 20991 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) 137932

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1140352/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=137932 CPUtime=563.18
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 21560 0 0 0 56302 16 0 0 18 0 3 0 36908861 141242368 21009 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 34483 21009 387 42 0 28735 0
[pid=7310/tid=7312] ppid=7308 vsize=137932 CPUtime=282.09
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 5736 0 0 0 28202 7 0 0 25 0 3 0 36908873 141242368 21009 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=137932 CPUtime=280.97
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 13870 0 0 0 28089 8 0 0 25 0 3 0 36908873 141242368 21009 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 137932

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1138240/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=139944 CPUtime=682.9
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 22069 0 0 0 68273 17 0 0 18 0 3 0 36908861 143302656 21518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 34986 21518 387 42 0 29238 0
[pid=7310/tid=7312] ppid=7308 vsize=139944 CPUtime=342.07
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 6245 0 0 0 34199 8 0 0 25 0 3 0 36908873 143302656 21518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=139944 CPUtime=340.7
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 13870 0 0 0 34062 8 0 0 25 0 3 0 36908873 143302656 21518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 139944

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1117440/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=163532 CPUtime=802.63
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 27386 0 0 0 80243 20 0 0 18 0 3 0 36908861 167456768 26736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 40883 26736 387 42 0 35135 0
[pid=7310/tid=7312] ppid=7308 vsize=163532 CPUtime=402.06
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 6662 0 0 0 40197 9 0 0 25 0 3 0 36908873 167456768 26736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=163532 CPUtime=400.44
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 40034 10 0 0 25 0 3 0 36908873 167456768 26736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (KiB) 163532

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1113920/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=166964 CPUtime=922.35
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 28257 0 0 0 92214 21 0 0 18 0 3 0 36908861 170971136 27607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 41741 27607 387 42 0 35993 0
[pid=7310/tid=7312] ppid=7308 vsize=166964 CPUtime=462.04
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 7533 0 0 0 46194 10 0 0 25 0 3 0 36908873 170971136 27607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=166964 CPUtime=460.19
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 46009 10 0 0 25 0 3 0 36908873 170971136 27607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.35
Current children cumulated vsize (KiB) 166964

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1110720/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=170136 CPUtime=1042.08
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 29046 0 0 0 104186 22 0 0 18 0 3 0 36908861 174219264 28396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 42534 28396 387 42 0 36786 0
[pid=7310/tid=7312] ppid=7308 vsize=170136 CPUtime=522.03
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 8322 0 0 0 52192 11 0 0 25 0 3 0 36908873 174219264 28396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=170136 CPUtime=519.93
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 51983 10 0 0 25 0 3 0 36908873 174219264 28396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.08
Current children cumulated vsize (KiB) 170136

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 7313
/proc/meminfo: memFree=1107648/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=173092 CPUtime=1161.8
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 29806 0 0 0 116156 24 0 0 18 0 3 0 36908861 177246208 29156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 43273 29156 387 42 0 37525 0
[pid=7310/tid=7312] ppid=7308 vsize=173092 CPUtime=582
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 9082 0 0 0 58188 12 0 0 25 0 3 0 36908873 177246208 29156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=173092 CPUtime=579.66
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 57956 10 0 0 25 0 3 0 36908873 177246208 29156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240907 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.8
Current children cumulated vsize (KiB) 173092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.503 s]
/proc/loadavg: 2.06 2.02 1.93 3/67 7313
/proc/meminfo: memFree=1106624/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=174016 CPUtime=1200.12
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 30045 0 0 0 119988 24 0 0 18 0 3 0 36908861 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 43504 29395 387 42 0 37756 0
[pid=7310/tid=7312] ppid=7308 vsize=174016 CPUtime=601.2
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 9321 0 0 0 60108 12 0 0 25 0 3 0 36908873 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=174016 CPUtime=598.78
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 59868 10 0 0 25 0 3 0 36908873 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 174016

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

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

[startup+601.503 s]
/proc/loadavg: 2.06 2.02 1.93 3/67 7313
/proc/meminfo: memFree=1106624/2055920 swapFree=4192952/4192956
[pid=7310] ppid=7308 vsize=174016 CPUtime=1200.12
/proc/7310/stat : 7310 (ornithorynque) S 7308 7310 6801 0 -1 4194304 30045 0 0 0 119988 24 0 0 18 0 3 0 36908861 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7310/statm: 43504 29395 387 42 0 37756 0
[pid=7310/tid=7312] ppid=7308 vsize=174016 CPUtime=601.2
/proc/7310/task/7312/stat : 7312 (ornithorynque) R 7308 7310 6801 0 -1 4194368 9321 0 0 0 60108 12 0 0 25 0 3 0 36908873 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7310/tid=7313] ppid=7308 vsize=174016 CPUtime=598.78
/proc/7310/task/7313/stat : 7313 (ornithorynque) R 7308 7310 6801 0 -1 4194368 18770 0 0 0 59868 10 0 0 25 0 3 0 36908873 178192384 29395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 174016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.533
CPU time (s): 1200.16
CPU user time (s): 1199.9
CPU system time (s): 0.263959
CPU usage (%): 199.518
Max. virtual memory (cumulated for all children) (KiB): 174016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30046
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= 102
involuntary context switches= 9200

runsolver used 0.482926 second user time and 1.72874 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Mon Mar  5 15:46:06 UTC 2007

IDJOB= 328272
IDBENCH= 20180
IDSOLVER= 139
FILE ID= node70/328272-1173109566

PBS_JOBID= 4013916

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  23cebbf389b50923607c40b76db46967

RANDOM SEED= 66627093

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.234
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.234
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:       1223920 kB
Buffers:         34124 kB
Cached:         707684 kB
SwapCached:          4 kB
Active:         142148 kB
Inactive:       615092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1223920 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:             824 kB
Writeback:           0 kB
Mapped:          25600 kB
Slab:            60820 kB
Committed_AS:   106008 kB
PageTables:       1396 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= 66563 MiB

End job on node70 on Mon Mar  5 15:56:10 UTC 2007