Trace number 328275

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.09 601.534

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
MD5SUM68e7dc46416b462dab3be9fd6f79650c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark361.463
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
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.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.00/0.08	c ...done
0.00/0.08	c nbVar=7000 nbClause=29400
0.00/0.09	c nbVar=7000 nbClause=29400
0.09/0.11	c complete search running
0.09/0.11	c local search running
0.09/0.12	c flip 0 nbSat=25658 maxSat=0
0.28/0.20	c flip 10000 nbSat=28150 maxSat=28196
0.28/0.27	c flip 20000 nbSat=28534 maxSat=28561
0.48/0.34	c flip 30000 nbSat=28719 maxSat=28731
0.68/0.41	c flip 40000 nbSat=28744 maxSat=28784
0.68/0.48	c flip 50000 nbSat=28782 maxSat=28811
0.88/0.55	c flip 60000 nbSat=28898 maxSat=28919
1.08/0.62	c flip 70000 nbSat=28839 maxSat=28920
1.08/0.68	c flip 80000 nbSat=28925 maxSat=28940
1.28/0.75	c flip 90000 nbSat=28935 maxSat=28971
1.48/0.81	c flip 100000 nbSat=28882 maxSat=28971
1.48/0.88	c flip 110000 nbSat=28914 maxSat=28971
1.68/0.94	c flip 120000 nbSat=28946 maxSat=28985
1.88/1.01	c flip 130000 nbSat=28942 maxSat=28989
1.88/1.09	c flip 0 nbSat=26798 maxSat=28993
2.28/1.24	c flip 10000 nbSat=29271 maxSat=29285
2.47/1.38	c flip 20000 nbSat=29623 maxSat=29635
2.87/1.52	c flip 30000 nbSat=29771 maxSat=29800
3.07/1.67	c flip 40000 nbSat=29925 maxSat=29929
3.47/1.82	c flip 50000 nbSat=29945 maxSat=29972
3.67/1.97	c flip 60000 nbSat=29951 maxSat=29994
4.07/2.12	c flip 70000 nbSat=29987 maxSat=30007
4.27/2.26	c flip 80000 nbSat=29987 maxSat=30020
4.66/2.40	c flip 90000 nbSat=30016 maxSat=30061
4.86/2.55	c flip 100000 nbSat=30035 maxSat=30061
5.26/2.70	c flip 110000 nbSat=30031 maxSat=30071
5.46/2.85	c flip 120000 nbSat=30011 maxSat=30087
5.86/3.01	c flip 130000 nbSat=30070 maxSat=30087
6.27/3.21	c flip 0 nbSat=28538 maxSat=30107
6.67/3.47	c flip 10000 nbSat=31105 maxSat=31112
7.26/3.76	c flip 20000 nbSat=31395 maxSat=31423
7.86/4.05	c flip 30000 nbSat=31495 maxSat=31512
8.46/4.35	c flip 40000 nbSat=31553 maxSat=31577
9.05/4.67	c flip 50000 nbSat=31611 maxSat=31669
9.65/4.98	c flip 60000 nbSat=31688 maxSat=31698
10.45/5.34	c flip 70000 nbSat=31731 maxSat=31745
11.25/5.71	c flip 80000 nbSat=31702 maxSat=31758
11.85/6.03	c flip 90000 nbSat=31715 maxSat=31758
12.45/6.37	c flip 100000 nbSat=31744 maxSat=31782
13.25/6.74	c flip 110000 nbSat=31719 maxSat=31782
13.84/7.10	c flip 120000 nbSat=31777 maxSat=31782
14.64/7.47	c flip 130000 nbSat=31822 maxSat=31836
15.44/7.84	c nbDecision=10000 #clauses=34982
15.64/7.90	c flip 0 nbSat=31266 maxSat=31842
16.44/8.36	c flip 10000 nbSat=33884 maxSat=33921
17.44/8.88	c flip 20000 nbSat=34205 maxSat=34238
18.63/9.49	c flip 30000 nbSat=34360 maxSat=34386
19.84/10.07	c flip 40000 nbSat=34412 maxSat=34453
21.03/10.62	c flip 50000 nbSat=34435 maxSat=34483
22.22/11.22	c flip 60000 nbSat=34460 maxSat=34495
23.22/11.76	c flip 70000 nbSat=34443 maxSat=34513
24.42/12.34	c flip 80000 nbSat=34475 maxSat=34555
25.62/12.95	c flip 90000 nbSat=34482 maxSat=34555
26.82/13.58	c flip 100000 nbSat=34558 maxSat=34582
28.22/14.22	c flip 110000 nbSat=34530 maxSat=34588
29.41/14.82	c flip 120000 nbSat=34565 maxSat=34588
30.61/15.40	c flip 130000 nbSat=34566 maxSat=34598
31.80/16.03	c flip 0 nbSat=34863 maxSat=34610
33.39/16.80	c flip 10000 nbSat=37405 maxSat=37424
35.19/17.73	c flip 20000 nbSat=37835 maxSat=37837
37.19/18.71	c flip 30000 nbSat=37875 maxSat=37923
39.38/19.81	c flip 40000 nbSat=37960 maxSat=38020
41.37/20.89	c flip 50000 nbSat=37985 maxSat=38025
43.77/22.02	c flip 60000 nbSat=38010 maxSat=38063
45.97/23.14	c flip 70000 nbSat=38088 maxSat=38123
48.16/24.26	c flip 80000 nbSat=38068 maxSat=38123
48.75/24.58	c nbDecision=20000 #clauses=41361
50.56/25.43	c flip 90000 nbSat=38091 maxSat=38128
52.96/26.62	c flip 100000 nbSat=38144 maxSat=38148
55.35/27.82	c flip 110000 nbSat=38088 maxSat=38165
57.94/29.11	c flip 120000 nbSat=38168 maxSat=38196
60.53/30.46	c flip 130000 nbSat=38167 maxSat=38199
63.33/31.89	c flip 0 nbSat=40090 maxSat=38199
66.92/33.65	c flip 10000 nbSat=42673 maxSat=42684
70.91/35.69	c flip 20000 nbSat=43086 maxSat=43090
75.30/37.86	c flip 30000 nbSat=43155 maxSat=43165
80.08/40.29	c flip 40000 nbSat=43216 maxSat=43258
85.28/42.83	c flip 50000 nbSat=43230 maxSat=43267
87.07/43.75	c nbDecision=30000 #clauses=47660
90.07/45.24	c flip 60000 nbSat=43276 maxSat=43312
95.05/47.76	c flip 70000 nbSat=43333 maxSat=43361
99.84/50.19	c flip 80000 nbSat=43369 maxSat=43381
104.83/52.68	c flip 90000 nbSat=43321 maxSat=43406
110.02/55.22	c flip 100000 nbSat=43377 maxSat=43406
115.01/57.70	c flip 110000 nbSat=43361 maxSat=43406
119.00/59.77	c flip 120000 nbSat=43370 maxSat=43409
123.38/61.93	c flip 130000 nbSat=43405 maxSat=43413
128.37/64.41	c flip 0 nbSat=49829 maxSat=43432
132.16/66.36	c nbDecision=40000 #clauses=53891
135.35/67.93	c flip 10000 nbSat=52122 maxSat=52132
144.74/72.61	c flip 20000 nbSat=52531 maxSat=52537
153.91/77.28	c flip 30000 nbSat=52717 maxSat=52720
163.50/82.02	c flip 40000 nbSat=52773 maxSat=52786
173.47/87.04	c flip 50000 nbSat=52838 maxSat=52854
183.84/92.24	c flip 60000 nbSat=52829 maxSat=52874
194.42/97.57	c flip 70000 nbSat=52822 maxSat=52894
205.20/102.94	c flip 80000 nbSat=52878 maxSat=52907
205.79/103.21	c nbDecision=50000 #clauses=60266
216.56/108.66	c flip 90000 nbSat=52879 maxSat=52925
227.53/114.15	c flip 100000 nbSat=52906 maxSat=52970
237.92/119.33	c flip 110000 nbSat=52909 maxSat=52970
248.50/124.60	c flip 120000 nbSat=52917 maxSat=52970
259.86/130.34	c flip 130000 nbSat=52949 maxSat=52976
271.64/136.27	c flip 0 nbSat=61394 maxSat=52976
283.81/142.39	c flip 10000 nbSat=63970 maxSat=63970
295.59/148.28	c nbDecision=60000 #clauses=66705
301.17/151.09	c flip 20000 nbSat=64275 maxSat=64342
319.32/160.18	c flip 30000 nbSat=64463 maxSat=64470
339.08/170.07	c flip 40000 nbSat=64526 maxSat=64574
358.82/179.99	c flip 50000 nbSat=64538 maxSat=64582
377.19/189.11	c flip 60000 nbSat=64611 maxSat=64615
383.37/192.28	c nbDecision=70000 #clauses=73108
393.95/197.54	c flip 70000 nbSat=64570 maxSat=64641
412.11/206.62	c flip 80000 nbSat=64565 maxSat=64650
428.86/215.10	c flip 90000 nbSat=64640 maxSat=64672
446.22/223.79	c flip 100000 nbSat=64615 maxSat=64677
465.38/233.34	c flip 110000 nbSat=64675 maxSat=64690
483.73/242.50	c flip 120000 nbSat=64643 maxSat=64691
483.93/242.60	c nbDecision=80000 #clauses=79584
502.09/251.71	c flip 130000 nbSat=64660 maxSat=64691
521.24/261.31	c flip 0 nbSat=78192 maxSat=64694
540.59/271.03	c flip 10000 nbSat=80742 maxSat=80755
567.93/284.73	c flip 20000 nbSat=81025 maxSat=81080
598.07/299.88	c flip 30000 nbSat=81174 maxSat=81177
608.24/304.99	c nbDecision=90000 #clauses=86185
630.98/316.33	c flip 40000 nbSat=81240 maxSat=81250
661.72/331.78	c flip 50000 nbSat=81234 maxSat=81271
694.83/348.39	c flip 60000 nbSat=81323 maxSat=81359
720.57/361.29	c nbDecision=100000 #clauses=92562
731.55/366.78	c flip 70000 nbSat=81335 maxSat=81385
764.08/383.04	c flip 80000 nbSat=81384 maxSat=81402
797.59/399.82	c flip 90000 nbSat=81404 maxSat=81428
828.92/415.59	c flip 100000 nbSat=81415 maxSat=81461
842.70/422.42	c nbDecision=110000 #clauses=98900
861.84/432.08	c flip 110000 nbSat=81364 maxSat=81461
892.97/447.67	c flip 120000 nbSat=81418 maxSat=81461
923.90/463.17	c flip 130000 nbSat=81457 maxSat=81473
957.61/480.07	c flip 0 nbSat=100493 maxSat=81476
986.94/494.76	c nbDecision=120000 #clauses=105479
987.93/495.20	c flip 10000 nbSat=103064 maxSat=103078
1027.06/514.86	c flip 20000 nbSat=103327 maxSat=103351
1068.75/535.76	c flip 30000 nbSat=103445 maxSat=103478
1112.85/557.80	c flip 40000 nbSat=103562 maxSat=103586
1142.58/572.76	c nbDecision=130000 #clauses=112023
1154.35/578.62	c flip 50000 nbSat=103616 maxSat=103636

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/node39/watcher-328275-1173109613 -o ROOT/results/node39/solver-328275-1173109613 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328275-1173109613/ornithorynque /tmp/evaluation/328275-1173109613/instance-328275-1173109613.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.99 1.97 1.91 3/64 26971
/proc/meminfo: memFree=827608/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=23220 CPUtime=0
/proc/26971/stat : 26971 (ornithorynque) R 26969 26971 26462 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 330917237 23777280 256 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231491015579 0 0 4096 0 0 0 0 17 1 0 0
/proc/26971/statm: 5805 257 218 42 0 45 0

[startup+0.104411 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 26971
/proc/meminfo: memFree=827608/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=28576 CPUtime=0.09
/proc/26971/stat : 26971 (ornithorynque) R 26969 26971 26462 0 -1 4194304 1854 0 0 0 9 0 0 0 18 0 1 0 330917237 29261824 1749 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231493505761 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26971/statm: 7144 1749 382 42 0 1396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28576

[startup+0.201437 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 26971
/proc/meminfo: memFree=827608/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=49688 CPUtime=0.28
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 1997 0 0 0 27 1 0 0 18 0 3 0 330917237 50880512 1892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 12422 1892 387 42 0 6674 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49688

[startup+0.302452 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 26971
/proc/meminfo: memFree=827608/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=49688 CPUtime=0.48
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 1997 0 0 0 47 1 0 0 18 0 3 0 330917237 50880512 1892 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 12422 1892 387 42 0 6674 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 49688

[startup+0.70252 s]
/proc/loadavg: 1.99 1.97 1.91 3/64 26971
/proc/meminfo: memFree=827608/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=49820 CPUtime=1.28
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 2054 0 0 0 127 1 0 0 18 0 3 0 330917237 51015680 1949 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 12455 1949 387 42 0 6707 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 49820

[startup+1.50166 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=820096/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=52972 CPUtime=2.87
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 2388 0 0 0 286 1 0 0 18 0 3 0 330917237 54243328 2283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 13243 2283 387 42 0 7495 0
[pid=26971/tid=26973] ppid=26969 vsize=52972 CPUtime=1.38
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 218 0 0 0 138 0 0 0 19 0 3 0 330917249 54243328 2283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=52972 CPUtime=1.37
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 217 0 0 0 137 0 0 0 20 0 3 0 330917249 54243328 2283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 52972

[startup+3.10193 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=819264/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=53996 CPUtime=6.06
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 2601 0 0 0 605 1 0 0 18 0 3 0 330917237 55291904 2496 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 13499 2496 387 42 0 7751 0
[pid=26971/tid=26973] ppid=26969 vsize=53996 CPUtime=2.97
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 431 0 0 0 297 0 0 0 25 0 3 0 330917249 55291904 2496 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=53996 CPUtime=2.97
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 217 0 0 0 297 0 0 0 25 0 3 0 330917249 55291904 2496 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 53996

[startup+6.30249 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=815424/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=57296 CPUtime=12.45
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 3571 0 0 0 1243 2 0 0 18 0 3 0 330917237 58671104 3401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 14324 3401 387 42 0 8576 0
[pid=26971/tid=26973] ppid=26969 vsize=57296 CPUtime=6.18
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 784 0 0 0 617 1 0 0 25 0 3 0 330917249 58671104 3401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=57296 CPUtime=6.15
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 834 0 0 0 615 0 0 0 25 0 3 0 330917249 58671104 3401 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 57296

[startup+12.7016 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=809792/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=62520 CPUtime=25.22
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 4996 0 0 0 2518 4 0 0 18 0 3 0 330917237 64020480 4761 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 15630 4761 387 42 0 9882 0
[pid=26971/tid=26973] ppid=26969 vsize=62520 CPUtime=12.57
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 1308 0 0 0 1256 1 0 0 25 0 3 0 330917249 64020480 4761 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=62520 CPUtime=12.53
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 1735 0 0 0 1252 1 0 0 25 0 3 0 330917249 64020480 4761 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283795 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 62520

[startup+25.5028 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=801792/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=71072 CPUtime=50.75
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 6971 0 0 0 5069 6 0 0 18 0 3 0 330917237 72777728 6736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 17768 6736 387 42 0 12020 0
[pid=26971/tid=26973] ppid=26969 vsize=71072 CPUtime=25.37
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 2004 0 0 0 2534 3 0 0 25 0 3 0 330917249 72777728 6736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=71072 CPUtime=25.27
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 3014 0 0 0 2525 2 0 0 25 0 3 0 330917249 72777728 6736 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241206 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 71072

[startup+51.1021 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=792000/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=81820 CPUtime=101.83
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 9596 0 0 0 10174 9 0 0 18 0 3 0 330917237 83783680 9204 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 20455 9204 387 42 0 14707 0
[pid=26971/tid=26973] ppid=26969 vsize=81820 CPUtime=50.96
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 3350 0 0 0 5090 6 0 0 25 0 3 0 330917249 83783680 9204 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=81820 CPUtime=50.75
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 4293 0 0 0 5073 2 0 0 25 0 3 0 330917249 83783680 9204 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 81820

[startup+102.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=777664/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=96476 CPUtime=204.01
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 13459 0 0 0 20387 14 0 0 18 0 3 0 330917237 98791424 12707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 24119 12707 387 42 0 18371 0
[pid=26971/tid=26973] ppid=26969 vsize=96476 CPUtime=102.14
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 5054 0 0 0 10205 9 0 0 25 0 3 0 330917249 98791424 12707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=96476 CPUtime=101.73
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 6452 0 0 0 10170 3 0 0 25 0 3 0 330917249 98791424 12707 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 96476

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=760896/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=115580 CPUtime=323.71
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 17777 0 0 0 32352 19 0 0 18 0 3 0 330917237 118353920 16896 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 28895 16896 387 42 0 23147 0
[pid=26971/tid=26973] ppid=26969 vsize=115580 CPUtime=162.12
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 6654 0 0 0 16199 13 0 0 25 0 3 0 330917249 118353920 16896 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=115580 CPUtime=161.46
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 9170 0 0 0 16142 4 0 0 25 0 3 0 330917249 118353920 16896 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 115580

[startup+222.305 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=754688/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=121724 CPUtime=443.43
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 19324 0 0 0 44320 23 0 0 18 0 3 0 330917237 124645376 18443 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 30431 18443 387 42 0 24683 0
[pid=26971/tid=26973] ppid=26969 vsize=121724 CPUtime=222.11
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 8201 0 0 0 22194 17 0 0 25 0 3 0 330917249 124645376 18443 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=121724 CPUtime=221.19
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 9170 0 0 0 22115 4 0 0 25 0 3 0 330917249 124645376 18443 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241604 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.43
Current children cumulated vsize (KiB) 121724

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=736000/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=143896 CPUtime=563.14
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 24186 0 0 0 56288 26 0 0 18 0 3 0 330917237 147349504 23143 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 35974 23143 387 42 0 30226 0
[pid=26971/tid=26973] ppid=26969 vsize=143896 CPUtime=282.08
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 9010 0 0 0 28190 18 0 0 25 0 3 0 330917249 147349504 23143 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=143896 CPUtime=280.94
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 13223 0 0 0 28087 7 0 0 25 0 3 0 330917249 147349504 23143 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.14
Current children cumulated vsize (KiB) 143896

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=731136/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=149016 CPUtime=682.86
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 25391 0 0 0 68258 28 0 0 18 0 3 0 330917237 152592384 24348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 37254 24348 387 42 0 31506 0
[pid=26971/tid=26973] ppid=26969 vsize=149016 CPUtime=342.07
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 10215 0 0 0 34187 20 0 0 25 0 3 0 330917249 152592384 24348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=149016 CPUtime=340.67
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 13223 0 0 0 34060 7 0 0 25 0 3 0 330917249 152592384 24348 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.86
Current children cumulated vsize (KiB) 149016

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=726656/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=153112 CPUtime=802.57
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 26490 0 0 0 80227 30 0 0 18 0 3 0 330917237 156786688 25447 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 38278 25447 387 42 0 32530 0
[pid=26971/tid=26973] ppid=26969 vsize=153112 CPUtime=402.05
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 11314 0 0 0 40183 22 0 0 25 0 3 0 330917249 156786688 25447 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=153112 CPUtime=400.4
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 13223 0 0 0 40033 7 0 0 25 0 3 0 330917249 156786688 25447 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.57
Current children cumulated vsize (KiB) 153112

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=722624/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=157208 CPUtime=922.3
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 27484 0 0 0 92198 32 0 0 18 0 3 0 330917237 160980992 26441 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 39302 26441 387 42 0 33554 0
[pid=26971/tid=26973] ppid=26969 vsize=157208 CPUtime=462.02
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 12308 0 0 0 46179 23 0 0 25 0 3 0 330917249 160980992 26441 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=157208 CPUtime=460.14
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 13223 0 0 0 46007 7 0 0 25 0 3 0 330917249 160980992 26441 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.3
Current children cumulated vsize (KiB) 157208

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=699200/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=186948 CPUtime=1042.01
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 34373 0 0 0 104165 36 0 0 18 0 3 0 330917237 191434752 32307 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 46737 32307 387 42 0 40989 0
[pid=26971/tid=26973] ppid=26969 vsize=186948 CPUtime=522
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 13310 0 0 0 52175 25 0 0 25 0 3 0 330917249 191434752 32307 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=186948 CPUtime=519.88
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 19110 0 0 0 51979 9 0 0 25 0 3 0 330917249 191434752 32307 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.01
Current children cumulated vsize (KiB) 186948

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=695744/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=190020 CPUtime=1161.72
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 35223 0 0 0 116135 37 0 0 18 0 3 0 330917237 194580480 33157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 47505 33157 387 42 0 41757 0
[pid=26971/tid=26973] ppid=26969 vsize=190020 CPUtime=581.99
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 14160 0 0 0 58172 27 0 0 25 0 3 0 330917249 194580480 33157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312023 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=190020 CPUtime=579.61
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 19110 0 0 0 57952 9 0 0 25 0 3 0 330917249 194580480 33157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.72
Current children cumulated vsize (KiB) 190020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 26974
/proc/meminfo: memFree=694464/2055920 swapFree=4184064/4192956
[pid=26971] ppid=26969 vsize=191176 CPUtime=1200.05
/proc/26971/stat : 26971 (ornithorynque) S 26969 26971 26462 0 -1 4194304 35521 0 0 0 119967 38 0 0 18 0 3 0 330917237 195764224 33455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 231502540667 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26971/statm: 47794 33455 387 42 0 42046 0
[pid=26971/tid=26973] ppid=26969 vsize=191176 CPUtime=601.18
/proc/26971/task/26973/stat : 26973 (ornithorynque) R 26969 26971 26462 0 -1 4194368 14458 0 0 0 60091 27 0 0 25 0 3 0 330917249 195764224 33455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26971/tid=26974] ppid=26969 vsize=191176 CPUtime=598.73
/proc/26971/task/26974/stat : 26974 (ornithorynque) R 26969 26971 26462 0 -1 4194368 19110 0 0 0 59864 9 0 0 25 0 3 0 330917249 195764224 33455 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 191176

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.534
CPU time (s): 1200.09
CPU user time (s): 1199.68
CPU system time (s): 0.407937
CPU usage (%): 199.505
Max. virtual memory (cumulated for all children) (KiB): 191176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35521
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= 29
involuntary context switches= 9197

runsolver used 0.71789 second user time and 1.48977 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Mon Mar  5 15:46:53 UTC 2007

IDJOB= 328275
IDBENCH= 20183
IDSOLVER= 139
FILE ID= node39/328275-1173109613

PBS_JOBID= 4013918

Free space on /tmp= 66544 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
COMMAND LINE= /tmp/evaluation/328275-1173109613/ornithorynque /tmp/evaluation/328275-1173109613/instance-328275-1173109613.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-328275-1173109613 -o ROOT/results/node39/solver-328275-1173109613 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328275-1173109613/ornithorynque /tmp/evaluation/328275-1173109613/instance-328275-1173109613.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  68e7dc46416b462dab3be9fd6f79650c

RANDOM SEED= 987750382

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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:        828080 kB
Buffers:         52440 kB
Cached:        1077444 kB
SwapCached:       2928 kB
Active:         390876 kB
Inactive:       748656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        828080 kB
SwapTotal:     4192956 kB
SwapFree:      4184064 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:          15524 kB
Slab:            74404 kB
Committed_AS:   774536 kB
PageTables:       1412 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= 66544 MiB

End job on node39 on Mon Mar  5 15:56:57 UTC 2007