Trace number 333727

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

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
MD5SUMb79b003513b2a70c9b89188422a831e2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses1000
Sum of the clauses size3000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31000
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.01	c ...done
0.00/0.01	c nbVar=250 nbClause=1000
0.00/0.01	c nbVar=250 nbClause=1000
0.00/0.01	c complete search running
0.00/0.01	c local search running
0.00/0.01	c flip 0 nbSat=877 maxSat=0
0.00/0.04	c flip 0 nbSat=1211 maxSat=981
0.18/0.12	c flip 0 nbSat=2131 maxSat=1318
0.58/0.37	c flip 0 nbSat=4669 maxSat=2219
2.19/1.14	c flip 0 nbSat=10185 maxSat=4785
2.38/1.23	c nbDecision=10000 #clauses=10962
4.97/2.51	c nbDecision=20000 #clauses=20959
5.57/2.80	c flip 0 nbSat=22369 maxSat=10287
8.75/4.41	c nbDecision=30000 #clauses=30965
12.73/6.45	c nbDecision=40000 #clauses=40963
16.32/8.29	c nbDecision=50000 #clauses=50967
20.11/10.18	c nbDecision=60000 #clauses=60963
22.91/11.54	c flip 0 nbSat=67407 maxSat=22462
24.28/12.20	c nbDecision=70000 #clauses=70959
33.47/16.83	c nbDecision=80000 #clauses=80799
40.42/20.34	c nbDecision=90000 #clauses=90785
45.61/22.99	c nbDecision=100000 #clauses=100786
59.76/30.08	c nbDecision=110000 #clauses=110782
68.14/34.26	c nbDecision=120000 #clauses=120782
71.13/35.72	c flip 0 nbSat=124243 maxSat=67523
75.52/37.92	c nbDecision=130000 #clauses=130784
84.29/42.37	c nbDecision=140000 #clauses=140784
89.48/44.91	c nbDecision=150000 #clauses=150780
92.86/46.61	c nbDecision=160000 #clauses=160784
98.45/49.40	c nbDecision=170000 #clauses=170780
107.20/53.85	c nbDecision=180000 #clauses=180784
112.37/56.40	c nbDecision=190000 #clauses=190786
117.76/59.18	c nbDecision=200000 #clauses=200784
125.14/62.80	c nbDecision=210000 #clauses=210786
130.33/65.42	c nbDecision=220000 #clauses=220786
135.50/68.08	c nbDecision=230000 #clauses=230784
145.67/73.12	c nbDecision=240000 #clauses=240780
151.06/75.89	c nbDecision=250000 #clauses=250780
154.85/77.78	c nbDecision=260000 #clauses=260784
160.42/80.54	c nbDecision=270000 #clauses=270780
164.78/82.70	c nbDecision=280000 #clauses=280788
164.98/82.88	c flip 0 nbSat=280254 maxSat=124347
168.37/84.52	c nbDecision=290000 #clauses=290784
174.56/87.60	c nbDecision=300000 #clauses=300784
181.75/91.23	c nbDecision=310000 #clauses=310782
187.93/94.31	c nbDecision=320000 #clauses=320786
194.71/97.75	c nbDecision=330000 #clauses=330782
201.70/101.29	c nbDecision=340000 #clauses=340786
207.88/104.36	c nbDecision=350000 #clauses=350784
212.87/106.89	c nbDecision=360000 #clauses=360788
235.21/118.06	c nbDecision=370000 #clauses=370781
248.78/124.85	c nbDecision=380000 #clauses=380781
259.35/130.15	c nbDecision=390000 #clauses=390785
277.12/139.06	c nbDecision=400000 #clauses=400781
289.67/145.33	c nbDecision=410000 #clauses=410785
299.46/150.25	c nbDecision=420000 #clauses=420783
308.64/154.87	c nbDecision=430000 #clauses=430785
316.81/158.96	c nbDecision=440000 #clauses=440781
323.80/162.42	c nbDecision=450000 #clauses=450785
330.78/165.98	c flip 0 nbSat=459669 maxSat=280362
331.58/166.33	c nbDecision=460000 #clauses=460781
339.17/170.15	c nbDecision=470000 #clauses=470787
346.74/173.97	c nbDecision=480000 #clauses=480785
353.73/177.46	c nbDecision=490000 #clauses=490789
367.50/184.40	c nbDecision=500000 #clauses=500785
380.66/190.94	c nbDecision=510000 #clauses=510785
389.65/195.43	c nbDecision=520000 #clauses=520783
404.61/202.92	c nbDecision=530000 #clauses=530781
418.98/210.16	c nbDecision=540000 #clauses=540785
427.95/214.64	c nbDecision=550000 #clauses=550783
438.54/219.94	c nbDecision=560000 #clauses=560783
447.11/224.29	c nbDecision=570000 #clauses=570785
454.69/228.07	c nbDecision=580000 #clauses=580785
461.87/231.66	c nbDecision=590000 #clauses=590789
470.45/235.97	c nbDecision=600000 #clauses=600785
478.24/239.83	c nbDecision=610000 #clauses=610785
485.62/243.52	c nbDecision=620000 #clauses=620787
499.98/250.77	c nbDecision=630000 #clauses=630781
513.74/257.63	c nbDecision=640000 #clauses=640785
522.72/262.11	c nbDecision=650000 #clauses=650785
530.32/265.94	c nbDecision=660000 #clauses=660785
536.30/268.92	c nbDecision=670000 #clauses=670785
542.08/271.86	c nbDecision=680000 #clauses=680781
549.87/275.78	c nbDecision=690000 #clauses=690781
560.63/281.12	c nbDecision=700000 #clauses=700781
569.21/285.46	c nbDecision=710000 #clauses=710783
576.81/289.21	c nbDecision=720000 #clauses=720783
582.79/292.28	c nbDecision=730000 #clauses=730787
588.76/295.20	c nbDecision=740000 #clauses=740785
594.15/297.99	c nbDecision=750000 #clauses=750789
602.73/302.25	c nbDecision=760000 #clauses=760781
610.72/306.27	c nbDecision=770000 #clauses=770785
617.90/309.88	c nbDecision=780000 #clauses=780783
625.09/313.42	c nbDecision=790000 #clauses=790785
627.27/314.56	c flip 0 nbSat=792363 maxSat=459764
630.46/316.18	c nbDecision=800000 #clauses=800783
636.25/319.07	c nbDecision=810000 #clauses=810789
642.23/322.02	c nbDecision=820000 #clauses=820789
650.42/326.11	c nbDecision=830000 #clauses=830787
658.19/330.04	c nbDecision=840000 #clauses=840783
665.57/333.73	c nbDecision=850000 #clauses=850785
671.76/336.82	c nbDecision=860000 #clauses=860785
677.74/339.82	c nbDecision=870000 #clauses=870785
683.33/342.65	c nbDecision=880000 #clauses=880785
695.50/348.79	c nbDecision=890000 #clauses=890781
706.29/354.18	c nbDecision=900000 #clauses=900785
714.65/358.36	c nbDecision=910000 #clauses=910787
722.44/362.23	c nbDecision=920000 #clauses=920781
728.03/365.02	c nbDecision=930000 #clauses=930785
734.02/368.01	c nbDecision=940000 #clauses=940785
739.80/370.95	c nbDecision=950000 #clauses=950789
753.97/378.07	c nbDecision=960000 #clauses=960783
765.93/384.01	c nbDecision=970000 #clauses=970785
773.91/388.07	c nbDecision=980000 #clauses=980789
781.10/391.66	c nbDecision=990000 #clauses=990789
787.08/394.67	c nbDecision=1000000 #clauses=1000785
793.27/397.76	c nbDecision=1010000 #clauses=1010785
801.64/401.92	c nbDecision=1020000 #clauses=1020781
810.23/406.29	c nbDecision=1030000 #clauses=1030785
818.22/410.29	c nbDecision=1040000 #clauses=1040785
826.19/414.26	c nbDecision=1050000 #clauses=1050783
831.98/417.19	c nbDecision=1060000 #clauses=1060785
838.16/420.23	c nbDecision=1070000 #clauses=1070789
844.15/423.25	c nbDecision=1080000 #clauses=1080787
852.54/427.47	c nbDecision=1090000 #clauses=1090787
860.70/431.51	c nbDecision=1100000 #clauses=1100785
867.68/435.00	c nbDecision=1110000 #clauses=1110789
874.68/438.52	c nbDecision=1120000 #clauses=1120785
880.66/441.52	c nbDecision=1130000 #clauses=1130789
887.05/444.75	c nbDecision=1140000 #clauses=1140787
897.02/449.80	c nbDecision=1150000 #clauses=1150785
905.61/454.08	c nbDecision=1160000 #clauses=1160784
912.39/457.40	c nbDecision=1170000 #clauses=1170784
917.57/460.08	c nbDecision=1180000 #clauses=1180784
922.17/462.34	c nbDecision=1190000 #clauses=1190784
926.75/464.65	c nbDecision=1200000 #clauses=1200784
931.34/466.93	c nbDecision=1210000 #clauses=1210786
938.13/470.31	c nbDecision=1220000 #clauses=1220788
944.10/473.36	c nbDecision=1230000 #clauses=1230784
949.09/475.84	c nbDecision=1240000 #clauses=1240788
953.88/478.28	c nbDecision=1250000 #clauses=1250786
958.48/480.51	c nbDecision=1260000 #clauses=1260788
963.07/482.86	c nbDecision=1270000 #clauses=1270784
969.45/486.06	c nbDecision=1280000 #clauses=1280782
974.83/488.77	c nbDecision=1290000 #clauses=1290784
980.22/491.41	c nbDecision=1300000 #clauses=1300784
985.22/493.94	c nbDecision=1310000 #clauses=1310788
989.80/496.29	c nbDecision=1320000 #clauses=1320786
994.59/498.61	c nbDecision=1330000 #clauses=1330788
999.18/500.96	c nbDecision=1340000 #clauses=1340788
1005.17/503.96	c nbDecision=1350000 #clauses=1350786
1010.56/506.65	c nbDecision=1360000 #clauses=1360784
1015.95/509.32	c nbDecision=1370000 #clauses=1370788
1021.32/512.03	c nbDecision=1380000 #clauses=1380786
1025.92/514.38	c nbDecision=1390000 #clauses=1390788
1031.11/516.90	c nbDecision=1400000 #clauses=1400788
1038.67/520.76	c nbDecision=1410000 #clauses=1410784
1046.27/524.50	c nbDecision=1420000 #clauses=1420788
1052.25/527.57	c nbDecision=1430000 #clauses=1430782
1057.24/530.08	c nbDecision=1440000 #clauses=1440788
1062.22/532.57	c nbDecision=1450000 #clauses=1450784
1067.01/534.99	c nbDecision=1460000 #clauses=1460786
1071.81/537.39	c nbDecision=1470000 #clauses=1470784
1078.79/540.86	c nbDecision=1480000 #clauses=1480788
1084.38/543.67	c nbDecision=1490000 #clauses=1490788
1089.97/546.48	c nbDecision=1500000 #clauses=1500788
1095.75/549.34	c nbDecision=1510000 #clauses=1510784
1100.74/551.83	c nbDecision=1520000 #clauses=1520788
1105.74/554.33	c nbDecision=1530000 #clauses=1530788
1112.31/557.63	c nbDecision=1540000 #clauses=1540784
1118.30/560.63	c nbDecision=1550000 #clauses=1550784
1123.87/563.43	c nbDecision=1560000 #clauses=1560788
1129.46/566.27	c nbDecision=1570000 #clauses=1570788
1134.85/568.92	c nbDecision=1580000 #clauses=1580788
1140.03/571.59	c nbDecision=1590000 #clauses=1590784
1145.43/574.20	c nbDecision=1600000 #clauses=1600788
1151.81/577.41	c nbDecision=1610000 #clauses=1610786
1157.20/580.14	c nbDecision=1620000 #clauses=1620788
1162.99/583.05	c nbDecision=1630000 #clauses=1630786
1169.16/586.10	c nbDecision=1640000 #clauses=1640786
1169.56/586.37	c flip 0 nbSat=1636593 maxSat=792469
1174.34/588.74	c nbDecision=1650000 #clauses=1650788
1179.93/591.58	c nbDecision=1660000 #clauses=1660788
1185.92/594.50	c nbDecision=1670000 #clauses=1670788
1196.89/600.09	c nbDecision=1680000 #clauses=1680784

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/node12/watcher-333727-1173528065 -o ROOT/results/node12/solver-333727-1173528065 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/333727-1173528065/ornithorynque /tmp/evaluation/333727-1173528065/instance-333727-1173528065.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.90 0.95 0.97 3/83 23726
/proc/meminfo: memFree=1687952/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=23220 CPUtime=0
/proc/23726/stat : 23726 (ornithorynque) R 23724 23726 22032 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 372760953 23777280 272 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252426882321 0 0 4096 0 0 0 0 17 1 0 0
/proc/23726/statm: 5805 272 225 42 0 45 0

[startup+0.0750019 s]
/proc/loadavg: 0.90 0.95 0.97 3/83 23726
/proc/meminfo: memFree=1687952/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=45084 CPUtime=0.13
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 599 0 0 0 13 0 0 0 18 0 3 0 372760953 46166016 560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 11271 560 387 42 0 5523 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 45084

[startup+0.102006 s]
/proc/loadavg: 0.90 0.95 0.97 3/83 23726
/proc/meminfo: memFree=1687952/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=45224 CPUtime=0.18
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 614 0 0 0 18 0 0 0 18 0 3 0 372760953 46309376 575 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 11306 575 387 42 0 5558 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45224

[startup+0.30104 s]
/proc/loadavg: 0.90 0.95 0.97 3/83 23726
/proc/meminfo: memFree=1687952/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=45632 CPUtime=0.58
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 776 0 0 0 58 0 0 0 18 0 3 0 372760953 46727168 737 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 11408 737 387 42 0 5660 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45632

[startup+0.701115 s]
/proc/loadavg: 0.90 0.95 0.97 3/83 23726
/proc/meminfo: memFree=1687952/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=46420 CPUtime=1.38
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 1071 0 0 0 138 0 0 0 18 0 3 0 372760953 47534080 1032 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 11605 1032 387 42 0 5857 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 46420

[startup+1.50226 s]
/proc/loadavg: 0.90 0.95 0.97 3/86 23729
/proc/meminfo: memFree=1684600/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=49656 CPUtime=2.98
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 1631 0 0 0 298 0 0 0 18 0 3 0 372760953 50847744 1592 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 12414 1592 387 42 0 6666 0
[pid=23726/tid=23728] ppid=23724 vsize=49656 CPUtime=1.48
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 602 0 0 0 148 0 0 0 19 0 3 0 372760954 50847744 1592 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289956 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=49656 CPUtime=1.48
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 492 0 0 0 148 0 0 0 20 0 3 0 372760954 50847744 1592 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242567 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 49656

[startup+3.10155 s]
/proc/loadavg: 0.99 0.97 0.98 3/86 23729
/proc/meminfo: memFree=1681784/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=53720 CPUtime=6.17
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 2750 0 0 0 616 1 0 0 18 0 3 0 372760953 55009280 2645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 13430 2645 387 42 0 7682 0
[pid=23726/tid=23728] ppid=23724 vsize=53720 CPUtime=3.08
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 1153 0 0 0 308 0 0 0 25 0 3 0 372760954 55009280 2645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=53720 CPUtime=3.07
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 1060 0 0 0 307 0 0 0 25 0 3 0 372760954 55009280 2645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 53720

[startup+6.30213 s]
/proc/loadavg: 0.99 0.97 0.98 3/86 23731
/proc/meminfo: memFree=1676416/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=56780 CPUtime=12.53
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 3541 0 0 0 1251 2 0 0 18 0 3 0 372760953 58142720 3371 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 14195 3371 387 42 0 8447 0
[pid=23726/tid=23728] ppid=23724 vsize=56780 CPUtime=6.27
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 1944 0 0 0 627 0 0 0 25 0 3 0 372760954 58142720 3371 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=56780 CPUtime=6.24
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 1060 0 0 0 623 1 0 0 25 0 3 0 372760954 58142720 3371 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 56780

[startup+12.7013 s]
/proc/loadavg: 1.14 1.00 0.99 3/86 23747
/proc/meminfo: memFree=1663240/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=75288 CPUtime=25.28
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 8135 0 0 0 2523 5 0 0 18 0 3 0 372760953 77094912 6674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 18822 6674 387 42 0 13074 0
[pid=23726/tid=23728] ppid=23724 vsize=75288 CPUtime=12.65
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 3721 0 0 0 1264 1 0 0 25 0 3 0 372760954 77094912 6674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4256083 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=75288 CPUtime=12.62
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 3877 0 0 0 1258 4 0 0 25 0 3 0 372760954 77094912 6674 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 75288

[startup+25.5016 s]
/proc/loadavg: 1.28 1.04 1.00 3/86 23775
/proc/meminfo: memFree=1654728/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=83696 CPUtime=50.79
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 10268 0 0 0 5069 10 0 0 18 0 3 0 372760953 85704704 8611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 20924 8611 387 42 0 15176 0
[pid=23726/tid=23728] ppid=23724 vsize=83696 CPUtime=25.42
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 5854 0 0 0 2540 2 0 0 25 0 3 0 372760954 85704704 8611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=83696 CPUtime=25.34
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 3877 0 0 0 2527 7 0 0 25 0 3 0 372760954 85704704 8611 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241604 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 83696

[startup+51.1012 s]
/proc/loadavg: 1.52 1.11 1.02 3/86 23803
/proc/meminfo: memFree=1632264/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=108216 CPUtime=101.81
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 17425 0 0 0 10163 18 0 0 18 0 3 0 372760953 110813184 14293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 27054 14293 387 42 0 21306 0
[pid=23726/tid=23728] ppid=23724 vsize=108216 CPUtime=50.97
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 10497 0 0 0 5092 5 0 0 25 0 3 0 372760954 110813184 14293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=108216 CPUtime=50.81
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 6391 0 0 0 5069 12 0 0 25 0 3 0 372760954 110813184 14293 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 108216

[startup+102.306 s]
/proc/loadavg: 1.81 1.26 1.08 3/80 23863
/proc/meminfo: memFree=1577400/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=177060 CPUtime=203.89
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 39312 0 0 0 20356 33 0 0 18 0 3 0 372760953 181309440 28179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 44265 28179 387 42 0 38517 0
[pid=23726/tid=23728] ppid=23724 vsize=177060 CPUtime=102.1
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 20736 0 0 0 10198 12 0 0 25 0 3 0 372760954 181309440 28179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=177060 CPUtime=101.77
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 18039 0 0 0 10157 20 0 0 25 0 3 0 372760954 181309440 28179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 177060

[startup+162.301 s]
/proc/loadavg: 1.93 1.39 1.13 3/80 23863
/proc/meminfo: memFree=1553272/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=202124 CPUtime=323.6
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 46435 0 0 0 32322 38 0 0 18 0 3 0 372760953 206974976 34298 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 50531 34298 387 42 0 44783 0
[pid=23726/tid=23728] ppid=23724 vsize=202124 CPUtime=162.08
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 27859 0 0 0 16191 17 0 0 25 0 3 0 372760954 206974976 34298 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311286 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=202124 CPUtime=161.5
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 18039 0 0 0 16130 20 0 0 25 0 3 0 372760954 206974976 34298 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.6
Current children cumulated vsize (KiB) 202124

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/80 23863
/proc/meminfo: memFree=1505656/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=256116 CPUtime=443.32
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 66090 0 0 0 44285 47 0 0 18 0 3 0 372760953 262262784 46091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 64029 46091 387 42 0 58281 0
[pid=23726/tid=23728] ppid=23724 vsize=256116 CPUtime=222.05
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 35929 0 0 0 22183 22 0 0 25 0 3 0 372760954 262262784 46091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4305660 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=256116 CPUtime=221.24
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 29624 0 0 0 22100 24 0 0 25 0 3 0 372760954 262262784 46091 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 256116

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.23 3/80 23863
/proc/meminfo: memFree=1475192/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=288268 CPUtime=563.03
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 75232 0 0 0 56249 54 0 0 18 0 3 0 372760953 295186432 53752 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 72067 53752 387 42 0 66319 0
[pid=23726/tid=23728] ppid=23724 vsize=288268 CPUtime=282.04
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 45071 0 0 0 28175 29 0 0 25 0 3 0 372760954 295186432 53752 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=288268 CPUtime=280.97
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 29624 0 0 0 28073 24 0 0 25 0 3 0 372760954 295186432 53752 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 288268

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.28 3/80 23863
/proc/meminfo: memFree=1397496/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=389480 CPUtime=682.73
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 111205 0 0 0 68198 75 0 0 18 0 3 0 372760953 398827520 73118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 97370 73118 387 42 0 91622 0
[pid=23726/tid=23728] ppid=23724 vsize=389480 CPUtime=342
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 54736 0 0 0 34162 38 0 0 25 0 3 0 372760954 398827520 73118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=389480 CPUtime=340.71
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 55932 0 0 0 34035 36 0 0 25 0 3 0 372760954 398827520 73118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 389480

[startup+402.302 s]
/proc/loadavg: 1.99 1.71 1.32 3/80 23863
/proc/meminfo: memFree=1366776/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=418640 CPUtime=802.45
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 119422 0 0 0 80162 83 0 0 18 0 3 0 372760953 428687360 80822 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 104660 80822 387 42 0 98912 0
[pid=23726/tid=23728] ppid=23724 vsize=418640 CPUtime=401.98
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 62953 0 0 0 40151 47 0 0 25 0 3 0 372760954 428687360 80822 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=418640 CPUtime=400.45
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 55932 0 0 0 40009 36 0 0 25 0 3 0 372760954 428687360 80822 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241811 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (KiB) 418640

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.36 3/80 23863
/proc/meminfo: memFree=1325048/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=471388 CPUtime=922.17
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 134867 0 0 0 92123 94 0 0 18 0 3 0 372760953 482701312 91200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 117847 91200 387 42 0 112099 0
[pid=23726/tid=23728] ppid=23724 vsize=471388 CPUtime=461.96
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 78398 0 0 0 46139 57 0 0 25 0 3 0 372760954 482701312 91200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289952 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=471388 CPUtime=460.19
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 55932 0 0 0 45983 36 0 0 25 0 3 0 372760954 482701312 91200 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.17
Current children cumulated vsize (KiB) 471388

[startup+522.302 s]
/proc/loadavg: 1.99 1.80 1.39 3/80 23863
/proc/meminfo: memFree=1280056/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=513888 CPUtime=1041.87
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 146139 0 0 0 104087 100 0 0 18 0 3 0 372760953 526221312 102472 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 128472 102472 387 42 0 122724 0
[pid=23726/tid=23728] ppid=23724 vsize=513888 CPUtime=521.94
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 89670 0 0 0 52130 64 0 0 25 0 3 0 372760954 526221312 102472 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290118 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=513888 CPUtime=519.91
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 55932 0 0 0 51955 36 0 0 25 0 3 0 372760954 526221312 102472 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.87
Current children cumulated vsize (KiB) 513888

[startup+582.302 s]
/proc/loadavg: 2.04 1.85 1.44 3/80 23863
/proc/meminfo: memFree=1236728/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=560556 CPUtime=1161.59
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 158433 0 0 0 116050 109 0 0 18 0 3 0 372760953 574009344 113223 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 140139 113223 387 42 0 134391 0
[pid=23726/tid=23728] ppid=23724 vsize=560556 CPUtime=581.91
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 101964 0 0 0 58119 72 0 0 25 0 3 0 372760954 574009344 113223 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=560556 CPUtime=579.65
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 55932 0 0 0 57929 36 0 0 25 0 3 0 372760954 574009344 113223 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (KiB) 560556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.03 1.86 1.45 3/80 23863
/proc/meminfo: memFree=1114552/2055920 swapFree=4156588/4192956
[pid=23726] ppid=23724 vsize=721644 CPUtime=1200.08
/proc/23726/stat : 23726 (ornithorynque) S 23724 23726 22032 0 -1 4194304 225864 0 0 0 119872 136 0 0 18 0 3 0 372760953 738963456 143650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23726/statm: 180411 143650 387 42 0 174663 0
[pid=23726/tid=23728] ppid=23724 vsize=721644 CPUtime=601.2
/proc/23726/task/23728/stat : 23728 (ornithorynque) R 23724 23726 22032 0 -1 4194368 107518 0 0 0 60044 76 0 0 25 0 3 0 372760954 738963456 143650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23726/tid=23729] ppid=23724 vsize=721644 CPUtime=598.86
/proc/23726/task/23729/stat : 23729 (ornithorynque) R 23724 23726 22032 0 -1 4194368 117809 0 0 0 59827 59 0 0 25 0 3 0 372760954 738963456 143650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 721644

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.703
CPU time (s): 1200.19
CPU user time (s): 1198.74
CPU system time (s): 1.45578
CPU usage (%): 199.466
Max. virtual memory (cumulated for all children) (KiB): 721644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.74
system time used= 1.45578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225865
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= 38
involuntary context switches= 23083

runsolver used 0.643902 second user time and 1.57276 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Mar 10 12:01:05 UTC 2007

IDJOB= 333727
IDBENCH= 24610
IDSOLVER= 139
FILE ID= node12/333727-1173528065

PBS_JOBID= 4101131

Free space on /tmp= 66419 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/333727-1173528065/ornithorynque /tmp/evaluation/333727-1173528065/instance-333727-1173528065.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-333727-1173528065 -o ROOT/results/node12/solver-333727-1173528065 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/333727-1173528065/ornithorynque /tmp/evaluation/333727-1173528065/instance-333727-1173528065.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  b79b003513b2a70c9b89188422a831e2

RANDOM SEED= 39094049

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.285
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.285
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:       1688296 kB
Buffers:         40644 kB
Cached:         251352 kB
SwapCached:      15228 kB
Active:         215300 kB
Inactive:       100732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1688296 kB
SwapTotal:     4192956 kB
SwapFree:      4156588 kB
Dirty:             500 kB
Writeback:           0 kB
Mapped:          30936 kB
Slab:            36820 kB
Committed_AS:  1649764 kB
PageTables:       1924 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= 66419 MiB

End job on node12 on Sat Mar 10 12:11:09 UTC 2007