Trace number 328518

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.07 601.421

General information on the benchmark

Namecrafted/spence/
medium/s85-100.cnf
MD5SUM0fa13b4cd7cac4108d58b524e7bb4ec3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark222.297
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of clauses180
Sum of the clauses size540
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3180
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c nbVar=85 nbClause=180
0.00/0.00	c nbVar=85 nbClause=180
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.01	c flip 0 nbSat=164 maxSat=0
0.00/0.02	c flip 0 nbSat=405 maxSat=178
0.00/0.03	c flip 0 nbSat=789 maxSat=431
0.12/0.07	c flip 0 nbSat=1464 maxSat=818
0.12/0.09	c flip 0 nbSat=1675 maxSat=1488
0.18/0.10	c flip 0 nbSat=1812 maxSat=1695
0.18/0.11	c flip 0 nbSat=2008 maxSat=1829
0.38/0.21	c flip 0 nbSat=3021 maxSat=2035
0.58/0.34	c flip 0 nbSat=3949 maxSat=3041
0.58/0.36	c flip 0 nbSat=4077 maxSat=3971
0.98/0.55	c flip 0 nbSat=5446 maxSat=4092
1.18/0.60	c flip 0 nbSat=5707 maxSat=5490
1.38/0.71	c flip 0 nbSat=6374 maxSat=5740
1.38/0.79	c flip 0 nbSat=6785 maxSat=6394
1.58/0.83	c flip 0 nbSat=6955 maxSat=6807
1.78/0.90	c flip 0 nbSat=7263 maxSat=6969
2.18/1.14	c flip 0 nbSat=8215 maxSat=7299
2.37/1.28	c nbDecision=10000 #clauses=8757
2.57/1.37	c flip 0 nbSat=9029 maxSat=8243
2.77/1.46	c flip 0 nbSat=9286 maxSat=9053
3.17/1.62	c flip 0 nbSat=9838 maxSat=9308
3.37/1.75	c flip 0 nbSat=10438 maxSat=9861
3.77/1.98	c flip 0 nbSat=11431 maxSat=10458
4.57/2.30	c flip 0 nbSat=12663 maxSat=11453
4.78/2.41	c flip 0 nbSat=13063 maxSat=12692
4.78/2.49	c flip 0 nbSat=13405 maxSat=13115
5.38/2.77	c flip 0 nbSat=14375 maxSat=13431
6.97/3.57	c flip 0 nbSat=16826 maxSat=14401
7.37/3.80	c nbDecision=20000 #clauses=17371
7.97/4.06	c flip 0 nbSat=17892 maxSat=16842
9.16/4.68	c flip 0 nbSat=18910 maxSat=17913
9.76/4.99	c flip 0 nbSat=19874 maxSat=18943
10.16/5.11	c flip 0 nbSat=20278 maxSat=19902
11.36/5.77	c flip 0 nbSat=22475 maxSat=20294
12.16/6.20	c flip 0 nbSat=23922 maxSat=22500
13.55/6.85	c flip 0 nbSat=25322 maxSat=23937
13.95/7.08	c nbDecision=30000 #clauses=25866
14.35/7.21	c flip 0 nbSat=26095 maxSat=25344
14.95/7.51	c flip 0 nbSat=26386 maxSat=26131
16.94/8.55	c flip 0 nbSat=28345 maxSat=26499
17.35/8.75	c flip 0 nbSat=28556 maxSat=28368
19.14/9.65	c flip 0 nbSat=29583 maxSat=28607
23.74/11.98	c flip 0 nbSat=31536 maxSat=29613
29.52/14.89	c nbDecision=40000 #clauses=34011
31.72/15.98	c flip 0 nbSat=36103 maxSat=31568
34.11/17.12	c flip 0 nbSat=37667 maxSat=36116
41.50/20.89	c flip 0 nbSat=41307 maxSat=37679
43.69/21.94	c flip 0 nbSat=42385 maxSat=41331
43.89/22.07	c nbDecision=50000 #clauses=42575
45.28/22.72	c flip 0 nbSat=43207 maxSat=42407
52.48/26.33	c flip 0 nbSat=45813 maxSat=43219
55.06/27.60	c flip 0 nbSat=46794 maxSat=45831
55.66/27.97	c flip 0 nbSat=47267 maxSat=46913
57.86/29.09	c flip 0 nbSat=48100 maxSat=47302
63.65/31.98	c flip 0 nbSat=49756 maxSat=48116
68.03/34.17	c flip 0 nbSat=50594 maxSat=49785
70.02/35.11	c nbDecision=60000 #clauses=51048
75.81/38.07	c flip 0 nbSat=52593 maxSat=50638
81.00/40.69	c flip 0 nbSat=53992 maxSat=52621
81.79/41.09	c flip 0 nbSat=54311 maxSat=54028
94.76/47.56	c flip 0 nbSat=59130 maxSat=54345
95.56/47.96	c nbDecision=70000 #clauses=59347
98.95/49.63	c flip 0 nbSat=60571 maxSat=59162
113.33/56.81	c flip 0 nbSat=65261 maxSat=60623
116.13/58.23	c flip 0 nbSat=66020 maxSat=65347
118.92/59.64	c flip 0 nbSat=66987 maxSat=66086
119.32/59.81	c nbDecision=80000 #clauses=67145
128.09/64.25	c flip 0 nbSat=70045 maxSat=67013
129.30/64.87	c flip 0 nbSat=70434 maxSat=70105
145.06/72.73	c nbDecision=90000 #clauses=75318
148.25/74.30	c flip 0 nbSat=76314 maxSat=70477
157.23/78.89	c flip 0 nbSat=79266 maxSat=76366
158.42/79.43	c flip 0 nbSat=79557 maxSat=79282
159.62/80.02	c flip 0 nbSat=79899 maxSat=79592
161.01/80.79	c flip 0 nbSat=80287 maxSat=79927
174.78/87.66	c nbDecision=100000 #clauses=83393
179.37/89.93	c flip 0 nbSat=84443 maxSat=80312
192.95/96.77	c flip 0 nbSat=87987 maxSat=84474
198.13/99.31	c flip 0 nbSat=89012 maxSat=88022
204.12/102.33	c flip 0 nbSat=90099 maxSat=89035
211.70/106.17	c flip 0 nbSat=91288 maxSat=90128
213.10/106.86	c nbDecision=110000 #clauses=91569
217.69/109.12	c flip 0 nbSat=92319 maxSat=91317
221.28/110.94	c flip 0 nbSat=92937 maxSat=92347
238.65/119.65	c flip 0 nbSat=94902 maxSat=92972
242.43/121.53	c flip 0 nbSat=95406 maxSat=94937
253.80/127.29	c flip 0 nbSat=96712 maxSat=95443
261.39/131.09	c flip 0 nbSat=97659 maxSat=96752
280.35/140.55	c nbDecision=120000 #clauses=99981
285.14/142.93	c flip 0 nbSat=100968 maxSat=97749
290.52/145.63	c flip 0 nbSat=101547 maxSat=101024
298.51/149.67	c flip 0 nbSat=102783 maxSat=101587
304.49/152.62	c flip 0 nbSat=103707 maxSat=102830
308.28/154.58	c flip 0 nbSat=104272 maxSat=103731
317.86/159.32	c flip 0 nbSat=105495 maxSat=104294
323.85/162.35	c flip 0 nbSat=106250 maxSat=105535
326.86/163.83	c flip 0 nbSat=106799 maxSat=106269
341.41/171.16	c nbDecision=130000 #clauses=108521
349.98/175.42	c flip 0 nbSat=109537 maxSat=106831
353.77/177.31	c flip 0 nbSat=110033 maxSat=109558
358.96/179.98	c flip 0 nbSat=110712 maxSat=110134
368.14/184.58	c flip 0 nbSat=111708 maxSat=110757
370.34/185.65	c flip 0 nbSat=111839 maxSat=111745
375.92/188.46	c flip 0 nbSat=112569 maxSat=111978
382.51/191.73	c flip 0 nbSat=113235 maxSat=112600
389.49/195.26	c flip 0 nbSat=114040 maxSat=113252
393.88/197.48	c flip 0 nbSat=114556 maxSat=114094
411.86/206.42	c nbDecision=140000 #clauses=117052
412.66/206.87	c flip 0 nbSat=117169 maxSat=114578
417.84/209.47	c flip 0 nbSat=118071 maxSat=117198
427.01/214.03	c flip 0 nbSat=119387 maxSat=118094
433.39/217.26	c flip 0 nbSat=120189 maxSat=119445
442.57/221.87	c flip 0 nbSat=121439 maxSat=120214
446.16/223.66	c flip 0 nbSat=121867 maxSat=121472
464.12/232.66	c flip 0 nbSat=124233 maxSat=121931
478.10/239.60	c flip 0 nbSat=125639 maxSat=124261
478.30/239.79	c nbDecision=150000 #clauses=125713
486.48/243.84	c flip 0 nbSat=126489 maxSat=125675
500.85/251.02	c flip 0 nbSat=127549 maxSat=126510
515.21/258.25	c flip 0 nbSat=128474 maxSat=127579
517.80/259.57	c flip 0 nbSat=128980 maxSat=128753
546.34/273.88	c flip 0 nbSat=132507 maxSat=129013
554.51/277.94	c flip 0 nbSat=133550 maxSat=132529
562.29/281.84	c nbDecision=160000 #clauses=134284
576.86/289.13	c flip 0 nbSat=135755 maxSat=133572
591.44/296.42	c flip 0 nbSat=136750 maxSat=135789
604.00/302.75	c flip 0 nbSat=138263 maxSat=136961
612.79/307.15	c flip 0 nbSat=139646 maxSat=138354
624.35/312.98	c flip 0 nbSat=141058 maxSat=139667
636.72/319.18	c nbDecision=170000 #clauses=142817
654.48/328.01	c flip 0 nbSat=144364 maxSat=141106
682.83/342.22	c flip 0 nbSat=147451 maxSat=144411
686.02/343.86	c flip 0 nbSat=147309 maxSat=147474
700.98/351.33	c flip 0 nbSat=149384 maxSat=147855
711.35/356.52	c nbDecision=180000 #clauses=151146
726.92/364.38	c flip 0 nbSat=152671 maxSat=149634
734.50/368.15	c flip 0 nbSat=153636 maxSat=152786
736.50/369.13	c flip 0 nbSat=153849 maxSat=153656
750.67/376.21	c flip 0 nbSat=155220 maxSat=153880
756.65/379.22	c flip 0 nbSat=155796 maxSat=155244
760.04/380.92	c flip 0 nbSat=156057 maxSat=155814
762.44/382.15	c flip 0 nbSat=156162 maxSat=156082
770.43/386.19	c flip 0 nbSat=156891 maxSat=156220
783.59/392.73	c flip 0 nbSat=158198 maxSat=156920
797.76/399.87	c nbDecision=190000 #clauses=159480
803.15/402.54	c flip 0 nbSat=159825 maxSat=158217
831.09/416.55	c flip 0 nbSat=161890 maxSat=159845
878.37/440.29	c flip 0 nbSat=166750 maxSat=162185
887.36/444.78	c nbDecision=200000 #clauses=167690
909.11/455.67	c flip 0 nbSat=169717 maxSat=166790
926.47/464.34	c flip 0 nbSat=171335 maxSat=169823
931.46/466.86	c flip 0 nbSat=171658 maxSat=171391
947.23/474.79	c flip 0 nbSat=173263 maxSat=171763
950.62/476.43	c flip 0 nbSat=173634 maxSat=173315
955.41/478.83	c flip 0 nbSat=174145 maxSat=173653
972.17/487.26	c flip 0 nbSat=175510 maxSat=174173
982.54/492.49	c nbDecision=210000 #clauses=176375
992.71/497.54	c flip 0 nbSat=177464 maxSat=175546
1010.27/506.35	c flip 0 nbSat=180143 maxSat=177549
1014.07/508.21	c flip 0 nbSat=180491 maxSat=180172
1046.40/524.50	c nbDecision=220000 #clauses=185186
1050.19/526.33	c flip 0 nbSat=185480 maxSat=180618
1077.31/539.93	c flip 0 nbSat=188396 maxSat=185536
1090.09/546.35	c flip 0 nbSat=189480 maxSat=188429
1104.66/553.68	c flip 0 nbSat=191067 maxSat=189576
1126.21/564.45	c nbDecision=230000 #clauses=193562
1130.21/566.48	c flip 0 nbSat=194052 maxSat=191116
1155.34/579.09	c flip 0 nbSat=196387 maxSat=194059
1187.87/595.33	c flip 0 nbSat=198917 maxSat=196451

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/node25/watcher-328518-1173112089 -o ROOT/results/node25/solver-328518-1173112089 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328518-1173112089/ornithorynque /tmp/evaluation/328518-1173112089/instance-328518-1173112089.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.84 1.95 1.90 3/64 3242
/proc/meminfo: memFree=1181216/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=23220 CPUtime=0
/proc/3242/stat : 3242 (ornithorynque) R 3240 3242 2325 0 -1 4194304 234 0 0 0 0 0 0 0 18 0 1 0 105831147 23777280 217 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253304534757 0 0 4096 0 0 0 0 17 1 0 0
/proc/3242/statm: 5805 225 191 42 0 45 0

[startup+0.0722741 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 3242
/proc/meminfo: memFree=1181216/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=45844 CPUtime=0.12
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 577 0 0 0 12 0 0 0 18 0 3 0 105831147 46944256 538 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 11461 538 387 42 0 5713 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 45844

[startup+0.101277 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 3242
/proc/meminfo: memFree=1181216/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=45844 CPUtime=0.18
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 609 0 0 0 18 0 0 0 18 0 3 0 105831147 46944256 570 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 11461 570 387 42 0 5713 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45844

[startup+0.301294 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 3242
/proc/meminfo: memFree=1181216/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=45844 CPUtime=0.58
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 712 0 0 0 58 0 0 0 18 0 3 0 105831147 46944256 673 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 11461 673 387 42 0 5713 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45844

[startup+0.701331 s]
/proc/loadavg: 1.84 1.95 1.90 3/64 3242
/proc/meminfo: memFree=1181216/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=45844 CPUtime=1.38
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 870 0 0 0 138 0 0 0 18 0 3 0 105831147 46944256 831 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 11461 831 387 42 0 5713 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45844

[startup+1.50141 s]
/proc/loadavg: 1.84 1.95 1.90 3/67 3245
/proc/meminfo: memFree=1178888/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=47132 CPUtime=2.97
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 1096 0 0 0 297 0 0 0 18 0 3 0 105831147 48263168 1057 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 11783 1057 387 42 0 6035 0
[pid=3242/tid=3244] ppid=3240 vsize=47132 CPUtime=1.48
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 367 0 0 0 148 0 0 0 25 0 3 0 105831148 48263168 1057 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253307032231 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=47132 CPUtime=1.48
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 231 0 0 0 148 0 0 0 25 0 3 0 105831148 48263168 1057 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240880 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 47132

[startup+3.10155 s]
/proc/loadavg: 1.84 1.95 1.90 3/67 3245
/proc/meminfo: memFree=1177736/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=49180 CPUtime=6.18
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 1449 0 0 0 617 1 0 0 18 0 3 0 105831147 50360320 1410 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 12295 1410 387 42 0 6547 0
[pid=3242/tid=3244] ppid=3240 vsize=49180 CPUtime=3.08
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 613 0 0 0 308 0 0 0 25 0 3 0 105831148 50360320 1410 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311492 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=49180 CPUtime=3.07
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 338 0 0 0 307 0 0 0 25 0 3 0 105831148 50360320 1410 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240907 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 49180

[startup+6.30184 s]
/proc/loadavg: 1.85 1.95 1.90 3/67 3245
/proc/meminfo: memFree=1175368/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=51616 CPUtime=12.56
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 2046 0 0 0 1255 1 0 0 18 0 3 0 105831147 52854784 1941 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 12904 1941 387 42 0 7156 0
[pid=3242/tid=3244] ppid=3240 vsize=51616 CPUtime=6.28
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 976 0 0 0 628 0 0 0 25 0 3 0 105831148 52854784 1941 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311148 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=51616 CPUtime=6.26
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 572 0 0 0 626 0 0 0 25 0 3 0 105831148 52854784 1941 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285876 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 51616

[startup+12.7014 s]
/proc/loadavg: 1.87 1.95 1.90 3/67 3245
/proc/meminfo: memFree=1172616/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=53432 CPUtime=25.33
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 2590 0 0 0 2531 2 0 0 18 0 3 0 105831147 54714368 2485 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 13358 2485 387 42 0 7610 0
[pid=3242/tid=3244] ppid=3240 vsize=53432 CPUtime=12.67
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 1313 0 0 0 1267 0 0 0 25 0 3 0 105831148 54714368 2485 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=53432 CPUtime=12.63
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 779 0 0 0 1263 0 0 0 25 0 3 0 105831148 54714368 2485 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 53432

[startup+25.5026 s]
/proc/loadavg: 1.89 1.96 1.91 3/67 3245
/proc/meminfo: memFree=1169800/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=57276 CPUtime=50.87
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 3439 0 0 0 5085 2 0 0 18 0 3 0 105831147 58650624 3171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 14319 3171 387 42 0 8571 0
[pid=3242/tid=3244] ppid=3240 vsize=57276 CPUtime=25.47
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 1913 0 0 0 2546 1 0 0 25 0 3 0 105831148 58650624 3171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 223531955568 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=57276 CPUtime=25.38
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 1028 0 0 0 2538 0 0 0 25 0 3 0 105831148 58650624 3171 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 57276

[startup+51.1029 s]
/proc/loadavg: 1.93 1.96 1.91 3/67 3245
/proc/meminfo: memFree=1165640/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=62032 CPUtime=101.95
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 4606 0 0 0 10191 4 0 0 18 0 3 0 105831147 63520768 4231 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 15508 4231 387 42 0 9760 0
[pid=3242/tid=3244] ppid=3240 vsize=62032 CPUtime=51.07
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 2556 0 0 0 5104 3 0 0 25 0 3 0 105831148 63520768 4231 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=62032 CPUtime=50.87
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 1552 0 0 0 5086 1 0 0 25 0 3 0 105831148 63520768 4231 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241032 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 62032

[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.91 3/67 3245
/proc/meminfo: memFree=1159432/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=68624 CPUtime=204.12
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 6468 0 0 0 20406 6 0 0 18 0 3 0 105831147 70270976 5737 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 17156 5737 387 42 0 11408 0
[pid=3242/tid=3244] ppid=3240 vsize=68624 CPUtime=102.26
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 3746 0 0 0 10222 4 0 0 25 0 3 0 105831148 70270976 5737 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=68624 CPUtime=101.85
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 2224 0 0 0 10184 1 0 0 25 0 3 0 105831148 70270976 5737 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 68624

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3245
/proc/meminfo: memFree=1155720/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=73904 CPUtime=323.85
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 7946 0 0 0 32378 7 0 0 18 0 3 0 105831147 75677696 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 18476 6657 387 42 0 12728 0
[pid=3242/tid=3244] ppid=3240 vsize=73904 CPUtime=162.24
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 4496 0 0 0 16219 5 0 0 25 0 3 0 105831148 75677696 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=73904 CPUtime=161.6
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 2952 0 0 0 16158 2 0 0 25 0 3 0 105831148 75677696 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.85
Current children cumulated vsize (KiB) 73904

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3245
/proc/meminfo: memFree=1151880/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=77860 CPUtime=443.56
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 9041 0 0 0 44347 9 0 0 18 0 3 0 105831147 79728640 7600 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 19465 7600 387 42 0 13717 0
[pid=3242/tid=3244] ppid=3240 vsize=77860 CPUtime=222.22
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 5172 0 0 0 22216 6 0 0 25 0 3 0 105831148 79728640 7600 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=77860 CPUtime=221.32
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 3371 0 0 0 22130 2 0 0 25 0 3 0 105831148 79728640 7600 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.56
Current children cumulated vsize (KiB) 77860

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1149192/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=83260 CPUtime=563.29
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 10617 0 0 0 56319 10 0 0 18 0 3 0 105831147 85258240 8270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 20815 8270 387 42 0 15067 0
[pid=3242/tid=3244] ppid=3240 vsize=83260 CPUtime=282.21
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 6067 0 0 0 28214 7 0 0 25 0 3 0 105831148 85258240 8270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=83260 CPUtime=281.08
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 4052 0 0 0 28105 3 0 0 25 0 3 0 105831148 85258240 8270 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.29
Current children cumulated vsize (KiB) 83260

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1146184/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=86236 CPUtime=683.03
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 11611 0 0 0 68291 12 0 0 18 0 3 0 105831147 88305664 9034 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 21559 9034 387 42 0 15811 0
[pid=3242/tid=3244] ppid=3240 vsize=86236 CPUtime=342.19
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 6707 0 0 0 34211 8 0 0 25 0 3 0 105831148 88305664 9034 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=86236 CPUtime=340.82
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 4406 0 0 0 34079 3 0 0 25 0 3 0 105831148 88305664 9034 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.03
Current children cumulated vsize (KiB) 86236

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1143496/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=89840 CPUtime=802.75
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 12497 0 0 0 80262 13 0 0 18 0 3 0 105831147 91996160 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 22460 9689 387 42 0 16712 0
[pid=3242/tid=3244] ppid=3240 vsize=89840 CPUtime=402.17
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 7210 0 0 0 40209 8 0 0 25 0 3 0 105831148 91996160 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=89840 CPUtime=400.55
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 4789 0 0 0 40052 3 0 0 25 0 3 0 105831148 91996160 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.75
Current children cumulated vsize (KiB) 89840

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1140872/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=91520 CPUtime=922.48
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 13181 0 0 0 92234 14 0 0 18 0 3 0 105831147 93716480 10340 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 22880 10340 387 42 0 17132 0
[pid=3242/tid=3244] ppid=3240 vsize=91520 CPUtime=462.15
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 7732 0 0 0 46206 9 0 0 25 0 3 0 105831148 93716480 10340 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=91520 CPUtime=460.3
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 4951 0 0 0 46027 3 0 0 25 0 3 0 105831148 93716480 10340 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.48
Current children cumulated vsize (KiB) 91520

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1138376/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=92932 CPUtime=1042.21
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 13894 0 0 0 104205 16 0 0 18 0 3 0 105831147 95162368 10987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 23233 10987 387 42 0 17485 0
[pid=3242/tid=3244] ppid=3240 vsize=92932 CPUtime=522.14
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 8213 0 0 0 52203 11 0 0 25 0 3 0 105831148 95162368 10987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=92932 CPUtime=520.05
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 5183 0 0 0 52001 4 0 0 25 0 3 0 105831148 95162368 10987 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.21
Current children cumulated vsize (KiB) 92932

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1135240/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=98576 CPUtime=1161.92
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 15408 0 0 0 116175 17 0 0 18 0 3 0 105831147 100941824 11720 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 24644 11720 387 42 0 18896 0
[pid=3242/tid=3244] ppid=3240 vsize=98576 CPUtime=582.12
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 8717 0 0 0 58200 12 0 0 25 0 3 0 105831148 100941824 11720 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=98576 CPUtime=579.78
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 6193 0 0 0 57974 4 0 0 25 0 3 0 105831148 100941824 11720 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (KiB) 98576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 3247
/proc/meminfo: memFree=1134856/2055920 swapFree=4183752/4192956
[pid=3242] ppid=3240 vsize=98576 CPUtime=1200.05
/proc/3242/stat : 3242 (ornithorynque) S 3240 3242 2325 0 -1 4194304 15530 0 0 0 119987 18 0 0 18 0 3 0 105831147 100941824 11842 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 253316067195 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 24644 11842 387 42 0 18896 0
[pid=3242/tid=3244] ppid=3240 vsize=98576 CPUtime=601.22
/proc/3242/task/3244/stat : 3244 (ornithorynque) R 3240 3242 2325 0 -1 4194368 8802 0 0 0 60110 12 0 0 25 0 3 0 105831148 100941824 11842 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3240 vsize=98576 CPUtime=598.8
/proc/3242/task/3245/stat : 3245 (ornithorynque) R 3240 3242 2325 0 -1 4194368 6230 0 0 0 59876 4 0 0 25 0 3 0 105831148 100941824 11842 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 98576

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.421
CPU time (s): 1200.07
CPU user time (s): 1199.88
CPU system time (s): 0.188971
CPU usage (%): 199.54
Max. virtual memory (cumulated for all children) (KiB): 98576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15530
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= 17
involuntary context switches= 9263

runsolver used 0.584911 second user time and 1.62375 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Mon Mar  5 16:28:09 UTC 2007

IDJOB= 328518
IDBENCH= 20440
IDSOLVER= 139
FILE ID= node25/328518-1173112089

PBS_JOBID= 4013913

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  0fa13b4cd7cac4108d58b524e7bb4ec3

RANDOM SEED= 857108542

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1181688 kB
Buffers:         30700 kB
Cached:         766288 kB
SwapCached:       3100 kB
Active:         100124 kB
Inactive:       707896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1181688 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:             248 kB
Writeback:           0 kB
Mapped:          17092 kB
Slab:            52232 kB
Committed_AS:   258268 kB
PageTables:       1476 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= 66550 MiB

End job on node25 on Mon Mar  5 16:38:13 UTC 2007