Trace number 328331

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

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
MD5SUM751158b675f07742fd932cd090fcc101
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4497
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.00/0.03	c ...done
0.00/0.03	c nbVar=4500 nbClause=12014
0.00/0.04	c nbVar=4500 nbClause=12014
0.00/0.05	c complete search running
0.00/0.05	c local search running
0.00/0.05	c flip 0 nbSat=10125 maxSat=0
0.14/0.10	c flip 10000 nbSat=11745 maxSat=11762
0.14/0.14	c flip 20000 nbSat=11833 maxSat=11835
0.14/0.19	c flip 30000 nbSat=11845 maxSat=11857
0.34/0.23	c flip 40000 nbSat=11860 maxSat=11872
0.34/0.28	c flip 50000 nbSat=11848 maxSat=11882
0.54/0.33	c flip 60000 nbSat=11860 maxSat=11882
0.54/0.37	c flip 70000 nbSat=11853 maxSat=11882
0.74/0.42	c flip 80000 nbSat=11870 maxSat=11882
0.74/0.47	c flip 0 nbSat=11124 maxSat=11882
0.94/0.55	c flip 10000 nbSat=12883 maxSat=12883
1.14/0.62	c flip 20000 nbSat=12970 maxSat=12986
1.34/0.70	c flip 30000 nbSat=12985 maxSat=13003
1.34/0.79	c flip 40000 nbSat=13008 maxSat=13027
1.54/0.87	c flip 50000 nbSat=13019 maxSat=13028
1.74/0.95	c flip 60000 nbSat=13027 maxSat=13032
1.95/1.03	c flip 70000 nbSat=13011 maxSat=13034
2.14/1.11	c flip 80000 nbSat=13033 maxSat=13040
2.14/1.20	c flip 0 nbSat=12857 maxSat=13040
2.53/1.31	c flip 10000 nbSat=14576 maxSat=14599
2.73/1.44	c flip 20000 nbSat=14670 maxSat=14678
2.93/1.56	c flip 30000 nbSat=14692 maxSat=14706
3.13/1.68	c flip 40000 nbSat=14699 maxSat=14712
3.33/1.79	c flip 50000 nbSat=14699 maxSat=14712
3.73/1.91	c flip 60000 nbSat=14693 maxSat=14718
3.93/2.03	c flip 70000 nbSat=14707 maxSat=14721
4.14/2.15	c flip 80000 nbSat=14706 maxSat=14729
4.34/2.27	c flip 0 nbSat=14954 maxSat=14729
4.73/2.45	c flip 10000 nbSat=16645 maxSat=16669
5.13/2.65	c flip 20000 nbSat=16733 maxSat=16759
5.53/2.85	c flip 30000 nbSat=16778 maxSat=16786
5.93/3.06	c flip 40000 nbSat=16787 maxSat=16811
6.33/3.21	c nbDecision=10000 #clauses=18078
6.33/3.30	c flip 50000 nbSat=16804 maxSat=16816
6.92/3.55	c flip 60000 nbSat=16790 maxSat=16818
7.52/3.80	c flip 70000 nbSat=16792 maxSat=16818
7.92/4.05	c flip 80000 nbSat=16827 maxSat=16831
8.52/4.34	c flip 0 nbSat=16614 maxSat=16838
8.92/4.59	c flip 10000 nbSat=18319 maxSat=18328
9.52/4.85	c flip 20000 nbSat=18378 maxSat=18405
10.12/5.16	c flip 30000 nbSat=18419 maxSat=18434
10.72/5.49	c flip 40000 nbSat=18435 maxSat=18468
11.52/5.83	c flip 50000 nbSat=18454 maxSat=18468
12.12/6.14	c flip 60000 nbSat=18454 maxSat=18468
12.72/6.46	c flip 70000 nbSat=18462 maxSat=18471
13.31/6.77	c flip 80000 nbSat=18464 maxSat=18482
14.11/7.12	c flip 0 nbSat=19201 maxSat=18482
14.91/7.53	c flip 10000 nbSat=20942 maxSat=20952
15.71/7.93	c flip 20000 nbSat=21005 maxSat=21012
16.50/8.33	c flip 30000 nbSat=21000 maxSat=21018
17.51/8.82	c flip 40000 nbSat=21033 maxSat=21041
18.50/9.34	c flip 50000 nbSat=21022 maxSat=21049
19.50/9.85	c flip 60000 nbSat=21034 maxSat=21049
20.49/10.35	c nbDecision=20000 #clauses=24549
20.49/10.36	c flip 70000 nbSat=21024 maxSat=21051
21.49/10.89	c flip 80000 nbSat=21027 maxSat=21051
22.69/11.47	c flip 0 nbSat=23491 maxSat=21058
24.10/12.15	c flip 10000 nbSat=25281 maxSat=25281
25.69/12.98	c flip 20000 nbSat=25346 maxSat=25356
27.49/13.81	c flip 30000 nbSat=25357 maxSat=25380
29.08/14.69	c flip 40000 nbSat=25364 maxSat=25393
30.68/15.49	c flip 50000 nbSat=25382 maxSat=25404
32.47/16.33	c flip 60000 nbSat=25396 maxSat=25410
34.07/17.11	c flip 70000 nbSat=25393 maxSat=25410
35.66/17.93	c flip 80000 nbSat=25393 maxSat=25410
37.07/18.69	c nbDecision=30000 #clauses=31018
37.46/18.89	c flip 0 nbSat=29144 maxSat=25413
39.65/19.94	c flip 10000 nbSat=30917 maxSat=30917
42.44/21.31	c flip 20000 nbSat=31034 maxSat=31042
45.64/22.91	c flip 30000 nbSat=31044 maxSat=31058
48.83/24.58	c flip 40000 nbSat=31053 maxSat=31074
51.82/26.09	c flip 50000 nbSat=31069 maxSat=31080
52.02/26.14	c nbDecision=40000 #clauses=37504
55.21/27.72	c flip 60000 nbSat=31073 maxSat=31088
58.21/29.28	c flip 70000 nbSat=31070 maxSat=31088
61.41/30.89	c flip 80000 nbSat=31087 maxSat=31095
64.80/32.59	c flip 0 nbSat=39744 maxSat=31098
68.79/34.52	c flip 10000 nbSat=41496 maxSat=41510
71.58/35.92	c nbDecision=50000 #clauses=44010
73.38/36.80	c flip 20000 nbSat=41567 maxSat=41585
77.17/38.74	c flip 30000 nbSat=41577 maxSat=41596
81.94/41.15	c flip 40000 nbSat=41599 maxSat=41617
86.74/43.59	c flip 50000 nbSat=41601 maxSat=41629
91.94/46.16	c flip 60000 nbSat=41609 maxSat=41638
94.33/47.32	c nbDecision=60000 #clauses=50576
97.12/48.71	c flip 70000 nbSat=41609 maxSat=41641
102.51/51.48	c flip 80000 nbSat=41631 maxSat=41643
107.89/54.13	c flip 0 nbSat=51557 maxSat=41649
114.09/57.26	c flip 10000 nbSat=53273 maxSat=53281
121.27/60.85	c flip 20000 nbSat=53344 maxSat=53359
126.46/63.48	c nbDecision=70000 #clauses=57236
127.06/63.79	c flip 30000 nbSat=53374 maxSat=53407
134.04/67.29	c flip 40000 nbSat=53388 maxSat=53419
141.41/70.97	c flip 50000 nbSat=53427 maxSat=53433
148.60/74.54	c flip 60000 nbSat=53421 maxSat=53444
153.39/76.98	c nbDecision=80000 #clauses=63679
155.99/78.29	c flip 70000 nbSat=53434 maxSat=53444
163.37/81.98	c flip 80000 nbSat=53420 maxSat=53453
170.15/85.37	c flip 0 nbSat=65473 maxSat=53453
178.93/89.79	c flip 10000 nbSat=67099 maxSat=67121
181.32/90.91	c nbDecision=90000 #clauses=70191
191.10/95.87	c flip 20000 nbSat=67233 maxSat=67247
203.48/102.01	c flip 30000 nbSat=67266 maxSat=67287
215.45/108.00	c nbDecision=100000 #clauses=76871
216.65/108.64	c flip 40000 nbSat=67302 maxSat=67308
228.03/114.34	c flip 50000 nbSat=67306 maxSat=67316
238.80/119.79	c flip 60000 nbSat=67311 maxSat=67330
249.98/125.32	c flip 70000 nbSat=67308 maxSat=67338
257.35/129.06	c nbDecision=110000 #clauses=83466
260.14/130.49	c flip 80000 nbSat=67309 maxSat=67338
271.11/135.92	c flip 0 nbSat=83136 maxSat=67338
282.89/141.82	c flip 10000 nbSat=84964 maxSat=84976
298.86/149.89	c flip 20000 nbSat=85039 maxSat=85058
303.05/151.95	c nbDecision=120000 #clauses=90078
317.22/159.02	c flip 30000 nbSat=85051 maxSat=85084
338.37/169.65	c flip 40000 nbSat=85043 maxSat=85084
356.92/178.95	c nbDecision=130000 #clauses=96958
357.12/179.07	c flip 50000 nbSat=85066 maxSat=85096
377.28/189.12	c flip 60000 nbSat=85095 maxSat=85126
398.03/199.57	c flip 70000 nbSat=85097 maxSat=85126
417.18/209.19	c flip 80000 nbSat=85111 maxSat=85126
421.38/211.23	c nbDecision=140000 #clauses=103854
437.94/219.57	c flip 0 nbSat=103567 maxSat=85132
456.50/228.86	c flip 10000 nbSat=105291 maxSat=105324
481.63/241.40	c nbDecision=150000 #clauses=110515
482.23/241.70	c flip 20000 nbSat=105371 maxSat=105398
509.77/255.53	c flip 30000 nbSat=105408 maxSat=105427
534.30/267.86	c flip 40000 nbSat=105439 maxSat=105451
550.88/276.19	c nbDecision=160000 #clauses=117350
562.85/282.13	c flip 50000 nbSat=105431 maxSat=105454
589.51/295.57	c flip 60000 nbSat=105457 maxSat=105477
614.43/308.00	c flip 70000 nbSat=105459 maxSat=105477
624.77/313.24	c nbDecision=170000 #clauses=124143
641.12/321.47	c flip 80000 nbSat=105459 maxSat=105482
667.65/334.77	c flip 0 nbSat=123672 maxSat=105491
686.98/344.43	c flip 10000 nbSat=125450 maxSat=125468
712.91/357.43	c flip 20000 nbSat=125555 maxSat=125574
741.63/371.83	c flip 30000 nbSat=125569 maxSat=125596
775.12/388.64	c flip 40000 nbSat=125591 maxSat=125614
807.44/404.81	c flip 50000 nbSat=125591 maxSat=125616
836.38/419.36	c nbDecision=180000 #clauses=130851
840.77/421.54	c flip 60000 nbSat=125602 maxSat=125616
872.49/437.41	c flip 70000 nbSat=125604 maxSat=125623
904.21/453.33	c flip 80000 nbSat=125600 maxSat=125623
926.37/464.41	c nbDecision=190000 #clauses=137508
933.56/468.04	c flip 0 nbSat=136003 maxSat=125625
960.70/481.63	c flip 10000 nbSat=137661 maxSat=137674
993.42/498.03	c flip 20000 nbSat=137770 maxSat=137802
1024.94/513.89	c nbDecision=200000 #clauses=144138
1034.52/518.68	c flip 30000 nbSat=137790 maxSat=137806
1075.62/539.29	c flip 40000 nbSat=137790 maxSat=137820
1114.55/558.76	c flip 50000 nbSat=137780 maxSat=137834
1136.90/569.90	c nbDecision=210000 #clauses=151100
1153.46/578.29	c flip 60000 nbSat=137805 maxSat=137836
1192.16/597.63	c flip 70000 nbSat=137820 maxSat=137860

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/node70/watcher-328331-1173110171 -o ROOT/results/node70/solver-328331-1173110171 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328331-1173110171/ornithorynque /tmp/evaluation/328331-1173110171/instance-328331-1173110171.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.06 2.02 1.93 3/64 7352
/proc/meminfo: memFree=1223640/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=23220 CPUtime=0
/proc/7352/stat : 7352 (ornithorynque) R 7350 7352 6801 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36969352 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233399424112 0 0 4096 0 0 0 0 17 1 0 0
/proc/7352/statm: 5805 263 218 42 0 45 0

[startup+0.0639179 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 7352
/proc/meminfo: memFree=1223640/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=46676 CPUtime=0.07
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1184 0 0 0 7 0 0 0 18 0 3 0 36969352 47796224 1145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 11669 1145 387 42 0 5921 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 46676

[startup+0.101921 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 7352
/proc/meminfo: memFree=1223640/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=46676 CPUtime=0.14
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1184 0 0 0 14 0 0 0 18 0 3 0 36969352 47796224 1145 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 11669 1145 387 42 0 5921 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46676

[startup+0.301938 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 7352
/proc/meminfo: memFree=1223640/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=46676 CPUtime=0.54
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1209 0 0 0 54 0 0 0 18 0 3 0 36969352 47796224 1170 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 11669 1170 387 42 0 5921 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46676

[startup+0.701981 s]
/proc/loadavg: 2.06 2.02 1.93 3/64 7352
/proc/meminfo: memFree=1223640/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=47960 CPUtime=1.34
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1322 0 0 0 134 0 0 0 18 0 3 0 36969352 49111040 1283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 11990 1283 387 42 0 6242 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 47960

[startup+1.50106 s]
/proc/loadavg: 2.06 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1219648/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=48092 CPUtime=2.93
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1518 0 0 0 293 0 0 0 18 0 3 0 36969352 49246208 1479 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 12023 1479 387 42 0 6275 0
[pid=7352/tid=7354] ppid=7350 vsize=48092 CPUtime=1.44
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 205 0 0 0 144 0 0 0 19 0 3 0 36969357 49246208 1479 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=48092 CPUtime=1.44
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 149 0 0 0 144 0 0 0 19 0 3 0 36969357 49246208 1479 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 48092

[startup+3.10122 s]
/proc/loadavg: 2.06 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1218560/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=49900 CPUtime=6.13
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 1851 0 0 0 613 0 0 0 18 0 3 0 36969352 51097600 1746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 12475 1746 387 42 0 6727 0
[pid=7352/tid=7354] ppid=7350 vsize=49900 CPUtime=3.04
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 356 0 0 0 304 0 0 0 23 0 3 0 36969357 51097600 1746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289605 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=49900 CPUtime=3.04
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 331 0 0 0 304 0 0 0 24 0 3 0 36969357 51097600 1746 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285902 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 49900

[startup+6.30255 s]
/proc/loadavg: 2.05 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1217024/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=50304 CPUtime=12.52
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 2119 0 0 0 1251 1 0 0 18 0 3 0 36969352 51511296 2014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 12576 2014 387 42 0 6828 0
[pid=7352/tid=7354] ppid=7350 vsize=50304 CPUtime=6.24
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 524 0 0 0 624 0 0 0 25 0 3 0 36969357 51511296 2014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=50304 CPUtime=6.22
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 431 0 0 0 622 0 0 0 25 0 3 0 36969357 51511296 2014 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241654 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 50304

[startup+12.7012 s]
/proc/loadavg: 2.05 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1213568/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=53908 CPUtime=25.29
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 2903 0 0 0 2527 2 0 0 18 0 3 0 36969352 55201792 2798 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 13477 2798 387 42 0 7729 0
[pid=7352/tid=7354] ppid=7350 vsize=53908 CPUtime=12.64
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 966 0 0 0 1263 1 0 0 25 0 3 0 36969357 55201792 2798 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=53908 CPUtime=12.59
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 773 0 0 0 1259 0 0 0 25 0 3 0 36969357 55201792 2798 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 53908

[startup+25.5015 s]
/proc/loadavg: 2.04 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1209536/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=58360 CPUtime=50.82
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 3991 0 0 0 5079 3 0 0 18 0 3 0 36969352 59760640 3821 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 14590 3821 387 42 0 8842 0
[pid=7352/tid=7354] ppid=7350 vsize=58360 CPUtime=25.43
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 1770 0 0 0 2541 2 0 0 25 0 3 0 36969357 59760640 3821 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=58360 CPUtime=25.33
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 1057 0 0 0 2533 0 0 0 25 0 3 0 36969357 59760640 3821 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 58360

[startup+51.101 s]
/proc/loadavg: 2.02 2.01 1.93 3/67 7355
/proc/meminfo: memFree=1203008/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=65348 CPUtime=101.91
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 5717 0 0 0 10185 6 0 0 18 0 3 0 36969352 66916352 5435 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 16337 5435 387 42 0 10589 0
[pid=7352/tid=7354] ppid=7350 vsize=65348 CPUtime=51.02
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 2915 0 0 0 5098 4 0 0 25 0 3 0 36969357 66916352 5435 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311196 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=65348 CPUtime=50.82
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 1638 0 0 0 5081 1 0 0 25 0 3 0 36969357 66916352 5435 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240998 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 65348

[startup+102.305 s]
/proc/loadavg: 2.01 2.00 1.93 3/67 7355
/proc/meminfo: memFree=1191808/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=77696 CPUtime=204.08
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 8731 0 0 0 20398 10 0 0 18 0 3 0 36969352 79560704 8191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 19424 8191 387 42 0 13676 0
[pid=7352/tid=7354] ppid=7350 vsize=77696 CPUtime=102.21
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 4572 0 0 0 10214 7 0 0 25 0 3 0 36969357 79560704 8191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=77696 CPUtime=101.8
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 2995 0 0 0 10179 1 0 0 25 0 3 0 36969357 79560704 8191 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 77696

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7355
/proc/meminfo: memFree=1183168/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=86616 CPUtime=323.79
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 10922 0 0 0 32366 13 0 0 18 0 3 0 36969352 88694784 10349 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 21654 10349 387 42 0 15906 0
[pid=7352/tid=7354] ppid=7350 vsize=86616 CPUtime=162.2
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 5908 0 0 0 16209 11 0 0 25 0 3 0 36969357 88694784 10349 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=86616 CPUtime=161.54
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 3850 0 0 0 16152 2 0 0 25 0 3 0 36969357 88694784 10349 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.79
Current children cumulated vsize (KiB) 86616

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7355
/proc/meminfo: memFree=1175040/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=96000 CPUtime=443.52
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 13161 0 0 0 44336 16 0 0 18 0 3 0 36969352 98304000 12396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 24000 12396 387 42 0 18252 0
[pid=7352/tid=7354] ppid=7350 vsize=96000 CPUtime=222.18
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 7029 0 0 0 22205 13 0 0 25 0 3 0 36969357 98304000 12396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=96000 CPUtime=221.28
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 4968 0 0 0 22126 2 0 0 25 0 3 0 36969357 98304000 12396 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 96000

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7355
/proc/meminfo: memFree=1171264/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=99336 CPUtime=563.25
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 14106 0 0 0 56307 18 0 0 18 0 3 0 36969352 101720064 13341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 24834 13341 387 42 0 19086 0
[pid=7352/tid=7354] ppid=7350 vsize=99336 CPUtime=282.17
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 7974 0 0 0 28202 15 0 0 25 0 3 0 36969357 101720064 13341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=99336 CPUtime=281.03
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 4968 0 0 0 28101 2 0 0 25 0 3 0 36969357 101720064 13341 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.25
Current children cumulated vsize (KiB) 99336

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/73 7493
/proc/meminfo: memFree=1163720/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=105556 CPUtime=682.8
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 15699 0 0 0 68250 30 0 0 18 0 3 0 36969352 108089344 14868 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 26389 14868 387 42 0 20641 0
[pid=7352/tid=7354] ppid=7350 vsize=105556 CPUtime=342
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 8559 0 0 0 34184 16 0 0 25 0 3 0 36969357 108089344 14868 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=105556 CPUtime=340.74
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 5976 0 0 0 34061 13 0 0 25 0 3 0 36969357 108089344 14868 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.8
Current children cumulated vsize (KiB) 105556

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7553
/proc/meminfo: memFree=1164544/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=105688 CPUtime=802.44
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 15803 0 0 0 80208 36 0 0 18 0 3 0 36969352 108224512 14972 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 26422 14972 387 42 0 20674 0
[pid=7352/tid=7354] ppid=7350 vsize=105688 CPUtime=401.92
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 8663 0 0 0 40175 17 0 0 25 0 3 0 36969357 108224512 14972 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=105688 CPUtime=400.47
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 5976 0 0 0 40028 19 0 0 25 0 3 0 36969357 108224512 14972 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 105688

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7553
/proc/meminfo: memFree=1161472/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=109784 CPUtime=922.18
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 16813 0 0 0 92180 38 0 0 18 0 3 0 36969352 112418816 15725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 27446 15725 387 42 0 21698 0
[pid=7352/tid=7354] ppid=7350 vsize=109784 CPUtime=461.9
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 9673 0 0 0 46172 18 0 0 25 0 3 0 36969357 112418816 15725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=109784 CPUtime=460.22
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 5976 0 0 0 46003 19 0 0 25 0 3 0 36969357 112418816 15725 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285871 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.18
Current children cumulated vsize (KiB) 109784

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7553
/proc/meminfo: memFree=1156864/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=116748 CPUtime=1041.91
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 18332 0 0 0 104151 40 0 0 18 0 3 0 36969352 119549952 16892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 29187 16892 387 42 0 23439 0
[pid=7352/tid=7354] ppid=7350 vsize=116748 CPUtime=521.89
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 10282 0 0 0 52169 20 0 0 25 0 3 0 36969357 119549952 16892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=116748 CPUtime=519.96
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 6886 0 0 0 51977 19 0 0 25 0 3 0 36969357 119549952 16892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.91
Current children cumulated vsize (KiB) 116748

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7553
/proc/meminfo: memFree=1154688/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=118796 CPUtime=1161.63
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 18866 0 0 0 116122 41 0 0 18 0 3 0 36969352 121647104 17426 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 29699 17426 387 42 0 23951 0
[pid=7352/tid=7354] ppid=7350 vsize=118796 CPUtime=581.87
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 10816 0 0 0 58167 20 0 0 25 0 3 0 36969357 121647104 17426 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=118796 CPUtime=579.7
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 6886 0 0 0 57950 20 0 0 25 0 3 0 36969357 121647104 17426 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241611 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.63
Current children cumulated vsize (KiB) 118796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 7553
/proc/meminfo: memFree=1153856/2055920 swapFree=4192952/4192956
[pid=7352] ppid=7350 vsize=119820 CPUtime=1200.15
/proc/7352/stat : 7352 (ornithorynque) S 7350 7352 6801 0 -1 4194304 19064 0 0 0 119974 41 0 0 18 0 3 0 36969352 122695680 17624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 233410948987 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/7352/statm: 29955 17624 387 42 0 24207 0
[pid=7352/tid=7354] ppid=7350 vsize=119820 CPUtime=601.18
/proc/7352/task/7354/stat : 7354 (ornithorynque) R 7350 7352 6801 0 -1 4194368 11014 0 0 0 60097 21 0 0 25 0 3 0 36969357 122695680 17624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=7352/tid=7355] ppid=7350 vsize=119820 CPUtime=598.92
/proc/7352/task/7355/stat : 7355 (ornithorynque) R 7350 7352 6801 0 -1 4194368 6886 0 0 0 59872 20 0 0 25 0 3 0 36969357 122695680 17624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241187 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 119820

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.629
CPU time (s): 1200.19
CPU user time (s): 1199.76
CPU system time (s): 0.430934
CPU usage (%): 199.49
Max. virtual memory (cumulated for all children) (KiB): 119820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19064
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= 48
involuntary context switches= 9539

runsolver used 0.58791 second user time and 1.62675 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Mon Mar  5 15:56:11 UTC 2007

IDJOB= 328331
IDBENCH= 20242
IDSOLVER= 139
FILE ID= node70/328331-1173110171

PBS_JOBID= 4013916

Free space on /tmp= 66563 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/328331-1173110171/ornithorynque /tmp/evaluation/328331-1173110171/instance-328331-1173110171.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-328331-1173110171 -o ROOT/results/node70/solver-328331-1173110171 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328331-1173110171/ornithorynque /tmp/evaluation/328331-1173110171/instance-328331-1173110171.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  751158b675f07742fd932cd090fcc101

RANDOM SEED= 608604303

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.234
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.234
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:       1224048 kB
Buffers:         34148 kB
Cached:         707592 kB
SwapCached:          4 kB
Active:         141904 kB
Inactive:       615248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224048 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:             436 kB
Writeback:           0 kB
Mapped:          25604 kB
Slab:            60796 kB
Committed_AS:   106012 kB
PageTables:       1396 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= 66563 MiB

End job on node70 on Mon Mar  5 16:06:15 UTC 2007