Trace number 328330

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ornithorynque 0.1 alpha? (TO) 1200.15 601.63

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
MD5SUMf5ec9b90345d9fa1e04d84b615d8e6ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark397.312
Satisfiable
(Un)Satisfiability was proved
Number of variables4498
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
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.03	c ...done
0.00/0.03	c nbVar=4500 nbClause=12014
0.00/0.04	c nbVar=4500 nbClause=12014
0.00/0.04	c complete search running
0.00/0.04	c local search running
0.00/0.05	c flip 0 nbSat=10029 maxSat=0
0.14/0.10	c flip 10000 nbSat=11719 maxSat=11734
0.14/0.14	c flip 20000 nbSat=11798 maxSat=11813
0.14/0.19	c flip 30000 nbSat=11805 maxSat=11832
0.34/0.24	c flip 40000 nbSat=11853 maxSat=11869
0.34/0.29	c flip 50000 nbSat=11838 maxSat=11870
0.54/0.33	c flip 60000 nbSat=11858 maxSat=11876
0.54/0.38	c flip 70000 nbSat=11876 maxSat=11887
0.74/0.43	c flip 80000 nbSat=11878 maxSat=11887
0.74/0.48	c flip 0 nbSat=11300 maxSat=11887
0.94/0.57	c flip 10000 nbSat=12862 maxSat=12884
1.14/0.66	c flip 20000 nbSat=12951 maxSat=12969
1.34/0.75	c flip 30000 nbSat=12964 maxSat=12983
1.55/0.84	c flip 40000 nbSat=12998 maxSat=13018
1.74/0.94	c flip 50000 nbSat=13013 maxSat=13022
1.95/1.04	c flip 60000 nbSat=13005 maxSat=13023
2.15/1.14	c flip 70000 nbSat=13004 maxSat=13029
2.34/1.25	c flip 80000 nbSat=13027 maxSat=13035
2.54/1.35	c flip 0 nbSat=13104 maxSat=13040
2.94/1.52	c flip 10000 nbSat=14783 maxSat=14799
3.14/1.68	c flip 20000 nbSat=14875 maxSat=14879
3.54/1.87	c flip 30000 nbSat=14891 maxSat=14922
3.94/2.05	c flip 40000 nbSat=14928 maxSat=14945
4.34/2.25	c flip 50000 nbSat=14945 maxSat=14961
4.73/2.43	c flip 60000 nbSat=14939 maxSat=14961
5.13/2.61	c flip 70000 nbSat=14931 maxSat=14961
5.53/2.81	c flip 80000 nbSat=14937 maxSat=14961
5.93/3.02	c flip 0 nbSat=15844 maxSat=14963
6.33/3.24	c nbDecision=10000 #clauses=18128
6.53/3.33	c flip 10000 nbSat=17531 maxSat=17533
7.12/3.67	c flip 20000 nbSat=17617 maxSat=17637
7.92/4.03	c flip 30000 nbSat=17651 maxSat=17666
8.53/4.39	c flip 40000 nbSat=17661 maxSat=17669
9.32/4.72	c flip 50000 nbSat=17652 maxSat=17681
9.92/5.06	c flip 60000 nbSat=17648 maxSat=17691
10.72/5.44	c flip 70000 nbSat=17650 maxSat=17691
11.51/5.81	c flip 80000 nbSat=17658 maxSat=17691
12.12/6.15	c flip 0 nbSat=19562 maxSat=17691
13.12/6.65	c flip 10000 nbSat=21288 maxSat=21289
14.32/7.27	c flip 20000 nbSat=21368 maxSat=21388
15.90/8.09	c flip 30000 nbSat=21387 maxSat=21405
17.51/8.85	c flip 40000 nbSat=21371 maxSat=21409
18.30/9.26	c nbDecision=20000 #clauses=24610
18.90/9.58	c flip 50000 nbSat=21382 maxSat=21413
20.49/10.33	c flip 60000 nbSat=21386 maxSat=21413
21.89/11.08	c flip 70000 nbSat=21395 maxSat=21413
23.28/11.79	c flip 80000 nbSat=21386 maxSat=21413
24.88/12.59	c flip 0 nbSat=25245 maxSat=21424
26.88/13.52	c flip 10000 nbSat=26934 maxSat=26957
28.87/14.59	c flip 20000 nbSat=27008 maxSat=27015
31.47/15.80	c flip 30000 nbSat=27029 maxSat=27059
33.87/17.08	c flip 40000 nbSat=27036 maxSat=27059
36.26/18.21	c flip 50000 nbSat=27068 maxSat=27074
36.46/18.37	c nbDecision=30000 #clauses=31348
38.45/19.32	c flip 60000 nbSat=27057 maxSat=27082
40.65/20.46	c flip 70000 nbSat=27056 maxSat=27091
42.84/21.56	c flip 80000 nbSat=27091 maxSat=27098
45.24/22.77	c flip 0 nbSat=32458 maxSat=27107
48.83/24.53	c flip 10000 nbSat=34085 maxSat=34096
53.02/26.65	c flip 20000 nbSat=34157 maxSat=34188
57.61/28.90	c flip 30000 nbSat=34191 maxSat=34208
58.21/29.27	c nbDecision=40000 #clauses=38114
61.60/30.96	c flip 40000 nbSat=34194 maxSat=34227
65.99/33.18	c flip 50000 nbSat=34192 maxSat=34233
70.38/35.36	c flip 60000 nbSat=34198 maxSat=34242
74.77/37.58	c flip 70000 nbSat=34213 maxSat=34242
79.16/39.72	c flip 80000 nbSat=34229 maxSat=34244
83.75/42.06	c flip 0 nbSat=42448 maxSat=34251
86.55/43.45	c nbDecision=50000 #clauses=45136
89.34/44.84	c flip 10000 nbSat=44108 maxSat=44114
96.32/48.32	c flip 20000 nbSat=44157 maxSat=44178
103.11/51.80	c flip 30000 nbSat=44196 maxSat=44221
109.69/55.06	c flip 40000 nbSat=44209 maxSat=44226
116.47/58.45	c flip 50000 nbSat=44216 maxSat=44234
120.86/60.67	c nbDecision=60000 #clauses=52166
122.46/61.46	c flip 60000 nbSat=44219 maxSat=44243
128.85/64.60	c flip 70000 nbSat=44220 maxSat=44248
135.23/67.82	c flip 80000 nbSat=44254 maxSat=44266
140.82/70.67	c flip 0 nbSat=53734 maxSat=44266
148.40/74.40	c flip 10000 nbSat=55413 maxSat=55423
157.18/78.88	c flip 20000 nbSat=55507 maxSat=55512
157.79/79.16	c nbDecision=70000 #clauses=59077
166.96/83.71	c flip 30000 nbSat=55500 maxSat=55531
176.54/88.54	c flip 40000 nbSat=55525 maxSat=55557
188.11/94.35	c flip 50000 nbSat=55550 maxSat=55563
195.49/98.05	c nbDecision=80000 #clauses=65982
198.88/99.71	c flip 60000 nbSat=55543 maxSat=55577
208.06/104.35	c flip 70000 nbSat=55569 maxSat=55577
219.83/110.21	c flip 80000 nbSat=55557 maxSat=55577
230.01/115.31	c flip 0 nbSat=69205 maxSat=55579
241.39/121.07	c flip 10000 nbSat=70834 maxSat=70851
243.58/122.16	c nbDecision=90000 #clauses=72884
256.36/128.55	c flip 20000 nbSat=70932 maxSat=70942
271.32/136.04	c flip 30000 nbSat=70933 maxSat=70976
287.08/143.96	c flip 40000 nbSat=70991 maxSat=71000
305.83/153.34	c flip 50000 nbSat=71009 maxSat=71015
309.23/155.10	c nbDecision=100000 #clauses=79605
323.39/162.14	c flip 60000 nbSat=70996 maxSat=71026
339.76/170.30	c flip 70000 nbSat=71003 maxSat=71028
354.93/177.90	c flip 80000 nbSat=70986 maxSat=71028
370.89/185.92	c flip 0 nbSat=83494 maxSat=71035
377.67/189.37	c nbDecision=110000 #clauses=86300
385.84/193.42	c flip 10000 nbSat=85226 maxSat=85227
403.21/202.15	c flip 20000 nbSat=85282 maxSat=85312
422.77/211.95	c flip 30000 nbSat=85335 maxSat=85346
434.14/217.63	c nbDecision=120000 #clauses=92997
444.72/222.97	c flip 40000 nbSat=85354 maxSat=85372
465.07/233.11	c flip 50000 nbSat=85341 maxSat=85383
487.41/244.35	c flip 60000 nbSat=85349 maxSat=85383
499.59/250.43	c nbDecision=130000 #clauses=99790
511.38/256.34	c flip 70000 nbSat=85365 maxSat=85383
533.52/267.47	c flip 80000 nbSat=85376 maxSat=85390
557.26/279.36	c flip 0 nbSat=102642 maxSat=85391
576.60/289.04	c flip 10000 nbSat=104302 maxSat=104332
585.55/293.50	c nbDecision=140000 #clauses=106696
596.48/299.00	c flip 20000 nbSat=104388 maxSat=104433
614.44/308.09	c flip 30000 nbSat=104441 maxSat=104469
638.93/320.39	c flip 40000 nbSat=104453 maxSat=104472
654.88/328.33	c nbDecision=150000 #clauses=113466
663.85/332.82	c flip 50000 nbSat=104454 maxSat=104483
685.38/343.60	c flip 60000 nbSat=104458 maxSat=104483
703.92/352.96	c flip 70000 nbSat=104467 maxSat=104483
723.04/362.56	c flip 80000 nbSat=104451 maxSat=104489
731.62/366.88	c nbDecision=160000 #clauses=120380
742.59/372.35	c flip 0 nbSat=119216 maxSat=104498
766.70/384.48	c flip 10000 nbSat=120884 maxSat=120886
797.03/399.69	c flip 20000 nbSat=120996 maxSat=121000
818.38/410.33	c nbDecision=170000 #clauses=127392
826.96/414.67	c flip 30000 nbSat=121025 maxSat=121041
857.89/430.11	c flip 40000 nbSat=121036 maxSat=121055
888.82/445.63	c flip 50000 nbSat=121058 maxSat=121078
900.19/451.36	c nbDecision=180000 #clauses=134195
916.96/459.72	c flip 60000 nbSat=121055 maxSat=121078
946.88/474.73	c flip 70000 nbSat=121043 maxSat=121078
984.20/493.42	c flip 80000 nbSat=121025 maxSat=121078
990.38/496.57	c nbDecision=190000 #clauses=141126
1020.71/511.79	c flip 0 nbSat=141415 maxSat=121078
1049.64/526.21	c flip 10000 nbSat=143125 maxSat=143134
1074.80/538.80	c nbDecision=200000 #clauses=147917
1085.76/544.31	c flip 20000 nbSat=143181 maxSat=143216
1120.88/561.96	c flip 30000 nbSat=143260 maxSat=143270
1153.41/578.26	c flip 40000 nbSat=143248 maxSat=143271
1167.38/585.29	c nbDecision=210000 #clauses=154583
1190.12/596.61	c flip 50000 nbSat=143266 maxSat=143288

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17872
/proc/meminfo: memFree=1096528/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=23220 CPUtime=0
/proc/17872/stat : 17872 (ornithorynque) R 17870 17872 17317 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330971070 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237785615633 0 0 4096 0 0 0 0 17 1 0 0
/proc/17872/statm: 5805 267 220 42 0 45 0

[startup+0.055896 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17872
/proc/meminfo: memFree=1096528/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=46700 CPUtime=0.05
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1183 0 0 0 5 0 0 0 18 0 3 0 330971070 47820800 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 11675 1144 387 42 0 5927 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 46700

[startup+0.101905 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17872
/proc/meminfo: memFree=1096528/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=46700 CPUtime=0.14
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1183 0 0 0 14 0 0 0 18 0 3 0 330971070 47820800 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 11675 1144 387 42 0 5927 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46700

[startup+0.301922 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17872
/proc/meminfo: memFree=1096528/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=46700 CPUtime=0.54
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1212 0 0 0 54 0 0 0 18 0 3 0 330971070 47820800 1173 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 11675 1173 387 42 0 5927 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 46700

[startup+0.701969 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 17872
/proc/meminfo: memFree=1096528/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=48128 CPUtime=1.34
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1328 0 0 0 134 0 0 0 18 0 3 0 330971070 49283072 1289 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 12032 1289 387 42 0 6284 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 48128

[startup+1.50206 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1092536/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=48656 CPUtime=2.94
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1546 0 0 0 294 0 0 0 18 0 3 0 330971070 49823744 1507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 12164 1507 387 42 0 6416 0
[pid=17872/tid=17874] ppid=17870 vsize=48656 CPUtime=1.45
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 203 0 0 0 145 0 0 0 25 0 3 0 330971075 49823744 1507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312072 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=48656 CPUtime=1.44
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 180 0 0 0 144 0 0 0 17 0 3 0 330971075 49823744 1507 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241405 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 48656

[startup+3.10123 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1091320/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=49828 CPUtime=6.13
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 1937 0 0 0 613 0 0 0 18 0 3 0 330971070 51023872 1832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 12457 1832 387 42 0 6709 0
[pid=17872/tid=17874] ppid=17870 vsize=49828 CPUtime=3.04
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 401 0 0 0 304 0 0 0 17 0 3 0 330971075 51023872 1832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311157 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=49828 CPUtime=3.04
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 373 0 0 0 304 0 0 0 17 0 3 0 330971075 51023872 1832 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 49828

[startup+6.30158 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1089592/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=51764 CPUtime=12.52
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 2468 0 0 0 1251 1 0 0 18 0 3 0 330971070 53006336 2363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 12941 2363 387 42 0 7193 0
[pid=17872/tid=17874] ppid=17870 vsize=51764 CPUtime=6.24
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 649 0 0 0 624 0 0 0 25 0 3 0 330971075 53006336 2363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311148 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=51764 CPUtime=6.22
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 656 0 0 0 622 0 0 0 18 0 3 0 330971075 53006336 2363 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 51764

[startup+12.7013 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1086968/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=55048 CPUtime=25.28
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 3100 0 0 0 2527 1 0 0 18 0 3 0 330971070 56369152 2995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 13762 2995 387 42 0 8014 0
[pid=17872/tid=17874] ppid=17870 vsize=55048 CPUtime=12.63
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 970 0 0 0 1263 0 0 0 25 0 3 0 330971075 56369152 2995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=55048 CPUtime=12.58
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 967 0 0 0 1258 0 0 0 17 0 3 0 330971075 56369152 2995 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 55048

[startup+25.5027 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1081784/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=58952 CPUtime=50.82
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 4208 0 0 0 5080 2 0 0 18 0 3 0 330971070 60366848 3973 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 14738 3973 387 42 0 8990 0
[pid=17872/tid=17874] ppid=17870 vsize=58952 CPUtime=25.44
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 1640 0 0 0 2543 1 0 0 25 0 3 0 330971075 60366848 3973 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=58952 CPUtime=25.33
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 1405 0 0 0 2533 0 0 0 25 0 3 0 330971075 60366848 3973 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242148 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 58952

[startup+51.1014 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 17875
/proc/meminfo: memFree=1075640/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=66424 CPUtime=101.9
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 5790 0 0 0 10186 4 0 0 18 0 3 0 330971070 68018176 5508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 16606 5508 387 42 0 10858 0
[pid=17872/tid=17874] ppid=17870 vsize=66424 CPUtime=51.03
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 2632 0 0 0 5100 3 0 0 25 0 3 0 330971075 68018176 5508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=66424 CPUtime=50.83
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 1995 0 0 0 5082 1 0 0 25 0 3 0 330971075 68018176 5508 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 66424

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 17875
/proc/meminfo: memFree=1067576/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=74212 CPUtime=204.07
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 7881 0 0 0 20401 6 0 0 18 0 3 0 330971070 75993088 7470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 18553 7470 387 42 0 12805 0
[pid=17872/tid=17874] ppid=17870 vsize=74212 CPUtime=102.21
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 4178 0 0 0 10217 4 0 0 25 0 3 0 330971075 75993088 7470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=74212 CPUtime=101.8
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 2540 0 0 0 10179 1 0 0 25 0 3 0 330971075 75993088 7470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241821 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 74212

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 17875
/proc/meminfo: memFree=1059832/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=83272 CPUtime=323.79
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 10005 0 0 0 32371 8 0 0 18 0 3 0 330971070 85270528 9404 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 20818 9404 387 42 0 15070 0
[pid=17872/tid=17874] ppid=17870 vsize=83272 CPUtime=162.19
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 5267 0 0 0 16213 6 0 0 25 0 3 0 330971075 85270528 9404 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314320 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=83272 CPUtime=161.54
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 3575 0 0 0 16153 1 0 0 25 0 3 0 330971075 85270528 9404 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.79
Current children cumulated vsize (KiB) 83272

[startup+222.303 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 17875
/proc/meminfo: memFree=1053624/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=89812 CPUtime=443.52
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 11668 0 0 0 44342 10 0 0 18 0 3 0 330971070 91967488 10935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 22453 10935 387 42 0 16705 0
[pid=17872/tid=17874] ppid=17870 vsize=89812 CPUtime=222.18
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 6169 0 0 0 22210 8 0 0 25 0 3 0 330971075 91967488 10935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=89812 CPUtime=221.28
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 4336 0 0 0 22127 1 0 0 25 0 3 0 330971075 91967488 10935 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 89812

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 17875
/proc/meminfo: memFree=1047288/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=98064 CPUtime=563.24
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 13533 0 0 0 56313 11 0 0 18 0 3 0 330971070 100417536 12543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 24516 12543 387 42 0 18768 0
[pid=17872/tid=17874] ppid=17870 vsize=98064 CPUtime=282.17
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 7070 0 0 0 28208 9 0 0 25 0 3 0 330971075 100417536 12543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=98064 CPUtime=281.03
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 5300 0 0 0 28101 2 0 0 25 0 3 0 330971075 100417536 12543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283678 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.24
Current children cumulated vsize (KiB) 98064

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 18009
/proc/meminfo: memFree=1042888/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=100948 CPUtime=682.79
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 14302 0 0 0 68257 22 0 0 18 0 3 0 330971070 103370752 13312 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 25237 13312 387 42 0 19489 0
[pid=17872/tid=17874] ppid=17870 vsize=100948 CPUtime=342.01
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 7839 0 0 0 34192 9 0 0 25 0 3 0 330971075 103370752 13312 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311871 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=100948 CPUtime=340.72
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 5300 0 0 0 34060 12 0 0 25 0 3 0 330971075 103370752 13312 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.79
Current children cumulated vsize (KiB) 100948

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18073
/proc/meminfo: memFree=1037816/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=106888 CPUtime=802.42
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 16040 0 0 0 80214 28 0 0 18 0 3 0 330971070 109453312 14866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 26722 14866 387 42 0 20974 0
[pid=17872/tid=17874] ppid=17870 vsize=106888 CPUtime=401.92
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 8588 0 0 0 40182 10 0 0 25 0 3 0 330971075 109453312 14866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=106888 CPUtime=400.44
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 6289 0 0 0 40027 17 0 0 25 0 3 0 330971075 109453312 14866 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284373 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.42
Current children cumulated vsize (KiB) 106888

[startup+462.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18073
/proc/meminfo: memFree=1034616/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=111000 CPUtime=922.14
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 17070 0 0 0 92184 30 0 0 18 0 3 0 330971070 113664000 15639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 27750 15639 387 42 0 22002 0
[pid=17872/tid=17874] ppid=17870 vsize=111000 CPUtime=461.9
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 9618 0 0 0 46178 12 0 0 25 0 3 0 330971075 113664000 15639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=111000 CPUtime=460.18
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 6289 0 0 0 46001 17 0 0 25 0 3 0 330971075 113664000 15639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.14
Current children cumulated vsize (KiB) 111000

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18073
/proc/meminfo: memFree=1027960/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=121172 CPUtime=1041.86
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 19504 0 0 0 104155 31 0 0 18 0 3 0 330971070 124080128 17357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 30293 17357 387 42 0 24545 0
[pid=17872/tid=17874] ppid=17870 vsize=121172 CPUtime=521.88
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 10278 0 0 0 52176 12 0 0 25 0 3 0 330971075 124080128 17357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=121172 CPUtime=519.92
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 8063 0 0 0 51974 18 0 0 25 0 3 0 330971075 124080128 17357 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.86
Current children cumulated vsize (KiB) 121172

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18073
/proc/meminfo: memFree=1025208/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=123692 CPUtime=1161.6
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 20174 0 0 0 116128 32 0 0 18 0 3 0 330971070 126660608 18027 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 30923 18027 387 42 0 25175 0
[pid=17872/tid=17874] ppid=17870 vsize=123692 CPUtime=581.87
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 10948 0 0 0 58174 13 0 0 25 0 3 0 330971075 126660608 18027 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=123692 CPUtime=579.67
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 8063 0 0 0 57949 18 0 0 25 0 3 0 330971075 126660608 18027 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241806 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 123692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 18073
/proc/meminfo: memFree=1024504/2055920 swapFree=4144152/4192956
[pid=17872] ppid=17870 vsize=124344 CPUtime=1200.11
/proc/17872/stat : 17872 (ornithorynque) S 17870 17872 17317 0 -1 4194304 20337 0 0 0 119979 32 0 0 18 0 3 0 330971070 127328256 18190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/17872/statm: 31086 18190 387 42 0 25338 0
[pid=17872/tid=17874] ppid=17870 vsize=124344 CPUtime=601.17
/proc/17872/task/17874/stat : 17874 (ornithorynque) R 17870 17872 17317 0 -1 4194368 11111 0 0 0 60104 13 0 0 25 0 3 0 330971075 127328256 18190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=17872/tid=17875] ppid=17870 vsize=124344 CPUtime=598.88
/proc/17872/task/17875/stat : 17875 (ornithorynque) R 17870 17872 17317 0 -1 4194368 8063 0 0 0 59870 18 0 0 25 0 3 0 330971075 127328256 18190 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 124344

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.63
CPU time (s): 1200.15
CPU user time (s): 1199.81
CPU system time (s): 0.336948
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 124344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.81
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20337
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= 101
involuntary context switches= 9572

runsolver used 0.640902 second user time and 1.56976 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Mar  5 15:56:08 UTC 2007

IDJOB= 328330
IDBENCH= 20241
IDSOLVER= 139
FILE ID= node24/328330-1173110168

PBS_JOBID= 4013905

Free space on /tmp= 66540 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
COMMAND LINE= /tmp/evaluation/328330-1173110168/ornithorynque /tmp/evaluation/328330-1173110168/instance-328330-1173110168.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-328330-1173110168 -o ROOT/results/node24/solver-328330-1173110168 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328330-1173110168/ornithorynque /tmp/evaluation/328330-1173110168/instance-328330-1173110168.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f5ec9b90345d9fa1e04d84b615d8e6ed

RANDOM SEED= 971048750

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.232
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.232
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:       1096936 kB
Buffers:         38124 kB
Cached:         848028 kB
SwapCached:       3764 kB
Active:         193700 kB
Inactive:       702088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1096936 kB
SwapTotal:     4192956 kB
SwapFree:      4144152 kB
Dirty:             448 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            48772 kB
Committed_AS:   907112 kB
PageTables:       1732 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= 66540 MiB

End job on node24 on Mon Mar  5 16:06:12 UTC 2007