Trace number 328321

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

General information on the benchmark

Namerandom/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
MD5SUMf485220027951df54495c1cbe4025c83
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.511921
Satisfiable
(Un)Satisfiability was proved
Number of variables5497
Number of clauses14684
Sum of the clauses size39647
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24405
Number of clauses of size 310279
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.03	c ...done
0.00/0.03	c nbVar=5500 nbClause=14684
0.03/0.04	c nbVar=5500 nbClause=14684
0.03/0.05	c complete search running
0.03/0.05	c local search running
0.03/0.05	c flip 0 nbSat=12329 maxSat=0
0.14/0.11	c flip 10000 nbSat=14328 maxSat=14351
0.14/0.15	c flip 20000 nbSat=14443 maxSat=14468
0.34/0.20	c flip 30000 nbSat=14478 maxSat=14505
0.34/0.25	c flip 40000 nbSat=14495 maxSat=14529
0.34/0.30	c flip 50000 nbSat=14510 maxSat=14536
0.53/0.34	c flip 60000 nbSat=14521 maxSat=14536
0.53/0.39	c flip 70000 nbSat=14516 maxSat=14538
0.73/0.44	c flip 80000 nbSat=14523 maxSat=14538
0.73/0.48	c flip 90000 nbSat=14535 maxSat=14546
0.93/0.53	c flip 100000 nbSat=14536 maxSat=14546
0.93/0.59	c flip 0 nbSat=13083 maxSat=14553
1.13/0.66	c flip 10000 nbSat=15097 maxSat=15120
1.33/0.73	c flip 20000 nbSat=15230 maxSat=15234
1.33/0.80	c flip 30000 nbSat=15282 maxSat=15287
1.53/0.86	c flip 40000 nbSat=15292 maxSat=15317
1.73/0.94	c flip 50000 nbSat=15303 maxSat=15317
1.94/1.02	c flip 60000 nbSat=15312 maxSat=15325
1.94/1.09	c flip 70000 nbSat=15319 maxSat=15340
2.13/1.17	c flip 80000 nbSat=15318 maxSat=15340
2.32/1.25	c flip 90000 nbSat=15321 maxSat=15340
2.53/1.32	c flip 100000 nbSat=15324 maxSat=15340
2.73/1.41	c flip 0 nbSat=14396 maxSat=15340
2.93/1.52	c flip 10000 nbSat=16541 maxSat=16541
3.13/1.64	c flip 20000 nbSat=16608 maxSat=16637
3.33/1.76	c flip 30000 nbSat=16669 maxSat=16676
3.72/1.90	c flip 40000 nbSat=16674 maxSat=16691
3.92/2.03	c flip 50000 nbSat=16700 maxSat=16702
4.13/2.17	c flip 60000 nbSat=16699 maxSat=16708
4.52/2.31	c flip 70000 nbSat=16697 maxSat=16715
4.72/2.44	c flip 80000 nbSat=16706 maxSat=16726
4.92/2.58	c flip 90000 nbSat=16712 maxSat=16729
5.32/2.72	c flip 100000 nbSat=16724 maxSat=16729
5.52/2.86	c flip 0 nbSat=16155 maxSat=16729
5.92/3.02	c flip 10000 nbSat=18214 maxSat=18219
6.12/3.18	c flip 20000 nbSat=18323 maxSat=18327
6.52/3.36	c flip 30000 nbSat=18365 maxSat=18368
6.91/3.54	c flip 40000 nbSat=18370 maxSat=18383
7.31/3.73	c flip 50000 nbSat=18385 maxSat=18391
7.71/3.91	c flip 60000 nbSat=18376 maxSat=18399
8.11/4.10	c flip 70000 nbSat=18368 maxSat=18401
8.31/4.29	c flip 80000 nbSat=18390 maxSat=18402
8.71/4.48	c flip 90000 nbSat=18385 maxSat=18413
8.90/4.52	c nbDecision=10000 #clauses=20744
9.10/4.67	c flip 100000 nbSat=18390 maxSat=18413
9.50/4.88	c flip 0 nbSat=18756 maxSat=18416
10.11/5.14	c flip 10000 nbSat=20830 maxSat=20847
10.71/5.43	c flip 20000 nbSat=20978 maxSat=20981
11.31/5.74	c flip 30000 nbSat=21005 maxSat=21024
12.10/6.14	c flip 40000 nbSat=21057 maxSat=21071
12.70/6.47	c flip 50000 nbSat=21065 maxSat=21074
13.50/6.83	c flip 60000 nbSat=21060 maxSat=21087
14.30/7.21	c flip 70000 nbSat=21060 maxSat=21087
14.90/7.57	c flip 80000 nbSat=21071 maxSat=21087
15.69/7.93	c flip 90000 nbSat=21060 maxSat=21091
16.29/8.27	c flip 100000 nbSat=21077 maxSat=21091
17.09/8.64	c flip 0 nbSat=23076 maxSat=21091
17.89/9.07	c flip 10000 nbSat=25161 maxSat=25179
18.89/9.55	c flip 20000 nbSat=25287 maxSat=25296
19.88/10.05	c flip 30000 nbSat=25305 maxSat=25330
20.28/10.25	c nbDecision=20000 #clauses=27076
20.88/10.57	c flip 40000 nbSat=25348 maxSat=25359
22.07/11.11	c flip 50000 nbSat=25352 maxSat=25376
23.27/11.70	c flip 60000 nbSat=25343 maxSat=25376
24.47/12.31	c flip 70000 nbSat=25366 maxSat=25382
25.47/12.90	c flip 80000 nbSat=25360 maxSat=25386
26.86/13.51	c flip 90000 nbSat=25385 maxSat=25390
27.87/14.07	c flip 100000 nbSat=25357 maxSat=25390
29.06/14.67	c flip 0 nbSat=28283 maxSat=25390
30.67/15.42	c flip 10000 nbSat=30340 maxSat=30360
32.46/16.39	c flip 20000 nbSat=30458 maxSat=30475
34.65/17.47	c flip 30000 nbSat=30496 maxSat=30510
36.25/18.25	c nbDecision=30000 #clauses=33344
36.65/18.46	c flip 40000 nbSat=30497 maxSat=30526
38.64/19.45	c flip 50000 nbSat=30529 maxSat=30548
40.84/20.52	c flip 60000 nbSat=30526 maxSat=30550
42.83/21.50	c flip 70000 nbSat=30537 maxSat=30560
44.63/22.48	c flip 80000 nbSat=30543 maxSat=30569
46.62/23.47	c flip 90000 nbSat=30554 maxSat=30569
48.42/24.31	c flip 100000 nbSat=30539 maxSat=30569
50.22/25.26	c flip 0 nbSat=35242 maxSat=30569
53.01/26.60	c flip 10000 nbSat=37238 maxSat=37270
56.20/28.27	c flip 20000 nbSat=37359 maxSat=37382
58.00/29.18	c nbDecision=40000 #clauses=39843
60.20/30.26	c flip 30000 nbSat=37443 maxSat=37450
64.39/32.34	c flip 40000 nbSat=37446 maxSat=37469
68.17/34.24	c flip 50000 nbSat=37472 maxSat=37487
71.98/36.16	c flip 60000 nbSat=37472 maxSat=37500
77.36/38.80	c flip 70000 nbSat=37477 maxSat=37502
82.35/41.31	c flip 80000 nbSat=37494 maxSat=37502
84.15/42.30	c nbDecision=50000 #clauses=46371
87.33/43.81	c flip 90000 nbSat=37486 maxSat=37504
91.92/46.19	c flip 100000 nbSat=37492 maxSat=37506
96.51/48.47	c flip 0 nbSat=46374 maxSat=37509
100.50/50.47	c flip 10000 nbSat=48407 maxSat=48434
106.48/53.45	c flip 20000 nbSat=48542 maxSat=48563
113.67/57.00	c flip 30000 nbSat=48559 maxSat=48585
115.66/58.00	c nbDecision=60000 #clauses=53018
119.85/60.15	c flip 40000 nbSat=48599 maxSat=48614
125.04/62.73	c flip 50000 nbSat=48626 maxSat=48637
130.24/65.39	c flip 60000 nbSat=48612 maxSat=48641
135.83/68.10	c flip 70000 nbSat=48633 maxSat=48648
141.21/70.82	c flip 80000 nbSat=48616 maxSat=48648
146.00/73.28	c flip 90000 nbSat=48626 maxSat=48654
150.39/75.43	c nbDecision=70000 #clauses=59714
150.99/75.76	c flip 100000 nbSat=48641 maxSat=48656
156.77/78.65	c flip 0 nbSat=58525 maxSat=48663
164.16/82.35	c flip 10000 nbSat=60518 maxSat=60531
174.73/87.64	c flip 20000 nbSat=60643 maxSat=60652
185.10/92.89	c flip 30000 nbSat=60687 maxSat=60705
192.88/96.77	c nbDecision=80000 #clauses=66441
197.07/98.89	c flip 40000 nbSat=60728 maxSat=60733
211.23/105.99	c flip 50000 nbSat=60734 maxSat=60754
225.61/113.14	c flip 60000 nbSat=60750 maxSat=60765
237.78/119.28	c flip 70000 nbSat=60739 maxSat=60772
240.58/120.63	c nbDecision=90000 #clauses=73022
250.16/125.42	c flip 80000 nbSat=60748 maxSat=60772
262.34/131.53	c flip 90000 nbSat=60762 maxSat=60775
274.89/137.85	c flip 100000 nbSat=60762 maxSat=60780
288.46/144.64	c flip 0 nbSat=76754 maxSat=60784
293.65/147.22	c nbDecision=100000 #clauses=79708
299.24/150.00	c flip 10000 nbSat=78668 maxSat=78692
314.01/157.47	c flip 20000 nbSat=78856 maxSat=78888
331.17/166.01	c flip 30000 nbSat=78879 maxSat=78905
345.14/173.08	c nbDecision=110000 #clauses=86206
347.33/174.14	c flip 40000 nbSat=78878 maxSat=78905
364.09/182.60	c flip 50000 nbSat=78875 maxSat=78905
380.05/190.52	c flip 60000 nbSat=78889 maxSat=78908
394.62/197.81	c flip 70000 nbSat=78904 maxSat=78909
407.39/204.25	c flip 80000 nbSat=78902 maxSat=78918
418.97/210.07	c nbDecision=120000 #clauses=93193
421.56/211.38	c flip 90000 nbSat=78912 maxSat=78921
438.13/219.60	c flip 100000 nbSat=78891 maxSat=78927
450.90/226.07	c flip 0 nbSat=93845 maxSat=78929
465.25/233.21	c flip 10000 nbSat=95959 maxSat=95969
483.61/242.47	c flip 20000 nbSat=96077 maxSat=96089
491.00/246.11	c nbDecision=130000 #clauses=99970
507.96/254.68	c flip 30000 nbSat=96088 maxSat=96110
532.11/266.76	c flip 40000 nbSat=96107 maxSat=96128
552.45/276.94	c flip 50000 nbSat=96123 maxSat=96141
572.21/286.85	c flip 60000 nbSat=96118 maxSat=96147
575.20/288.30	c nbDecision=140000 #clauses=106743
589.78/295.67	c flip 70000 nbSat=96129 maxSat=96159
607.13/304.35	c flip 80000 nbSat=96144 maxSat=96160
626.69/314.15	c flip 90000 nbSat=96146 maxSat=96161
645.44/323.52	c flip 100000 nbSat=96145 maxSat=96161
654.62/328.12	c nbDecision=150000 #clauses=113418
663.40/332.51	c flip 0 nbSat=111813 maxSat=96162
681.75/341.78	c flip 10000 nbSat=113899 maxSat=113911
707.00/354.47	c flip 20000 nbSat=113994 maxSat=114027
731.28/366.69	c nbDecision=160000 #clauses=120278
732.68/367.39	c flip 30000 nbSat=114025 maxSat=114045
758.82/380.42	c flip 40000 nbSat=114052 maxSat=114060
784.33/393.20	c flip 50000 nbSat=114062 maxSat=114088
815.02/408.62	c flip 60000 nbSat=114079 maxSat=114088
819.61/410.95	c nbDecision=170000 #clauses=127129
852.08/427.27	c flip 70000 nbSat=114091 maxSat=114101
888.80/445.68	c flip 80000 nbSat=114089 maxSat=114102
909.35/455.97	c nbDecision=180000 #clauses=133900
922.72/462.63	c flip 90000 nbSat=114106 maxSat=114120
952.85/477.73	c flip 100000 nbSat=114110 maxSat=114120
985.98/494.39	c flip 0 nbSat=136258 maxSat=114120
1008.12/505.41	c flip 10000 nbSat=138255 maxSat=138276
1025.08/513.98	c nbDecision=190000 #clauses=140897
1040.64/521.70	c flip 20000 nbSat=138418 maxSat=138439
1073.58/538.26	c flip 30000 nbSat=138443 maxSat=138464
1106.69/554.89	c flip 40000 nbSat=138471 maxSat=138475
1128.24/565.68	c nbDecision=200000 #clauses=147959
1144.61/573.84	c flip 50000 nbSat=138498 maxSat=138503
1179.73/591.45	c flip 60000 nbSat=138508 maxSat=138515

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/node75/watcher-328321-1173110119 -o ROOT/results/node75/solver-328321-1173110119 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328321-1173110119/ornithorynque /tmp/evaluation/328321-1173110119/instance-328321-1173110119.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.97 1.94 3/64 26600
/proc/meminfo: memFree=878472/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=23220 CPUtime=0
/proc/26600/stat : 26600 (ornithorynque) R 26598 26600 26049 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 330977721 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231880035601 0 0 4096 0 0 0 0 17 1 0 0
/proc/26600/statm: 5805 268 221 42 0 45 0

[startup+0.0399879 s]
/proc/loadavg: 1.83 1.97 1.94 3/64 26600
/proc/meminfo: memFree=878472/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=25432 CPUtime=0.03
/proc/26600/stat : 26600 (ornithorynque) R 26598 26600 26049 0 -1 4194304 1000 0 0 0 3 0 0 0 18 0 1 0 330977721 26042368 961 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4260388 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26600/statm: 6358 966 381 42 0 610 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25432

[startup+0.102002 s]
/proc/loadavg: 1.83 1.97 1.94 3/64 26600
/proc/meminfo: memFree=878472/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=47260 CPUtime=0.14
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 1332 0 0 0 14 0 0 0 18 0 3 0 330977721 48394240 1293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 11815 1293 387 42 0 6067 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 47260

[startup+0.302019 s]
/proc/loadavg: 1.83 1.97 1.94 3/64 26600
/proc/meminfo: memFree=878472/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=47260 CPUtime=0.53
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 1350 0 0 0 53 0 0 0 18 0 3 0 330977721 48394240 1311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 11815 1311 387 42 0 6067 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 47260

[startup+0.701072 s]
/proc/loadavg: 1.83 1.97 1.94 3/64 26600
/proc/meminfo: memFree=878472/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=49440 CPUtime=1.33
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 1458 0 0 0 133 0 0 0 18 0 3 0 330977721 50626560 1419 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 12360 1419 387 42 0 6612 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 49440

[startup+1.50117 s]
/proc/loadavg: 1.83 1.97 1.94 3/67 26603
/proc/meminfo: memFree=874096/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=49696 CPUtime=2.93
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 1712 0 0 0 292 1 0 0 18 0 3 0 330977721 50888704 1607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 12424 1607 387 42 0 6676 0
[pid=26600/tid=26602] ppid=26598 vsize=49696 CPUtime=1.44
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 217 0 0 0 144 0 0 0 17 0 3 0 330977726 50888704 1607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=49696 CPUtime=1.43
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 185 0 0 0 143 0 0 0 25 0 3 0 330977726 50888704 1607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 49696

[startup+3.10136 s]
/proc/loadavg: 1.83 1.97 1.94 3/67 26603
/proc/meminfo: memFree=873136/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=49696 CPUtime=6.12
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 1968 0 0 0 611 1 0 0 18 0 3 0 330977721 50888704 1863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 12424 1863 387 42 0 6676 0
[pid=26600/tid=26602] ppid=26598 vsize=49696 CPUtime=3.04
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 363 0 0 0 304 0 0 0 25 0 3 0 330977726 50888704 1863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=49696 CPUtime=3.02
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 295 0 0 0 302 0 0 0 19 0 3 0 330977726 50888704 1863 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 49696

[startup+6.30173 s]
/proc/loadavg: 1.85 1.97 1.94 3/67 26603
/proc/meminfo: memFree=870640/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=52768 CPUtime=12.5
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 2416 0 0 0 1248 2 0 0 18 0 3 0 330977721 54034432 2311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 13192 2311 387 42 0 7444 0
[pid=26600/tid=26602] ppid=26598 vsize=52768 CPUtime=6.24
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 649 0 0 0 623 1 0 0 25 0 3 0 330977726 54034432 2311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=52768 CPUtime=6.2
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 457 0 0 0 620 0 0 0 25 0 3 0 330977726 54034432 2311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 52768

[startup+12.7025 s]
/proc/loadavg: 1.86 1.97 1.94 3/67 26603
/proc/meminfo: memFree=867632/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=54816 CPUtime=25.27
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 3118 0 0 0 2525 2 0 0 18 0 3 0 330977721 56131584 3013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 13704 3013 387 42 0 7956 0
[pid=26600/tid=26602] ppid=26598 vsize=54816 CPUtime=12.64
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 1101 0 0 0 1262 2 0 0 25 0 3 0 330977726 56131584 3013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=54816 CPUtime=12.58
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 707 0 0 0 1258 0 0 0 25 0 3 0 330977726 56131584 3013 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241648 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 54816

[startup+25.502 s]
/proc/loadavg: 1.89 1.97 1.94 3/67 26603
/proc/meminfo: memFree=863728/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=61704 CPUtime=50.81
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 4600 0 0 0 5078 3 0 0 18 0 3 0 330977721 63184896 4365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 15426 4365 387 42 0 9678 0
[pid=26600/tid=26602] ppid=26598 vsize=61704 CPUtime=25.42
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 1836 0 0 0 2540 2 0 0 18 0 3 0 330977726 63184896 4365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=61704 CPUtime=25.32
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 1454 0 0 0 2532 0 0 0 25 0 3 0 330977726 63184896 4365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241569 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 61704

[startup+51.101 s]
/proc/loadavg: 1.93 1.97 1.94 3/67 26603
/proc/meminfo: memFree=855344/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=69136 CPUtime=101.89
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 6306 0 0 0 10183 6 0 0 18 0 3 0 330977721 70795264 6071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 17284 6071 387 42 0 11536 0
[pid=26600/tid=26602] ppid=26598 vsize=69136 CPUtime=51.02
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 2846 0 0 0 5097 5 0 0 25 0 3 0 330977726 70795264 6071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=69136 CPUtime=50.8
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 2150 0 0 0 5080 0 0 0 25 0 3 0 330977726 70795264 6071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242313 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 69136

[startup+102.305 s]
/proc/loadavg: 1.97 1.97 1.94 3/67 26603
/proc/meminfo: memFree=846576/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=78160 CPUtime=204.06
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 8628 0 0 0 20396 10 0 0 18 0 3 0 330977721 80035840 8206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 19540 8206 387 42 0 13792 0
[pid=26600/tid=26602] ppid=26598 vsize=78160 CPUtime=102.2
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 4494 0 0 0 10212 8 0 0 25 0 3 0 330977726 80035840 8206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311520 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=78160 CPUtime=101.79
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 2824 0 0 0 10178 1 0 0 25 0 3 0 330977726 80035840 8206 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 78160

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26603
/proc/meminfo: memFree=837104/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=88972 CPUtime=323.79
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 11171 0 0 0 32366 13 0 0 18 0 3 0 330977721 91107328 10587 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 22243 10587 387 42 0 16495 0
[pid=26600/tid=26602] ppid=26598 vsize=88972 CPUtime=162.19
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 5791 0 0 0 16208 11 0 0 25 0 3 0 330977726 91107328 10587 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=88972 CPUtime=161.53
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 4070 0 0 0 16152 1 0 0 25 0 3 0 330977726 91107328 10587 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.79
Current children cumulated vsize (KiB) 88972

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26603
/proc/meminfo: memFree=832624/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=93068 CPUtime=443.52
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 12257 0 0 0 44337 15 0 0 18 0 3 0 330977721 95301632 11673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 23267 11673 387 42 0 17519 0
[pid=26600/tid=26602] ppid=26598 vsize=93068 CPUtime=222.17
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 6877 0 0 0 22205 12 0 0 25 0 3 0 330977726 95301632 11673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=93068 CPUtime=221.28
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 4070 0 0 0 22127 1 0 0 25 0 3 0 330977726 95301632 11673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 93068

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26603
/proc/meminfo: memFree=824944/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=101064 CPUtime=563.23
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 14391 0 0 0 56306 17 0 0 18 0 3 0 330977721 103489536 13609 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 25266 13609 387 42 0 19518 0
[pid=26600/tid=26602] ppid=26598 vsize=101064 CPUtime=282.15
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 7771 0 0 0 28201 14 0 0 25 0 3 0 330977726 103489536 13609 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289062 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=101064 CPUtime=281.01
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 5310 0 0 0 28099 2 0 0 25 0 3 0 330977726 103489536 13609 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241542 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 101064

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/73 26629
/proc/meminfo: memFree=815520/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=111172 CPUtime=682.92
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 16602 0 0 0 68272 20 0 0 18 0 3 0 330977721 113840128 15607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 27793 15607 387 42 0 22045 0
[pid=26600/tid=26602] ppid=26598 vsize=111172 CPUtime=342.12
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 8698 0 0 0 34196 16 0 0 25 0 3 0 330977726 113840128 15607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313919 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=111172 CPUtime=340.74
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 6594 0 0 0 34071 3 0 0 25 0 3 0 330977726 113840128 15607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.92
Current children cumulated vsize (KiB) 111172

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/73 26761
/proc/meminfo: memFree=811832/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=114700 CPUtime=802.46
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 17617 0 0 0 80213 33 0 0 18 0 3 0 330977721 117452800 16507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 28675 16507 387 42 0 22927 0
[pid=26600/tid=26602] ppid=26598 vsize=114700 CPUtime=401.99
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 9713 0 0 0 40181 18 0 0 25 0 3 0 330977726 117452800 16507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=114700 CPUtime=400.4
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 6594 0 0 0 40027 13 0 0 25 0 3 0 330977726 117452800 16507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 114700

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26801
/proc/meminfo: memFree=809584/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=118796 CPUtime=922.12
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 18723 0 0 0 92174 38 0 0 18 0 3 0 330977721 121647104 17356 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 29699 17356 387 42 0 23951 0
[pid=26600/tid=26602] ppid=26598 vsize=118796 CPUtime=461.95
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 10819 0 0 0 46175 20 0 0 25 0 3 0 330977726 121647104 17356 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=118796 CPUtime=460.1
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 6594 0 0 0 45994 16 0 0 25 0 3 0 330977726 121647104 17356 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.12
Current children cumulated vsize (KiB) 118796

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26801
/proc/meminfo: memFree=800688/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=130112 CPUtime=1041.84
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 21857 0 0 0 104144 40 0 0 18 0 3 0 330977721 133234688 19608 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 32528 19608 387 42 0 26780 0
[pid=26600/tid=26602] ppid=26598 vsize=130112 CPUtime=521.93
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 11659 0 0 0 52171 22 0 0 25 0 3 0 330977726 133234688 19608 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=130112 CPUtime=519.85
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 8888 0 0 0 51968 17 0 0 25 0 3 0 330977726 133234688 19608 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.84
Current children cumulated vsize (KiB) 130112

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26801
/proc/meminfo: memFree=797424/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=133316 CPUtime=1161.57
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 22637 0 0 0 116115 42 0 0 18 0 3 0 330977721 136515584 20388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 33329 20388 387 42 0 27581 0
[pid=26600/tid=26602] ppid=26598 vsize=133316 CPUtime=581.91
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 12439 0 0 0 58167 24 0 0 25 0 3 0 330977726 136515584 20388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311454 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=133316 CPUtime=579.59
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 8888 0 0 0 57942 17 0 0 25 0 3 0 330977726 136515584 20388 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.57
Current children cumulated vsize (KiB) 133316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.97 1.94 3/67 26801
/proc/meminfo: memFree=796464/2055920 swapFree=4183180/4192956
[pid=26600] ppid=26598 vsize=134340 CPUtime=1200.09
/proc/26600/stat : 26600 (ornithorynque) S 26598 26600 26049 0 -1 4194304 22881 0 0 0 119966 43 0 0 18 0 3 0 330977721 137564160 20632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231891562363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26600/statm: 33585 20632 387 42 0 27837 0
[pid=26600/tid=26602] ppid=26598 vsize=134340 CPUtime=601.22
/proc/26600/task/26602/stat : 26602 (ornithorynque) R 26598 26600 26049 0 -1 4194368 12683 0 0 0 60097 25 0 0 25 0 3 0 330977726 137564160 20632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4288855 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26600/tid=26603] ppid=26598 vsize=134340 CPUtime=598.8
/proc/26600/task/26603/stat : 26603 (ornithorynque) R 26598 26600 26049 0 -1 4194368 8888 0 0 0 59863 17 0 0 25 0 3 0 330977726 137564160 20632 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 134340

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.631
CPU time (s): 1200.12
CPU user time (s): 1199.67
CPU system time (s): 0.447931
CPU usage (%): 199.478
Max. virtual memory (cumulated for all children) (KiB): 134340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.67
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22881
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= 24
involuntary context switches= 9664

runsolver used 0.605907 second user time and 1.60376 second system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Mar  5 15:55:19 UTC 2007

IDJOB= 328321
IDBENCH= 20231
IDSOLVER= 139
FILE ID= node75/328321-1173110119

PBS_JOBID= 4013907

Free space on /tmp= 66518 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
COMMAND LINE= /tmp/evaluation/328321-1173110119/ornithorynque /tmp/evaluation/328321-1173110119/instance-328321-1173110119.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-328321-1173110119 -o ROOT/results/node75/solver-328321-1173110119 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328321-1173110119/ornithorynque /tmp/evaluation/328321-1173110119/instance-328321-1173110119.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f485220027951df54495c1cbe4025c83

RANDOM SEED= 863350364

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node75.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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        878880 kB
Buffers:         37912 kB
Cached:        1052400 kB
SwapCached:       3808 kB
Active:          87924 kB
Inactive:      1012060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        878880 kB
SwapTotal:     4192956 kB
SwapFree:      4183180 kB
Dirty:             488 kB
Writeback:           0 kB
Mapped:          15608 kB
Slab:            62964 kB
Committed_AS:   848948 kB
PageTables:       1432 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= 66518 MiB

End job on node75 on Mon Mar  5 16:05:22 UTC 2007