Trace number 328274

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.534

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
MD5SUM9aef0bbcf7983db9bd08e85ce30f9d09
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark311.96
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.05/0.08	c ...done
0.05/0.08	c nbVar=7000 nbClause=29400
0.05/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=25633 maxSat=0
0.28/0.20	c flip 10000 nbSat=28231 maxSat=28236
0.28/0.27	c flip 20000 nbSat=28619 maxSat=28622
0.48/0.35	c flip 30000 nbSat=28733 maxSat=28752
0.67/0.42	c flip 40000 nbSat=28753 maxSat=28818
0.67/0.49	c flip 50000 nbSat=28853 maxSat=28888
0.87/0.55	c flip 60000 nbSat=28886 maxSat=28946
1.07/0.62	c flip 70000 nbSat=28943 maxSat=28956
1.07/0.69	c flip 80000 nbSat=28899 maxSat=28968
1.27/0.76	c flip 90000 nbSat=28907 maxSat=28968
1.47/0.83	c flip 100000 nbSat=28914 maxSat=28980
1.47/0.89	c flip 110000 nbSat=28943 maxSat=28980
1.67/0.96	c flip 120000 nbSat=28928 maxSat=28988
1.88/1.03	c flip 130000 nbSat=28946 maxSat=28988
2.08/1.12	c flip 0 nbSat=26802 maxSat=29003
2.27/1.26	c flip 10000 nbSat=29344 maxSat=29381
2.67/1.40	c flip 20000 nbSat=29656 maxSat=29674
2.87/1.56	c flip 30000 nbSat=29793 maxSat=29815
3.27/1.71	c flip 40000 nbSat=29831 maxSat=29877
3.47/1.85	c flip 50000 nbSat=29866 maxSat=29904
3.87/2.00	c flip 60000 nbSat=29866 maxSat=29926
4.07/2.15	c flip 70000 nbSat=29905 maxSat=29932
4.28/2.29	c flip 80000 nbSat=29971 maxSat=29999
4.67/2.44	c flip 90000 nbSat=29982 maxSat=30040
4.87/2.58	c flip 100000 nbSat=29957 maxSat=30040
5.27/2.73	c flip 110000 nbSat=29975 maxSat=30040
5.47/2.88	c flip 120000 nbSat=29973 maxSat=30040
5.86/3.03	c flip 130000 nbSat=30020 maxSat=30048
6.26/3.23	c flip 0 nbSat=28750 maxSat=30053
6.65/3.47	c flip 10000 nbSat=31252 maxSat=31290
7.25/3.72	c flip 20000 nbSat=31546 maxSat=31575
7.85/4.01	c flip 30000 nbSat=31736 maxSat=31740
8.25/4.30	c flip 40000 nbSat=31790 maxSat=31795
8.85/4.59	c flip 50000 nbSat=31823 maxSat=31868
9.45/4.88	c flip 60000 nbSat=31795 maxSat=31868
10.04/5.17	c flip 70000 nbSat=31866 maxSat=31901
10.65/5.46	c flip 80000 nbSat=31938 maxSat=31974
11.24/5.76	c flip 90000 nbSat=31891 maxSat=31974
11.84/6.07	c flip 100000 nbSat=31935 maxSat=31974
12.44/6.37	c flip 110000 nbSat=31943 maxSat=31993
13.04/6.69	c flip 120000 nbSat=31978 maxSat=32006
13.44/6.88	c nbDecision=10000 #clauses=34857
13.84/7.01	c flip 130000 nbSat=31956 maxSat=32006
14.44/7.36	c flip 0 nbSat=31491 maxSat=32006
15.44/7.82	c flip 10000 nbSat=34139 maxSat=34151
16.44/8.32	c flip 20000 nbSat=34459 maxSat=34478
17.44/8.87	c flip 30000 nbSat=34573 maxSat=34615
18.63/9.46	c flip 40000 nbSat=34692 maxSat=34704
19.82/10.07	c flip 50000 nbSat=34731 maxSat=34737
21.02/10.67	c flip 60000 nbSat=34759 maxSat=34772
22.22/11.22	c flip 70000 nbSat=34729 maxSat=34788
23.22/11.78	c flip 80000 nbSat=34764 maxSat=34796
24.41/12.34	c flip 90000 nbSat=34770 maxSat=34810
25.61/12.95	c flip 100000 nbSat=34822 maxSat=34840
26.81/13.59	c flip 110000 nbSat=34817 maxSat=34879
28.01/14.18	c flip 120000 nbSat=34796 maxSat=34879
29.20/14.79	c flip 130000 nbSat=34808 maxSat=34879
30.61/15.46	c flip 0 nbSat=36728 maxSat=34879
32.40/16.31	c flip 10000 nbSat=39351 maxSat=39357
32.60/16.44	c nbDecision=20000 #clauses=40890
34.40/17.35	c flip 20000 nbSat=39667 maxSat=39684
36.59/18.48	c flip 30000 nbSat=39783 maxSat=39814
38.99/19.65	c flip 40000 nbSat=39842 maxSat=39858
41.38/20.82	c flip 50000 nbSat=39925 maxSat=39936
43.58/21.93	c flip 60000 nbSat=39930 maxSat=39974
45.77/23.04	c flip 70000 nbSat=39919 maxSat=40005
47.98/24.16	c flip 80000 nbSat=39943 maxSat=40005
50.37/25.35	c flip 90000 nbSat=39979 maxSat=40015
52.75/26.57	c flip 100000 nbSat=40018 maxSat=40038
55.15/27.77	c flip 110000 nbSat=39996 maxSat=40051
57.55/29.00	c flip 120000 nbSat=40040 maxSat=40051
60.34/30.36	c flip 130000 nbSat=40039 maxSat=40070
63.13/31.75	c flip 0 nbSat=43355 maxSat=40091
63.54/31.95	c nbDecision=30000 #clauses=47104
66.53/33.49	c flip 10000 nbSat=45694 maxSat=45702
70.72/35.54	c flip 20000 nbSat=46156 maxSat=46172
75.31/37.84	c flip 30000 nbSat=46274 maxSat=46283
80.49/40.48	c flip 40000 nbSat=46353 maxSat=46381
85.87/43.17	c flip 50000 nbSat=46414 maxSat=46454
91.07/45.78	c flip 60000 nbSat=46469 maxSat=46471
96.25/48.33	c flip 70000 nbSat=46501 maxSat=46519
101.03/50.72	c flip 80000 nbSat=46487 maxSat=46531
106.02/53.22	c flip 90000 nbSat=46503 maxSat=46555
109.82/55.19	c nbDecision=40000 #clauses=53276
110.82/55.67	c flip 100000 nbSat=46486 maxSat=46555
116.01/58.22	c flip 110000 nbSat=46519 maxSat=46561
121.19/60.85	c flip 120000 nbSat=46591 maxSat=46605
126.78/63.62	c flip 130000 nbSat=46530 maxSat=46605
132.17/66.30	c flip 0 nbSat=51904 maxSat=46605
138.96/69.71	c flip 10000 nbSat=54388 maxSat=54412
147.53/74.01	c flip 20000 nbSat=54789 maxSat=54791
156.91/78.74	c flip 30000 nbSat=54880 maxSat=54954
165.30/82.99	c nbDecision=50000 #clauses=59442
166.50/83.52	c flip 40000 nbSat=54939 maxSat=54991
177.27/88.92	c flip 50000 nbSat=55031 maxSat=55057
187.44/94.06	c flip 60000 nbSat=55008 maxSat=55064
197.81/99.28	c flip 70000 nbSat=55053 maxSat=55064
207.99/104.33	c flip 80000 nbSat=55039 maxSat=55084
214.98/107.86	c nbDecision=60000 #clauses=65456
218.17/109.46	c flip 90000 nbSat=55070 maxSat=55131
228.35/114.58	c flip 100000 nbSat=55077 maxSat=55131
239.13/120.00	c flip 110000 nbSat=55075 maxSat=55138
249.10/124.93	c flip 120000 nbSat=55137 maxSat=55149
260.27/130.59	c flip 130000 nbSat=55109 maxSat=55166
271.65/136.25	c flip 0 nbSat=66278 maxSat=55166
285.22/143.09	c flip 10000 nbSat=68879 maxSat=68894
298.58/149.75	c nbDecision=70000 #clauses=71692
301.57/151.27	c flip 20000 nbSat=69236 maxSat=69250
319.74/160.35	c flip 30000 nbSat=69354 maxSat=69400
338.10/169.60	c flip 40000 nbSat=69420 maxSat=69441
356.05/178.59	c flip 50000 nbSat=69422 maxSat=69448
375.60/188.39	c flip 60000 nbSat=69474 maxSat=69505
395.76/198.50	c flip 70000 nbSat=69489 maxSat=69518
398.16/199.68	c nbDecision=80000 #clauses=77948
417.31/209.26	c flip 80000 nbSat=69516 maxSat=69540
437.47/219.39	c flip 90000 nbSat=69485 maxSat=69554
456.61/228.96	c flip 100000 nbSat=69489 maxSat=69554
475.18/238.28	c flip 110000 nbSat=69521 maxSat=69554
492.74/247.06	c flip 120000 nbSat=69519 maxSat=69554
510.90/256.16	c flip 130000 nbSat=69518 maxSat=69561
518.49/259.92	c nbDecision=90000 #clauses=84405
531.07/266.23	c flip 0 nbSat=81205 maxSat=69562
552.19/276.83	c flip 10000 nbSat=83791 maxSat=83824
577.74/289.60	c flip 20000 nbSat=84184 maxSat=84196
605.88/303.72	c flip 30000 nbSat=84345 maxSat=84345
635.61/318.62	c flip 40000 nbSat=84371 maxSat=84396
643.00/322.39	c nbDecision=100000 #clauses=90653
667.73/334.72	c flip 50000 nbSat=84488 maxSat=84496
704.27/353.04	c flip 60000 nbSat=84415 maxSat=84496
738.77/370.32	c flip 70000 nbSat=84417 maxSat=84496
769.90/385.98	c flip 80000 nbSat=84409 maxSat=84496
791.46/396.73	c nbDecision=110000 #clauses=97048
800.24/401.13	c flip 90000 nbSat=84481 maxSat=84509
832.15/417.18	c flip 100000 nbSat=84506 maxSat=84552
862.30/432.29	c flip 110000 nbSat=84508 maxSat=84552
893.23/447.71	c flip 120000 nbSat=84500 maxSat=84552
921.95/462.13	c flip 130000 nbSat=84541 maxSat=84579
953.68/478.04	c flip 0 nbSat=99343 maxSat=84579
964.25/483.37	c nbDecision=120000 #clauses=103510
984.62/493.57	c flip 10000 nbSat=101815 maxSat=101825
1021.12/511.86	c flip 20000 nbSat=102256 maxSat=102264
1064.43/533.57	c flip 30000 nbSat=102364 maxSat=102380
1108.52/555.65	c flip 40000 nbSat=102435 maxSat=102456
1150.43/576.64	c flip 50000 nbSat=102488 maxSat=102533
1151.82/577.35	c nbDecision=130000 #clauses=109999
1194.92/598.91	c flip 60000 nbSat=102526 maxSat=102568

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/node59/watcher-328274-1173109600 -o ROOT/results/node59/solver-328274-1173109600 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328274-1173109600/ornithorynque /tmp/evaluation/328274-1173109600/instance-328274-1173109600.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.99 1.97 1.91 3/64 25738
/proc/meminfo: memFree=1654616/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=23220 CPUtime=0
/proc/25738/stat : 25738 (ornithorynque) R 25736 25738 25229 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330916751 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217048976657 0 0 4096 0 0 0 0 17 1 0 0
/proc/25738/statm: 5805 266 219 42 0 45 0

[startup+0.058745 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 25738
/proc/meminfo: memFree=1654616/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=25204 CPUtime=0.05
/proc/25738/stat : 25738 (ornithorynque) R 25736 25738 25229 0 -1 4194304 983 0 0 0 5 0 0 0 18 0 1 0 330916751 25808896 911 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217051468513 0 0 4096 1088 0 0 0 17 1 0 0
/proc/25738/statm: 6301 911 377 42 0 553 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25204

[startup+0.101749 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 25738
/proc/meminfo: memFree=1654616/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=28488 CPUtime=0.09
/proc/25738/stat : 25738 (ornithorynque) R 25736 25738 25229 0 -1 4194304 1850 0 0 0 8 1 0 0 18 0 1 0 330916751 29171712 1745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217051468513 0 0 4096 1088 0 0 0 17 1 0 0
/proc/25738/statm: 7122 1745 382 42 0 1374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28488

[startup+0.301779 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 25738
/proc/meminfo: memFree=1654616/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=49732 CPUtime=0.48
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 1998 0 0 0 47 1 0 0 18 0 3 0 330916751 50925568 1893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 12433 1893 387 42 0 6685 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 49732

[startup+0.701821 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 25738
/proc/meminfo: memFree=1654616/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=49860 CPUtime=1.27
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 2054 0 0 0 126 1 0 0 18 0 3 0 330916751 51056640 1949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 12465 1949 387 42 0 6717 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 49860

[startup+1.50191 s]
/proc/loadavg: 1.91 1.95 1.90 3/67 25741
/proc/meminfo: memFree=1648000/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=52148 CPUtime=2.87
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 2392 0 0 0 286 1 0 0 18 0 3 0 330916751 53399552 2287 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 13037 2287 387 42 0 7289 0
[pid=25738/tid=25740] ppid=25736 vsize=52148 CPUtime=1.37
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 200 0 0 0 137 0 0 0 19 0 3 0 330916762 53399552 2287 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=52148 CPUtime=1.37
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 238 0 0 0 137 0 0 0 19 0 3 0 330916762 53399552 2287 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240922 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 52148

[startup+3.10109 s]
/proc/loadavg: 1.91 1.95 1.90 3/67 25741
/proc/meminfo: memFree=1646272/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=53172 CPUtime=6.06
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 2604 0 0 0 604 2 0 0 18 0 3 0 330916751 54448128 2499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 13293 2499 387 42 0 7545 0
[pid=25738/tid=25740] ppid=25736 vsize=53172 CPUtime=2.98
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 412 0 0 0 297 1 0 0 25 0 3 0 330916762 54448128 2499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=53172 CPUtime=2.97
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 238 0 0 0 297 0 0 0 25 0 3 0 330916762 54448128 2499 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 53172

[startup+6.30244 s]
/proc/loadavg: 1.92 1.95 1.90 3/67 25741
/proc/meminfo: memFree=1643200/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=56036 CPUtime=12.44
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 3387 0 0 0 1241 3 0 0 18 0 3 0 330916751 57380864 3217 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 14009 3217 387 42 0 8261 0
[pid=25738/tid=25740] ppid=25736 vsize=56036 CPUtime=6.18
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 794 0 0 0 616 2 0 0 25 0 3 0 330916762 57380864 3217 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=56036 CPUtime=6.15
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 639 0 0 0 615 0 0 0 25 0 3 0 330916762 57380864 3217 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 56036

[startup+12.7011 s]
/proc/loadavg: 1.93 1.95 1.90 3/67 25741
/proc/meminfo: memFree=1638144/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=60636 CPUtime=25.21
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 4679 0 0 0 2517 4 0 0 18 0 3 0 330916751 62091264 4444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 15159 4444 387 42 0 9411 0
[pid=25738/tid=25740] ppid=25736 vsize=60636 CPUtime=12.57
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 1446 0 0 0 1255 2 0 0 25 0 3 0 330916762 62091264 4444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312180 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=60636 CPUtime=12.52
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 1279 0 0 0 1252 0 0 0 25 0 3 0 330916762 62091264 4444 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242148 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 60636

[startup+25.5016 s]
/proc/loadavg: 1.94 1.96 1.91 3/67 25741
/proc/meminfo: memFree=1630592/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=68032 CPUtime=50.76
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 6538 0 0 0 5069 7 0 0 18 0 3 0 330916751 69664768 6303 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 17008 6303 387 42 0 11260 0
[pid=25738/tid=25740] ppid=25736 vsize=68032 CPUtime=25.37
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 2248 0 0 0 2533 4 0 0 25 0 3 0 330916762 69664768 6303 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=68032 CPUtime=25.27
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 2336 0 0 0 2526 1 0 0 25 0 3 0 330916762 69664768 6303 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 68032

[startup+51.1014 s]
/proc/loadavg: 1.96 1.96 1.91 3/67 25741
/proc/meminfo: memFree=1620800/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=79108 CPUtime=101.83
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 8982 0 0 0 10174 9 0 0 18 0 3 0 330916751 81006592 8747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 19777 8747 387 42 0 14029 0
[pid=25738/tid=25740] ppid=25736 vsize=79108 CPUtime=50.96
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 3395 0 0 0 5090 6 0 0 25 0 3 0 330916762 81006592 8747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=79108 CPUtime=50.75
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 3633 0 0 0 5073 2 0 0 25 0 3 0 330916762 81006592 8747 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242262 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 79108

[startup+102.306 s]
/proc/loadavg: 1.98 1.96 1.91 3/67 25741
/proc/meminfo: memFree=1605184/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=95016 CPUtime=204.01
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 12871 0 0 0 20386 15 0 0 18 0 3 0 330916751 97296384 12578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 23754 12578 387 42 0 18006 0
[pid=25738/tid=25740] ppid=25736 vsize=95016 CPUtime=102.15
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 5462 0 0 0 10204 11 0 0 25 0 3 0 330916762 97296384 12578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=95016 CPUtime=101.73
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 5455 0 0 0 10171 2 0 0 25 0 3 0 330916762 97296384 12578 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285873 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 95016

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25741
/proc/meminfo: memFree=1585920/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=117588 CPUtime=323.73
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 17938 0 0 0 32353 20 0 0 18 0 3 0 330916751 120410112 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 29397 17387 387 42 0 23649 0
[pid=25738/tid=25740] ppid=25736 vsize=117588 CPUtime=162.13
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 7151 0 0 0 16199 14 0 0 25 0 3 0 330916762 120410112 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=117588 CPUtime=161.48
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 8833 0 0 0 16144 4 0 0 25 0 3 0 330916762 120410112 17387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242600 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 117588

[startup+222.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/67 25741
/proc/meminfo: memFree=1580800/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=122708 CPUtime=443.45
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 19197 0 0 0 44322 23 0 0 18 0 3 0 330916751 125652992 18646 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 30677 18646 387 42 0 24929 0
[pid=25738/tid=25740] ppid=25736 vsize=122708 CPUtime=222.11
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 8410 0 0 0 22194 17 0 0 25 0 3 0 330916762 125652992 18646 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=122708 CPUtime=221.21
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 8833 0 0 0 22117 4 0 0 25 0 3 0 330916762 125652992 18646 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.45
Current children cumulated vsize (KiB) 122708

[startup+282.302 s]
/proc/loadavg: 2.05 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1562688/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=144112 CPUtime=563.17
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 23773 0 0 0 56291 26 0 0 18 0 3 0 330916751 147570688 23222 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 36028 23222 387 42 0 30280 0
[pid=25738/tid=25740] ppid=25736 vsize=144112 CPUtime=282.1
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 9574 0 0 0 28190 20 0 0 25 0 3 0 330916762 147570688 23222 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=144112 CPUtime=280.95
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12245 0 0 0 28090 5 0 0 25 0 3 0 330916762 147570688 23222 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) 144112

[startup+342.301 s]
/proc/loadavg: 2.02 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1558784/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=147184 CPUtime=682.9
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 24713 0 0 0 68263 27 0 0 18 0 3 0 330916751 150716416 24162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 36796 24162 387 42 0 31048 0
[pid=25738/tid=25740] ppid=25736 vsize=147184 CPUtime=342.08
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 10514 0 0 0 34187 21 0 0 25 0 3 0 330916762 150716416 24162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=147184 CPUtime=340.7
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12245 0 0 0 34065 5 0 0 25 0 3 0 330916762 150716416 24162 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 147184

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1555264/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=151280 CPUtime=802.63
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 25588 0 0 0 80234 29 0 0 18 0 3 0 330916751 154910720 25037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 37820 25037 387 42 0 32072 0
[pid=25738/tid=25740] ppid=25736 vsize=151280 CPUtime=402.06
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 11389 0 0 0 40184 22 0 0 25 0 3 0 330916762 154910720 25037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=151280 CPUtime=400.44
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12245 0 0 0 40039 5 0 0 25 0 3 0 330916762 154910720 25037 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (KiB) 151280

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1551744/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=154352 CPUtime=922.35
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 26444 0 0 0 92204 31 0 0 18 0 3 0 330916751 158056448 25893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 38588 25893 387 42 0 32840 0
[pid=25738/tid=25740] ppid=25736 vsize=154352 CPUtime=462.05
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12245 0 0 0 46181 24 0 0 25 0 3 0 330916762 158056448 25893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311163 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=154352 CPUtime=460.17
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12245 0 0 0 46012 5 0 0 25 0 3 0 330916762 158056448 25893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.35
Current children cumulated vsize (KiB) 154352

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1532800/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=178528 CPUtime=1042.07
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 31818 0 0 0 104173 34 0 0 18 0 3 0 330916751 182812672 30640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 44632 30640 387 42 0 38884 0
[pid=25738/tid=25740] ppid=25736 vsize=178528 CPUtime=522.04
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 12962 0 0 0 52178 26 0 0 25 0 3 0 330916762 182812672 30640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=178528 CPUtime=519.91
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 16902 0 0 0 51984 7 0 0 25 0 3 0 330916762 182812672 30640 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.07
Current children cumulated vsize (KiB) 178528

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1530048/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=180576 CPUtime=1161.8
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 32480 0 0 0 116145 35 0 0 18 0 3 0 330916751 184909824 31302 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 45144 31302 387 42 0 39396 0
[pid=25738/tid=25740] ppid=25736 vsize=180576 CPUtime=582.02
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 13624 0 0 0 58175 27 0 0 25 0 3 0 330916762 184909824 31302 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=180576 CPUtime=579.66
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 16902 0 0 0 57959 7 0 0 25 0 3 0 330916762 184909824 31302 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.8
Current children cumulated vsize (KiB) 180576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1529088/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=181600 CPUtime=1200.11
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 32711 0 0 0 119975 36 0 0 18 0 3 0 330916751 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 45400 31533 387 42 0 39652 0
[pid=25738/tid=25740] ppid=25736 vsize=181600 CPUtime=601.22
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 13855 0 0 0 60095 27 0 0 25 0 3 0 330916762 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=181600 CPUtime=598.77
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 16902 0 0 0 59870 7 0 0 25 0 3 0 330916762 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 181600

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

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

[startup+601.502 s]
/proc/loadavg: 2.00 2.00 1.92 3/67 25741
/proc/meminfo: memFree=1529088/2055920 swapFree=4183736/4192956
[pid=25738] ppid=25736 vsize=181600 CPUtime=1200.11
/proc/25738/stat : 25738 (ornithorynque) S 25736 25738 25229 0 -1 4194304 32711 0 0 0 119975 36 0 0 18 0 3 0 330916751 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 217060503419 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25738/statm: 45400 31533 387 42 0 39652 0
[pid=25738/tid=25740] ppid=25736 vsize=181600 CPUtime=601.22
/proc/25738/task/25740/stat : 25740 (ornithorynque) R 25736 25738 25229 0 -1 4194368 13855 0 0 0 60095 27 0 0 25 0 3 0 330916762 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25738/tid=25741] ppid=25736 vsize=181600 CPUtime=598.77
/proc/25738/task/25741/stat : 25741 (ornithorynque) R 25736 25738 25229 0 -1 4194368 16902 0 0 0 59870 7 0 0 25 0 3 0 330916762 185958400 31533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 181600

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.534
CPU time (s): 1200.15
CPU user time (s): 1199.77
CPU system time (s): 0.380942
CPU usage (%): 199.515
Max. virtual memory (cumulated for all children) (KiB): 181600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32711
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= 32
involuntary context switches= 9188

runsolver used 0.486925 second user time and 1.72074 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Mon Mar  5 15:46:40 UTC 2007

IDJOB= 328274
IDBENCH= 20182
IDSOLVER= 139
FILE ID= node59/328274-1173109600

PBS_JOBID= 4013917

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  9aef0bbcf7983db9bd08e85ce30f9d09

RANDOM SEED= 748491399

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.225
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.225
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:       1655024 kB
Buffers:         24764 kB
Cached:         300264 kB
SwapCached:       3004 kB
Active:          41976 kB
Inactive:       292500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655024 kB
SwapTotal:     4192956 kB
SwapFree:      4183736 kB
Dirty:             768 kB
Writeback:           0 kB
Mapped:          15496 kB
Slab:            52392 kB
Committed_AS:   654104 kB
PageTables:       1472 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= 66533 MiB

End job on node59 on Mon Mar  5 15:56:44 UTC 2007