Trace number 328544

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 alphaUNSAT 594.983 299.451

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc11817.cnf
MD5SUMec98bb92b9928019088745bf76777cb6
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.79273
Satisfiable
(Un)Satisfiability was proved
Number of variables240300
Number of clauses691064
Sum of the clauses size1797915
Maximum clause length3
Minimum clause length1
Number of clauses of size 128020
Number of clauses of size 2219237
Number of clauses of size 3443807
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.06	c This is Ornithorynque version 0.1 alpha
0.00/0.06	c (c) roussel@cril.univ-artois.fr
0.00/0.08	c using unsigned int
0.00/0.08	c parsing...
1.61/1.73	c ...done
1.61/1.73	c nbVar=240349 nbClause=691064
1.91/2.00	c nbVar=240349 nbClause=691064
2.21/2.39	c complete search running
2.21/2.39	c local search running
2.51/2.55	c flip 0 nbSat=567146 maxSat=0
2.51/2.59	c flip 10000 nbSat=577211 maxSat=577211
3.71/3.12	c flip 20000 nbSat=584792 maxSat=584793
7.30/4.96	c flip 30000 nbSat=589252 maxSat=589331
8.90/5.77	c flip 40000 nbSat=594385 maxSat=594416
12.70/7.66	c flip 50000 nbSat=598707 maxSat=598709
16.88/9.74	c flip 60000 nbSat=603112 maxSat=603120
18.08/10.34	c flip 70000 nbSat=608298 maxSat=608299
21.68/12.14	c flip 80000 nbSat=612152 maxSat=612153
25.87/14.20	c flip 90000 nbSat=615644 maxSat=615977
26.86/14.78	c flip 100000 nbSat=620797 maxSat=620828
30.84/16.75	c flip 110000 nbSat=623590 maxSat=623867
34.04/18.34	c flip 120000 nbSat=626321 maxSat=626548
38.23/20.43	c flip 130000 nbSat=628058 maxSat=628506
40.83/21.71	c flip 140000 nbSat=629843 maxSat=629943
45.61/24.20	c flip 150000 nbSat=630889 maxSat=631780
48.40/25.56	c flip 160000 nbSat=632581 maxSat=632776
51.99/27.39	c flip 170000 nbSat=635021 maxSat=635100
55.59/29.18	c flip 180000 nbSat=635805 maxSat=636201
59.37/31.06	c flip 190000 nbSat=637082 maxSat=637200
62.77/32.73	c flip 200000 nbSat=637650 maxSat=638897
66.55/34.69	c flip 210000 nbSat=638929 maxSat=639366
70.34/36.54	c flip 220000 nbSat=641270 maxSat=641363
73.74/38.30	c flip 230000 nbSat=641158 maxSat=641648
77.52/40.10	c flip 240000 nbSat=641764 maxSat=642286
82.71/42.77	c flip 250000 nbSat=642671 maxSat=643323
85.91/44.38	c flip 260000 nbSat=644486 maxSat=644629
89.30/46.07	c flip 270000 nbSat=645420 maxSat=645733
89.70/46.26	c nbDecision=10000 #clauses=691069
92.88/47.87	c flip 280000 nbSat=646112 maxSat=646333
97.87/50.36	c flip 290000 nbSat=645826 maxSat=647105
101.07/51.97	c flip 300000 nbSat=648131 maxSat=648330
104.26/53.58	c flip 310000 nbSat=649287 maxSat=649454
107.65/55.25	c flip 320000 nbSat=649421 maxSat=649737
112.24/57.55	c flip 330000 nbSat=650469 maxSat=650743
115.23/59.08	c flip 340000 nbSat=650745 maxSat=650780
120.03/61.49	c flip 350000 nbSat=651827 maxSat=651871
123.82/63.32	c flip 360000 nbSat=651893 maxSat=652194
127.41/65.10	c flip 370000 nbSat=651415 maxSat=652194
131.00/66.99	c flip 380000 nbSat=651978 maxSat=652614
134.99/68.97	c flip 390000 nbSat=653035 maxSat=653444
138.98/70.98	c flip 400000 nbSat=652913 maxSat=653537
143.37/73.11	c flip 410000 nbSat=653262 maxSat=653953
147.15/75.05	c flip 420000 nbSat=654249 maxSat=654335
151.35/77.19	c flip 430000 nbSat=654514 maxSat=654949
154.55/78.71	c flip 440000 nbSat=654746 maxSat=655555
159.13/81.08	c flip 450000 nbSat=656318 maxSat=656513
163.52/83.21	c flip 460000 nbSat=656089 maxSat=656767
166.72/84.83	c flip 470000 nbSat=656645 maxSat=656767
171.11/87.01	c flip 480000 nbSat=657627 maxSat=657781
175.31/89.18	c flip 490000 nbSat=657904 maxSat=658178
178.49/90.70	c flip 500000 nbSat=657103 maxSat=658178
180.07/91.53	c nbDecision=20000 #clauses=691074
182.47/92.78	c flip 510000 nbSat=658984 maxSat=659005
186.66/94.80	c flip 520000 nbSat=658672 maxSat=659295
191.05/97.02	c flip 530000 nbSat=658778 maxSat=659389
195.44/99.21	c flip 540000 nbSat=658998 maxSat=659821
200.03/101.51	c flip 550000 nbSat=658621 maxSat=660046
203.83/103.46	c flip 560000 nbSat=660305 maxSat=660659
208.42/105.74	c flip 570000 nbSat=660582 maxSat=660659
211.40/107.22	c flip 580000 nbSat=660420 maxSat=660937
215.40/109.28	c flip 590000 nbSat=660712 maxSat=661381
219.39/111.28	c flip 600000 nbSat=660518 maxSat=661712
223.59/113.31	c flip 610000 nbSat=662092 maxSat=662106
228.76/115.91	c flip 620000 nbSat=662161 maxSat=662358
231.55/117.33	c flip 630000 nbSat=662438 maxSat=662658
235.35/119.30	c flip 640000 nbSat=662179 maxSat=663055
239.34/121.28	c flip 650000 nbSat=662717 maxSat=663130
243.93/123.51	c flip 660000 nbSat=663020 maxSat=663590
248.32/125.77	c flip 670000 nbSat=663007 maxSat=663831
251.92/127.53	c flip 680000 nbSat=663711 maxSat=664034
256.10/129.68	c flip 690000 nbSat=664225 maxSat=664520
260.10/131.65	c flip 700000 nbSat=662497 maxSat=664956
263.88/133.57	c flip 710000 nbSat=665079 maxSat=665267
267.68/135.43	c flip 720000 nbSat=664789 maxSat=665315
271.46/137.38	c nbDecision=30000 #clauses=691079
272.46/137.82	c flip 730000 nbSat=665487 maxSat=665640
277.05/140.16	c flip 740000 nbSat=664280 maxSat=665804
281.04/142.19	c flip 750000 nbSat=665456 maxSat=665804
285.82/144.55	c flip 760000 nbSat=665183 maxSat=665903
289.43/146.33	c flip 770000 nbSat=665578 maxSat=666077
294.02/148.60	c flip 780000 nbSat=665937 maxSat=666263
298.60/150.90	c flip 790000 nbSat=664246 maxSat=666269
302.60/152.94	c flip 800000 nbSat=666527 maxSat=666794
306.59/154.91	c flip 810000 nbSat=665628 maxSat=666814
311.19/157.24	c flip 820000 nbSat=666921 maxSat=667020
314.77/159.02	c flip 830000 nbSat=666855 maxSat=667183
318.76/161.08	c flip 840000 nbSat=666678 maxSat=667484
323.34/163.39	c flip 850000 nbSat=667132 maxSat=668020
327.14/165.29	c flip 860000 nbSat=668023 maxSat=668066
332.12/167.75	c flip 870000 nbSat=667966 maxSat=668402
336.11/169.74	c flip 880000 nbSat=666919 maxSat=668466
341.10/172.21	c flip 890000 nbSat=667989 maxSat=668516
344.90/174.11	c flip 900000 nbSat=668585 maxSat=668940
349.68/176.53	c flip 910000 nbSat=667899 maxSat=669111
353.27/178.31	c flip 920000 nbSat=668150 maxSat=669111
358.27/180.82	c flip 930000 nbSat=668344 maxSat=669177
361.66/182.58	c flip 940000 nbSat=668445 maxSat=669177
363.85/183.68	c nbDecision=40000 #clauses=691083
366.44/185.00	c flip 950000 nbSat=668777 maxSat=669567
370.23/186.84	c flip 960000 nbSat=669230 maxSat=669567
375.03/189.22	c flip 970000 nbSat=668794 maxSat=669785
378.62/191.04	c flip 980000 nbSat=669145 maxSat=669785
383.41/193.41	c flip 990000 nbSat=668732 maxSat=669927
387.00/195.28	c flip 1000000 nbSat=669713 maxSat=669927
391.58/197.58	c flip 1010000 nbSat=669371 maxSat=670013
395.58/199.59	c flip 1020000 nbSat=670215 maxSat=670227
399.77/201.67	c flip 1030000 nbSat=669372 maxSat=670502
404.55/204.03	c flip 1040000 nbSat=669551 maxSat=670502
408.15/205.88	c flip 1050000 nbSat=669663 maxSat=670502
412.93/208.25	c flip 1060000 nbSat=670246 maxSat=670806
417.32/210.42	c flip 1070000 nbSat=669543 maxSat=670806
421.31/212.43	c flip 1080000 nbSat=669959 maxSat=670899
425.70/214.65	c flip 1090000 nbSat=669902 maxSat=670899
430.09/216.84	c flip 1100000 nbSat=670330 maxSat=671115
433.89/218.79	c flip 1110000 nbSat=670016 maxSat=671115
438.88/221.26	c flip 1120000 nbSat=670436 maxSat=671115
442.88/223.26	c flip 1130000 nbSat=669846 maxSat=671115
447.66/225.64	c flip 1140000 nbSat=670666 maxSat=671507
451.44/227.55	c flip 1150000 nbSat=671710 maxSat=671710
451.84/227.79	c nbDecision=50000 #clauses=691088
456.04/229.80	c flip 1160000 nbSat=670956 maxSat=672026
460.63/232.15	c flip 1170000 nbSat=671547 maxSat=672026
464.62/234.18	c flip 1180000 nbSat=670212 maxSat=672026
468.61/236.19	c flip 1190000 nbSat=670899 maxSat=672026
473.39/238.51	c flip 1200000 nbSat=670941 maxSat=672026
477.78/240.79	c flip 1210000 nbSat=671178 maxSat=672026
481.98/242.81	c flip 1220000 nbSat=670929 maxSat=672070
486.97/245.36	c flip 1230000 nbSat=672080 maxSat=672093
490.76/247.27	c flip 1240000 nbSat=670915 maxSat=672094
495.15/249.41	c flip 1250000 nbSat=670684 maxSat=672223
499.54/251.68	c flip 1260000 nbSat=671127 maxSat=672223
504.12/253.99	c flip 1270000 nbSat=671075 maxSat=672223
508.51/256.18	c flip 1280000 nbSat=671636 maxSat=672451
512.50/258.16	c flip 1290000 nbSat=671015 maxSat=672577
517.29/260.57	c flip 1300000 nbSat=671808 maxSat=672577
521.09/262.48	c flip 1310000 nbSat=672489 maxSat=672600
525.28/264.54	c flip 1320000 nbSat=671101 maxSat=672600
529.47/266.66	c flip 1330000 nbSat=671732 maxSat=672843
534.05/268.91	c flip 1340000 nbSat=671727 maxSat=672843
538.85/271.33	c flip 1350000 nbSat=671906 maxSat=672843
542.62/273.20	c flip 1360000 nbSat=671629 maxSat=672843
542.62/273.24	c nbDecision=60000 #clauses=691093
546.82/275.34	c flip 1370000 nbSat=672214 maxSat=672843
551.21/277.55	c flip 1380000 nbSat=671756 maxSat=672880
555.79/279.85	c flip 1390000 nbSat=671201 maxSat=672899
560.58/282.26	c flip 1400000 nbSat=671461 maxSat=672910
564.78/284.34	c flip 1410000 nbSat=671686 maxSat=672910
569.17/286.55	c flip 1420000 nbSat=672081 maxSat=673097
573.95/288.92	c flip 1430000 nbSat=672067 maxSat=673097
578.35/291.11	c flip 1440000 nbSat=671454 maxSat=673195
583.54/293.72	c flip 1450000 nbSat=672393 maxSat=673195
587.53/295.71	c flip 1460000 nbSat=672189 maxSat=673195
591.92/297.95	c flip 1470000 nbSat=672718 maxSat=673670
594.90/299.42	c nbDecision=65410 #clauses=691097
594.90/299.42	c complete search ended
594.90/299.42	c local search ended
594.90/299.42	c complete search answered
594.90/299.42	
594.90/299.42	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-328544-1176323302 -o ROOT/results/node11/solver-328544-1176323302 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328544-1176323302/ornithorynque /tmp/evaluation/328544-1176323302/instance-328544-1176323302.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: 0.85 0.95 0.90 3/77 31726
/proc/meminfo: memFree=1202360/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=3732 CPUtime=0
/proc/31726/stat : 31726 (ornithorynque) D 31724 31726 30795 0 -1 4194304 59 0 0 0 0 0 0 0 18 0 1 0 73379260 3821568 43 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262907426185 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/31726/statm: 933 43 33 42 0 5 0

[startup+0.0972931 s]
/proc/loadavg: 0.85 0.95 0.90 3/77 31726
/proc/meminfo: memFree=1202360/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=24652 CPUtime=0.01
/proc/31726/stat : 31726 (ornithorynque) R 31724 31726 30795 0 -1 4194304 878 0 4 0 1 0 0 0 18 0 1 0 73379260 25243648 700 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 215621212671 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31726/statm: 6163 700 379 42 0 415 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24652

[startup+0.101287 s]
/proc/loadavg: 0.85 0.95 0.90 3/77 31726
/proc/meminfo: memFree=1202360/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=24916 CPUtime=0.01
/proc/31726/stat : 31726 (ornithorynque) R 31724 31726 30795 0 -1 4194304 1007 0 4 0 1 0 0 0 18 0 1 0 73379260 25513984 829 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 215621289102 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31726/statm: 6229 829 379 42 0 481 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24916

[startup+0.301315 s]
/proc/loadavg: 0.85 0.95 0.90 3/77 31726
/proc/meminfo: memFree=1202360/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=35736 CPUtime=0.21
/proc/31726/stat : 31726 (ornithorynque) R 31724 31726 30795 0 -1 4194304 4223 0 4 0 20 1 0 0 19 0 1 0 73379260 36593664 3249 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4270644 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31726/statm: 8934 3249 379 42 0 3186 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 35736

[startup+0.701361 s]
/proc/loadavg: 0.85 0.95 0.90 3/77 31726
/proc/meminfo: memFree=1202360/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=52800 CPUtime=0.61
/proc/31726/stat : 31726 (ornithorynque) R 31724 31726 30795 0 -1 4194304 8812 0 4 0 58 3 0 0 23 0 1 0 73379260 54067200 7068 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262909890357 0 0 4096 1088 0 0 0 17 0 0 0
/proc/31726/statm: 13200 7068 379 42 0 7452 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 52800

[startup+1.50145 s]
/proc/loadavg: 0.85 0.95 0.90 2/78 31727
/proc/meminfo: memFree=1163632/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=82504 CPUtime=1.41
/proc/31726/stat : 31726 (ornithorynque) R 31724 31726 30795 0 -1 4194304 16877 0 4 0 135 6 0 0 25 0 1 0 73379260 84484096 14108 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918942818 0 0 4096 1088 0 0 0 17 1 0 0
/proc/31726/statm: 20626 14109 379 42 0 14878 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 82504

[startup+3.10265 s]
/proc/loadavg: 0.85 0.95 0.90 2/78 31727
/proc/meminfo: memFree=1051696/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=205204 CPUtime=3.71
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 45766 0 4 0 352 19 0 0 25 0 3 0 73379260 210128896 39096 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 51301 39096 388 42 0 45553 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 205204

[startup+6.30103 s]
/proc/loadavg: 0.94 0.97 0.91 3/80 31729
/proc/meminfo: memFree=1045984/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=205468 CPUtime=10.09
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 50057 0 4 0 988 21 0 0 25 0 3 0 73379260 210399232 39157 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 51367 39157 388 42 0 45619 0
[pid=31726/tid=31728] ppid=31724 vsize=205468 CPUtime=3.9
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 6289 0 0 0 388 2 0 0 25 0 3 0 73379499 210399232 39157 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328114 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=205468 CPUtime=3.88
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 388 0 0 0 25 0 3 0 73379499 210399232 39157 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245734 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 205468

[startup+12.7028 s]
/proc/loadavg: 1.02 0.99 0.91 3/80 31729
/proc/meminfo: memFree=1044136/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=213012 CPUtime=22.87
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 58044 0 4 0 2262 25 0 0 25 0 3 0 73379260 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 53253 39684 389 42 0 47505 0
[pid=31726/tid=31728] ppid=31724 vsize=213012 CPUtime=10.29
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 14276 0 0 0 1024 5 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4273784 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=213012 CPUtime=10.25
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 1025 0 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 213012

[startup+25.5013 s]
/proc/loadavg: 1.24 1.03 0.93 3/80 31729
/proc/meminfo: memFree=1045864/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=48.4
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 72144 0 4 0 4810 30 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=23.09
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 28376 0 0 0 2299 10 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328131 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=22.98
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 2298 0 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4298743 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.4
Current children cumulated vsize (KiB) 211132

[startup+51.1014 s]
/proc/loadavg: 1.50 1.11 0.96 3/80 31729
/proc/meminfo: memFree=1045992/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=99.47
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 99404 0 4 0 9908 39 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=48.68
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 55636 0 0 0 4848 20 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328131 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=48.47
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 4847 0 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245971 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (KiB) 211132

[startup+102.306 s]
/proc/loadavg: 1.78 1.25 1.01 3/80 31729
/proc/meminfo: memFree=1045992/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=201.64
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 154864 0 4 0 20103 61 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=99.87
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 111096 0 0 0 9945 42 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=99.45
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 9945 0 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4297870 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.64
Current children cumulated vsize (KiB) 211132

[startup+162.302 s]
/proc/loadavg: 1.92 1.38 1.07 3/80 31729
/proc/meminfo: memFree=1045992/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=321.35
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 219254 0 4 0 32048 87 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=159.85
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 175486 0 0 0 15918 67 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328140 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=159.18
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 15917 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245222 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.35
Current children cumulated vsize (KiB) 211132

[startup+222.302 s]
/proc/loadavg: 1.97 1.49 1.12 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=441.07
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 282704 0 4 0 43996 111 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=219.83
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 238936 0 0 0 21892 91 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328142 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=218.92
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 21891 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245256 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.07
Current children cumulated vsize (KiB) 211132

[startup+282.302 s]
/proc/loadavg: 1.99 1.58 1.18 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=213012 CPUtime=560.79
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 349444 0 4 0 55940 139 0 0 25 0 3 0 73379260 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 53253 39684 389 42 0 47505 0
[pid=31726/tid=31728] ppid=31724 vsize=213012 CPUtime=279.81
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 305676 0 0 0 27863 118 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=213012 CPUtime=278.65
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 27864 1 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245971 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.79
Current children cumulated vsize (KiB) 213012

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

[startup+287.902 s]
/proc/loadavg: 1.99 1.59 1.18 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=571.96
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 354144 0 4 0 57056 140 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=285.41
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 310376 0 0 0 28421 120 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=284.23
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 28422 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4246199 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 571.96
Current children cumulated vsize (KiB) 211132

[startup+294.302 s]
/proc/loadavg: 1.99 1.60 1.19 3/80 31729
/proc/meminfo: memFree=1044264/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=584.73
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 362134 0 4 0 58330 143 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=291.81
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 318366 0 0 0 29058 123 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=290.6
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29059 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 584.73
Current children cumulated vsize (KiB) 211132

[startup+297.502 s]
/proc/loadavg: 1.99 1.60 1.19 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=591.12
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 364484 0 4 0 58968 144 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=295.01
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 320716 0 0 0 29377 124 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=293.79
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29378 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 591.12
Current children cumulated vsize (KiB) 211132

[startup+298.302 s]
/proc/loadavg: 1.99 1.61 1.19 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=592.72
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 364954 0 4 0 59127 145 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=295.81
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 321186 0 0 0 29457 124 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=294.58
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29457 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4244845 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 592.72
Current children cumulated vsize (KiB) 211132

[startup+299.102 s]
/proc/loadavg: 1.99 1.61 1.19 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=594.32
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 365424 0 4 0 59287 145 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=296.61
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 321656 0 0 0 29537 124 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4328123 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=295.38
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29537 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4297788 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 594.32
Current children cumulated vsize (KiB) 211132

[startup+299.302 s]
/proc/loadavg: 1.99 1.61 1.19 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=213012 CPUtime=594.71
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 365894 0 4 0 59326 145 0 0 25 0 3 0 73379260 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 53253 39684 389 42 0 47505 0
[pid=31726/tid=31728] ppid=31724 vsize=213012 CPUtime=296.81
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 322126 0 0 0 29556 125 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4274127 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=213012 CPUtime=295.58
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29557 1 0 0 25 0 3 0 73379499 218124288 39684 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4244841 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 594.71
Current children cumulated vsize (KiB) 213012

[startup+299.402 s]
/proc/loadavg: 1.99 1.61 1.19 3/80 31729
/proc/meminfo: memFree=1045928/2055920 swapFree=4192952/4192956
[pid=31726] ppid=31724 vsize=211132 CPUtime=594.9
/proc/31726/stat : 31726 (ornithorynque) S 31724 31726 30795 0 -1 4194304 365894 0 4 0 59345 145 0 0 25 0 3 0 73379260 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/31726/statm: 52783 39214 389 42 0 47035 0
[pid=31726/tid=31728] ppid=31724 vsize=211132 CPUtime=296.91
/proc/31726/task/31728/stat : 31728 (ornithorynque) R 31724 31726 30795 0 -1 4194368 322126 0 0 0 29566 125 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=31726/tid=31729] ppid=31724 vsize=211132 CPUtime=295.67
/proc/31726/task/31729/stat : 31729 (ornithorynque) R 31724 31726 30795 0 -1 4194368 2 0 0 0 29566 1 0 0 25 0 3 0 73379499 216199168 39214 18446744073709551615 4194304 4368192 548682069200 18446744073709551615 4245936 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 594.9
Current children cumulated vsize (KiB) 211132

Child status: 20
Real time (s): 299.451
CPU time (s): 594.983
CPU user time (s): 593.498
CPU system time (s): 1.48477
CPU usage (%): 198.691
Max. virtual memory (cumulated for all children) (KiB): 213012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.498
system time used= 1.48477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365896
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 11405

runsolver used 0.267959 second user time and 0.841872 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Wed Apr 11 20:28:23 UTC 2007

IDJOB= 328544
IDBENCH= 20466
IDSOLVER= 139
FILE ID= node11/328544-1176323302

PBS_JOBID= 4516508

Free space on /tmp= 66460 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/hsatv17/hsat_vc11817.cnf
COMMAND LINE= /tmp/evaluation/328544-1176323302/ornithorynque /tmp/evaluation/328544-1176323302/instance-328544-1176323302.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-328544-1176323302 -o ROOT/results/node11/solver-328544-1176323302 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328544-1176323302/ornithorynque /tmp/evaluation/328544-1176323302/instance-328544-1176323302.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  ec98bb92b9928019088745bf76777cb6

RANDOM SEED= 109544343

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1202768 kB
Buffers:         41144 kB
Cached:         685840 kB
SwapCached:          4 kB
Active:         254684 kB
Inactive:       526868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1202768 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           13944 kB
Writeback:           0 kB
Mapped:          73452 kB
Slab:            57072 kB
Committed_AS:  5049316 kB
PageTables:       1848 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= 66460 MiB

End job on node11 on Wed Apr 11 20:33:23 UTC 2007