Trace number 328309

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.1 601.627

General information on the benchmark

Namerandom/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
MD5SUM34b5792021dd848a8af4ebefee6dfe73
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.154975
Satisfiable
(Un)Satisfiability was proved
Number of variables3497
Number of clauses9344
Sum of the clauses size25229
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22803
Number of clauses of size 36541
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.02	c ...done
0.00/0.02	c nbVar=3500 nbClause=9344
0.00/0.03	c nbVar=3500 nbClause=9344
0.02/0.04	c complete search running
0.02/0.04	c local search running
0.02/0.04	c flip 0 nbSat=7798 maxSat=0
0.02/0.09	c flip 10000 nbSat=9167 maxSat=9178
0.15/0.13	c flip 20000 nbSat=9205 maxSat=9222
0.15/0.18	c flip 30000 nbSat=9219 maxSat=9230
0.35/0.22	c flip 40000 nbSat=9228 maxSat=9239
0.35/0.27	c flip 50000 nbSat=9232 maxSat=9240
0.55/0.31	c flip 60000 nbSat=9242 maxSat=9251
0.55/0.36	c flip 0 nbSat=8852 maxSat=9255
0.75/0.44	c flip 10000 nbSat=10244 maxSat=10262
0.95/0.53	c flip 20000 nbSat=10309 maxSat=10313
1.15/0.61	c flip 30000 nbSat=10330 maxSat=10332
1.35/0.71	c flip 40000 nbSat=10328 maxSat=10337
1.35/0.79	c flip 50000 nbSat=10301 maxSat=10337
1.55/0.87	c flip 60000 nbSat=10324 maxSat=10337
1.75/0.97	c flip 0 nbSat=10653 maxSat=10337
1.95/1.10	c flip 10000 nbSat=12043 maxSat=12068
2.34/1.23	c flip 20000 nbSat=12106 maxSat=12126
2.54/1.36	c flip 30000 nbSat=12114 maxSat=12137
2.74/1.49	c flip 40000 nbSat=12120 maxSat=12142
3.14/1.62	c flip 50000 nbSat=12141 maxSat=12155
3.34/1.74	c flip 60000 nbSat=12142 maxSat=12155
3.54/1.87	c flip 0 nbSat=13002 maxSat=12160
3.95/2.08	c flip 10000 nbSat=14346 maxSat=14361
4.35/2.24	c nbDecision=10000 #clauses=15353
4.54/2.31	c flip 20000 nbSat=14412 maxSat=14423
4.94/2.53	c flip 30000 nbSat=14426 maxSat=14442
5.34/2.75	c flip 40000 nbSat=14445 maxSat=14450
5.74/2.94	c flip 50000 nbSat=14443 maxSat=14457
6.14/3.13	c flip 60000 nbSat=14439 maxSat=14458
6.55/3.34	c flip 0 nbSat=15779 maxSat=14460
7.14/3.69	c flip 10000 nbSat=17092 maxSat=17105
7.94/4.06	c flip 20000 nbSat=17174 maxSat=17197
8.74/4.47	c flip 30000 nbSat=17194 maxSat=17212
9.53/4.87	c flip 40000 nbSat=17189 maxSat=17217
10.33/5.24	c flip 50000 nbSat=17212 maxSat=17222
11.13/5.63	c flip 60000 nbSat=17218 maxSat=17237
11.93/6.02	c flip 0 nbSat=19372 maxSat=17246
13.13/6.61	c flip 10000 nbSat=20720 maxSat=20738
13.13/6.66	c nbDecision=20000 #clauses=21596
14.31/7.21	c flip 20000 nbSat=20786 maxSat=20797
15.50/7.84	c flip 30000 nbSat=20800 maxSat=20814
16.70/8.41	c flip 40000 nbSat=20797 maxSat=20825
17.90/9.05	c flip 50000 nbSat=20805 maxSat=20830
19.50/9.80	c flip 60000 nbSat=20817 maxSat=20831
20.69/10.48	c flip 0 nbSat=24281 maxSat=20832
22.49/11.38	c flip 10000 nbSat=25620 maxSat=25631
24.69/12.48	c flip 20000 nbSat=25680 maxSat=25701
25.88/13.00	c nbDecision=30000 #clauses=28020
27.08/13.64	c flip 30000 nbSat=25694 maxSat=25712
29.28/14.76	c flip 40000 nbSat=25698 maxSat=25716
31.68/15.92	c flip 50000 nbSat=25704 maxSat=25734
33.67/16.95	c flip 60000 nbSat=25702 maxSat=25734
35.46/17.87	c flip 0 nbSat=30256 maxSat=25734
38.45/19.37	c flip 10000 nbSat=31608 maxSat=31610
42.05/21.11	c flip 20000 nbSat=31653 maxSat=31669
44.84/22.53	c nbDecision=40000 #clauses=34836
46.04/23.11	c flip 30000 nbSat=31671 maxSat=31681
50.43/25.34	c flip 40000 nbSat=31676 maxSat=31701
54.82/27.52	c flip 50000 nbSat=31695 maxSat=31709
58.81/29.51	c flip 60000 nbSat=31710 maxSat=31716
63.40/31.88	c flip 0 nbSat=38713 maxSat=31727
67.39/33.83	c flip 10000 nbSat=40104 maxSat=40122
67.39/33.88	c nbDecision=50000 #clauses=41308
72.78/36.58	c flip 20000 nbSat=40147 maxSat=40157
77.96/39.18	c flip 30000 nbSat=40173 maxSat=40180
84.15/42.21	c flip 40000 nbSat=40151 maxSat=40189
89.54/44.93	c flip 50000 nbSat=40181 maxSat=40196
93.73/47.09	c flip 60000 nbSat=40204 maxSat=40207
95.72/48.03	c nbDecision=60000 #clauses=47792
98.72/49.56	c flip 0 nbSat=46814 maxSat=40213
104.11/52.25	c flip 10000 nbSat=48190 maxSat=48213
110.89/55.61	c flip 20000 nbSat=48231 maxSat=48265
117.67/59.01	c flip 30000 nbSat=48273 maxSat=48289
125.45/62.97	c flip 40000 nbSat=48278 maxSat=48295
128.63/64.53	c nbDecision=70000 #clauses=54181
135.22/67.87	c flip 50000 nbSat=48281 maxSat=48302
145.40/72.92	c flip 60000 nbSat=48292 maxSat=48312
154.78/77.61	c flip 0 nbSat=57447 maxSat=48312
162.37/81.44	c flip 10000 nbSat=58764 maxSat=58766
165.95/83.27	c nbDecision=80000 #clauses=60858
171.14/85.82	c flip 20000 nbSat=58797 maxSat=58818
180.72/90.64	c flip 30000 nbSat=58818 maxSat=58832
191.70/96.10	c flip 40000 nbSat=58819 maxSat=58851
199.87/100.27	c flip 50000 nbSat=58827 maxSat=58851
202.27/101.46	c nbDecision=90000 #clauses=67200
207.06/103.90	c flip 60000 nbSat=58814 maxSat=58851
215.44/108.09	c flip 0 nbSat=67820 maxSat=58853
225.40/113.06	c flip 10000 nbSat=69247 maxSat=69249
237.37/119.01	c flip 20000 nbSat=69313 maxSat=69327
247.15/123.91	c nbDecision=100000 #clauses=73765
248.15/124.46	c flip 30000 nbSat=69335 maxSat=69343
257.54/129.15	c flip 40000 nbSat=69329 maxSat=69349
266.92/133.84	c flip 50000 nbSat=69338 maxSat=69360
276.31/138.55	c flip 60000 nbSat=69337 maxSat=69361
285.88/143.38	c flip 0 nbSat=77488 maxSat=69364
296.44/148.64	c nbDecision=110000 #clauses=80510
299.64/150.21	c flip 10000 nbSat=79000 maxSat=79026
315.00/157.94	c flip 20000 nbSat=79049 maxSat=79056
331.95/166.49	c flip 30000 nbSat=79040 maxSat=79079
348.32/174.61	c flip 40000 nbSat=79060 maxSat=79087
356.91/178.95	c nbDecision=120000 #clauses=87225
361.30/181.14	c flip 50000 nbSat=79065 maxSat=79087
375.07/188.06	c flip 60000 nbSat=79069 maxSat=79094
389.82/195.45	c flip 0 nbSat=88658 maxSat=79104
404.58/202.82	c flip 10000 nbSat=90037 maxSat=90064
423.14/212.10	c nbDecision=130000 #clauses=93839
425.34/213.25	c flip 20000 nbSat=90098 maxSat=90131
448.49/224.88	c flip 30000 nbSat=90155 maxSat=90162
472.63/236.91	c flip 40000 nbSat=90140 maxSat=90170
487.39/244.30	c nbDecision=140000 #clauses=100583
502.36/251.84	c flip 50000 nbSat=90139 maxSat=90180
527.90/264.60	c flip 60000 nbSat=90168 maxSat=90181
549.05/275.22	c flip 0 nbSat=104506 maxSat=90188
560.62/281.08	c nbDecision=150000 #clauses=107459
566.40/283.96	c flip 10000 nbSat=105960 maxSat=105984
587.36/294.47	c flip 20000 nbSat=106033 maxSat=106051
610.31/305.98	c flip 30000 nbSat=106050 maxSat=106074
633.65/317.67	c flip 40000 nbSat=106065 maxSat=106084
634.85/318.22	c nbDecision=160000 #clauses=114460
656.99/329.34	c flip 50000 nbSat=106064 maxSat=106084
682.14/341.97	c flip 60000 nbSat=106083 maxSat=106103
708.68/355.24	c flip 0 nbSat=118405 maxSat=106103
727.43/364.68	c nbDecision=170000 #clauses=121427
731.22/366.51	c flip 10000 nbSat=119735 maxSat=119769
756.96/379.42	c flip 20000 nbSat=119867 maxSat=119870
787.49/394.78	c flip 30000 nbSat=119873 maxSat=119890
803.06/402.57	c nbDecision=180000 #clauses=128106
817.62/409.84	c flip 40000 nbSat=119876 maxSat=119900
850.93/426.59	c flip 50000 nbSat=119880 maxSat=119901
861.71/431.93	c nbDecision=190000 #clauses=134585
879.59/440.96	c flip 60000 nbSat=119889 maxSat=119905
914.68/458.58	c flip 0 nbSat=138964 maxSat=119910
919.65/461.08	c nbDecision=200000 #clauses=141165
942.17/472.32	c flip 10000 nbSat=140354 maxSat=140359
977.47/490.03	c flip 20000 nbSat=140410 maxSat=140417
984.63/493.61	c nbDecision=210000 #clauses=147635
1014.14/508.43	c flip 30000 nbSat=140445 maxSat=140459
1041.05/521.90	c nbDecision=220000 #clauses=154282
1050.00/526.47	c flip 40000 nbSat=140463 maxSat=140483
1089.72/546.31	c flip 50000 nbSat=140447 maxSat=140488
1129.01/566.05	c flip 60000 nbSat=140465 maxSat=140492
1136.79/569.97	c nbDecision=230000 #clauses=161070
1164.34/583.71	c flip 0 nbSat=161545 maxSat=140496
1195.87/599.57	c flip 10000 nbSat=162977 maxSat=163015

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/node48/watcher-328309-1173110024 -o ROOT/results/node48/solver-328309-1173110024 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328309-1173110024/ornithorynque /tmp/evaluation/328309-1173110024/instance-328309-1173110024.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.95 3/64 12733
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=23220 CPUtime=0
/proc/12733/stat : 12733 (ornithorynque) R 12731 12733 12180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 36796400 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255536960624 0 0 4096 0 0 0 0 17 1 0 0
/proc/12733/statm: 5805 257 217 42 0 45 0

[startup+0.0368129 s]
/proc/loadavg: 1.83 1.94 1.95 3/64 12733
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=25444 CPUtime=0.02
/proc/12733/stat : 12733 (ornithorynque) R 12731 12733 12180 0 -1 4194304 989 0 0 0 2 0 0 0 18 0 1 0 36796400 26054656 950 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4208896 0 0 4096 1088 0 0 0 17 1 0 0
/proc/12733/statm: 6361 951 382 42 0 613 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25444

[startup+0.101824 s]
/proc/loadavg: 1.83 1.94 1.95 3/64 12733
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=46108 CPUtime=0.15
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 1033 0 0 0 15 0 0 0 18 0 3 0 36796400 47214592 994 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 11527 994 387 42 0 5779 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 46108

[startup+0.301858 s]
/proc/loadavg: 1.83 1.94 1.95 3/64 12733
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=46108 CPUtime=0.55
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 1067 0 0 0 55 0 0 0 18 0 3 0 36796400 47214592 1028 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 11527 1028 387 42 0 5779 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 46108

[startup+0.701928 s]
/proc/loadavg: 1.83 1.94 1.95 3/64 12733
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=47396 CPUtime=1.35
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 1183 0 0 0 135 0 0 0 18 0 3 0 36796400 48533504 1144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 11849 1144 387 42 0 6101 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 47396

[startup+1.50108 s]
/proc/loadavg: 1.83 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1108824/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=47660 CPUtime=2.94
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 1382 0 0 0 294 0 0 0 18 0 3 0 36796400 48803840 1343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 11915 1343 387 42 0 6167 0
[pid=12733/tid=12735] ppid=12731 vsize=47660 CPUtime=1.45
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 241 0 0 0 145 0 0 0 20 0 3 0 36796404 48803840 1343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=47660 CPUtime=1.45
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 124 0 0 0 145 0 0 0 25 0 3 0 36796404 48803840 1343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 47660

[startup+3.10134 s]
/proc/loadavg: 1.85 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1107544/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=49340 CPUtime=6.14
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 1711 0 0 0 613 1 0 0 18 0 3 0 36796400 50524160 1639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 12335 1639 387 42 0 6587 0
[pid=12733/tid=12735] ppid=12731 vsize=49340 CPUtime=3.05
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 427 0 0 0 305 0 0 0 25 0 3 0 36796404 50524160 1639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314358 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=49340 CPUtime=3.04
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 267 0 0 0 304 0 0 0 25 0 3 0 36796404 50524160 1639 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240942 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 49340

[startup+6.3029 s]
/proc/loadavg: 1.85 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1105880/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=51300 CPUtime=12.53
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 2238 0 0 0 1252 1 0 0 18 0 3 0 36796400 52531200 2166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 12825 2166 387 42 0 7077 0
[pid=12733/tid=12735] ppid=12731 vsize=51300 CPUtime=6.25
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 605 0 0 0 625 0 0 0 18 0 3 0 36796404 52531200 2166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=51300 CPUtime=6.23
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 616 0 0 0 623 0 0 0 19 0 3 0 36796404 52531200 2166 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 51300

[startup+12.702 s]
/proc/loadavg: 1.87 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1102568/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=53528 CPUtime=25.29
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 2840 0 0 0 2528 1 0 0 18 0 3 0 36796400 54812672 2768 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 13382 2768 387 42 0 7634 0
[pid=12733/tid=12735] ppid=12731 vsize=53528 CPUtime=12.65
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 914 0 0 0 1265 0 0 0 25 0 3 0 36796404 54812672 2768 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312023 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=53528 CPUtime=12.59
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 909 0 0 0 1259 0 0 0 25 0 3 0 36796404 54812672 2768 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 53528

[startup+25.5012 s]
/proc/loadavg: 1.89 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1099368/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=56884 CPUtime=50.82
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 3710 0 0 0 5079 3 0 0 18 0 3 0 36796400 58249216 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 14221 3573 387 42 0 8473 0
[pid=12733/tid=12735] ppid=12731 vsize=56884 CPUtime=25.44
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 1463 0 0 0 2543 1 0 0 25 0 3 0 36796404 58249216 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=56884 CPUtime=25.33
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 1230 0 0 0 2533 0 0 0 25 0 3 0 36796404 58249216 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 56884

[startup+51.1026 s]
/proc/loadavg: 1.93 1.94 1.95 3/67 12736
/proc/meminfo: memFree=1093864/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=63468 CPUtime=101.92
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 5173 0 0 0 10187 5 0 0 18 0 3 0 36796400 64991232 4934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 15867 4934 387 42 0 10119 0
[pid=12733/tid=12735] ppid=12731 vsize=63468 CPUtime=51.03
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 2051 0 0 0 5101 2 0 0 25 0 3 0 36796404 64991232 4934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=63468 CPUtime=50.83
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 2105 0 0 0 5082 1 0 0 25 0 3 0 36796404 64991232 4934 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 63468

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.95 3/67 12736
/proc/meminfo: memFree=1087784/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=69444 CPUtime=204.07
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 6787 0 0 0 20400 7 0 0 18 0 3 0 36796400 71110656 6419 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 17361 6419 387 42 0 11613 0
[pid=12733/tid=12735] ppid=12731 vsize=69444 CPUtime=102.22
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 3216 0 0 0 10218 4 0 0 25 0 3 0 36796404 71110656 6419 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=69444 CPUtime=101.8
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 2554 0 0 0 10179 1 0 0 25 0 3 0 36796404 71110656 6419 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 69444

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.95 3/67 12736
/proc/meminfo: memFree=1081128/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=78152 CPUtime=323.77
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 8690 0 0 0 32369 8 0 0 18 0 3 0 36796400 80027648 8087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 19538 8087 387 42 0 13790 0
[pid=12733/tid=12735] ppid=12731 vsize=78152 CPUtime=162.2
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 4147 0 0 0 16215 5 0 0 25 0 3 0 36796404 80027648 8087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=78152 CPUtime=161.53
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 3526 0 0 0 16151 2 0 0 25 0 3 0 36796404 80027648 8087 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 78152

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.95 3/67 12736
/proc/meminfo: memFree=1076392/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=83032 CPUtime=443.5
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 9917 0 0 0 44340 10 0 0 18 0 3 0 36796400 85024768 9281 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 20758 9281 387 42 0 15010 0
[pid=12733/tid=12735] ppid=12731 vsize=83032 CPUtime=222.17
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 4904 0 0 0 22211 6 0 0 25 0 3 0 36796404 85024768 9281 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=83032 CPUtime=221.27
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 3996 0 0 0 22125 2 0 0 25 0 3 0 36796404 85024768 9281 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241619 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (KiB) 83032

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 12736
/proc/meminfo: memFree=1071400/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=87504 CPUtime=563.22
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 11219 0 0 0 56312 10 0 0 18 0 3 0 36796400 89604096 10517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 21876 10517 387 42 0 16128 0
[pid=12733/tid=12735] ppid=12731 vsize=87504 CPUtime=282.16
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 5617 0 0 0 28209 7 0 0 25 0 3 0 36796404 89604096 10517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311187 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=87504 CPUtime=281.03
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 4585 0 0 0 28100 3 0 0 25 0 3 0 36796404 89604096 10517 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240974 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (KiB) 87504

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 12736
/proc/meminfo: memFree=1068392/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=90364 CPUtime=682.93
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 11950 0 0 0 68281 12 0 0 18 0 3 0 36796400 92532736 11248 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 22591 11248 387 42 0 16843 0
[pid=12733/tid=12735] ppid=12731 vsize=90364 CPUtime=342.13
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 6348 0 0 0 34205 8 0 0 25 0 3 0 36796404 92532736 11248 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=90364 CPUtime=340.75
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 4585 0 0 0 34072 3 0 0 25 0 3 0 36796404 92532736 11248 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.93
Current children cumulated vsize (KiB) 90364

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 12736
/proc/meminfo: memFree=1063976/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=96124 CPUtime=802.65
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 13225 0 0 0 80252 13 0 0 18 0 3 0 36796400 98430976 12372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 24031 12372 387 42 0 18283 0
[pid=12733/tid=12735] ppid=12731 vsize=96124 CPUtime=402.11
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 6943 0 0 0 40202 9 0 0 25 0 3 0 36796404 98430976 12372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=96124 CPUtime=400.49
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 5265 0 0 0 40046 3 0 0 25 0 3 0 36796404 98430976 12372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.65
Current children cumulated vsize (KiB) 96124

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/73 12838
/proc/meminfo: memFree=1056880/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=104148 CPUtime=922.24
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 15300 0 0 0 92202 22 0 0 18 0 3 0 36796400 106647552 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 26037 13802 387 42 0 20289 0
[pid=12733/tid=12735] ppid=12731 vsize=104148 CPUtime=461.97
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 7918 0 0 0 46187 10 0 0 25 0 3 0 36796404 106647552 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=104148 CPUtime=460.22
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 6365 0 0 0 46011 11 0 0 25 0 3 0 36796404 106647552 13802 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.24
Current children cumulated vsize (KiB) 104148

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/73 12914
/proc/meminfo: memFree=1053688/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=107724 CPUtime=1041.81
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 16218 0 0 0 104148 33 0 0 18 0 3 0 36796400 110309376 14575 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 26931 14575 387 42 0 21183 0
[pid=12733/tid=12735] ppid=12731 vsize=107724 CPUtime=521.85
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 8836 0 0 0 52174 11 0 0 25 0 3 0 36796404 110309376 14575 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=107724 CPUtime=519.92
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 6365 0 0 0 51971 21 0 0 25 0 3 0 36796404 110309376 14575 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (KiB) 107724

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 12934
/proc/meminfo: memFree=1052648/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=109824 CPUtime=1161.54
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 16761 0 0 0 116120 34 0 0 18 0 3 0 36796400 112459776 15118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 27456 15118 387 42 0 21708 0
[pid=12733/tid=12735] ppid=12731 vsize=109824 CPUtime=581.83
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 9379 0 0 0 58171 12 0 0 25 0 3 0 36796404 112459776 15118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=109824 CPUtime=579.66
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 6365 0 0 0 57945 21 0 0 25 0 3 0 36796404 112459776 15118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.54
Current children cumulated vsize (KiB) 109824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.95 3/67 12934
/proc/meminfo: memFree=1048680/2055920 swapFree=4192812/4192956
[pid=12733] ppid=12731 vsize=114484 CPUtime=1200.07
/proc/12733/stat : 12733 (ornithorynque) S 12731 12733 12180 0 -1 4194304 17963 0 0 0 119972 35 0 0 18 0 3 0 36796400 117231616 16124 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255548485499 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 28621 16124 387 42 0 22873 0
[pid=12733/tid=12735] ppid=12731 vsize=114484 CPUtime=601.13
/proc/12733/task/12735/stat : 12735 (ornithorynque) R 12731 12733 12180 0 -1 4194368 9575 0 0 0 60101 12 0 0 25 0 3 0 36796404 117231616 16124 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=114484 CPUtime=598.89
/proc/12733/task/12736/stat : 12736 (ornithorynque) R 12731 12733 12180 0 -1 4194368 7371 0 0 0 59867 22 0 0 25 0 3 0 36796404 117231616 16124 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 114484

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.627
CPU time (s): 1200.1
CPU user time (s): 1199.74
CPU system time (s): 0.362944
CPU usage (%): 199.475
Max. virtual memory (cumulated for all children) (KiB): 114484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.362944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17963
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= 88
involuntary context switches= 9516

runsolver used 0.572912 second user time and 1.63575 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Mon Mar  5 15:53:44 UTC 2007

IDJOB= 328309
IDBENCH= 20217
IDSOLVER= 139
FILE ID= node48/328309-1173110024

PBS_JOBID= 4013896

Free space on /tmp= 66521 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
COMMAND LINE= /tmp/evaluation/328309-1173110024/ornithorynque /tmp/evaluation/328309-1173110024/instance-328309-1173110024.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-328309-1173110024 -o ROOT/results/node48/solver-328309-1173110024 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328309-1173110024/ornithorynque /tmp/evaluation/328309-1173110024/instance-328309-1173110024.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  34b5792021dd848a8af4ebefee6dfe73

RANDOM SEED= 462223722

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.259
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.259
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:       1112904 kB
Buffers:         34304 kB
Cached:         827996 kB
SwapCached:        144 kB
Active:         256956 kB
Inactive:       620968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1112904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             404 kB
Writeback:           0 kB
Mapped:          25600 kB
Slab:            51104 kB
Committed_AS:    86024 kB
PageTables:       1388 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= 66521 MiB

End job on node48 on Mon Mar  5 16:03:48 UTC 2007