Trace number 328488

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.18 603.654

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryINDUST (industrial 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 variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

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 int
0.00/0.00	c parsing...
2.89/2.93	c ...done
2.89/2.93	c nbVar=361125 nbClause=1254773
3.39/3.43	c nbVar=361125 nbClause=1254773
4.09/4.11	c complete search running
4.09/4.11	c local search running
4.48/4.40	c flip 0 nbSat=987796 maxSat=0
5.67/4.93	c flip 10000 nbSat=1057961 maxSat=1057962
5.87/5.03	c flip 20000 nbSat=1066264 maxSat=1066264
6.07/5.10	c flip 30000 nbSat=1073532 maxSat=1073532
6.27/5.20	c flip 40000 nbSat=1079864 maxSat=1079868
6.27/5.27	c flip 50000 nbSat=1085818 maxSat=1085818
6.48/5.35	c flip 60000 nbSat=1091781 maxSat=1091781
6.68/5.42	c flip 70000 nbSat=1097775 maxSat=1097775
8.07/6.12	c flip 80000 nbSat=1102505 maxSat=1103485
12.05/8.10	c flip 90000 nbSat=1107064 maxSat=1109527
16.05/10.19	c flip 100000 nbSat=1112314 maxSat=1113125
20.24/12.21	c flip 110000 nbSat=1114097 maxSat=1116528
24.24/14.27	c flip 120000 nbSat=1120358 maxSat=1121207
28.41/16.34	c flip 130000 nbSat=1123341 maxSat=1124961
32.80/18.58	c flip 140000 nbSat=1125770 maxSat=1126576
37.60/20.93	c flip 150000 nbSat=1126313 maxSat=1127690
41.79/23.09	c flip 160000 nbSat=1126199 maxSat=1129670
45.97/25.12	c flip 170000 nbSat=1131248 maxSat=1131375
50.56/27.45	c flip 180000 nbSat=1133497 maxSat=1134766
55.15/29.71	c flip 190000 nbSat=1135298 maxSat=1135962
59.54/31.92	c flip 200000 nbSat=1134076 maxSat=1137820
63.92/34.13	c flip 210000 nbSat=1138683 maxSat=1139088
67.50/35.98	c flip 220000 nbSat=1140302 maxSat=1141906
71.09/37.72	c flip 230000 nbSat=1141160 maxSat=1143338
74.89/39.66	c flip 240000 nbSat=1143231 maxSat=1144729
79.08/41.77	c flip 250000 nbSat=1144648 maxSat=1145664
82.86/43.69	c flip 260000 nbSat=1147115 maxSat=1148711
86.64/45.54	c flip 270000 nbSat=1148156 maxSat=1149586
90.63/47.51	c flip 280000 nbSat=1150275 maxSat=1151411
94.03/49.27	c flip 290000 nbSat=1151522 maxSat=1151971
97.82/51.18	c flip 300000 nbSat=1151881 maxSat=1154195
101.41/52.97	c flip 310000 nbSat=1154173 maxSat=1155728
105.20/54.89	c flip 320000 nbSat=1156441 maxSat=1156863
108.80/56.61	c flip 330000 nbSat=1157817 maxSat=1159470
112.78/58.66	c flip 340000 nbSat=1158635 maxSat=1159484
116.78/60.65	c flip 350000 nbSat=1160988 maxSat=1160990
120.57/62.57	c flip 360000 nbSat=1160875 maxSat=1161623
124.35/64.47	c flip 370000 nbSat=1161870 maxSat=1163935
128.35/66.49	c flip 380000 nbSat=1164054 maxSat=1164484
132.13/68.38	c flip 390000 nbSat=1164866 maxSat=1165942
135.93/70.22	c flip 400000 nbSat=1165758 maxSat=1166680
139.52/72.06	c flip 410000 nbSat=1167329 maxSat=1168065
143.11/73.85	c flip 420000 nbSat=1167213 maxSat=1169057
146.90/75.79	c flip 430000 nbSat=1168925 maxSat=1170163
150.90/77.74	c flip 440000 nbSat=1168985 maxSat=1171941
155.08/79.82	c flip 450000 nbSat=1169529 maxSat=1172452
159.07/81.87	c flip 460000 nbSat=1172875 maxSat=1173640
162.86/83.74	c flip 470000 nbSat=1172761 maxSat=1174978
167.45/86.00	c flip 480000 nbSat=1174411 maxSat=1175456
171.64/88.15	c flip 490000 nbSat=1175322 maxSat=1176937
175.42/90.03	c flip 500000 nbSat=1175680 maxSat=1177606
179.21/91.94	c flip 510000 nbSat=1177700 maxSat=1179333
183.60/94.18	c flip 520000 nbSat=1177002 maxSat=1179581
188.19/96.49	c flip 530000 nbSat=1179105 maxSat=1180007
192.38/98.59	c flip 540000 nbSat=1179593 maxSat=1181959
196.97/100.82	c flip 550000 nbSat=1180501 maxSat=1182571
200.96/102.85	c flip 560000 nbSat=1180265 maxSat=1183046
205.16/104.93	c flip 570000 nbSat=1182750 maxSat=1184687
209.54/107.15	c flip 580000 nbSat=1181363 maxSat=1184687
213.73/109.28	c flip 590000 nbSat=1184423 maxSat=1186851
217.53/111.19	c flip 600000 nbSat=1185134 maxSat=1187016
222.31/113.54	c flip 610000 nbSat=1186268 maxSat=1187926
226.70/115.75	c flip 620000 nbSat=1186110 maxSat=1189007
230.30/117.53	c flip 630000 nbSat=1188455 maxSat=1190234
234.69/119.79	c flip 640000 nbSat=1189965 maxSat=1190578
239.08/121.94	c flip 650000 nbSat=1190086 maxSat=1192012
243.07/123.90	c flip 660000 nbSat=1190806 maxSat=1192597
247.86/126.36	c flip 670000 nbSat=1192606 maxSat=1193635
252.65/128.72	c flip 680000 nbSat=1192745 maxSat=1193914
256.44/130.65	c flip 690000 nbSat=1194201 maxSat=1195262
261.23/133.10	c flip 700000 nbSat=1194284 maxSat=1195844
265.81/135.38	c flip 710000 nbSat=1195114 maxSat=1196781
270.20/137.51	c flip 720000 nbSat=1195161 maxSat=1198204
275.38/140.13	c flip 730000 nbSat=1196398 maxSat=1198677
279.98/142.49	c flip 740000 nbSat=1196092 maxSat=1198821
284.96/144.93	c flip 750000 nbSat=1196513 maxSat=1199946
290.15/147.57	c flip 760000 nbSat=1197242 maxSat=1200470
294.74/149.87	c flip 770000 nbSat=1199566 maxSat=1201890
300.13/152.53	c flip 780000 nbSat=1200803 maxSat=1202652
305.12/155.05	c flip 790000 nbSat=1200252 maxSat=1203698
309.71/157.38	c flip 800000 nbSat=1203026 maxSat=1204464
314.89/159.98	c flip 810000 nbSat=1204067 maxSat=1205103
320.28/162.65	c flip 820000 nbSat=1204518 maxSat=1205810
324.87/164.96	c flip 830000 nbSat=1202927 maxSat=1206525
329.85/167.48	c flip 840000 nbSat=1206858 maxSat=1207491
334.24/169.65	c flip 850000 nbSat=1207654 maxSat=1208219
337.43/171.29	c nbDecision=10000 #clauses=1257627
339.63/172.40	c flip 860000 nbSat=1206238 maxSat=1208462
345.21/175.13	c flip 870000 nbSat=1208302 maxSat=1210416
349.80/177.46	c flip 880000 nbSat=1207993 maxSat=1210416
354.98/180.04	c flip 890000 nbSat=1210006 maxSat=1212258
359.57/182.37	c flip 900000 nbSat=1208766 maxSat=1212258
364.96/185.08	c flip 910000 nbSat=1208133 maxSat=1212497
370.35/187.75	c flip 920000 nbSat=1213192 maxSat=1213192
375.93/190.52	c flip 930000 nbSat=1211320 maxSat=1213916
381.52/193.34	c flip 940000 nbSat=1213906 maxSat=1215125
386.71/195.95	c flip 950000 nbSat=1214091 maxSat=1215689
392.10/198.63	c flip 960000 nbSat=1215042 maxSat=1216247
396.28/200.77	c flip 970000 nbSat=1213785 maxSat=1217518
401.47/203.33	c flip 980000 nbSat=1216424 maxSat=1218308
405.86/205.52	c flip 990000 nbSat=1217070 maxSat=1218965
411.04/208.16	c flip 1000000 nbSat=1215608 maxSat=1219498
415.43/210.33	c flip 1010000 nbSat=1218132 maxSat=1220451
422.02/213.69	c flip 1020000 nbSat=1218562 maxSat=1220858
428.60/216.90	c flip 1030000 nbSat=1217646 maxSat=1221587
435.99/220.65	c flip 1040000 nbSat=1220161 maxSat=1222116
442.97/224.13	c flip 1050000 nbSat=1218895 maxSat=1222588
450.54/228.00	c flip 1060000 nbSat=1221353 maxSat=1223674
457.53/231.47	c flip 1070000 nbSat=1222533 maxSat=1224193
465.12/235.28	c flip 1080000 nbSat=1222795 maxSat=1224970
471.91/238.64	c flip 1090000 nbSat=1222596 maxSat=1225537
480.29/242.86	c flip 1100000 nbSat=1225285 maxSat=1226588
486.87/246.12	c flip 1110000 nbSat=1224160 maxSat=1227214
495.05/250.22	c flip 1120000 nbSat=1225538 maxSat=1227733
502.23/253.81	c flip 1130000 nbSat=1224706 maxSat=1228668
509.61/257.53	c flip 1140000 nbSat=1227475 maxSat=1228818
517.20/261.39	c flip 1150000 nbSat=1225628 maxSat=1229315
524.59/265.06	c flip 1160000 nbSat=1228136 maxSat=1230020
534.35/269.94	c flip 1170000 nbSat=1230183 maxSat=1231185
542.33/273.91	c flip 1180000 nbSat=1229312 maxSat=1231185
549.91/277.72	c flip 1190000 nbSat=1226326 maxSat=1232312
559.29/282.42	c flip 1200000 nbSat=1229159 maxSat=1232546
567.07/286.38	c flip 1210000 nbSat=1229727 maxSat=1233061
576.44/291.08	c flip 1220000 nbSat=1229988 maxSat=1233878
587.01/296.32	c flip 1230000 nbSat=1234289 maxSat=1234289
595.59/300.67	c flip 1240000 nbSat=1232687 maxSat=1234676
603.78/304.79	c flip 1250000 nbSat=1234333 maxSat=1235359
614.56/310.18	c flip 1260000 nbSat=1233626 maxSat=1235939
624.12/314.90	c flip 1270000 nbSat=1232746 maxSat=1236651
633.29/319.55	c flip 1280000 nbSat=1234083 maxSat=1236651
642.47/324.17	c flip 1290000 nbSat=1234147 maxSat=1237532
653.45/329.65	c flip 1300000 nbSat=1235064 maxSat=1238024
663.63/334.71	c flip 1310000 nbSat=1235818 maxSat=1238342
672.60/339.29	c flip 1320000 nbSat=1237668 maxSat=1238721
682.98/344.49	c flip 1330000 nbSat=1236548 maxSat=1239333
693.76/349.84	c flip 1340000 nbSat=1236438 maxSat=1239680
704.53/355.27	c flip 1350000 nbSat=1236190 maxSat=1240083
716.29/361.14	c flip 1360000 nbSat=1236558 maxSat=1240500
727.86/366.98	c flip 1370000 nbSat=1239288 maxSat=1240769
739.44/372.80	c flip 1380000 nbSat=1237730 maxSat=1241116
750.62/378.36	c flip 1390000 nbSat=1239802 maxSat=1241397
761.97/384.07	c flip 1400000 nbSat=1240923 maxSat=1241772
773.55/389.87	c flip 1410000 nbSat=1241408 maxSat=1242234
785.12/395.60	c flip 1420000 nbSat=1240799 maxSat=1242271
796.50/401.39	c flip 1430000 nbSat=1241073 maxSat=1242922
807.87/407.04	c flip 1440000 nbSat=1240801 maxSat=1243160
810.25/408.28	c nbDecision=20000 #clauses=1262501
819.63/412.95	c flip 1450000 nbSat=1241188 maxSat=1243302
831.61/418.93	c flip 1460000 nbSat=1242530 maxSat=1243785
843.18/424.70	c flip 1470000 nbSat=1242070 maxSat=1243945
854.55/430.42	c flip 1480000 nbSat=1243267 maxSat=1244216
866.53/436.47	c flip 1490000 nbSat=1240308 maxSat=1244562
879.30/442.81	c flip 1500000 nbSat=1240728 maxSat=1244738
891.65/449.04	c flip 1510000 nbSat=1242817 maxSat=1244812
904.63/455.60	c flip 1520000 nbSat=1243673 maxSat=1245018
916.20/461.37	c flip 1530000 nbSat=1242610 maxSat=1245260
929.97/468.29	c flip 1540000 nbSat=1243575 maxSat=1245478
943.93/475.24	c flip 1550000 nbSat=1243558 maxSat=1245640
956.10/481.37	c flip 1560000 nbSat=1241250 maxSat=1245882
970.28/488.47	c flip 1570000 nbSat=1244866 maxSat=1246085
982.63/494.60	c flip 1580000 nbSat=1244228 maxSat=1246201
992.61/499.69	c flip 1590000 nbSat=1243628 maxSat=1246456
1003.99/505.32	c flip 1600000 nbSat=1245049 maxSat=1246487
1017.16/511.94	c flip 1610000 nbSat=1245540 maxSat=1246721
1028.73/517.76	c flip 1620000 nbSat=1244017 maxSat=1246929
1042.30/524.56	c flip 1630000 nbSat=1244818 maxSat=1247032
1054.07/530.44	c flip 1640000 nbSat=1246100 maxSat=1247096
1067.63/537.23	c flip 1650000 nbSat=1245840 maxSat=1247233
1079.40/543.15	c flip 1660000 nbSat=1245282 maxSat=1247459
1094.17/550.55	c flip 1670000 nbSat=1246078 maxSat=1247459
1105.94/556.43	c flip 1680000 nbSat=1246745 maxSat=1247735
1117.71/562.31	c flip 1690000 nbSat=1245740 maxSat=1247919
1131.47/569.21	c flip 1700000 nbSat=1247164 maxSat=1247919
1142.45/574.77	c flip 1710000 nbSat=1245195 maxSat=1247986
1154.22/580.68	c flip 1720000 nbSat=1247826 maxSat=1248078
1168.18/587.65	c flip 1730000 nbSat=1246411 maxSat=1248109
1179.55/593.34	c flip 1740000 nbSat=1245225 maxSat=1248235
1187.73/597.42	c nbDecision=30000 #clauses=1267547
1190.73/598.99	c flip 1750000 nbSat=1246520 maxSat=1248363

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13646
/proc/meminfo: memFree=1102072/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=23220 CPUtime=0
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 331143294 23777280 262 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215416345712 0 0 4096 0 0 0 0 17 1 0 0
/proc/13646/statm: 5805 263 218 42 0 45 0

[startup+0.037581 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13646
/proc/meminfo: memFree=1102072/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=24496 CPUtime=0.02
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 795 0 0 0 2 0 0 0 18 0 1 0 331143294 25083904 756 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215418835681 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 6157 757 379 42 0 409 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24496

[startup+0.101592 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13646
/proc/meminfo: memFree=1102072/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=27412 CPUtime=0.09
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 1557 0 0 0 9 0 0 0 18 0 1 0 331143294 28069888 1420 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215418835681 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 6853 1420 379 42 0 1105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27412

[startup+0.301631 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13646
/proc/meminfo: memFree=1102072/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=36228 CPUtime=0.29
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 3995 0 0 0 28 1 0 0 19 0 1 0 331143294 37097472 3433 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4293162 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 9057 3433 379 42 0 3309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36228

[startup+0.701708 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13646
/proc/meminfo: memFree=1102072/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=53444 CPUtime=0.69
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 8757 0 0 0 66 3 0 0 22 0 1 0 331143294 54726656 7452 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427887202 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 13361 7452 379 42 0 7613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53444

[startup+1.50286 s]
/proc/loadavg: 1.83 1.94 1.90 2/78 13647
/proc/meminfo: memFree=1061552/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=86740 CPUtime=1.49
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 17948 0 0 0 141 8 0 0 25 0 1 0 331143294 88821760 15313 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215418835681 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 21685 15313 379 42 0 15937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86740

[startup+3.10117 s]
/proc/loadavg: 1.83 1.94 1.90 2/78 13647
/proc/meminfo: memFree=1018160/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=214428 CPUtime=3.09
/proc/13646/stat : 13646 (ornithorynque) R 13644 13646 12774 0 -1 4194304 51377 0 0 0 288 21 0 0 25 0 1 0 331143294 219574272 46084 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215418835681 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13646/statm: 53607 46084 384 42 0 47859 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 214428

[startup+6.3028 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 13649
/proc/meminfo: memFree=840480/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=319980 CPUtime=8.47
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 80719 0 0 0 814 33 0 0 25 0 3 0 331143294 327659520 65709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 79995 65709 388 42 0 74247 0
[pid=13646/tid=13648] ppid=13644 vsize=319980 CPUtime=2.17
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 6570 0 0 0 215 2 0 0 25 0 3 0 331143706 327659520 65709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=319980 CPUtime=2.17
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 217 0 0 0 25 0 3 0 331143706 327659520 65709 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 319980

[startup+12.701 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 13649
/proc/meminfo: memFree=839456/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=327752 CPUtime=21.23
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 96774 0 0 0 2082 41 0 0 25 0 3 0 331143294 335618048 65193 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 81938 65193 389 42 0 76190 0
[pid=13646/tid=13648] ppid=13644 vsize=327752 CPUtime=8.57
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 22625 0 0 0 847 10 0 0 25 0 3 0 331143706 335618048 65193 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=327752 CPUtime=8.54
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 854 0 0 0 25 0 3 0 331143706 335618048 65193 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297029 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.23
Current children cumulated vsize (KiB) 327752

[startup+25.5025 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 13649
/proc/meminfo: memFree=842144/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=327752 CPUtime=46.77
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98200 0 0 0 4635 42 0 0 25 0 3 0 331143294 335618048 65207 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 81938 65207 389 42 0 76190 0
[pid=13646/tid=13648] ppid=13644 vsize=327752 CPUtime=21.37
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24051 0 0 0 2126 11 0 0 25 0 3 0 331143706 335618048 65207 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=327752 CPUtime=21.28
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 2128 0 0 0 25 0 3 0 331143706 335618048 65207 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297053 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.77
Current children cumulated vsize (KiB) 327752

[startup+51.1024 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 13649
/proc/meminfo: memFree=842208/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=327868 CPUtime=97.82
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98226 0 0 0 9740 42 0 0 25 0 3 0 331143294 335736832 65233 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 81967 65233 389 42 0 76219 0
[pid=13646/tid=13648] ppid=13644 vsize=327868 CPUtime=46.96
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24077 0 0 0 4685 11 0 0 25 0 3 0 331143706 335736832 65233 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=327868 CPUtime=46.74
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 4674 0 0 0 25 0 3 0 331143706 335736832 65233 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298714 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.82
Current children cumulated vsize (KiB) 327868

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 13649
/proc/meminfo: memFree=842016/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=328096 CPUtime=199.97
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98304 0 0 0 19954 43 0 0 25 0 3 0 331143294 335970304 65311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82024 65311 389 42 0 76276 0
[pid=13646/tid=13648] ppid=13644 vsize=328096 CPUtime=98.15
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24155 0 0 0 9803 12 0 0 25 0 3 0 331143706 335970304 65311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=328096 CPUtime=97.71
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 9770 1 0 0 25 0 3 0 331143706 335970304 65311 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (KiB) 328096

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 13649
/proc/meminfo: memFree=841504/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=328740 CPUtime=319.68
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98451 0 0 0 31924 44 0 0 25 0 3 0 331143294 336629760 65458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82185 65458 389 42 0 76437 0
[pid=13646/tid=13648] ppid=13644 vsize=328740 CPUtime=158.12
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24302 0 0 0 15800 12 0 0 25 0 3 0 331143706 336629760 65458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=328740 CPUtime=157.44
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 15743 1 0 0 25 0 3 0 331143706 336629760 65458 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244171 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.68
Current children cumulated vsize (KiB) 328740

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 13649
/proc/meminfo: memFree=840800/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=329364 CPUtime=439.38
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98616 0 0 0 43894 44 0 0 25 0 3 0 331143294 337268736 65623 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82341 65623 389 42 0 76593 0
[pid=13646/tid=13648] ppid=13644 vsize=329364 CPUtime=218.09
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24467 0 0 0 21797 12 0 0 25 0 3 0 331143706 337268736 65623 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=329364 CPUtime=217.16
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 21715 1 0 0 25 0 3 0 331143706 337268736 65623 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246182 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.38
Current children cumulated vsize (KiB) 329364

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=840224/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=329868 CPUtime=559.09
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98749 0 0 0 55864 45 0 0 25 0 3 0 331143294 337784832 65756 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82467 65756 389 42 0 76719 0
[pid=13646/tid=13648] ppid=13644 vsize=329868 CPUtime=278.08
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24600 0 0 0 27795 13 0 0 25 0 3 0 331143706 337784832 65756 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326393 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=329868 CPUtime=276.89
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 27688 1 0 0 25 0 3 0 331143706 337784832 65756 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244884 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.09
Current children cumulated vsize (KiB) 329868

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=839392/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=330528 CPUtime=678.79
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 98935 0 0 0 67833 46 0 0 25 0 3 0 331143294 338460672 65942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82632 65942 389 42 0 76884 0
[pid=13646/tid=13648] ppid=13644 vsize=330528 CPUtime=338.05
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24786 0 0 0 33792 13 0 0 25 0 3 0 331143706 338460672 65942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326345 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=330528 CPUtime=336.61
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 33660 1 0 0 25 0 3 0 331143706 338460672 65942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246071 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.79
Current children cumulated vsize (KiB) 330528

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=838624/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=331280 CPUtime=798.49
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 99124 0 0 0 79803 46 0 0 25 0 3 0 331143294 339230720 66131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 82820 66131 389 42 0 77072 0
[pid=13646/tid=13648] ppid=13644 vsize=331280 CPUtime=398.03
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 24975 0 0 0 39789 14 0 0 25 0 3 0 331143706 339230720 66131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=331280 CPUtime=396.34
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 39633 1 0 0 25 0 3 0 331143706 339230720 66131 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244497 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 798.49
Current children cumulated vsize (KiB) 331280

[startup+462.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=837664/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=332180 CPUtime=918.2
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 99340 0 0 0 91773 47 0 0 25 0 3 0 331143294 340152320 66347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 83045 66347 389 42 0 77297 0
[pid=13646/tid=13648] ppid=13644 vsize=332180 CPUtime=458
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 25191 0 0 0 45786 14 0 0 25 0 3 0 331143706 340152320 66347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=332180 CPUtime=456.07
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 45605 2 0 0 25 0 3 0 331143706 340152320 66347 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 918.2
Current children cumulated vsize (KiB) 332180

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=836896/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=332960 CPUtime=1037.91
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 99536 0 0 0 103743 48 0 0 25 0 3 0 331143294 340951040 66543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 83240 66543 389 42 0 77492 0
[pid=13646/tid=13648] ppid=13644 vsize=332960 CPUtime=517.99
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 25387 0 0 0 51784 15 0 0 25 0 3 0 331143706 340951040 66543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=332960 CPUtime=515.8
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 51578 2 0 0 25 0 3 0 331143706 340951040 66543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1037.91
Current children cumulated vsize (KiB) 332960

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=835936/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=333860 CPUtime=1157.61
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 99780 0 0 0 115713 48 0 0 25 0 3 0 331143294 341872640 66787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 83465 66787 389 42 0 77717 0
[pid=13646/tid=13648] ppid=13644 vsize=333860 CPUtime=577.96
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 25631 0 0 0 57781 15 0 0 25 0 3 0 331143706 341872640 66787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=333860 CPUtime=575.53
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 57551 2 0 0 25 0 3 0 331143706 341872640 66787 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244898 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1157.61
Current children cumulated vsize (KiB) 333860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13649
/proc/meminfo: memFree=835616/2055920 swapFree=4152236/4192956
[pid=13646] ppid=13644 vsize=334124 CPUtime=1200.12
/proc/13646/stat : 13646 (ornithorynque) S 13644 13646 12774 0 -1 4194304 99867 0 0 0 119963 49 0 0 25 0 3 0 331143294 342142976 66874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 215427870587 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13646/statm: 83531 66874 389 42 0 77783 0
[pid=13646/tid=13648] ppid=13644 vsize=334124 CPUtime=599.26
/proc/13646/task/13648/stat : 13648 (ornithorynque) R 13644 13646 12774 0 -1 4194368 25718 0 0 0 59910 16 0 0 25 0 3 0 331143706 342142976 66874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13646/tid=13649] ppid=13644 vsize=334124 CPUtime=596.73
/proc/13646/task/13649/stat : 13649 (ornithorynque) R 13644 13646 12774 0 -1 4194368 2 0 0 0 59671 2 0 0 25 0 3 0 331143706 342142976 66874 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 334124

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): 603.654
CPU time (s): 1200.18
CPU user time (s): 1199.65
CPU system time (s): 0.529919
CPU usage (%): 198.819
Max. virtual memory (cumulated for all children) (KiB): 334124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.65
system time used= 0.529919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99867
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= 13
involuntary context switches= 22583

runsolver used 0.550916 second user time and 1.66675 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Mar  5 16:24:46 UTC 2007

IDJOB= 328488
IDBENCH= 20410
IDSOLVER= 139
FILE ID= node9/328488-1173111885

PBS_JOBID= 4013938

Free space on /tmp= 66435 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacias/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= /tmp/evaluation/328488-1173111885/ornithorynque /tmp/evaluation/328488-1173111885/instance-328488-1173111885.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-328488-1173111885 -o ROOT/results/node9/solver-328488-1173111885 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328488-1173111885/ornithorynque /tmp/evaluation/328488-1173111885/instance-328488-1173111885.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  409f4401e9e8b60ee665ac5567a13e41

RANDOM SEED= 717220348

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.263
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.263
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:       1102544 kB
Buffers:         37332 kB
Cached:         837408 kB
SwapCached:       8716 kB
Active:         131500 kB
Inactive:       767212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1102544 kB
SwapTotal:     4192956 kB
SwapFree:      4152236 kB
Dirty:           23080 kB
Writeback:           0 kB
Mapped:          30944 kB
Slab:            40308 kB
Committed_AS:  1404520 kB
PageTables:       1688 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= 66435 MiB

End job on node9 on Mon Mar  5 16:34:52 UTC 2007