Trace number 328524

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.19 601.526

General information on the benchmark

Namecrafted/spence/
hard/s97-100.cnf
MD5SUM7c361fbea07d8f97309d9c2b0cb47663
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark378.055
Satisfiable
(Un)Satisfiability was proved
Number of variables97
Number of clauses204
Sum of the clauses size612
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3204
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=97 nbClause=204
0.00/0.00	c nbVar=97 nbClause=204
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=184 maxSat=0
0.00/0.02	c flip 0 nbSat=458 maxSat=202
0.00/0.03	c flip 0 nbSat=726 maxSat=480
0.00/0.05	c flip 0 nbSat=1290 maxSat=749
0.00/0.08	c flip 0 nbSat=1647 maxSat=1315
0.18/0.14	c flip 0 nbSat=2209 maxSat=1664
0.18/0.16	c flip 0 nbSat=2328 maxSat=2236
0.38/0.20	c flip 0 nbSat=2748 maxSat=2352
0.38/0.24	c flip 0 nbSat=3151 maxSat=2764
0.38/0.26	c flip 0 nbSat=3338 maxSat=3169
0.58/0.31	c flip 0 nbSat=3646 maxSat=3361
0.77/0.45	c flip 0 nbSat=4673 maxSat=3658
0.97/0.56	c flip 0 nbSat=5364 maxSat=4705
0.97/0.59	c flip 0 nbSat=5537 maxSat=5389
1.17/0.63	c flip 0 nbSat=5802 maxSat=5562
1.37/0.74	c flip 0 nbSat=6308 maxSat=5817
1.98/1.07	c flip 0 nbSat=7806 maxSat=6333
2.37/1.27	c flip 0 nbSat=8643 maxSat=7829
2.37/1.29	c nbDecision=10000 #clauses=8880
3.17/1.67	c flip 0 nbSat=10622 maxSat=8668
3.36/1.73	c flip 0 nbSat=10765 maxSat=10654
4.17/2.20	c flip 0 nbSat=12428 maxSat=10797
4.37/2.29	c flip 0 nbSat=12732 maxSat=12454
4.56/2.36	c flip 0 nbSat=12889 maxSat=12755
5.96/3.04	c flip 0 nbSat=14930 maxSat=12917
6.95/3.58	c flip 0 nbSat=16847 maxSat=14947
7.15/3.69	c flip 0 nbSat=17211 maxSat=16881
7.55/3.83	c flip 0 nbSat=17631 maxSat=17248
7.55/3.85	c nbDecision=20000 #clauses=17737
8.76/4.49	c flip 0 nbSat=19362 maxSat=17657
9.16/4.69	c flip 0 nbSat=19839 maxSat=19392
12.55/6.39	c flip 0 nbSat=23484 maxSat=19872
13.54/6.86	c flip 0 nbSat=24203 maxSat=23512
14.94/7.53	c flip 0 nbSat=25148 maxSat=24223
15.15/7.65	c flip 0 nbSat=25340 maxSat=25168
16.94/8.54	c nbDecision=30000 #clauses=26651
16.94/8.58	c flip 0 nbSat=26621 maxSat=25362
17.55/8.86	c flip 0 nbSat=27091 maxSat=26683
18.74/9.41	c flip 0 nbSat=27875 maxSat=27107
19.13/9.62	c flip 0 nbSat=27987 maxSat=27896
22.53/11.32	c flip 0 nbSat=30543 maxSat=28135
23.72/11.92	c flip 0 nbSat=31353 maxSat=30560
24.32/12.27	c flip 0 nbSat=31744 maxSat=31388
25.12/12.65	c flip 0 nbSat=32352 maxSat=31759
26.32/13.27	c flip 0 nbSat=33065 maxSat=32394
30.31/15.23	c nbDecision=40000 #clauses=35565
30.72/15.46	c flip 0 nbSat=35774 maxSat=33088
34.10/17.13	c flip 0 nbSat=37212 maxSat=35814
36.49/18.30	c flip 0 nbSat=38301 maxSat=37322
43.07/21.68	c flip 0 nbSat=40312 maxSat=38323
44.27/22.22	c flip 0 nbSat=40589 maxSat=40331
46.26/23.26	c flip 0 nbSat=41042 maxSat=40621
57.64/28.91	c flip 0 nbSat=43938 maxSat=41066
58.64/29.40	c nbDecision=50000 #clauses=44355
65.43/32.87	c flip 0 nbSat=46414 maxSat=43962
69.22/34.77	c flip 0 nbSat=47760 maxSat=46437
70.81/35.55	c flip 0 nbSat=48220 maxSat=47787
74.21/37.23	c flip 0 nbSat=49199 maxSat=48235
75.40/37.82	c flip 0 nbSat=49652 maxSat=49225
76.00/38.16	c flip 0 nbSat=49840 maxSat=49690
79.79/40.01	c flip 0 nbSat=51390 maxSat=49890
84.99/42.60	c nbDecision=60000 #clauses=53183
89.18/44.78	c flip 0 nbSat=54786 maxSat=51428
89.98/45.11	c flip 0 nbSat=55118 maxSat=54807
97.95/49.16	c flip 0 nbSat=59143 maxSat=55149
105.34/52.85	c nbDecision=70000 #clauses=61968
108.12/54.29	c flip 0 nbSat=62840 maxSat=59170
110.92/55.70	c flip 0 nbSat=63761 maxSat=62928
117.30/58.87	c flip 0 nbSat=65834 maxSat=63932
131.67/66.01	c nbDecision=80000 #clauses=70615
138.26/69.32	c flip 0 nbSat=73115 maxSat=65859
142.45/71.48	c flip 0 nbSat=74671 maxSat=73147
145.83/73.15	c flip 0 nbSat=75768 maxSat=74693
157.82/79.12	c nbDecision=90000 #clauses=79309
161.00/80.79	c flip 0 nbSat=79868 maxSat=75797
162.59/81.59	c flip 0 nbSat=80165 maxSat=79887
190.92/95.73	c flip 0 nbSat=86292 maxSat=80188
199.10/99.81	c nbDecision=100000 #clauses=88037
212.87/106.75	c flip 0 nbSat=90927 maxSat=86316
214.68/107.61	c flip 0 nbSat=91214 maxSat=90973
225.04/112.87	c flip 0 nbSat=93069 maxSat=91238
230.43/115.56	c flip 0 nbSat=94185 maxSat=93086
240.20/120.42	c nbDecision=110000 #clauses=96755
254.18/127.49	c flip 0 nbSat=100500 maxSat=94340
271.73/136.29	c nbDecision=120000 #clauses=105510
279.11/139.95	c flip 0 nbSat=107661 maxSat=100563
304.25/152.55	c flip 0 nbSat=113812 maxSat=107702
305.25/153.03	c nbDecision=130000 #clauses=114075
325.41/163.18	c flip 0 nbSat=118323 maxSat=113863
353.54/177.27	c flip 0 nbSat=122226 maxSat=118356
357.54/179.26	c nbDecision=140000 #clauses=122791
408.81/204.99	c flip 0 nbSat=130907 maxSat=122279
414.60/207.87	c nbDecision=150000 #clauses=131541
430.56/215.90	c flip 0 nbSat=133728 maxSat=130932
461.88/231.58	c flip 0 nbSat=138580 maxSat=133765
465.47/233.32	c flip 0 nbSat=139265 maxSat=138613
469.67/235.42	c flip 0 nbSat=139971 maxSat=139297
471.06/236.20	c nbDecision=160000 #clauses=140287
473.06/237.10	c flip 0 nbSat=140946 maxSat=140001
476.65/238.92	c flip 0 nbSat=142164 maxSat=140961
486.83/244.06	c flip 0 nbSat=143983 maxSat=142198
509.77/255.60	c flip 0 nbSat=146047 maxSat=144016
512.97/257.18	c flip 0 nbSat=146409 maxSat=146067
526.14/263.71	c nbDecision=170000 #clauses=149062
534.12/267.79	c flip 0 nbSat=150697 maxSat=146428
572.63/287.02	c flip 0 nbSat=156873 maxSat=150715
575.62/288.52	c flip 0 nbSat=157230 maxSat=156897
579.42/290.40	c nbDecision=180000 #clauses=157789
588.38/294.96	c flip 0 nbSat=159026 maxSat=157278
600.36/300.99	c flip 0 nbSat=160540 maxSat=159067
615.52/308.54	c flip 0 nbSat=163566 maxSat=160571
619.32/310.49	c flip 0 nbSat=164214 maxSat=163619
625.90/313.78	c flip 0 nbSat=165458 maxSat=164243
630.88/316.29	c nbDecision=190000 #clauses=166445
653.23/327.41	c flip 0 nbSat=169746 maxSat=165494
658.42/330.03	c flip 0 nbSat=170445 maxSat=169831
679.17/340.43	c flip 0 nbSat=172514 maxSat=170494
697.13/349.44	c nbDecision=200000 #clauses=175219
722.07/361.98	c flip 0 nbSat=178946 maxSat=172567
761.19/381.56	c flip 0 nbSat=183399 maxSat=178965
765.98/383.99	c nbDecision=210000 #clauses=183964
797.09/399.58	c flip 0 nbSat=186973 maxSat=183415
817.44/409.75	c flip 0 nbSat=188938 maxSat=187018
845.99/424.08	c nbDecision=220000 #clauses=192582
868.93/435.54	c flip 0 nbSat=195807 maxSat=188987
890.28/446.24	c flip 0 nbSat=198408 maxSat=195829
913.02/457.62	c nbDecision=230000 #clauses=201244
915.81/459.01	c flip 0 nbSat=201481 maxSat=198477
920.21/461.23	c flip 0 nbSat=202099 maxSat=201513
925.00/463.66	c flip 0 nbSat=202661 maxSat=202125
959.12/480.75	c flip 0 nbSat=206888 maxSat=202684
976.27/489.32	c nbDecision=240000 #clauses=210025
981.46/491.94	c flip 0 nbSat=210926 maxSat=206977
1000.82/501.62	c flip 0 nbSat=214278 maxSat=211050
1022.96/512.75	c flip 0 nbSat=218174 maxSat=214320
1027.75/515.10	c nbDecision=250000 #clauses=218841
1031.74/517.18	c flip 0 nbSat=219503 maxSat=218221
1067.06/534.82	c flip 0 nbSat=224087 maxSat=219548
1093.80/548.29	c nbDecision=260000 #clauses=227438
1101.19/551.94	c flip 0 nbSat=228529 maxSat=224324
1113.35/558.09	c flip 0 nbSat=230045 maxSat=228559
1157.06/579.99	c flip 0 nbSat=235611 maxSat=230094
1160.25/581.50	c nbDecision=270000 #clauses=236169
1163.64/583.23	c flip 0 nbSat=236572 maxSat=235790
1170.22/586.57	c flip 0 nbSat=237346 maxSat=236596

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.06 1.94 2/77 23459
/proc/meminfo: memFree=1379712/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=23220 CPUtime=0
/proc/23459/stat : 23459 (ornithorynque) R 23457 23459 22584 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331178696 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269754602608 0 0 4096 0 0 0 0 17 1 0 0
/proc/23459/statm: 5805 265 218 42 0 45 0

[startup+0.0941369 s]
/proc/loadavg: 2.25 2.06 1.94 2/77 23459
/proc/meminfo: memFree=1379712/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=45084 CPUtime=0.17
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 606 0 0 0 17 0 0 0 18 0 3 0 331178696 46166016 567 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 11271 567 387 42 0 5523 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 45084

[startup+0.101138 s]
/proc/loadavg: 2.25 2.06 1.94 2/77 23459
/proc/meminfo: memFree=1379712/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=45084 CPUtime=0.18
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 609 0 0 0 18 0 0 0 18 0 3 0 331178696 46166016 570 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 11271 570 387 42 0 5523 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45084

[startup+0.301164 s]
/proc/loadavg: 2.25 2.06 1.94 2/77 23459
/proc/meminfo: memFree=1379712/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=45360 CPUtime=0.58
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 723 0 0 0 58 0 0 0 18 0 3 0 331178696 46448640 684 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 11340 684 387 42 0 5592 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45360

[startup+0.701219 s]
/proc/loadavg: 2.25 2.06 1.94 2/77 23459
/proc/meminfo: memFree=1379712/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=45820 CPUtime=1.37
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 901 0 0 0 137 0 0 0 18 0 3 0 331178696 46919680 862 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 11455 862 387 42 0 5707 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 45820

[startup+1.50132 s]
/proc/loadavg: 2.23 2.06 1.94 3/80 23462
/proc/meminfo: memFree=1377448/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=46660 CPUtime=2.97
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 1135 0 0 0 297 0 0 0 18 0 3 0 331178696 47779840 1096 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 11665 1096 387 42 0 5917 0
[pid=23459/tid=23461] ppid=23457 vsize=46660 CPUtime=1.48
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 402 0 0 0 148 0 0 0 18 0 3 0 331178697 47779840 1096 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=46660 CPUtime=1.47
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 234 0 0 0 147 0 0 0 25 0 3 0 331178697 47779840 1096 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 46660

[startup+3.10255 s]
/proc/loadavg: 2.23 2.06 1.94 3/80 23462
/proc/meminfo: memFree=1376040/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=48512 CPUtime=6.16
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 1492 0 0 0 616 0 0 0 18 0 3 0 331178696 49676288 1453 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 12128 1453 387 42 0 6380 0
[pid=23459/tid=23461] ppid=23457 vsize=48512 CPUtime=3.08
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 619 0 0 0 308 0 0 0 25 0 3 0 331178697 49676288 1453 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=48512 CPUtime=3.07
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 374 0 0 0 307 0 0 0 25 0 3 0 331178697 49676288 1453 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 48512

[startup+6.30197 s]
/proc/loadavg: 2.21 2.06 1.94 3/80 23462
/proc/meminfo: memFree=1373608/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=51160 CPUtime=12.55
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 1995 0 0 0 1254 1 0 0 18 0 3 0 331178696 52387840 1890 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 12790 1890 387 42 0 7042 0
[pid=23459/tid=23461] ppid=23457 vsize=51160 CPUtime=6.28
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 970 0 0 0 628 0 0 0 25 0 3 0 331178697 52387840 1890 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=51160 CPUtime=6.25
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 526 0 0 0 625 0 0 0 25 0 3 0 331178697 52387840 1890 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 51160

[startup+12.7018 s]
/proc/loadavg: 2.20 2.06 1.94 3/80 23462
/proc/meminfo: memFree=1370536/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=53740 CPUtime=25.32
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 2721 0 0 0 2531 1 0 0 18 0 3 0 331178696 55029760 2616 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 13435 2616 387 42 0 7687 0
[pid=23459/tid=23461] ppid=23457 vsize=53740 CPUtime=12.67
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 1362 0 0 0 1267 0 0 0 25 0 3 0 331178697 55029760 2616 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311221 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=53740 CPUtime=12.62
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 860 0 0 0 1262 0 0 0 25 0 3 0 331178697 55029760 2616 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242225 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 53740

[startup+25.5015 s]
/proc/loadavg: 2.16 2.05 1.94 3/80 23462
/proc/meminfo: memFree=1368168/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=56488 CPUtime=50.85
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 3468 0 0 0 5083 2 0 0 18 0 3 0 331178696 57843712 3200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 14122 3200 387 42 0 8374 0
[pid=23459/tid=23461] ppid=23457 vsize=56488 CPUtime=25.47
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 1860 0 0 0 2546 1 0 0 25 0 3 0 331178697 57843712 3200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=56488 CPUtime=25.36
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 1109 0 0 0 2536 0 0 0 25 0 3 0 331178697 57843712 3200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 56488

[startup+51.1019 s]
/proc/loadavg: 2.10 2.05 1.94 3/80 23462
/proc/meminfo: memFree=1363752/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=62408 CPUtime=101.94
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 4808 0 0 0 10190 4 0 0 18 0 3 0 331178696 63905792 4342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 15602 4342 387 42 0 9854 0
[pid=23459/tid=23461] ppid=23457 vsize=62408 CPUtime=51.06
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 2603 0 0 0 5104 2 0 0 25 0 3 0 331178697 63905792 4342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=62408 CPUtime=50.85
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 1706 0 0 0 5084 1 0 0 25 0 3 0 331178697 63905792 4342 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 62408

[startup+102.306 s]
/proc/loadavg: 2.04 2.04 1.94 3/80 23462
/proc/meminfo: memFree=1356520/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=70392 CPUtime=204.09
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 7167 0 0 0 20403 6 0 0 18 0 3 0 331178696 72081408 6114 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 17598 6114 387 42 0 11850 0
[pid=23459/tid=23461] ppid=23457 vsize=70392 CPUtime=102.25
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 3955 0 0 0 10221 4 0 0 25 0 3 0 331178697 72081408 6114 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311308 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=70392 CPUtime=101.83
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 2713 0 0 0 10181 2 0 0 25 0 3 0 331178697 72081408 6114 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 70392

[startup+162.302 s]
/proc/loadavg: 2.01 2.03 1.94 3/80 23462
/proc/meminfo: memFree=1349224/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=78940 CPUtime=323.81
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 9663 0 0 0 32372 9 0 0 18 0 3 0 331178696 80834560 7858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 19735 7858 387 42 0 13987 0
[pid=23459/tid=23461] ppid=23457 vsize=78940 CPUtime=162.23
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 5230 0 0 0 16217 6 0 0 25 0 3 0 331178697 80834560 7858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=78940 CPUtime=161.56
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 3934 0 0 0 16154 2 0 0 25 0 3 0 331178697 80834560 7858 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 78940

[startup+222.302 s]
/proc/loadavg: 2.00 2.02 1.94 3/80 23462
/proc/meminfo: memFree=1344872/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=85944 CPUtime=443.53
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 11667 0 0 0 44342 11 0 0 18 0 3 0 331178696 88006656 8990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 21486 8990 387 42 0 15738 0
[pid=23459/tid=23461] ppid=23457 vsize=85944 CPUtime=222.21
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 6330 0 0 0 22214 7 0 0 25 0 3 0 331178697 88006656 8990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=85944 CPUtime=221.3
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 4838 0 0 0 22128 2 0 0 25 0 3 0 331178697 88006656 8990 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.53
Current children cumulated vsize (KiB) 85944

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 1.94 3/80 23462
/proc/meminfo: memFree=1339368/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=91320 CPUtime=563.24
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 13446 0 0 0 56312 12 0 0 18 0 3 0 331178696 93511680 10343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 22830 10343 387 42 0 17082 0
[pid=23459/tid=23461] ppid=23457 vsize=91320 CPUtime=282.19
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 7553 0 0 0 28211 8 0 0 25 0 3 0 331178697 93511680 10343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311247 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=91320 CPUtime=281.04
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 5394 0 0 0 28101 3 0 0 25 0 3 0 331178697 93511680 10343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 91320

[startup+342.302 s]
/proc/loadavg: 2.00 2.01 1.94 3/80 23462
/proc/meminfo: memFree=1335144/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=95368 CPUtime=682.96
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 14852 0 0 0 68282 14 0 0 18 0 3 0 331178696 97656832 11424 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 23842 11424 387 42 0 18094 0
[pid=23459/tid=23461] ppid=23457 vsize=95368 CPUtime=342.17
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 8184 0 0 0 34207 10 0 0 25 0 3 0 331178697 97656832 11424 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=95368 CPUtime=340.77
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 6169 0 0 0 34074 3 0 0 25 0 3 0 331178697 97656832 11424 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241407 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.96
Current children cumulated vsize (KiB) 95368

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 23462
/proc/meminfo: memFree=1331112/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=101860 CPUtime=802.68
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 16915 0 0 0 80253 15 0 0 18 0 3 0 331178696 104304640 12381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 25465 12381 387 42 0 19717 0
[pid=23459/tid=23461] ppid=23457 vsize=101860 CPUtime=402.16
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 9107 0 0 0 40205 11 0 0 25 0 3 0 331178697 104304640 12381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=101860 CPUtime=400.52
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 7309 0 0 0 40048 4 0 0 25 0 3 0 331178697 104304640 12381 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241047 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (KiB) 101860

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 23462
/proc/meminfo: memFree=1327784/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=105192 CPUtime=922.4
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 18004 0 0 0 92223 17 0 0 18 0 3 0 331178696 107716608 13241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 26298 13241 387 42 0 20550 0
[pid=23459/tid=23461] ppid=23457 vsize=105192 CPUtime=462.14
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 9621 0 0 0 46202 12 0 0 25 0 3 0 331178697 107716608 13241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311048 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=105192 CPUtime=460.25
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 7884 0 0 0 46021 4 0 0 25 0 3 0 331178697 107716608 13241 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.4
Current children cumulated vsize (KiB) 105192

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 23462
/proc/meminfo: memFree=1323624/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=109872 CPUtime=1042.12
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 19608 0 0 0 104194 18 0 0 18 0 3 0 331178696 112508928 14292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 27468 14292 387 42 0 21720 0
[pid=23459/tid=23461] ppid=23457 vsize=109872 CPUtime=522.11
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 10418 0 0 0 52198 13 0 0 25 0 3 0 331178697 112508928 14292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=109872 CPUtime=519.99
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 8691 0 0 0 51995 4 0 0 25 0 3 0 331178697 112508928 14292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (KiB) 109872

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 23462
/proc/meminfo: memFree=1319464/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=114860 CPUtime=1161.85
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 21277 0 0 0 116164 21 0 0 18 0 3 0 331178696 117616640 15313 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 28715 15313 387 42 0 22967 0
[pid=23459/tid=23461] ppid=23457 vsize=114860 CPUtime=582.1
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 11343 0 0 0 58195 15 0 0 25 0 3 0 331178697 117616640 15313 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=114860 CPUtime=579.73
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 9435 0 0 0 57968 5 0 0 25 0 3 0 331178697 117616640 15313 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.85
Current children cumulated vsize (KiB) 114860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 23462
/proc/meminfo: memFree=1318632/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=115676 CPUtime=1200.15
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 21505 0 0 0 119994 21 0 0 18 0 3 0 331178696 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 28919 15508 387 42 0 23171 0
[pid=23459/tid=23461] ppid=23457 vsize=115676 CPUtime=601.3
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 11506 0 0 0 60114 16 0 0 25 0 3 0 331178697 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311371 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=115676 CPUtime=598.84
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 9500 0 0 0 59879 5 0 0 25 0 3 0 331178697 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 115676

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.94 3/80 23462
/proc/meminfo: memFree=1318632/2055920 swapFree=4189164/4192956
[pid=23459] ppid=23457 vsize=115676 CPUtime=1200.15
/proc/23459/stat : 23459 (ornithorynque) S 23457 23459 22584 0 -1 4194304 21505 0 0 0 119994 21 0 0 18 0 3 0 331178696 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23459/statm: 28919 15508 387 42 0 23171 0
[pid=23459/tid=23461] ppid=23457 vsize=115676 CPUtime=601.3
/proc/23459/task/23461/stat : 23461 (ornithorynque) R 23457 23459 22584 0 -1 4194368 11506 0 0 0 60114 16 0 0 25 0 3 0 331178697 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311371 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23459/tid=23462] ppid=23457 vsize=115676 CPUtime=598.84
/proc/23459/task/23462/stat : 23462 (ornithorynque) R 23457 23459 22584 0 -1 4194368 9500 0 0 0 59879 5 0 0 25 0 3 0 331178697 118452224 15508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 115676

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.526
CPU time (s): 1200.19
CPU user time (s): 1199.96
CPU system time (s): 0.228965
CPU usage (%): 199.525
Max. virtual memory (cumulated for all children) (KiB): 115676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21505
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= 27
involuntary context switches= 22839

runsolver used 0.538918 second user time and 1.67974 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Mar  5 16:30:42 UTC 2007

IDJOB= 328524
IDBENCH= 20446
IDSOLVER= 139
FILE ID= node13/328524-1173112242

PBS_JOBID= 4013931

Free space on /tmp= 66373 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  7c361fbea07d8f97309d9c2b0cb47663

RANDOM SEED= 296812925

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.236
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.236
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:       1380184 kB
Buffers:         39328 kB
Cached:         523580 kB
SwapCached:        404 kB
Active:         353588 kB
Inactive:       261712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1380184 kB
SwapTotal:     4192956 kB
SwapFree:      4189164 kB
Dirty:             248 kB
Writeback:           0 kB
Mapped:          62436 kB
Slab:            46032 kB
Committed_AS:  1538360 kB
PageTables:       1744 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= 66373 MiB

End job on node13 on Mon Mar  5 16:40:46 UTC 2007