Trace number 328278

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.06 601.534

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
MD5SUMe6653d81a13cfb87c5f3f5bf9150cbf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark533.937
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.00/0.08	c ...done
0.00/0.08	c nbVar=7000 nbClause=29400
0.00/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=25668 maxSat=0
0.27/0.20	c flip 10000 nbSat=28297 maxSat=28325
0.27/0.27	c flip 20000 nbSat=28669 maxSat=28687
0.47/0.34	c flip 30000 nbSat=28740 maxSat=28789
0.67/0.41	c flip 40000 nbSat=28812 maxSat=28848
0.67/0.48	c flip 50000 nbSat=28852 maxSat=28895
0.87/0.55	c flip 60000 nbSat=28846 maxSat=28895
1.07/0.62	c flip 70000 nbSat=28892 maxSat=28932
1.07/0.69	c flip 80000 nbSat=28898 maxSat=28932
1.27/0.76	c flip 90000 nbSat=28869 maxSat=28932
1.48/0.82	c flip 100000 nbSat=28881 maxSat=28932
1.48/0.89	c flip 110000 nbSat=28855 maxSat=28945
1.67/0.96	c flip 120000 nbSat=28840 maxSat=28945
1.87/1.03	c flip 130000 nbSat=28910 maxSat=28945
2.08/1.12	c flip 0 nbSat=26757 maxSat=28969
2.28/1.25	c flip 10000 nbSat=29374 maxSat=29382
2.47/1.39	c flip 20000 nbSat=29712 maxSat=29757
2.87/1.54	c flip 30000 nbSat=29770 maxSat=29799
3.07/1.68	c flip 40000 nbSat=29899 maxSat=29921
3.47/1.82	c flip 50000 nbSat=29935 maxSat=29949
3.66/1.96	c flip 60000 nbSat=29961 maxSat=30005
4.06/2.12	c flip 70000 nbSat=29933 maxSat=30011
4.27/2.27	c flip 80000 nbSat=29976 maxSat=30011
4.66/2.41	c flip 90000 nbSat=29968 maxSat=30029
4.86/2.56	c flip 100000 nbSat=29987 maxSat=30029
5.06/2.69	c flip 110000 nbSat=30008 maxSat=30039
5.47/2.83	c flip 120000 nbSat=30044 maxSat=30074
5.67/2.97	c flip 130000 nbSat=30061 maxSat=30104
6.07/3.13	c flip 0 nbSat=28300 maxSat=30108
6.47/3.37	c flip 10000 nbSat=30806 maxSat=30827
7.06/3.63	c flip 20000 nbSat=31192 maxSat=31213
7.66/3.91	c flip 30000 nbSat=31279 maxSat=31310
8.05/4.19	c flip 40000 nbSat=31401 maxSat=31406
8.66/4.47	c flip 50000 nbSat=31392 maxSat=31430
9.26/4.75	c flip 60000 nbSat=31439 maxSat=31469
9.86/5.03	c flip 70000 nbSat=31444 maxSat=31493
10.46/5.32	c flip 80000 nbSat=31466 maxSat=31493
11.06/5.61	c flip 90000 nbSat=31501 maxSat=31538
11.45/5.88	c flip 100000 nbSat=31531 maxSat=31556
12.05/6.17	c flip 110000 nbSat=31505 maxSat=31574
12.65/6.47	c flip 120000 nbSat=31529 maxSat=31575
13.25/6.77	c flip 130000 nbSat=31556 maxSat=31575
14.04/7.11	c flip 0 nbSat=30094 maxSat=31599
14.84/7.54	c flip 10000 nbSat=32734 maxSat=32738
15.84/8.01	c flip 20000 nbSat=33122 maxSat=33191
16.84/8.55	c flip 30000 nbSat=33206 maxSat=33246
17.84/9.09	c flip 40000 nbSat=33282 maxSat=33303
19.04/9.62	c flip 50000 nbSat=33289 maxSat=33345
19.64/10.00	c nbDecision=10000 #clauses=35257
20.03/10.18	c flip 60000 nbSat=33292 maxSat=33345
21.22/10.70	c flip 70000 nbSat=33322 maxSat=33358
22.22/11.23	c flip 80000 nbSat=33267 maxSat=33358
23.21/11.77	c flip 90000 nbSat=33350 maxSat=33368
24.22/12.29	c flip 100000 nbSat=33369 maxSat=33382
25.42/12.86	c flip 110000 nbSat=33437 maxSat=33455
26.61/13.46	c flip 120000 nbSat=33400 maxSat=33464
27.81/14.05	c flip 130000 nbSat=33429 maxSat=33464
29.00/14.67	c flip 0 nbSat=33314 maxSat=33477
30.60/15.42	c flip 10000 nbSat=35943 maxSat=35944
32.19/16.20	c flip 20000 nbSat=36237 maxSat=36252
33.78/17.05	c flip 30000 nbSat=36394 maxSat=36424
35.59/17.94	c flip 40000 nbSat=36466 maxSat=36502
37.58/18.90	c flip 50000 nbSat=36535 maxSat=36558
39.39/19.83	c flip 60000 nbSat=36600 maxSat=36611
41.38/20.82	c flip 70000 nbSat=36613 maxSat=36640
42.97/21.69	c flip 80000 nbSat=36563 maxSat=36640
44.77/22.57	c flip 90000 nbSat=36514 maxSat=36640
46.76/23.53	c flip 100000 nbSat=36563 maxSat=36640
48.75/24.55	c flip 110000 nbSat=36638 maxSat=36647
50.75/25.52	c flip 120000 nbSat=36621 maxSat=36657
52.75/26.52	c flip 130000 nbSat=36594 maxSat=36657
53.54/26.96	c nbDecision=20000 #clauses=41325
54.74/27.55	c flip 0 nbSat=37854 maxSat=36680
57.53/28.90	c flip 10000 nbSat=40319 maxSat=40328
60.32/30.36	c flip 20000 nbSat=40680 maxSat=40691
63.52/32.00	c flip 30000 nbSat=40803 maxSat=40836
67.11/33.78	c flip 40000 nbSat=40883 maxSat=40928
70.90/35.68	c flip 50000 nbSat=40979 maxSat=40996
74.29/37.32	c flip 60000 nbSat=41040 maxSat=41064
77.88/39.12	c flip 70000 nbSat=41019 maxSat=41079
81.68/41.03	c flip 80000 nbSat=41058 maxSat=41079
85.48/42.95	c flip 90000 nbSat=41065 maxSat=41085
89.66/45.03	c flip 100000 nbSat=41073 maxSat=41113
93.65/47.04	c flip 110000 nbSat=41025 maxSat=41113
97.64/49.04	c flip 120000 nbSat=41048 maxSat=41113
101.43/50.96	c flip 130000 nbSat=41013 maxSat=41113
105.23/52.88	c flip 0 nbSat=43427 maxSat=41113
110.01/55.24	c flip 10000 nbSat=46004 maxSat=46014
110.81/55.70	c nbDecision=30000 #clauses=47612
115.80/58.14	c flip 20000 nbSat=46324 maxSat=46335
122.18/61.37	c flip 30000 nbSat=46417 maxSat=46474
128.56/64.54	c flip 40000 nbSat=46427 maxSat=46510
134.95/67.75	c flip 50000 nbSat=46540 maxSat=46564
142.53/71.58	c flip 60000 nbSat=46547 maxSat=46589
150.10/75.37	c flip 70000 nbSat=46601 maxSat=46636
156.90/78.76	c flip 80000 nbSat=46600 maxSat=46641
163.88/82.23	c flip 90000 nbSat=46592 maxSat=46642
171.06/85.88	c nbDecision=40000 #clauses=53732
171.66/86.16	c flip 100000 nbSat=46638 maxSat=46668
179.04/89.88	c flip 110000 nbSat=46638 maxSat=46701
186.63/93.68	c flip 120000 nbSat=46668 maxSat=46701
193.61/97.19	c flip 130000 nbSat=46671 maxSat=46743
201.40/101.09	c flip 0 nbSat=52430 maxSat=46743
209.97/105.38	c flip 10000 nbSat=54997 maxSat=55005
220.54/110.67	c flip 20000 nbSat=55342 maxSat=55379
232.71/116.71	c flip 30000 nbSat=55521 maxSat=55526
245.69/123.27	c flip 40000 nbSat=55555 maxSat=55598
255.85/128.37	c nbDecision=50000 #clauses=60043
257.85/129.39	c flip 50000 nbSat=55655 maxSat=55689
270.23/135.57	c flip 60000 nbSat=55632 maxSat=55689
282.40/141.61	c flip 70000 nbSat=55607 maxSat=55689
294.18/147.59	c flip 80000 nbSat=55563 maxSat=55689
307.73/154.31	c flip 90000 nbSat=55607 maxSat=55689
321.69/161.37	c flip 100000 nbSat=55645 maxSat=55689
336.06/168.54	c flip 110000 nbSat=55624 maxSat=55689
350.24/175.68	c flip 120000 nbSat=55601 maxSat=55689
363.20/182.10	c flip 130000 nbSat=55585 maxSat=55689
371.78/186.48	c nbDecision=60000 #clauses=66434
376.58/188.85	c flip 0 nbSat=62988 maxSat=55689
391.33/196.21	c flip 10000 nbSat=65492 maxSat=65493
409.89/205.55	c flip 20000 nbSat=65783 maxSat=65869
429.84/215.60	c flip 30000 nbSat=65964 maxSat=65996
449.40/225.36	c flip 40000 nbSat=65992 maxSat=66039
468.56/234.99	c flip 50000 nbSat=66076 maxSat=66121
487.71/244.56	c flip 60000 nbSat=66115 maxSat=66163
504.86/253.14	c nbDecision=70000 #clauses=73067
507.65/254.57	c flip 70000 nbSat=66150 maxSat=66163
530.60/266.06	c flip 80000 nbSat=66191 maxSat=66192
553.95/277.75	c flip 90000 nbSat=66198 maxSat=66232
578.09/289.82	c flip 100000 nbSat=66180 maxSat=66249
600.64/301.18	c flip 110000 nbSat=66178 maxSat=66249
621.38/311.56	c flip 120000 nbSat=66154 maxSat=66249
624.57/313.12	c nbDecision=80000 #clauses=79355
644.34/323.04	c flip 130000 nbSat=66208 maxSat=66249
669.47/335.67	c flip 0 nbSat=77597 maxSat=66249
692.61/347.21	c flip 10000 nbSat=80231 maxSat=80260
720.35/361.11	c flip 20000 nbSat=80573 maxSat=80582
747.29/374.62	c flip 30000 nbSat=80701 maxSat=80734
779.21/390.62	c flip 40000 nbSat=80775 maxSat=80813
785.39/393.74	c nbDecision=90000 #clauses=86036
812.14/407.14	c flip 50000 nbSat=80791 maxSat=80839
844.46/423.36	c flip 60000 nbSat=80793 maxSat=80839
875.97/439.11	c flip 70000 nbSat=80864 maxSat=80884
908.31/455.34	c flip 80000 nbSat=80820 maxSat=80884
918.08/460.22	c nbDecision=100000 #clauses=92450
937.24/469.86	c flip 90000 nbSat=80838 maxSat=80902
968.95/485.76	c flip 100000 nbSat=80887 maxSat=80920
1001.68/502.13	c flip 110000 nbSat=80878 maxSat=80920
1032.01/517.35	c flip 120000 nbSat=80834 maxSat=80920
1061.34/532.01	c flip 130000 nbSat=80923 maxSat=80932
1091.26/547.00	c flip 0 nbSat=95163 maxSat=80940
1098.85/550.82	c nbDecision=110000 #clauses=99169
1122.99/562.93	c flip 10000 nbSat=97813 maxSat=97813
1163.30/583.11	c flip 20000 nbSat=98085 maxSat=98126

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 9009
/proc/meminfo: memFree=1681416/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=23220 CPUtime=0
/proc/9009/stat : 9009 (ornithorynque) R 9007 9009 8500 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 330921073 23777280 265 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227604993136 0 0 4096 0 0 0 0 17 1 0 0
/proc/9009/statm: 5805 266 219 42 0 45 0

[startup+0.104726 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 9009
/proc/meminfo: memFree=1681416/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=28588 CPUtime=0.09
/proc/9009/stat : 9009 (ornithorynque) R 9007 9009 8500 0 -1 4194304 1863 0 0 0 9 0 0 0 18 0 1 0 330921073 29274112 1758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227607483105 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9009/statm: 7147 1759 382 42 0 1399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28588

[startup+0.20175 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 9009
/proc/meminfo: memFree=1681416/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=49704 CPUtime=0.27
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 1998 0 0 0 27 0 0 0 18 0 3 0 330921073 50896896 1893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 12426 1893 387 42 0 6678 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 49704

[startup+0.30177 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 9009
/proc/meminfo: memFree=1681416/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=49704 CPUtime=0.47
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 1998 0 0 0 47 0 0 0 18 0 3 0 330921073 50896896 1893 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 12426 1893 387 42 0 6678 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 49704

[startup+0.70185 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 9009
/proc/meminfo: memFree=1681416/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=49836 CPUtime=1.27
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 2054 0 0 0 127 0 0 0 18 0 3 0 330921073 51032064 1949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 12459 1949 387 42 0 6711 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 49836

[startup+1.50302 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1674480/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=51968 CPUtime=2.87
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 2380 0 0 0 287 0 0 0 18 0 3 0 330921073 53215232 2275 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 12992 2275 387 42 0 7244 0
[pid=9009/tid=9011] ppid=9007 vsize=51968 CPUtime=1.38
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 219 0 0 0 138 0 0 0 20 0 3 0 330921085 53215232 2275 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=51968 CPUtime=1.38
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 206 0 0 0 138 0 0 0 20 0 3 0 330921085 53215232 2275 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 51968

[startup+3.10133 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1673264/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=52992 CPUtime=6.07
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 2588 0 0 0 606 1 0 0 18 0 3 0 330921073 54263808 2483 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 13248 2483 387 42 0 7500 0
[pid=9009/tid=9011] ppid=9007 vsize=52992 CPUtime=2.97
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 427 0 0 0 297 0 0 0 25 0 3 0 330921085 54263808 2483 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=52992 CPUtime=2.97
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 206 0 0 0 297 0 0 0 25 0 3 0 330921085 54263808 2483 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285990 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 52992

[startup+6.30298 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1670064/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=55860 CPUtime=12.45
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 3391 0 0 0 1243 2 0 0 18 0 3 0 330921073 57200640 3221 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 13965 3221 387 42 0 8217 0
[pid=9009/tid=9011] ppid=9007 vsize=55860 CPUtime=6.17
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 823 0 0 0 616 1 0 0 25 0 3 0 330921085 57200640 3221 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=55860 CPUtime=6.15
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 613 0 0 0 615 0 0 0 25 0 3 0 330921085 57200640 3221 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241632 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 55860

[startup+12.7013 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1665016/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=60988 CPUtime=25.22
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 4648 0 0 0 2518 4 0 0 18 0 3 0 330921073 62451712 4413 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 15247 4413 387 42 0 9499 0
[pid=9009/tid=9011] ppid=9007 vsize=60988 CPUtime=12.57
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 1318 0 0 0 1255 2 0 0 25 0 3 0 330921085 62451712 4413 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314367 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=60988 CPUtime=12.51
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 1375 0 0 0 1251 0 0 0 25 0 3 0 330921085 62451712 4413 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 60988

[startup+25.5018 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1658424/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=67736 CPUtime=50.75
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 6287 0 0 0 5069 6 0 0 18 0 3 0 330921073 69361664 6052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 16934 6052 387 42 0 11186 0
[pid=9009/tid=9011] ppid=9007 vsize=67736 CPUtime=25.36
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 2104 0 0 0 2533 3 0 0 25 0 3 0 330921085 69361664 6053 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227607483047 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=67736 CPUtime=25.25
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 2229 0 0 0 2524 1 0 0 25 0 3 0 330921085 69361664 6053 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 67736

[startup+51.103 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 9012
/proc/meminfo: memFree=1649272/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=76604 CPUtime=101.83
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 8545 0 0 0 10175 8 0 0 18 0 3 0 330921073 78442496 8310 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 19151 8310 387 42 0 13403 0
[pid=9009/tid=9011] ppid=9007 vsize=76604 CPUtime=50.96
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 3302 0 0 0 5090 6 0 0 25 0 3 0 330921085 78442496 8310 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=76604 CPUtime=50.75
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 3288 0 0 0 5074 1 0 0 25 0 3 0 330921085 78442496 8310 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242604 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 76604

[startup+102.302 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 9012
/proc/meminfo: memFree=1627640/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=101060 CPUtime=203.98
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 13920 0 0 0 20385 13 0 0 18 0 3 0 330921073 103485440 13685 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 25265 13685 387 42 0 19517 0
[pid=9009/tid=9011] ppid=9007 vsize=101060 CPUtime=102.14
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 4989 0 0 0 10205 9 0 0 25 0 3 0 330921085 103485440 13685 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=101060 CPUtime=101.72
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 6976 0 0 0 10169 3 0 0 25 0 3 0 330921085 103485440 13685 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 101060

[startup+162.301 s]
/proc/loadavg: 2.05 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1622072/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=106408 CPUtime=323.69
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 15364 0 0 0 32352 17 0 0 18 0 3 0 330921073 108961792 15071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 26602 15071 387 42 0 20854 0
[pid=9009/tid=9011] ppid=9007 vsize=106408 CPUtime=162.11
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 6433 0 0 0 16199 12 0 0 25 0 3 0 330921085 108961792 15071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=106408 CPUtime=161.45
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 6976 0 0 0 16142 3 0 0 25 0 3 0 330921085 108961792 15071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.69
Current children cumulated vsize (KiB) 106408

[startup+222.305 s]
/proc/loadavg: 2.02 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1606264/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=125704 CPUtime=443.42
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 19547 0 0 0 44321 21 0 0 18 0 3 0 330921073 128720896 18996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 31426 18996 387 42 0 25678 0
[pid=9009/tid=9011] ppid=9007 vsize=125704 CPUtime=222.1
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 7721 0 0 0 22195 15 0 0 25 0 3 0 330921085 128720896 18996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=125704 CPUtime=221.2
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 9871 0 0 0 22115 5 0 0 25 0 3 0 330921085 128720896 18996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 125704

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1601464/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=129800 CPUtime=563.13
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 20741 0 0 0 56290 23 0 0 18 0 3 0 330921073 132915200 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 32450 20190 387 42 0 26702 0
[pid=9009/tid=9011] ppid=9007 vsize=129800 CPUtime=282.07
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 8915 0 0 0 28189 18 0 0 25 0 3 0 330921085 132915200 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=129800 CPUtime=280.94
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 9871 0 0 0 28089 5 0 0 25 0 3 0 330921085 132915200 20190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 129800

[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1581624/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=153392 CPUtime=682.83
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 25729 0 0 0 68254 29 0 0 18 0 3 0 330921073 157073408 25145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 38348 25145 387 42 0 32600 0
[pid=9009/tid=9011] ppid=9007 vsize=153392 CPUtime=342.05
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 9974 0 0 0 34184 21 0 0 25 0 3 0 330921085 157073408 25145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=153392 CPUtime=340.66
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 13800 0 0 0 34059 7 0 0 25 0 3 0 330921085 157073408 25145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 153392

[startup+402.303 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1578104/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=157488 CPUtime=802.56
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 26607 0 0 0 80224 32 0 0 18 0 3 0 330921073 161267712 26023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 39372 26023 387 42 0 33624 0
[pid=9009/tid=9011] ppid=9007 vsize=157488 CPUtime=402.03
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 10852 0 0 0 40179 24 0 0 25 0 3 0 330921085 161267712 26023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=157488 CPUtime=400.41
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 13800 0 0 0 40034 7 0 0 25 0 3 0 330921085 161267712 26023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.56
Current children cumulated vsize (KiB) 157488

[startup+462.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1573944/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=161716 CPUtime=922.27
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 27634 0 0 0 92192 35 0 0 18 0 3 0 330921073 165597184 27050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 40429 27050 387 42 0 34681 0
[pid=9009/tid=9011] ppid=9007 vsize=161716 CPUtime=462
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 11879 0 0 0 46173 27 0 0 25 0 3 0 330921085 165597184 27050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=161716 CPUtime=460.14
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 13800 0 0 0 46007 7 0 0 25 0 3 0 330921085 165597184 27050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.27
Current children cumulated vsize (KiB) 161716

[startup+522.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1569912/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=164788 CPUtime=1041.97
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 28634 0 0 0 104159 38 0 0 18 0 3 0 330921073 168742912 28050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 41197 28050 387 42 0 35449 0
[pid=9009/tid=9011] ppid=9007 vsize=164788 CPUtime=521.98
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 12879 0 0 0 52168 30 0 0 25 0 3 0 330921085 168742912 28050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=164788 CPUtime=519.87
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 13800 0 0 0 51980 7 0 0 25 0 3 0 330921085 168742912 28050 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285227 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.97
Current children cumulated vsize (KiB) 164788

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1550776/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=189128 CPUtime=1161.69
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 34299 0 0 0 116127 42 0 0 18 0 3 0 330921073 193667072 32824 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 47282 32824 387 42 0 41534 0
[pid=9009/tid=9011] ppid=9007 vsize=189128 CPUtime=581.96
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 13695 0 0 0 58164 32 0 0 25 0 3 0 330921085 193667072 32824 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=189128 CPUtime=579.61
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 18649 0 0 0 57952 9 0 0 25 0 3 0 330921085 193667072 32824 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.69
Current children cumulated vsize (KiB) 189128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.502 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 9012
/proc/meminfo: memFree=1549560/2055920 swapFree=4183296/4192956
[pid=9009] ppid=9007 vsize=190152 CPUtime=1200.02
/proc/9009/stat : 9009 (ornithorynque) S 9007 9009 8500 0 -1 4194304 34607 0 0 0 119959 43 0 0 18 0 3 0 330921073 194715648 33132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 227616518011 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9009/statm: 47538 33132 387 42 0 41790 0
[pid=9009/tid=9011] ppid=9007 vsize=190152 CPUtime=601.15
/proc/9009/task/9011/stat : 9011 (ornithorynque) R 9007 9009 8500 0 -1 4194368 14003 0 0 0 60083 32 0 0 25 0 3 0 330921085 194715648 33132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9009/tid=9012] ppid=9007 vsize=190152 CPUtime=598.74
/proc/9009/task/9012/stat : 9012 (ornithorynque) R 9007 9009 8500 0 -1 4194368 18649 0 0 0 59865 9 0 0 25 0 3 0 330921085 194715648 33132 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 190152

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.534
CPU time (s): 1200.06
CPU user time (s): 1199.6
CPU system time (s): 0.45493
CPU usage (%): 199.5
Max. virtual memory (cumulated for all children) (KiB): 190152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.6
system time used= 0.45493
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 9217

runsolver used 0.548916 second user time and 1.65475 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Mon Mar  5 15:47:15 UTC 2007

IDJOB= 328278
IDBENCH= 20186
IDSOLVER= 139
FILE ID= node66/328278-1173109635

PBS_JOBID= 4013921

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  e6653d81a13cfb87c5f3f5bf9150cbf7

RANDOM SEED= 611416627

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.259
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	: 5931.00
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.259
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:       1681888 kB
Buffers:         24900 kB
Cached:         275196 kB
SwapCached:       3660 kB
Active:          47584 kB
Inactive:       262132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681888 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:             768 kB
Writeback:           0 kB
Mapped:          15576 kB
Slab:            50388 kB
Committed_AS:   767100 kB
PageTables:       1376 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= 66560 MiB

End job on node66 on Mon Mar  5 15:57:19 UTC 2007