Trace number 328483

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.15 603.451

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
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 variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

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.69/2.78	c ...done
2.69/2.78	c nbVar=340179 nbClause=1187589
3.19/3.25	c nbVar=340179 nbClause=1187589
3.89/3.90	c complete search running
3.89/3.90	c local search running
4.28/4.17	c flip 0 nbSat=931092 maxSat=0
5.27/4.67	c flip 10000 nbSat=1003217 maxSat=1003217
5.48/4.76	c flip 20000 nbSat=1011421 maxSat=1011421
5.68/4.87	c flip 30000 nbSat=1018741 maxSat=1018741
5.88/4.95	c flip 40000 nbSat=1025096 maxSat=1025275
6.08/5.03	c flip 50000 nbSat=1030849 maxSat=1031087
6.28/5.11	c flip 60000 nbSat=1037429 maxSat=1037429
6.28/5.16	c flip 70000 nbSat=1043102 maxSat=1043102
9.67/6.85	c flip 80000 nbSat=1045547 maxSat=1049732
13.66/8.83	c flip 90000 nbSat=1051740 maxSat=1053798
17.86/10.97	c flip 100000 nbSat=1056791 maxSat=1057506
22.25/13.18	c flip 110000 nbSat=1057800 maxSat=1060669
26.65/15.36	c flip 120000 nbSat=1064383 maxSat=1064449
31.23/17.64	c flip 130000 nbSat=1065629 maxSat=1066277
35.43/19.79	c flip 140000 nbSat=1066674 maxSat=1067756
39.82/21.95	c flip 150000 nbSat=1070481 maxSat=1070697
43.80/23.98	c flip 160000 nbSat=1070822 maxSat=1071531
48.59/26.39	c flip 170000 nbSat=1072895 maxSat=1074634
53.18/28.63	c flip 180000 nbSat=1075549 maxSat=1076182
57.96/31.08	c flip 190000 nbSat=1074762 maxSat=1077983
62.15/33.11	c flip 200000 nbSat=1080168 maxSat=1080439
66.14/35.11	c flip 210000 nbSat=1082124 maxSat=1082365
69.52/36.86	c flip 220000 nbSat=1081432 maxSat=1082584
73.31/38.76	c flip 230000 nbSat=1083334 maxSat=1084716
77.30/40.74	c flip 240000 nbSat=1086272 maxSat=1087736
80.89/42.58	c flip 250000 nbSat=1088056 maxSat=1088329
84.88/44.56	c flip 260000 nbSat=1088594 maxSat=1090017
88.67/46.43	c flip 270000 nbSat=1090374 maxSat=1090889
92.26/48.21	c flip 280000 nbSat=1091213 maxSat=1093506
95.86/50.06	c flip 290000 nbSat=1093117 maxSat=1094678
99.84/52.03	c flip 300000 nbSat=1094482 maxSat=1095254
103.24/53.74	c flip 310000 nbSat=1097754 maxSat=1097754
107.23/55.74	c flip 320000 nbSat=1097895 maxSat=1099086
111.22/57.71	c flip 330000 nbSat=1095835 maxSat=1099093
114.81/59.51	c flip 340000 nbSat=1098320 maxSat=1100293
118.81/61.53	c flip 350000 nbSat=1099299 maxSat=1102918
122.80/63.52	c flip 360000 nbSat=1101357 maxSat=1103208
126.59/65.45	c flip 370000 nbSat=1102567 maxSat=1103875
130.18/67.22	c flip 380000 nbSat=1103592 maxSat=1105728
133.77/69.04	c flip 390000 nbSat=1104630 maxSat=1106409
137.95/71.10	c flip 400000 nbSat=1106719 maxSat=1107559
141.34/72.81	c flip 410000 nbSat=1107780 maxSat=1109386
145.53/74.92	c flip 420000 nbSat=1109229 maxSat=1110366
149.92/77.12	c flip 430000 nbSat=1108290 maxSat=1111589
153.71/79.06	c flip 440000 nbSat=1109382 maxSat=1113039
157.70/81.10	c flip 450000 nbSat=1112270 maxSat=1113570
162.09/83.26	c flip 460000 nbSat=1112528 maxSat=1114388
166.29/85.34	c flip 470000 nbSat=1114381 maxSat=1114822
170.08/87.22	c flip 480000 nbSat=1114769 maxSat=1116169
174.67/89.54	c flip 490000 nbSat=1115158 maxSat=1116458
179.26/91.82	c flip 500000 nbSat=1116561 maxSat=1117514
183.65/94.09	c flip 510000 nbSat=1116154 maxSat=1119101
188.44/96.41	c flip 520000 nbSat=1115397 maxSat=1119526
192.23/98.39	c flip 530000 nbSat=1119942 maxSat=1120821
196.42/100.46	c flip 540000 nbSat=1121176 maxSat=1122428
200.81/102.61	c flip 550000 nbSat=1121282 maxSat=1122519
204.80/104.67	c flip 560000 nbSat=1122297 maxSat=1123216
208.80/106.62	c flip 570000 nbSat=1120369 maxSat=1124846
213.19/108.90	c flip 580000 nbSat=1121881 maxSat=1125129
217.38/110.93	c flip 590000 nbSat=1124072 maxSat=1125517
221.77/113.15	c flip 600000 nbSat=1122933 maxSat=1127044
226.36/115.43	c flip 610000 nbSat=1125384 maxSat=1127380
230.34/117.41	c flip 620000 nbSat=1128389 maxSat=1128711
235.14/119.84	c flip 630000 nbSat=1127594 maxSat=1129910
240.12/122.35	c flip 640000 nbSat=1128848 maxSat=1130851
244.30/124.47	c flip 650000 nbSat=1129808 maxSat=1131692
248.89/126.73	c flip 660000 nbSat=1130152 maxSat=1132117
253.48/129.03	c flip 670000 nbSat=1131601 maxSat=1133005
258.06/131.32	c flip 680000 nbSat=1131948 maxSat=1133982
263.06/133.85	c flip 690000 nbSat=1133279 maxSat=1134213
267.65/136.15	c flip 700000 nbSat=1133921 maxSat=1135835
273.03/138.87	c flip 710000 nbSat=1133262 maxSat=1136359
278.62/141.62	c flip 720000 nbSat=1135107 maxSat=1137184
283.22/143.90	c flip 730000 nbSat=1134634 maxSat=1137965
288.60/146.64	c flip 740000 nbSat=1136703 maxSat=1138352
293.19/148.99	c flip 750000 nbSat=1139399 maxSat=1139399
298.79/151.74	c flip 760000 nbSat=1138338 maxSat=1140215
304.17/154.43	c flip 770000 nbSat=1138304 maxSat=1141498
308.96/156.80	c flip 780000 nbSat=1139457 maxSat=1141498
314.35/159.53	c flip 790000 nbSat=1140619 maxSat=1142370
318.94/161.80	c flip 800000 nbSat=1143645 maxSat=1144079
324.52/164.60	c flip 810000 nbSat=1142694 maxSat=1144079
329.51/167.16	c flip 820000 nbSat=1142718 maxSat=1145356
330.10/167.43	c nbDecision=10000 #clauses=1190498
334.68/169.75	c flip 830000 nbSat=1144023 maxSat=1145781
340.48/172.64	c flip 840000 nbSat=1145120 maxSat=1146840
345.26/175.05	c flip 850000 nbSat=1143673 maxSat=1147329
350.85/177.89	c flip 860000 nbSat=1146797 maxSat=1147986
355.84/180.34	c flip 870000 nbSat=1146448 maxSat=1149250
361.83/183.31	c flip 880000 nbSat=1147216 maxSat=1149502
367.02/185.93	c flip 890000 nbSat=1148981 maxSat=1150941
373.00/188.95	c flip 900000 nbSat=1149157 maxSat=1151293
377.80/191.35	c flip 910000 nbSat=1149925 maxSat=1152288
382.98/193.99	c flip 920000 nbSat=1150353 maxSat=1152589
387.77/196.31	c flip 930000 nbSat=1149432 maxSat=1153565
392.96/198.95	c flip 940000 nbSat=1152335 maxSat=1154173
397.76/201.31	c flip 950000 nbSat=1153645 maxSat=1155123
403.15/204.06	c flip 960000 nbSat=1153692 maxSat=1155336
409.73/207.32	c flip 970000 nbSat=1155447 maxSat=1156555
417.71/211.33	c flip 980000 nbSat=1153752 maxSat=1156873
424.48/214.70	c flip 990000 nbSat=1154827 maxSat=1157853
432.26/218.61	c flip 1000000 nbSat=1155993 maxSat=1158763
439.46/222.24	c flip 1010000 nbSat=1156728 maxSat=1159174
447.43/226.29	c flip 1020000 nbSat=1157703 maxSat=1160211
454.82/229.97	c flip 1030000 nbSat=1159955 maxSat=1160416
462.40/233.77	c flip 1040000 nbSat=1159799 maxSat=1161014
470.78/237.98	c flip 1050000 nbSat=1159157 maxSat=1162148
478.17/241.62	c flip 1060000 nbSat=1161636 maxSat=1162419
487.15/246.14	c flip 1070000 nbSat=1160827 maxSat=1163445
494.53/249.83	c flip 1080000 nbSat=1160844 maxSat=1163802
501.91/253.55	c flip 1090000 nbSat=1162250 maxSat=1164161
511.68/258.41	c flip 1100000 nbSat=1162337 maxSat=1164562
519.86/262.57	c flip 1110000 nbSat=1163311 maxSat=1165182
528.24/266.73	c flip 1120000 nbSat=1164566 maxSat=1166437
537.22/271.25	c flip 1130000 nbSat=1163234 maxSat=1166505
546.00/275.67	c flip 1140000 nbSat=1164894 maxSat=1167214
555.59/280.47	c flip 1150000 nbSat=1165728 maxSat=1168128
566.56/285.99	c flip 1160000 nbSat=1166325 maxSat=1168798
575.94/290.63	c flip 1170000 nbSat=1166027 maxSat=1168849
584.51/294.96	c flip 1180000 nbSat=1167500 maxSat=1169557
594.10/299.77	c flip 1190000 nbSat=1167172 maxSat=1169832
605.05/305.28	c flip 1200000 nbSat=1169194 maxSat=1170258
614.84/310.10	c flip 1210000 nbSat=1168340 maxSat=1170867
624.22/314.87	c flip 1220000 nbSat=1171013 maxSat=1171234
634.00/319.77	c flip 1230000 nbSat=1168751 maxSat=1171707
644.38/324.96	c flip 1240000 nbSat=1171372 maxSat=1172319
654.75/330.18	c flip 1250000 nbSat=1170221 maxSat=1172715
666.33/335.90	c flip 1260000 nbSat=1172623 maxSat=1173403
678.51/342.04	c flip 1270000 nbSat=1172522 maxSat=1173912
689.87/347.77	c flip 1280000 nbSat=1172052 maxSat=1173918
701.64/353.67	c flip 1290000 nbSat=1173361 maxSat=1174209
713.21/359.41	c flip 1300000 nbSat=1170388 maxSat=1174655
724.60/365.14	c flip 1310000 nbSat=1172167 maxSat=1175041
736.36/371.03	c flip 1320000 nbSat=1173917 maxSat=1175393
748.34/377.04	c flip 1330000 nbSat=1173086 maxSat=1175700
759.72/382.74	c flip 1340000 nbSat=1172889 maxSat=1176100
771.08/388.44	c flip 1350000 nbSat=1174979 maxSat=1176360
783.04/394.46	c flip 1360000 nbSat=1174578 maxSat=1176784
786.04/395.93	c nbDecision=20000 #clauses=1195361
795.61/400.71	c flip 1370000 nbSat=1175790 maxSat=1177146
808.58/407.23	c flip 1380000 nbSat=1175147 maxSat=1177401
821.56/413.72	c flip 1390000 nbSat=1173940 maxSat=1177401
833.73/419.80	c flip 1400000 nbSat=1174409 maxSat=1177909
845.11/425.59	c flip 1410000 nbSat=1175493 maxSat=1177995
857.88/431.97	c flip 1420000 nbSat=1174976 maxSat=1178319
872.03/439.05	c flip 1430000 nbSat=1175622 maxSat=1178382
883.82/444.96	c flip 1440000 nbSat=1177825 maxSat=1178710
897.79/451.91	c flip 1450000 nbSat=1175782 maxSat=1178927
912.35/459.25	c flip 1460000 nbSat=1177013 maxSat=1178980
924.73/465.48	c flip 1470000 nbSat=1178379 maxSat=1179294
940.30/473.20	c flip 1480000 nbSat=1178242 maxSat=1179345
951.67/478.92	c flip 1490000 nbSat=1178855 maxSat=1179549
964.03/485.12	c flip 1500000 nbSat=1178679 maxSat=1179623
975.60/490.97	c flip 1510000 nbSat=1177068 maxSat=1179824
990.18/498.27	c flip 1520000 nbSat=1178441 maxSat=1179994
1003.35/504.83	c flip 1530000 nbSat=1178831 maxSat=1180124
1016.72/511.60	c flip 1540000 nbSat=1179345 maxSat=1180287
1029.89/518.18	c flip 1550000 nbSat=1179811 maxSat=1180400
1044.85/525.68	c flip 1560000 nbSat=1178992 maxSat=1180465
1058.41/532.46	c flip 1570000 nbSat=1179641 maxSat=1180635
1071.98/539.30	c flip 1580000 nbSat=1179564 maxSat=1180690
1086.75/546.67	c flip 1590000 nbSat=1179005 maxSat=1180788
1100.32/553.43	c flip 1600000 nbSat=1179842 maxSat=1181011
1113.30/559.92	c flip 1610000 nbSat=1180001 maxSat=1181059
1127.06/566.88	c flip 1620000 nbSat=1179182 maxSat=1181214
1141.63/574.13	c flip 1630000 nbSat=1178419 maxSat=1181248
1153.19/579.98	c nbDecision=30000 #clauses=1200407
1155.18/580.92	c flip 1640000 nbSat=1180332 maxSat=1181317
1168.35/587.54	c flip 1650000 nbSat=1179901 maxSat=1181444
1181.33/594.01	c flip 1660000 nbSat=1179640 maxSat=1181459
1194.51/600.66	c flip 1670000 nbSat=1180738 maxSat=1181616

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 15296
/proc/meminfo: memFree=573352/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=23220 CPUtime=0
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331141159 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271635747952 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5805 266 219 42 0 45 0

[startup+0.0967211 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 15296
/proc/meminfo: memFree=573352/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=27192 CPUtime=0.08
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 1515 0 0 0 8 0 0 0 18 0 1 0 331141159 27844608 1378 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 6798 1378 379 42 0 1050 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27192

[startup+0.101721 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 15296
/proc/meminfo: memFree=573352/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=27456 CPUtime=0.09
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 1565 0 0 0 9 0 0 0 18 0 1 0 331141159 28114944 1428 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 6864 1429 379 42 0 1116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27456

[startup+0.301742 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 15296
/proc/meminfo: memFree=573352/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=36264 CPUtime=0.29
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 4011 0 0 0 27 2 0 0 19 0 1 0 331141159 37134336 3451 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 9066 3451 379 42 0 3318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36264

[startup+0.701783 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 15296
/proc/meminfo: memFree=573352/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=53564 CPUtime=0.69
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 8777 0 0 0 65 4 0 0 22 0 1 0 331141159 54849536 7486 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 13391 7486 379 42 0 7643 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53564

[startup+1.50187 s]
/proc/loadavg: 1.83 1.94 1.90 2/65 15297
/proc/meminfo: memFree=532640/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=86664 CPUtime=1.49
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 17963 0 0 0 140 9 0 0 25 0 1 0 331141159 88743936 15358 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 21666 15358 379 42 0 15918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86664

[startup+3.10103 s]
/proc/loadavg: 1.83 1.94 1.90 2/65 15297
/proc/meminfo: memFree=488928/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=208064 CPUtime=3.09
/proc/15296/stat : 15296 (ornithorynque) R 15294 15296 14419 0 -1 4194304 49614 0 0 0 285 24 0 0 25 0 1 0 331141159 213057536 44383 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271638237921 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15296/statm: 52016 44384 384 42 0 46268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208064

[startup+6.30238 s]
/proc/loadavg: 1.77 1.92 1.89 3/67 15299
/proc/meminfo: memFree=328528/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=306668 CPUtime=8.68
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 77443 0 0 0 832 36 0 0 25 0 3 0 331141159 314028032 62156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 76667 62156 388 42 0 70919 0
[pid=15296/tid=15298] ppid=15294 vsize=306668 CPUtime=2.38
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 6888 0 0 0 236 2 0 0 25 0 3 0 331141550 314028032 62156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4274127 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=306668 CPUtime=2.38
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 238 0 0 0 25 0 3 0 331141550 314028032 62156 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 306668

[startup+12.701 s]
/proc/loadavg: 1.79 1.92 1.89 3/67 15299
/proc/meminfo: memFree=325080/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=313944 CPUtime=21.45
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 92543 0 0 0 2102 43 0 0 25 0 3 0 331141159 321478656 61636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78486 61636 389 42 0 72738 0
[pid=15296/tid=15298] ppid=15294 vsize=313944 CPUtime=8.78
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 21988 0 0 0 869 9 0 0 25 0 3 0 331141550 321478656 61636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=313944 CPUtime=8.75
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 875 0 0 0 25 0 3 0 331141550 321478656 61636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296984 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 313944

[startup+25.5024 s]
/proc/loadavg: 1.83 1.93 1.90 3/67 15299
/proc/meminfo: memFree=327704/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=313944 CPUtime=46.99
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 92555 0 0 0 4656 43 0 0 25 0 3 0 331141159 321478656 61648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78486 61648 389 42 0 72738 0
[pid=15296/tid=15298] ppid=15294 vsize=313944 CPUtime=21.58
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 22000 0 0 0 2149 9 0 0 25 0 3 0 331141550 321478656 61648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=313944 CPUtime=21.49
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 2149 0 0 0 25 0 3 0 331141550 321478656 61648 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297622 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.99
Current children cumulated vsize (KiB) 313944

[startup+51.102 s]
/proc/loadavg: 1.96 1.95 1.90 3/67 15299
/proc/meminfo: memFree=327704/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=314072 CPUtime=98.05
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 92590 0 0 0 9762 43 0 0 25 0 3 0 331141159 321609728 61683 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78518 61683 389 42 0 72770 0
[pid=15296/tid=15298] ppid=15294 vsize=314072 CPUtime=47.17
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 22035 0 0 0 4708 9 0 0 25 0 3 0 331141550 321609728 61683 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326251 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=314072 CPUtime=46.96
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 4696 0 0 0 25 0 3 0 331141550 321609728 61683 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296984 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.05
Current children cumulated vsize (KiB) 314072

[startup+102.306 s]
/proc/loadavg: 2.05 1.97 1.91 3/67 15299
/proc/meminfo: memFree=327448/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=314312 CPUtime=200.22
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94003 0 0 0 19978 44 0 0 25 0 3 0 331141159 321855488 61766 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78578 61766 389 42 0 72830 0
[pid=15296/tid=15298] ppid=15294 vsize=314312 CPUtime=98.37
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 23448 0 0 0 9827 10 0 0 25 0 3 0 331141550 321855488 61766 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326433 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=314312 CPUtime=97.94
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 9794 0 0 0 25 0 3 0 331141550 321855488 61766 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 200.22
Current children cumulated vsize (KiB) 314312

[startup+162.303 s]
/proc/loadavg: 2.30 2.05 1.94 3/67 15299
/proc/meminfo: memFree=326808/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=314940 CPUtime=319.93
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94159 0 0 0 31949 44 0 0 25 0 3 0 331141159 322498560 61922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78735 61922 389 42 0 72987 0
[pid=15296/tid=15298] ppid=15294 vsize=314940 CPUtime=158.34
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 23604 0 0 0 15824 10 0 0 25 0 3 0 331141550 322498560 61922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=314940 CPUtime=157.67
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 15767 0 0 0 25 0 3 0 331141550 322498560 61922 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246202 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.93
Current children cumulated vsize (KiB) 314940

[startup+222.303 s]
/proc/loadavg: 2.18 2.06 1.95 3/67 15299
/proc/meminfo: memFree=326232/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=315576 CPUtime=439.65
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94305 0 0 0 43920 45 0 0 25 0 3 0 331141159 323149824 62068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 78894 62068 389 42 0 73146 0
[pid=15296/tid=15298] ppid=15294 vsize=315576 CPUtime=218.34
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 23750 0 0 0 21823 11 0 0 25 0 3 0 331141550 323149824 62068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=315576 CPUtime=217.4
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 21740 0 0 0 25 0 3 0 331141550 323149824 62068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245936 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.65
Current children cumulated vsize (KiB) 315576

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 1.95 3/67 15299
/proc/meminfo: memFree=325592/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=316204 CPUtime=559.37
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94461 0 0 0 55892 45 0 0 25 0 3 0 331141159 323792896 62224 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 79051 62224 389 42 0 73303 0
[pid=15296/tid=15298] ppid=15294 vsize=316204 CPUtime=278.31
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 23906 0 0 0 27820 11 0 0 25 0 3 0 331141550 323792896 62224 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=316204 CPUtime=277.14
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 27714 0 0 0 25 0 3 0 331141550 323792896 62224 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297829 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.37
Current children cumulated vsize (KiB) 316204

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 1.95 3/67 15299
/proc/meminfo: memFree=324760/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=316864 CPUtime=679.1
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94652 0 0 0 67864 46 0 0 25 0 3 0 331141159 324468736 62415 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 79216 62415 389 42 0 73468 0
[pid=15296/tid=15298] ppid=15294 vsize=316864 CPUtime=338.3
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 24097 0 0 0 33819 11 0 0 25 0 3 0 331141550 324468736 62415 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326165 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=316864 CPUtime=336.88
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 33688 0 0 0 25 0 3 0 331141550 324468736 62415 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 679.1
Current children cumulated vsize (KiB) 316864

[startup+402.302 s]
/proc/loadavg: 2.08 2.04 1.96 3/67 15299
/proc/meminfo: memFree=323800/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=317728 CPUtime=798.81
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 94881 0 0 0 79835 46 0 0 25 0 3 0 331141159 325353472 62644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 79432 62644 389 42 0 73684 0
[pid=15296/tid=15298] ppid=15294 vsize=317728 CPUtime=398.29
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 24326 0 0 0 39817 12 0 0 25 0 3 0 331141550 325353472 62644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=317728 CPUtime=396.61
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 39660 1 0 0 25 0 3 0 331141550 325353472 62644 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 798.81
Current children cumulated vsize (KiB) 317728

[startup+462.302 s]
/proc/loadavg: 2.03 2.03 1.96 3/67 15299
/proc/meminfo: memFree=322904/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=318624 CPUtime=918.54
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 95099 0 0 0 91807 47 0 0 25 0 3 0 331141159 326270976 62862 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 79656 62862 389 42 0 73908 0
[pid=15296/tid=15298] ppid=15294 vsize=318624 CPUtime=458.27
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 24544 0 0 0 45815 12 0 0 25 0 3 0 331141550 326270976 62862 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=318624 CPUtime=456.36
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 45635 1 0 0 25 0 3 0 331141550 326270976 62862 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 918.54
Current children cumulated vsize (KiB) 318624

[startup+522.302 s]
/proc/loadavg: 2.01 2.02 1.96 3/67 15299
/proc/meminfo: memFree=322072/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=319416 CPUtime=1038.27
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 95316 0 0 0 103780 47 0 0 25 0 3 0 331141159 327081984 63079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 79854 63079 389 42 0 74106 0
[pid=15296/tid=15298] ppid=15294 vsize=319416 CPUtime=518.25
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 24761 0 0 0 51813 12 0 0 25 0 3 0 331141550 327081984 63079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4301206 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=319416 CPUtime=516.1
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 51609 1 0 0 25 0 3 0 331141550 327081984 63079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245947 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1038.27
Current children cumulated vsize (KiB) 319416

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/67 15299
/proc/meminfo: memFree=321176/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=320316 CPUtime=1157.98
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 95542 0 0 0 115751 47 0 0 25 0 3 0 331141159 328003584 63305 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 80079 63305 389 42 0 74331 0
[pid=15296/tid=15298] ppid=15294 vsize=320316 CPUtime=578.24
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 24987 0 0 0 57812 12 0 0 25 0 3 0 331141550 328003584 63305 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326393 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=320316 CPUtime=575.83
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 57582 1 0 0 25 0 3 0 331141550 328003584 63305 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4298714 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1157.98
Current children cumulated vsize (KiB) 320316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.401 s]
/proc/loadavg: 2.00 2.02 1.96 3/67 15299
/proc/meminfo: memFree=320792/2055920 swapFree=4183980/4192956
[pid=15296] ppid=15294 vsize=320696 CPUtime=1200.09
/proc/15296/stat : 15296 (ornithorynque) S 15294 15296 14419 0 -1 4194304 95639 0 0 0 119962 47 0 0 25 0 3 0 331141159 328392704 63402 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271647272827 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 80174 63402 389 42 0 74426 0
[pid=15296/tid=15298] ppid=15294 vsize=320696 CPUtime=599.33
/proc/15296/task/15298/stat : 15298 (ornithorynque) R 15294 15296 14419 0 -1 4194368 25084 0 0 0 59921 12 0 0 25 0 3 0 331141550 328392704 63402 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326906 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=320696 CPUtime=596.84
/proc/15296/task/15299/stat : 15299 (ornithorynque) R 15294 15296 14419 0 -1 4194368 2 0 0 0 59683 1 0 0 25 0 3 0 331141550 328392704 63402 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 320696

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.451
CPU time (s): 1200.15
CPU user time (s): 1199.64
CPU system time (s): 0.513921
CPU usage (%): 198.882
Max. virtual memory (cumulated for all children) (KiB): 323096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.513921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95639
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= 9222

runsolver used 0.59091 second user time and 1.63675 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Mar  5 16:23:55 UTC 2007

IDJOB= 328483
IDBENCH= 20405
IDSOLVER= 139
FILE ID= node67/328483-1173111834

PBS_JOBID= 4013893

Free space on /tmp= 66528 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  b3381a58cbbd64d5d90a3b4fcd44bf6d

RANDOM SEED= 597925112

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.236
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.236
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:        573768 kB
Buffers:         50016 kB
Cached:        1331764 kB
SwapCached:       3312 kB
Active:         836448 kB
Inactive:       556696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        573768 kB
SwapTotal:     4192956 kB
SwapFree:      4183980 kB
Dirty:           21736 kB
Writeback:           0 kB
Mapped:          17012 kB
Slab:            74944 kB
Committed_AS:   876132 kB
PageTables:       1456 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= 66528 MiB

End job on node67 on Mon Mar  5 16:34:01 UTC 2007