Trace number 328517

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.05 601.423

General information on the benchmark

Namecrafted/spence/
medium/s89-100.cnf
MD5SUMa1c857f1db1ccfc50e10a8a9bb41e428
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark37.9012
Satisfiable
(Un)Satisfiability was proved
Number of variables89
Number of clauses188
Sum of the clauses size564
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3188
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.00	c ...done
0.00/0.00	c nbVar=89 nbClause=188
0.00/0.00	c nbVar=89 nbClause=188
0.00/0.00	c complete search running
0.00/0.00	c local search running
0.00/0.00	c flip 0 nbSat=165 maxSat=0
0.00/0.02	c flip 0 nbSat=418 maxSat=183
0.00/0.03	c flip 0 nbSat=667 maxSat=442
0.00/0.03	c flip 0 nbSat=867 maxSat=682
0.00/0.07	c flip 0 nbSat=1516 maxSat=891
0.16/0.09	c flip 0 nbSat=1714 maxSat=1540
0.18/0.12	c flip 0 nbSat=2039 maxSat=1742
0.38/0.20	c flip 0 nbSat=2888 maxSat=2062
0.38/0.23	c flip 0 nbSat=3128 maxSat=2909
0.38/0.26	c flip 0 nbSat=3416 maxSat=3142
0.58/0.39	c flip 0 nbSat=4369 maxSat=3436
0.78/0.42	c flip 0 nbSat=4554 maxSat=4395
0.98/0.54	c flip 0 nbSat=5047 maxSat=4573
1.18/0.69	c flip 0 nbSat=5712 maxSat=5065
1.38/0.74	c flip 0 nbSat=5983 maxSat=5730
1.78/0.93	c flip 0 nbSat=6806 maxSat=6009
1.78/0.97	c flip 0 nbSat=7012 maxSat=6825
1.99/1.02	c flip 0 nbSat=7185 maxSat=7030
2.58/1.36	c flip 0 nbSat=8421 maxSat=7213
2.78/1.42	c flip 0 nbSat=8722 maxSat=8448
2.78/1.45	c nbDecision=10000 #clauses=8954
2.98/1.50	c flip 0 nbSat=9069 maxSat=8740
3.18/1.66	c flip 0 nbSat=9749 maxSat=9091
3.38/1.72	c flip 0 nbSat=9990 maxSat=9774
4.19/2.17	c flip 0 nbSat=11734 maxSat=10023
5.18/2.68	c flip 0 nbSat=13330 maxSat=11761
5.38/2.76	c flip 0 nbSat=13540 maxSat=13349
5.78/2.92	c flip 0 nbSat=13915 maxSat=13561
7.57/3.82	c flip 0 nbSat=16787 maxSat=13936
8.17/4.12	c nbDecision=20000 #clauses=17802
8.37/4.25	c flip 0 nbSat=18072 maxSat=16809
9.76/4.98	c flip 0 nbSat=19933 maxSat=18093
12.75/6.40	c flip 0 nbSat=22743 maxSat=19960
13.55/6.82	c flip 0 nbSat=23435 maxSat=22769
15.74/7.93	c flip 0 nbSat=24876 maxSat=23452
18.74/9.49	c nbDecision=30000 #clauses=26517
20.33/10.24	c flip 0 nbSat=28547 maxSat=24903
23.33/11.73	c flip 0 nbSat=31969 maxSat=28563
26.34/13.25	c nbDecision=40000 #clauses=35136
27.53/13.89	c flip 0 nbSat=36431 maxSat=32006
28.33/14.28	c flip 0 nbSat=37298 maxSat=36477
36.70/18.49	c nbDecision=50000 #clauses=43565
37.10/18.61	c flip 0 nbSat=43637 maxSat=37331
37.69/18.91	c flip 0 nbSat=43982 maxSat=43658
39.09/19.62	c flip 0 nbSat=44553 maxSat=43999
44.29/22.21	c flip 0 nbSat=48119 maxSat=44576
50.67/25.46	c nbDecision=60000 #clauses=52140
51.07/25.69	c flip 0 nbSat=52315 maxSat=48144
52.47/26.33	c flip 0 nbSat=53013 maxSat=52331
58.66/29.43	c flip 0 nbSat=55942 maxSat=53040
60.45/30.36	c flip 0 nbSat=56541 maxSat=55965
64.04/32.13	c flip 0 nbSat=57991 maxSat=56579
72.81/36.50	c nbDecision=70000 #clauses=60428
73.61/36.97	c flip 0 nbSat=60641 maxSat=58068
82.59/41.40	c flip 0 nbSat=63812 maxSat=60681
100.75/50.55	c flip 0 nbSat=67153 maxSat=63839
102.14/51.26	c flip 0 nbSat=67337 maxSat=67175
107.34/53.88	c nbDecision=80000 #clauses=68688
116.12/58.25	c flip 0 nbSat=70610 maxSat=67396
132.28/66.36	c flip 0 nbSat=74574 maxSat=70639
134.87/67.67	c flip 0 nbSat=75124 maxSat=74598
144.06/72.25	c nbDecision=90000 #clauses=76999
152.03/76.27	c flip 0 nbSat=78726 maxSat=75154
154.03/77.22	c flip 0 nbSat=79222 maxSat=78765
165.21/82.87	c flip 0 nbSat=81883 maxSat=79275
168.80/84.66	c flip 0 nbSat=82826 maxSat=81998
175.78/88.15	c flip 0 nbSat=84226 maxSat=82856
184.96/92.79	c nbDecision=100000 #clauses=85367
192.94/96.75	c flip 0 nbSat=86645 maxSat=84249
202.31/101.40	c flip 0 nbSat=88350 maxSat=86674
204.70/102.68	c flip 0 nbSat=88775 maxSat=88374
207.10/103.83	c flip 0 nbSat=89322 maxSat=88900
233.64/117.12	c nbDecision=110000 #clauses=93738
271.16/135.93	c flip 0 nbSat=99902 maxSat=89364
285.92/143.39	c flip 0 nbSat=102009 maxSat=99938
286.52/143.63	c nbDecision=120000 #clauses=102138
287.32/144.04	c flip 0 nbSat=102262 maxSat=102058
301.29/151.08	c flip 0 nbSat=104231 maxSat=102281
310.46/155.62	c flip 0 nbSat=105573 maxSat=104251
313.86/157.40	c flip 0 nbSat=106039 maxSat=105640
315.46/158.12	c flip 0 nbSat=106230 maxSat=106099
330.82/165.90	c flip 0 nbSat=107957 maxSat=106259
343.99/172.45	c flip 0 nbSat=109602 maxSat=107991
346.39/173.65	c flip 0 nbSat=109903 maxSat=109645
350.17/175.56	c flip 0 nbSat=110269 maxSat=109927
353.76/177.35	c nbDecision=130000 #clauses=110735
367.33/184.17	c flip 0 nbSat=112287 maxSat=110360
403.26/202.18	c flip 0 nbSat=116326 maxSat=112316
426.00/213.58	c nbDecision=140000 #clauses=119400
429.00/215.07	c flip 0 nbSat=119729 maxSat=116366
433.99/217.52	c flip 0 nbSat=120339 maxSat=119765
437.78/219.43	c flip 0 nbSat=120861 maxSat=120384
445.36/223.26	c flip 0 nbSat=121998 maxSat=120892
451.34/226.29	c flip 0 nbSat=122761 maxSat=122012
456.93/229.02	c flip 0 nbSat=123660 maxSat=122813
469.51/235.37	c flip 0 nbSat=125709 maxSat=123688
484.67/242.98	c nbDecision=150000 #clauses=128044
495.85/248.56	c flip 0 nbSat=130147 maxSat=125737
498.63/249.97	c flip 0 nbSat=130393 maxSat=130165
502.23/251.78	c flip 0 nbSat=130792 maxSat=130475
519.00/260.18	c flip 0 nbSat=134213 maxSat=130863
524.18/262.73	c flip 0 nbSat=135610 maxSat=134249
531.36/266.38	c nbDecision=160000 #clauses=136652
540.53/270.94	c flip 0 nbSat=138341 maxSat=135636
549.51/275.42	c flip 0 nbSat=141005 maxSat=138373
558.89/280.13	c flip 0 nbSat=142765 maxSat=141030
566.28/283.81	c flip 0 nbSat=143568 maxSat=142814
572.46/286.99	c flip 0 nbSat=144184 maxSat=143638
578.45/289.99	c nbDecision=170000 #clauses=145332
580.84/291.18	c flip 0 nbSat=145830 maxSat=144204
591.83/296.62	c flip 0 nbSat=147841 maxSat=145908
595.42/298.40	c flip 0 nbSat=148222 maxSat=147868
604.40/302.98	c flip 0 nbSat=149438 maxSat=148250
613.58/307.51	c flip 0 nbSat=150534 maxSat=149475
640.91/321.21	c nbDecision=180000 #clauses=153707
641.90/321.76	c flip 0 nbSat=153856 maxSat=150576
658.47/330.08	c flip 0 nbSat=157337 maxSat=153877
676.63/339.12	c flip 0 nbSat=160058 maxSat=157368
688.80/345.27	c nbDecision=190000 #clauses=162157
696.18/348.98	c flip 0 nbSat=162995 maxSat=160087
720.52/361.11	c flip 0 nbSat=165216 maxSat=163036
731.29/366.54	c flip 0 nbSat=167033 maxSat=165253
746.66/374.23	c flip 0 nbSat=169246 maxSat=167070
757.24/379.58	c nbDecision=200000 #clauses=170550
762.63/382.28	c flip 0 nbSat=171014 maxSat=169279
778.79/390.34	c flip 0 nbSat=172444 maxSat=171058
811.51/406.78	c flip 0 nbSat=175904 maxSat=172466
819.89/410.94	c flip 0 nbSat=176784 maxSat=175940
832.26/417.12	c flip 0 nbSat=178092 maxSat=176878
843.43/422.73	c flip 0 nbSat=179024 maxSat=178151
843.83/422.98	c nbDecision=210000 #clauses=179098
876.17/439.17	c flip 0 nbSat=183201 maxSat=179041
889.54/445.85	c flip 0 nbSat=184142 maxSat=183246
893.73/447.96	c flip 0 nbSat=184459 maxSat=184179
928.84/465.59	c flip 0 nbSat=187129 maxSat=184497
937.42/469.84	c nbDecision=220000 #clauses=187791
953.99/478.14	c flip 0 nbSat=189285 maxSat=187185
959.58/480.90	c flip 0 nbSat=189644 maxSat=189316
973.54/487.92	c flip 0 nbSat=190802 maxSat=189872
984.52/493.41	c flip 0 nbSat=191868 maxSat=190839
1004.66/503.57	c flip 0 nbSat=193635 maxSat=191924
1039.39/520.97	c nbDecision=230000 #clauses=196503
1039.59/521.06	c flip 0 nbSat=196489 maxSat=193716
1053.95/528.25	c flip 0 nbSat=197729 maxSat=196517
1065.53/534.05	c flip 0 nbSat=199365 maxSat=197850
1117.60/560.19	c flip 0 nbSat=203677 maxSat=199387
1136.17/569.46	c flip 0 nbSat=204706 maxSat=203772
1136.17/569.50	c nbDecision=240000 #clauses=204975
1154.93/578.88	c flip 0 nbSat=206725 maxSat=204959
1162.91/582.83	c flip 0 nbSat=207547 maxSat=206770

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/node76/watcher-328517-1173112087 -o ROOT/results/node76/solver-328517-1173112087 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328517-1173112087/ornithorynque /tmp/evaluation/328517-1173112087/instance-328517-1173112087.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 2/69 28638
/proc/meminfo: memFree=1299896/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=23232 CPUtime=0
/proc/28638/stat : 28638 (ornithorynque) R 28636 28638 27763 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 331167024 23789568 268 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206841088725 0 0 4096 0 0 0 0 17 1 0 0
/proc/28638/statm: 5808 268 221 42 0 45 0

[startup+0.0894309 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 28638
/proc/meminfo: memFree=1299896/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=44960 CPUtime=0.16
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 600 0 0 0 16 0 0 0 18 0 3 0 331167024 46039040 562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 11240 562 384 42 0 5490 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 44960

[startup+0.101432 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 28638
/proc/meminfo: memFree=1299896/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=44960 CPUtime=0.18
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 607 0 0 0 18 0 0 0 18 0 3 0 331167024 46039040 569 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 11240 569 384 42 0 5490 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 44960

[startup+0.301454 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 28638
/proc/meminfo: memFree=1299896/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=45228 CPUtime=0.58
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 728 0 0 0 58 0 0 0 18 0 3 0 331167024 46313472 690 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 11307 690 384 42 0 5557 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45228

[startup+0.701501 s]
/proc/loadavg: 1.83 1.94 1.90 2/69 28638
/proc/meminfo: memFree=1299896/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=45524 CPUtime=1.38
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 888 0 0 0 138 0 0 0 18 0 3 0 331167024 46616576 850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 11381 850 384 42 0 5631 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 45524

[startup+1.5016 s]
/proc/loadavg: 1.83 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1297568/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=47088 CPUtime=2.98
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 1106 0 0 0 298 0 0 0 18 0 3 0 331167024 48218112 1068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 11772 1068 384 42 0 6022 0
[pid=28638/tid=28640] ppid=28636 vsize=47088 CPUtime=1.49
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 385 0 0 0 149 0 0 0 25 0 3 0 331167025 48218112 1068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313887 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=47088 CPUtime=1.48
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 228 0 0 0 148 0 0 0 25 0 3 0 331167025 48218112 1068 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4282845 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 47088

[startup+3.10178 s]
/proc/loadavg: 1.85 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1296416/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=48612 CPUtime=6.18
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 1420 0 0 0 617 1 0 0 18 0 3 0 331167024 49778688 1382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 12153 1382 384 42 0 6403 0
[pid=28638/tid=28640] ppid=28636 vsize=48612 CPUtime=3.08
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 584 0 0 0 308 0 0 0 25 0 3 0 331167025 49778688 1382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=48612 CPUtime=3.08
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 343 0 0 0 308 0 0 0 25 0 3 0 331167025 49778688 1382 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241061 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 48612

[startup+6.30115 s]
/proc/loadavg: 1.85 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1294048/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=50492 CPUtime=12.55
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 1949 0 0 0 1254 1 0 0 18 0 3 0 331167024 51703808 1845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 12623 1845 384 42 0 6873 0
[pid=28638/tid=28640] ppid=28636 vsize=50492 CPUtime=6.28
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 948 0 0 0 628 0 0 0 25 0 3 0 331167025 51703808 1845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=50492 CPUtime=6.26
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 508 0 0 0 626 0 0 0 25 0 3 0 331167025 51703808 1845 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 50492

[startup+12.7029 s]
/proc/loadavg: 1.87 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1291168/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=54024 CPUtime=25.33
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 2762 0 0 0 2531 2 0 0 18 0 3 0 331167024 55320576 2560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 13506 2560 384 42 0 7756 0
[pid=28638/tid=28640] ppid=28636 vsize=54024 CPUtime=12.68
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 1495 0 0 0 1267 1 0 0 25 0 3 0 331167025 55320576 2560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=54024 CPUtime=12.63
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 774 0 0 0 1263 0 0 0 25 0 3 0 331167025 55320576 2560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 54024

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1286688/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=58648 CPUtime=50.87
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 3945 0 0 0 5084 3 0 0 18 0 3 0 331167024 60055552 3645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 14662 3645 384 42 0 8912 0
[pid=28638/tid=28640] ppid=28636 vsize=58648 CPUtime=25.48
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 2159 0 0 0 2546 2 0 0 25 0 3 0 331167025 60055552 3645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206881617264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=58648 CPUtime=25.37
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 1293 0 0 0 2537 0 0 0 25 0 3 0 331167025 60055552 3645 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 58648

[startup+51.1013 s]
/proc/loadavg: 1.93 1.94 1.90 3/72 28641
/proc/meminfo: memFree=1282848/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=64064 CPUtime=101.94
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 5372 0 0 0 10191 3 0 0 18 0 3 0 331167024 65601536 4650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 16016 4650 384 42 0 10266 0
[pid=28638/tid=28640] ppid=28636 vsize=64064 CPUtime=51.07
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 2989 0 0 0 5105 2 0 0 21 0 3 0 331167025 65601536 4650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=64064 CPUtime=50.86
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 1890 0 0 0 5086 0 0 0 25 0 3 0 331167025 65601536 4650 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285876 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 64064

[startup+102.305 s]
/proc/loadavg: 2.01 1.97 1.91 3/72 28641
/proc/meminfo: memFree=1277472/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=69504 CPUtime=204.11
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 6942 0 0 0 20406 5 0 0 18 0 3 0 331167024 71172096 5925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 17376 5925 384 42 0 11626 0
[pid=28638/tid=28640] ppid=28636 vsize=69504 CPUtime=102.26
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 3820 0 0 0 10222 4 0 0 24 0 3 0 331167025 71172096 5925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=69504 CPUtime=101.84
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 2629 0 0 0 10184 0 0 0 25 0 3 0 331167025 71172096 5925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283692 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 69504

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/72 28641
/proc/meminfo: memFree=1273248/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=73936 CPUtime=323.84
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 8182 0 0 0 32378 6 0 0 18 0 3 0 331167024 75710464 6957 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 18484 6957 384 42 0 12734 0
[pid=28638/tid=28640] ppid=28636 vsize=73936 CPUtime=162.23
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 4564 0 0 0 16219 4 0 0 25 0 3 0 331167025 75710464 6957 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=73936 CPUtime=161.59
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 3125 0 0 0 16158 1 0 0 25 0 3 0 331167025 75710464 6957 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241156 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.84
Current children cumulated vsize (KiB) 73936

[startup+222.302 s]
/proc/loadavg: 2.03 1.99 1.91 3/72 28641
/proc/meminfo: memFree=1269856/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=77956 CPUtime=443.56
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 9272 0 0 0 44349 7 0 0 18 0 3 0 331167024 79826944 7784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 19489 7784 384 42 0 13739 0
[pid=28638/tid=28640] ppid=28636 vsize=77956 CPUtime=222.22
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 5170 0 0 0 22217 5 0 0 25 0 3 0 331167025 79826944 7784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=77956 CPUtime=221.32
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 3609 0 0 0 22131 1 0 0 25 0 3 0 331167025 79826944 7784 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.56
Current children cumulated vsize (KiB) 77956

[startup+282.302 s]
/proc/loadavg: 2.01 1.99 1.91 3/72 28641
/proc/meminfo: memFree=1264544/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=86632 CPUtime=563.28
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 11659 0 0 0 56319 9 0 0 18 0 3 0 331167024 88711168 9117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 21658 9117 384 42 0 15908 0
[pid=28638/tid=28640] ppid=28636 vsize=86632 CPUtime=282.21
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 6691 0 0 0 28214 7 0 0 25 0 3 0 331167025 88711168 9117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=86632 CPUtime=281.06
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 4475 0 0 0 28104 2 0 0 25 0 3 0 331167025 88711168 9117 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.28
Current children cumulated vsize (KiB) 86632

[startup+342.302 s]
/proc/loadavg: 2.06 2.00 1.92 3/72 28641
/proc/meminfo: memFree=1260128/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=91260 CPUtime=683.01
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 13097 0 0 0 68290 11 0 0 18 0 3 0 331167024 93450240 10194 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 22815 10194 384 42 0 17065 0
[pid=28638/tid=28640] ppid=28636 vsize=91260 CPUtime=342.19
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 7643 0 0 0 34211 8 0 0 25 0 3 0 331167025 93450240 10194 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=91260 CPUtime=340.81
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 4961 0 0 0 34079 2 0 0 25 0 3 0 331167025 93450240 10194 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241019 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (KiB) 91260

[startup+402.302 s]
/proc/loadavg: 2.02 2.00 1.92 3/72 28641
/proc/meminfo: memFree=1256928/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=93596 CPUtime=802.74
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 13947 0 0 0 80262 12 0 0 18 0 3 0 331167024 95842304 11011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 23399 11011 384 42 0 17649 0
[pid=28638/tid=28640] ppid=28636 vsize=93596 CPUtime=402.18
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 8176 0 0 0 40209 9 0 0 25 0 3 0 331167025 95842304 11011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=93596 CPUtime=400.55
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 5278 0 0 0 40053 2 0 0 25 0 3 0 331167025 95842304 11011 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.74
Current children cumulated vsize (KiB) 93596

[startup+462.302 s]
/proc/loadavg: 2.06 2.01 1.93 3/72 28641
/proc/meminfo: memFree=1253664/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=98672 CPUtime=922.45
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 15322 0 0 0 92232 13 0 0 18 0 3 0 331167024 101040128 11778 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 24668 11778 384 42 0 18918 0
[pid=28638/tid=28640] ppid=28636 vsize=98672 CPUtime=462.16
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 8795 0 0 0 46206 10 0 0 25 0 3 0 331167025 101040128 11778 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=98672 CPUtime=460.27
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 6034 0 0 0 46025 2 0 0 25 0 3 0 331167025 101040128 11778 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.45
Current children cumulated vsize (KiB) 98672

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/72 28641
/proc/meminfo: memFree=1251296/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=101636 CPUtime=1042.18
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 16294 0 0 0 104203 15 0 0 18 0 3 0 331167024 104075264 12423 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 25409 12423 384 42 0 19659 0
[pid=28638/tid=28640] ppid=28636 vsize=101636 CPUtime=522.14
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 9334 0 0 0 52203 11 0 0 25 0 3 0 331167025 104075264 12423 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312036 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=101636 CPUtime=520.02
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 6467 0 0 0 51999 3 0 0 25 0 3 0 331167025 104075264 12423 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242179 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.18
Current children cumulated vsize (KiB) 101636

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/72 28641
/proc/meminfo: memFree=1248864/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=103828 CPUtime=1161.91
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 17080 0 0 0 116175 16 0 0 18 0 3 0 331167024 106319872 13045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 25957 13045 384 42 0 20207 0
[pid=28638/tid=28640] ppid=28636 vsize=103828 CPUtime=582.13
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 9814 0 0 0 58201 12 0 0 25 0 3 0 331167025 106319872 13045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=103828 CPUtime=579.77
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 6773 0 0 0 57974 3 0 0 25 0 3 0 331167025 106319872 13045 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285876 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.91
Current children cumulated vsize (KiB) 103828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 2.08 2.02 1.93 3/72 28641
/proc/meminfo: memFree=1248096/2055888 swapFree=4087252/4096564
[pid=28638] ppid=28636 vsize=104084 CPUtime=1200.02
/proc/28638/stat : 28638 (ornithorynque) S 28636 28638 27763 0 -1 4194304 17298 0 0 0 119986 16 0 0 18 0 3 0 331167024 106582016 13198 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28638/statm: 26021 13198 384 42 0 20271 0
[pid=28638/tid=28640] ppid=28636 vsize=104084 CPUtime=601.22
/proc/28638/task/28640/stat : 28640 (ornithorynque) R 28636 28638 27763 0 -1 4194368 9952 0 0 0 60110 12 0 0 25 0 3 0 331167025 106582016 13198 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28638/tid=28641] ppid=28636 vsize=104084 CPUtime=598.77
/proc/28638/task/28641/stat : 28641 (ornithorynque) R 28636 28638 27763 0 -1 4194368 6853 0 0 0 59874 3 0 0 25 0 3 0 331167025 106582016 13198 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 104084

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.423
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.173973
CPU usage (%): 199.535
Max. virtual memory (cumulated for all children) (KiB): 104084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17298
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= 23
involuntary context switches= 9217

runsolver used 0.547916 second user time and 1.65775 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Mon Mar  5 16:28:07 UTC 2007

IDJOB= 328517
IDBENCH= 20439
IDSOLVER= 139
FILE ID= node76/328517-1173112087

PBS_JOBID= 4013926

Free space on /tmp= 66649 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s89-100.cnf
COMMAND LINE= /tmp/evaluation/328517-1173112087/ornithorynque /tmp/evaluation/328517-1173112087/instance-328517-1173112087.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-328517-1173112087 -o ROOT/results/node76/solver-328517-1173112087 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328517-1173112087/ornithorynque /tmp/evaluation/328517-1173112087/instance-328517-1173112087.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  a1c857f1db1ccfc50e10a8a9bb41e428

RANDOM SEED= 251870450

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1300432 kB
Buffers:         32268 kB
Cached:         646324 kB
SwapCached:       2836 kB
Active:         173440 kB
Inactive:       516172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1300432 kB
SwapTotal:     4096564 kB
SwapFree:      4087252 kB
Dirty:             312 kB
Writeback:           0 kB
Mapped:          16920 kB
Slab:            52188 kB
Committed_AS:  1144660 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66649 MiB

End job on node76 on Mon Mar  5 16:38:11 UTC 2007