Trace number 333559

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.14 601.586

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
MD5SUMf34a97e9100b15a8025a13df7cb62499
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of clauses840
Sum of the clauses size2520
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3840
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=210 nbClause=840
0.00/0.01	c nbVar=210 nbClause=840
0.00/0.01	c complete search running
0.00/0.01	c local search running
0.00/0.01	c flip 0 nbSat=720 maxSat=0
0.00/0.03	c flip 0 nbSat=1041 maxSat=826
0.18/0.10	c flip 0 nbSat=1840 maxSat=1125
0.58/0.33	c flip 0 nbSat=4288 maxSat=1932
1.78/0.96	c flip 0 nbSat=9712 maxSat=4393
1.98/1.06	c nbDecision=10000 #clauses=10792
4.58/2.38	c nbDecision=20000 #clauses=20780
5.17/2.65	c flip 0 nbSat=22527 maxSat=9793
7.56/3.86	c nbDecision=30000 #clauses=30781
10.75/5.41	c nbDecision=40000 #clauses=40783
14.14/7.14	c nbDecision=50000 #clauses=50781
17.54/8.90	c nbDecision=60000 #clauses=60784
18.34/9.28	c flip 0 nbSat=62164 maxSat=22612
21.13/10.65	c nbDecision=70000 #clauses=70781
24.72/12.42	c nbDecision=80000 #clauses=80782
28.51/14.35	c nbDecision=90000 #clauses=90785
32.90/16.58	c nbDecision=100000 #clauses=100783
36.89/18.54	c nbDecision=110000 #clauses=110783
41.69/20.92	c nbDecision=120000 #clauses=120785
46.47/23.38	c nbDecision=130000 #clauses=130782
51.06/25.68	c nbDecision=140000 #clauses=140783
55.65/27.91	c nbDecision=150000 #clauses=150781
60.04/30.14	c nbDecision=160000 #clauses=160785
63.03/31.66	c flip 0 nbSat=165989 maxSat=62241
64.63/32.45	c nbDecision=170000 #clauses=170780
69.61/34.98	c nbDecision=180000 #clauses=180786
75.00/37.68	c nbDecision=190000 #clauses=190784
79.99/40.19	c nbDecision=200000 #clauses=200783
84.77/42.52	c nbDecision=210000 #clauses=210784
89.56/44.94	c nbDecision=220000 #clauses=220785
94.95/47.62	c nbDecision=230000 #clauses=230781
99.53/49.97	c nbDecision=240000 #clauses=240785
104.92/52.62	c nbDecision=250000 #clauses=250784
110.30/55.39	c nbDecision=260000 #clauses=260786
114.69/57.51	c nbDecision=270000 #clauses=270777
118.29/59.34	c nbDecision=280000 #clauses=280782
122.28/61.39	c nbDecision=290000 #clauses=290785
126.47/63.49	c nbDecision=300000 #clauses=300784
130.65/65.59	c nbDecision=310000 #clauses=310784
135.25/67.89	c nbDecision=320000 #clauses=320787
140.24/70.38	c nbDecision=330000 #clauses=330783
144.43/72.43	c nbDecision=340000 #clauses=340783
149.22/74.84	c nbDecision=350000 #clauses=350784
154.61/77.56	c nbDecision=360000 #clauses=360781
159.39/79.91	c nbDecision=370000 #clauses=370785
164.38/82.42	c nbDecision=380000 #clauses=380785
164.59/82.50	c flip 0 nbSat=379036 maxSat=166073
169.76/85.16	c nbDecision=390000 #clauses=390787
174.75/87.60	c nbDecision=400000 #clauses=400785
179.13/89.80	c nbDecision=410000 #clauses=410785
183.33/91.96	c nbDecision=420000 #clauses=420783
188.51/94.53	c nbDecision=430000 #clauses=430780
193.70/97.10	c nbDecision=440000 #clauses=440785
199.08/99.85	c nbDecision=450000 #clauses=450782
204.85/102.73	c nbDecision=460000 #clauses=460784
209.25/104.94	c nbDecision=470000 #clauses=470786
214.23/107.49	c nbDecision=480000 #clauses=480787
219.62/110.14	c nbDecision=490000 #clauses=490787
225.41/113.02	c nbDecision=500000 #clauses=500784
231.39/116.04	c nbDecision=510000 #clauses=510786
237.98/119.38	c nbDecision=520000 #clauses=520784
247.76/124.20	c nbDecision=530000 #clauses=530781
256.95/128.83	c nbDecision=540000 #clauses=540780
264.72/132.76	c nbDecision=550000 #clauses=550784
273.90/137.34	c nbDecision=560000 #clauses=560782
283.07/141.96	c nbDecision=570000 #clauses=570784
292.65/146.77	c nbDecision=580000 #clauses=580784
304.02/152.45	c nbDecision=590000 #clauses=590783
313.59/157.20	c nbDecision=600000 #clauses=600783
323.57/162.20	c nbDecision=610000 #clauses=610784
333.35/167.12	c nbDecision=620000 #clauses=620785
343.33/172.19	c nbDecision=630000 #clauses=630781
353.52/177.21	c nbDecision=640000 #clauses=640781
363.28/182.12	c nbDecision=650000 #clauses=650786
374.25/187.66	c nbDecision=660000 #clauses=660784
383.42/192.23	c nbDecision=670000 #clauses=670786
392.60/196.86	c nbDecision=680000 #clauses=680784
402.18/201.64	c nbDecision=690000 #clauses=690785
410.96/206.05	c nbDecision=700000 #clauses=700788
420.54/210.84	c nbDecision=710000 #clauses=710783
422.72/211.96	c flip 0 nbSat=711622 maxSat=379127
431.91/216.53	c nbDecision=720000 #clauses=720782
441.09/221.19	c nbDecision=730000 #clauses=730784
451.26/226.24	c nbDecision=740000 #clauses=740788
461.42/231.32	c nbDecision=750000 #clauses=750786
472.59/236.98	c nbDecision=760000 #clauses=760786
484.57/242.99	c nbDecision=770000 #clauses=770786
496.35/248.85	c nbDecision=780000 #clauses=780783
508.32/254.83	c nbDecision=790000 #clauses=790781
517.30/259.30	c nbDecision=800000 #clauses=800785
526.48/263.97	c nbDecision=810000 #clauses=810783
536.66/269.02	c nbDecision=820000 #clauses=820783
545.43/273.42	c nbDecision=830000 #clauses=830786
555.20/278.32	c nbDecision=840000 #clauses=840786
565.38/283.44	c nbDecision=850000 #clauses=850786
574.96/288.29	c nbDecision=860000 #clauses=860784
585.73/293.60	c nbDecision=870000 #clauses=870784
596.50/299.07	c nbDecision=880000 #clauses=880784
607.28/304.49	c nbDecision=890000 #clauses=890784
617.66/309.67	c nbDecision=900000 #clauses=900784
628.64/315.11	c nbDecision=910000 #clauses=910787
639.99/320.85	c nbDecision=920000 #clauses=920780
649.38/325.55	c nbDecision=930000 #clauses=930786
658.96/330.34	c nbDecision=940000 #clauses=940786
669.53/335.61	c nbDecision=950000 #clauses=950784
680.11/340.96	c nbDecision=960000 #clauses=960785
690.48/346.17	c nbDecision=970000 #clauses=970785
701.86/351.81	c nbDecision=980000 #clauses=980790
712.43/357.13	c nbDecision=990000 #clauses=990781
722.22/362.05	c nbDecision=1000000 #clauses=1000785
732.57/367.26	c nbDecision=1010000 #clauses=1010785
743.15/372.53	c nbDecision=1020000 #clauses=1020788
753.73/377.83	c nbDecision=1030000 #clauses=1030788
764.51/383.29	c nbDecision=1040000 #clauses=1040788
774.69/388.32	c nbDecision=1050000 #clauses=1050783
778.87/390.40	c nbDecision=1060000 #clauses=1060780
783.47/392.74	c nbDecision=1070000 #clauses=1070783
789.05/395.52	c nbDecision=1080000 #clauses=1080780
793.84/397.95	c nbDecision=1090000 #clauses=1090784
799.43/400.72	c nbDecision=1100000 #clauses=1100782
805.21/403.60	c nbDecision=1110000 #clauses=1110784
810.80/406.46	c nbDecision=1120000 #clauses=1120786
816.60/409.30	c nbDecision=1130000 #clauses=1130780
822.16/412.17	c nbDecision=1140000 #clauses=1140784
828.54/415.38	c nbDecision=1150000 #clauses=1150783
834.73/418.47	c nbDecision=1160000 #clauses=1160788
841.72/421.94	c nbDecision=1170000 #clauses=1170782
849.10/425.68	c nbDecision=1180000 #clauses=1180782
854.69/428.45	c nbDecision=1190000 #clauses=1190782
860.49/431.32	c nbDecision=1200000 #clauses=1200787
866.86/434.50	c nbDecision=1210000 #clauses=1210786
873.25/437.75	c nbDecision=1220000 #clauses=1220784
879.84/441.05	c nbDecision=1230000 #clauses=1230784
886.62/444.50	c nbDecision=1240000 #clauses=1240784
893.80/448.09	c nbDecision=1250000 #clauses=1250784
900.98/451.63	c nbDecision=1260000 #clauses=1260782
907.76/455.04	c nbDecision=1270000 #clauses=1270786
915.53/458.95	c nbDecision=1280000 #clauses=1280783
922.72/462.54	c nbDecision=1290000 #clauses=1290784
930.31/466.36	c nbDecision=1300000 #clauses=1300787
939.88/471.18	c nbDecision=1310000 #clauses=1310781
946.26/474.32	c nbDecision=1320000 #clauses=1320785
952.86/477.61	c nbDecision=1330000 #clauses=1330785
959.44/480.94	c nbDecision=1340000 #clauses=1340787
967.42/484.90	c nbDecision=1350000 #clauses=1350783
975.80/489.16	c nbDecision=1360000 #clauses=1360783
984.79/493.68	c nbDecision=1370000 #clauses=1370785
995.96/499.24	c nbDecision=1380000 #clauses=1380782
1005.13/503.85	c nbDecision=1390000 #clauses=1390788
1015.70/509.17	c nbDecision=1400000 #clauses=1400785
1026.68/514.68	c nbDecision=1410000 #clauses=1410782
1037.45/520.05	c nbDecision=1420000 #clauses=1420786
1047.42/525.03	c nbDecision=1430000 #clauses=1430784
1060.21/531.44	c nbDecision=1440000 #clauses=1440784
1074.78/538.74	c nbDecision=1450000 #clauses=1450785
1087.33/545.06	c nbDecision=1460000 #clauses=1460786
1097.91/550.30	c nbDecision=1470000 #clauses=1470785
1111.67/557.22	c nbDecision=1480000 #clauses=1480782
1123.85/563.39	c nbDecision=1490000 #clauses=1490785
1134.42/568.67	c nbDecision=1500000 #clauses=1500787
1142.99/572.95	c flip 0 nbSat=1505255 maxSat=711719
1150.57/576.72	c nbDecision=1510000 #clauses=1510786
1162.95/582.92	c nbDecision=1520000 #clauses=1520786
1175.92/589.47	c nbDecision=1530000 #clauses=1530789
1189.06/596.01	c nbDecision=1540000 #clauses=1540787

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-333559-1173520253 -o ROOT/results/node12/solver-333559-1173520253 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/333559-1173520253/ornithorynque /tmp/evaluation/333559-1173520253/instance-333559-1173520253.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.84 0.94 0.96 3/77 22619
/proc/meminfo: memFree=1690160/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=23220 CPUtime=0
/proc/22619/stat : 22619 (ornithorynque) R 22617 22619 22032 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 371979776 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252426884208 0 0 4096 0 0 0 0 17 1 0 0
/proc/22619/statm: 5805 263 218 42 0 45 0

[startup+0.101018 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 22619
/proc/meminfo: memFree=1690160/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=46092 CPUtime=0.18
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 667 0 0 0 18 0 0 0 18 0 3 0 371979776 47198208 628 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 11523 628 387 42 0 5775 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 46092

[startup+0.201035 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 22619
/proc/meminfo: memFree=1690160/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=46092 CPUtime=0.38
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 725 0 0 0 38 0 0 0 18 0 3 0 371979776 47198208 686 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 11523 686 387 42 0 5775 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 46092

[startup+0.302052 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 22619
/proc/meminfo: memFree=1690160/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=46092 CPUtime=0.58
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 774 0 0 0 58 0 0 0 18 0 3 0 371979776 47198208 735 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 11523 735 387 42 0 5775 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 46092

[startup+0.701125 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 22619
/proc/meminfo: memFree=1690160/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=47116 CPUtime=1.38
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 1048 0 0 0 138 0 0 0 18 0 3 0 371979776 48246784 1009 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 11779 1009 387 42 0 6031 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 47116

[startup+1.50127 s]
/proc/loadavg: 0.84 0.94 0.96 3/80 22622
/proc/meminfo: memFree=1685656/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=50452 CPUtime=2.98
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 1652 0 0 0 297 1 0 0 18 0 3 0 371979776 51662848 1613 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 12613 1613 387 42 0 6865 0
[pid=22619/tid=22621] ppid=22617 vsize=50452 CPUtime=1.48
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 672 0 0 0 148 0 0 0 21 0 3 0 371979777 51662848 1613 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311456 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=50452 CPUtime=1.48
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 450 0 0 0 148 0 0 0 25 0 3 0 371979777 51662848 1613 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241172 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 50452

[startup+3.10156 s]
/proc/loadavg: 0.84 0.94 0.96 3/80 22622
/proc/meminfo: memFree=1683800/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=55164 CPUtime=6.17
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 2775 0 0 0 616 1 0 0 18 0 3 0 371979776 56487936 2670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 13791 2670 387 42 0 8043 0
[pid=22619/tid=22621] ppid=22617 vsize=55164 CPUtime=3.08
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 1274 0 0 0 308 0 0 0 20 0 3 0 371979777 56487936 2670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=55164 CPUtime=3.07
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 971 0 0 0 307 0 0 0 25 0 3 0 371979777 56487936 2670 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 55164

[startup+6.30114 s]
/proc/loadavg: 0.93 0.96 0.97 3/80 22622
/proc/meminfo: memFree=1677656/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=58756 CPUtime=12.54
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 3806 0 0 0 1252 2 0 0 18 0 3 0 371979776 60166144 3636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 14689 3636 387 42 0 8941 0
[pid=22619/tid=22621] ppid=22617 vsize=58756 CPUtime=6.27
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 2305 0 0 0 626 1 0 0 25 0 3 0 371979777 60166144 3636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314855 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=58756 CPUtime=6.25
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 971 0 0 0 625 0 0 0 25 0 3 0 371979777 60166144 3636 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 58756

[startup+12.7013 s]
/proc/loadavg: 1.02 0.97 0.97 3/80 22622
/proc/meminfo: memFree=1665112/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=71224 CPUtime=25.31
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 7400 0 0 0 2527 4 0 0 18 0 3 0 371979776 72933376 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 17806 6657 387 42 0 12058 0
[pid=22619/tid=22621] ppid=22617 vsize=71224 CPUtime=12.67
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 4256 0 0 0 1264 3 0 0 25 0 3 0 371979777 72933376 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=71224 CPUtime=12.62
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 2614 0 0 0 1262 0 0 0 25 0 3 0 371979777 72933376 6657 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 71224

[startup+25.5026 s]
/proc/loadavg: 1.24 1.02 0.99 3/80 22622
/proc/meminfo: memFree=1653016/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=83792 CPUtime=50.86
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 10935 0 0 0 5078 8 0 0 18 0 3 0 371979776 85803008 9574 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 20948 9574 387 42 0 15200 0
[pid=22619/tid=22621] ppid=22617 vsize=83792 CPUtime=25.47
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 7791 0 0 0 2540 7 0 0 25 0 3 0 371979777 85803008 9574 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=83792 CPUtime=25.37
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 2614 0 0 0 2536 1 0 0 25 0 3 0 371979777 85803008 9574 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 83792

[startup+51.1022 s]
/proc/loadavg: 1.50 1.10 1.02 3/80 22622
/proc/meminfo: memFree=1619992/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=127332 CPUtime=101.93
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 24571 0 0 0 10177 16 0 0 18 0 3 0 371979776 130387968 17884 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 31833 17884 387 42 0 26085 0
[pid=22619/tid=22621] ppid=22617 vsize=127332 CPUtime=51.06
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 13188 0 0 0 5095 11 0 0 25 0 3 0 371979777 130387968 17884 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=127332 CPUtime=50.85
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 10853 0 0 0 5081 4 0 0 25 0 3 0 371979777 130387968 17884 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 127332

[startup+102.302 s]
/proc/loadavg: 1.78 1.24 1.06 3/80 22622
/proc/meminfo: memFree=1551256/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=204992 CPUtime=204.06
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 51269 0 0 0 20374 32 0 0 18 0 3 0 371979776 209911808 34926 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 51248 34926 387 42 0 45500 0
[pid=22619/tid=22621] ppid=22617 vsize=204992 CPUtime=102.23
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 25450 0 0 0 10201 22 0 0 25 0 3 0 371979777 209911808 34927 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311430 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=204992 CPUtime=101.81
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 25290 0 0 0 10172 9 0 0 25 0 3 0 371979777 209911808 34927 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 204992

[startup+162.301 s]
/proc/loadavg: 1.92 1.37 1.12 3/80 22622
/proc/meminfo: memFree=1520088/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=239964 CPUtime=323.77
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 61214 0 0 0 32334 43 0 0 18 0 3 0 371979776 245723136 42742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 59991 42742 387 42 0 54243 0
[pid=22619/tid=22621] ppid=22617 vsize=239964 CPUtime=162.21
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 35394 0 0 0 16188 33 0 0 25 0 3 0 371979777 245723136 42742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=239964 CPUtime=161.54
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 25290 0 0 0 16145 9 0 0 25 0 3 0 371979777 245723136 42742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 239964

[startup+222.307 s]
/proc/loadavg: 1.97 1.48 1.17 3/80 22622
/proc/meminfo: memFree=1454872/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=327760 CPUtime=443.49
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 93847 0 0 0 44286 63 0 0 18 0 3 0 371979776 335626240 58937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 81940 58937 387 42 0 76192 0
[pid=22619/tid=22621] ppid=22617 vsize=327760 CPUtime=222.18
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 41779 0 0 0 22176 42 0 0 25 0 3 0 371979777 335626240 58937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311127 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=327760 CPUtime=221.29
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 22109 20 0 0 25 0 3 0 371979777 335626240 58937 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.49
Current children cumulated vsize (KiB) 327760

[startup+282.302 s]
/proc/loadavg: 1.99 1.57 1.22 3/80 22622
/proc/meminfo: memFree=1432792/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=353116 CPUtime=563.18
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 100907 0 0 0 56246 72 0 0 18 0 3 0 371979776 361590784 64517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 88279 64517 387 42 0 82531 0
[pid=22619/tid=22621] ppid=22617 vsize=353116 CPUtime=282.16
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 48839 0 0 0 28164 52 0 0 25 0 3 0 371979777 361590784 64517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311238 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=353116 CPUtime=281
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 28080 20 0 0 25 0 3 0 371979777 361590784 64517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 353116

[startup+342.302 s]
/proc/loadavg: 1.99 1.65 1.27 3/80 22622
/proc/meminfo: memFree=1411672/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=373596 CPUtime=682.9
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 106643 0 0 0 68208 82 0 0 18 0 3 0 371979776 382562304 69739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 93399 69739 387 42 0 87651 0
[pid=22619/tid=22621] ppid=22617 vsize=373596 CPUtime=342.14
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 54575 0 0 0 34153 61 0 0 25 0 3 0 371979777 382562304 69739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=373596 CPUtime=340.74
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 34054 20 0 0 25 0 3 0 371979777 382562304 69739 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242508 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.9
Current children cumulated vsize (KiB) 373596

[startup+402.302 s]
/proc/loadavg: 1.99 1.71 1.31 3/80 22622
/proc/meminfo: memFree=1381272/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=412000 CPUtime=802.62
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 118027 0 0 0 80168 94 0 0 18 0 3 0 371979776 421888000 77434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 103000 77434 387 42 0 97252 0
[pid=22619/tid=22621] ppid=22617 vsize=412000 CPUtime=402.12
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 65959 0 0 0 40139 73 0 0 25 0 3 0 371979777 421888000 77434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=412000 CPUtime=400.48
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 40028 20 0 0 25 0 3 0 371979777 421888000 77434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283683 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.62
Current children cumulated vsize (KiB) 412000

[startup+462.302 s]
/proc/loadavg: 1.99 1.76 1.35 3/80 22622
/proc/meminfo: memFree=1348504/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=441696 CPUtime=922.32
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 126121 0 0 0 92126 106 0 0 18 0 3 0 371979776 452296704 85528 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 110424 85528 387 42 0 104676 0
[pid=22619/tid=22621] ppid=22617 vsize=443744 CPUtime=462.09
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 74053 0 0 0 46125 84 0 0 25 0 3 0 371979777 454393856 85528 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252429738201 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=442720 CPUtime=460.21
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 46000 21 0 0 25 0 3 0 371979777 453345280 85529 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241648 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.32
Current children cumulated vsize (KiB) 441696

[startup+522.302 s]
/proc/loadavg: 1.99 1.80 1.39 3/80 22622
/proc/meminfo: memFree=1324440/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=464996 CPUtime=1042.05
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 132254 0 0 0 104088 117 0 0 18 0 3 0 371979776 476155904 91498 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 116249 91498 387 42 0 110501 0
[pid=22619/tid=22621] ppid=22617 vsize=464996 CPUtime=522.07
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 80186 0 0 0 52112 95 0 0 25 0 3 0 371979777 476155904 91498 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=464996 CPUtime=519.95
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 51538 0 0 0 51974 21 0 0 25 0 3 0 371979777 476155904 91498 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.05
Current children cumulated vsize (KiB) 464996

[startup+582.302 s]
/proc/loadavg: 1.99 1.83 1.42 3/80 22622
/proc/meminfo: memFree=1211352/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=610856 CPUtime=1161.75
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 192830 0 0 0 116028 147 0 0 18 0 3 0 371979776 625516544 119754 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 152714 119754 387 42 0 146966 0
[pid=22619/tid=22621] ppid=22617 vsize=610856 CPUtime=582.03
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 84406 0 0 0 58100 103 0 0 25 0 3 0 371979777 625516544 119754 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311174 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=610856 CPUtime=579.69
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 107894 0 0 0 57926 43 0 0 25 0 3 0 371979777 625516544 119754 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.75
Current children cumulated vsize (KiB) 610856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 1.99 1.84 1.43 3/80 22622
/proc/meminfo: memFree=1205848/2055920 swapFree=4156588/4192956
[pid=22619] ppid=22617 vsize=614952 CPUtime=1200.05
/proc/22619/stat : 22619 (ornithorynque) S 22617 22619 22032 0 -1 4194304 194165 0 0 0 119855 150 0 0 18 0 3 0 371979776 629710848 121089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 252438409083 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22619/statm: 153738 121089 387 42 0 147990 0
[pid=22619/tid=22621] ppid=22617 vsize=614952 CPUtime=601.23
/proc/22619/task/22621/stat : 22621 (ornithorynque) R 22617 22619 22032 0 -1 4194368 85741 0 0 0 60017 106 0 0 25 0 3 0 371979777 629710848 121089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22619/tid=22622] ppid=22617 vsize=614952 CPUtime=598.8
/proc/22619/task/22622/stat : 22622 (ornithorynque) R 22617 22619 22032 0 -1 4194368 107894 0 0 0 59837 43 0 0 25 0 3 0 371979777 629710848 121089 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241411 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 614952

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.586
CPU time (s): 1200.14
CPU user time (s): 1198.57
CPU system time (s): 1.57876
CPU usage (%): 199.497
Max. virtual memory (cumulated for all children) (KiB): 614952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.57
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194166
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= 77
involuntary context switches= 22758

runsolver used 0.592909 second user time and 1.62675 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Mar 10 09:50:53 UTC 2007

IDJOB= 333559
IDBENCH= 24606
IDSOLVER= 139
FILE ID= node12/333559-1173520253

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-210-2.sat05-2159.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/333559-1173520253/ornithorynque /tmp/evaluation/333559-1173520253/instance-333559-1173520253.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-333559-1173520253 -o ROOT/results/node12/solver-333559-1173520253 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/333559-1173520253/ornithorynque /tmp/evaluation/333559-1173520253/instance-333559-1173520253.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f34a97e9100b15a8025a13df7cb62499

RANDOM SEED= 151786344

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:       1690568 kB
Buffers:         40300 kB
Cached:         251152 kB
SwapCached:      15228 kB
Active:         214292 kB
Inactive:       100344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690568 kB
SwapTotal:     4192956 kB
SwapFree:      4156588 kB
Dirty:             428 kB
Writeback:           0 kB
Mapped:          29676 kB
Slab:            36380 kB
Committed_AS:  1642848 kB
PageTables:       1692 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 10:00:57 UTC 2007