Trace number 328563

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.17 601.623

General information on the benchmark

Nameindustrial/grieu/
vmpc_25.cnf
MD5SUMc5b44b10975f50cd32d40650a6a22d18
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.99054
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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.09/0.16	c ...done
0.09/0.16	c nbVar=625 nbClause=76775
0.09/0.17	c nbVar=625 nbClause=76775
0.09/0.19	c complete search running
0.09/0.19	c local search running
0.19/0.21	c flip 0 nbSat=61832 maxSat=0
1.99/1.12	c flip 10000 nbSat=76616 maxSat=76743
2.39/1.37	c flip 0 nbSat=66442 maxSat=76744
5.18/2.78	c flip 10000 nbSat=79809 maxSat=79834
5.98/3.15	c flip 0 nbSat=70869 maxSat=79834
7.97/4.15	c nbDecision=10000 #clauses=85239
10.17/5.22	c flip 10000 nbSat=83400 maxSat=83420
11.16/5.75	c flip 0 nbSat=72156 maxSat=83421
16.56/8.46	c flip 10000 nbSat=86162 maxSat=86178
17.95/9.16	c flip 0 nbSat=75775 maxSat=86179
24.53/12.42	c nbDecision=20000 #clauses=93876
25.13/12.73	c flip 10000 nbSat=90016 maxSat=90091
26.92/13.64	c flip 0 nbSat=81754 maxSat=90091
36.51/18.44	c flip 10000 nbSat=94998 maxSat=95139
38.90/19.64	c flip 0 nbSat=87689 maxSat=95139
45.48/22.90	c nbDecision=30000 #clauses=102970
51.66/26.00	c flip 10000 nbSat=100550 maxSat=100578
54.85/27.64	c flip 0 nbSat=89804 maxSat=100580
69.42/34.99	c flip 10000 nbSat=104011 maxSat=104065
73.21/36.88	c flip 0 nbSat=90014 maxSat=104065
87.58/44.08	c flip 10000 nbSat=103967 maxSat=104065
91.37/45.90	c flip 0 nbSat=90480 maxSat=104065
105.94/53.25	c flip 10000 nbSat=103940 maxSat=104070
109.73/55.13	c flip 0 nbSat=90700 maxSat=104070
123.90/62.29	c flip 10000 nbSat=103864 maxSat=104070
127.69/64.17	c flip 0 nbSat=89926 maxSat=104070
142.26/71.47	c flip 10000 nbSat=103909 maxSat=104070
146.24/73.41	c flip 0 nbSat=89838 maxSat=104070
160.81/80.75	c flip 10000 nbSat=104021 maxSat=104070
164.41/82.59	c flip 0 nbSat=89813 maxSat=104070
179.17/89.94	c flip 10000 nbSat=103997 maxSat=104070
182.76/91.77	c flip 0 nbSat=90898 maxSat=104070
197.53/99.14	c flip 10000 nbSat=103897 maxSat=104070
201.12/100.94	c flip 0 nbSat=90839 maxSat=104070
215.68/108.22	c flip 10000 nbSat=103928 maxSat=104070
219.28/110.05	c flip 0 nbSat=91207 maxSat=104070
233.83/117.40	c flip 10000 nbSat=103974 maxSat=104070
237.62/119.28	c flip 0 nbSat=92269 maxSat=104070
252.20/126.53	c flip 10000 nbSat=103983 maxSat=104070
255.79/128.37	c flip 0 nbSat=91789 maxSat=104070
270.75/135.80	c flip 10000 nbSat=103956 maxSat=104070
274.34/137.64	c flip 0 nbSat=90101 maxSat=104070
288.92/144.90	c flip 10000 nbSat=103928 maxSat=104070
292.50/146.73	c flip 0 nbSat=90995 maxSat=104070
307.26/154.12	c flip 10000 nbSat=104012 maxSat=104070
311.06/156.00	c flip 0 nbSat=92010 maxSat=104070
325.22/163.16	c flip 10000 nbSat=103972 maxSat=104070
328.81/164.97	c flip 0 nbSat=90369 maxSat=104070
343.38/172.24	c flip 10000 nbSat=103991 maxSat=104070
346.97/174.06	c flip 0 nbSat=91828 maxSat=104070
361.54/181.40	c flip 10000 nbSat=103982 maxSat=104070
365.13/183.19	c flip 0 nbSat=91246 maxSat=104070
379.90/190.51	c flip 10000 nbSat=104044 maxSat=104072
383.48/192.36	c flip 0 nbSat=90834 maxSat=104072
398.05/199.69	c flip 10000 nbSat=103973 maxSat=104079
401.64/201.50	c flip 0 nbSat=89983 maxSat=104081
416.20/208.71	c flip 10000 nbSat=103983 maxSat=104081
419.99/210.60	c flip 0 nbSat=92852 maxSat=104081
434.76/218.01	c flip 10000 nbSat=103952 maxSat=104081
438.36/219.83	c flip 0 nbSat=90660 maxSat=104081
452.92/227.19	c flip 10000 nbSat=103958 maxSat=104083
456.91/229.11	c flip 0 nbSat=89488 maxSat=104083
471.68/236.56	c flip 10000 nbSat=103903 maxSat=104083
475.46/238.46	c flip 0 nbSat=90395 maxSat=104083
489.83/245.69	c flip 10000 nbSat=103929 maxSat=104083
493.63/247.50	c flip 0 nbSat=91995 maxSat=104083
508.18/254.82	c flip 10000 nbSat=104021 maxSat=104083
511.98/256.70	c flip 0 nbSat=90450 maxSat=104083
526.35/264.00	c flip 10000 nbSat=104030 maxSat=104083
529.94/265.78	c flip 0 nbSat=89847 maxSat=104083
544.50/273.09	c flip 10000 nbSat=104025 maxSat=104083
548.30/274.92	c flip 0 nbSat=91154 maxSat=104083
562.65/282.17	c flip 10000 nbSat=104035 maxSat=104083
566.45/284.01	c flip 0 nbSat=90508 maxSat=104084
580.82/291.25	c flip 10000 nbSat=104043 maxSat=104084
584.61/293.10	c flip 0 nbSat=89384 maxSat=104084
599.37/300.50	c flip 10000 nbSat=104046 maxSat=104084
602.96/302.31	c flip 0 nbSat=91318 maxSat=104084
617.33/309.59	c flip 10000 nbSat=103979 maxSat=104084
621.12/311.47	c flip 0 nbSat=89734 maxSat=104084
635.89/318.86	c flip 10000 nbSat=103890 maxSat=104084
639.68/320.70	c flip 0 nbSat=89575 maxSat=104084
654.24/328.00	c flip 10000 nbSat=103941 maxSat=104084
657.83/329.86	c flip 0 nbSat=90648 maxSat=104084
672.60/337.22	c flip 10000 nbSat=104009 maxSat=104084
676.19/339.06	c flip 0 nbSat=90647 maxSat=104084
690.75/346.36	c flip 10000 nbSat=104047 maxSat=104084
694.34/348.17	c flip 0 nbSat=89239 maxSat=104084
709.11/355.55	c flip 10000 nbSat=104016 maxSat=104084
712.70/357.36	c flip 0 nbSat=90889 maxSat=104084
727.27/364.66	c flip 10000 nbSat=104023 maxSat=104084
731.06/366.54	c flip 0 nbSat=90462 maxSat=104084
745.62/373.85	c flip 10000 nbSat=103975 maxSat=104084
749.21/375.67	c flip 0 nbSat=91050 maxSat=104084
763.78/382.91	c flip 10000 nbSat=104067 maxSat=104084
767.37/384.77	c flip 0 nbSat=90006 maxSat=104084
782.13/392.17	c flip 10000 nbSat=103996 maxSat=104084
785.92/394.01	c flip 0 nbSat=90146 maxSat=104084
800.29/401.28	c flip 10000 nbSat=103876 maxSat=104084
804.08/403.11	c flip 0 nbSat=90427 maxSat=104084
818.65/410.40	c flip 10000 nbSat=103856 maxSat=104084
822.24/412.28	c flip 0 nbSat=91189 maxSat=104084
837.20/419.75	c flip 10000 nbSat=103999 maxSat=104084
840.79/421.59	c flip 0 nbSat=90947 maxSat=104084
855.36/428.83	c flip 10000 nbSat=103997 maxSat=104084
858.95/430.70	c flip 0 nbSat=89119 maxSat=104084
873.71/438.05	c flip 10000 nbSat=104009 maxSat=104084
877.30/439.87	c flip 0 nbSat=91072 maxSat=104084
891.87/447.16	c flip 10000 nbSat=104054 maxSat=104084
895.46/449.00	c flip 0 nbSat=92193 maxSat=104084
910.43/456.44	c flip 10000 nbSat=104031 maxSat=104084
914.02/458.28	c flip 0 nbSat=90733 maxSat=104084
928.58/465.58	c flip 10000 nbSat=103845 maxSat=104084
932.38/467.44	c flip 0 nbSat=90644 maxSat=104084
946.94/474.75	c flip 10000 nbSat=103974 maxSat=104084
950.53/476.59	c flip 0 nbSat=88699 maxSat=104084
965.10/483.85	c flip 10000 nbSat=104022 maxSat=104084
968.68/485.65	c flip 0 nbSat=91376 maxSat=104084
983.25/492.93	c flip 10000 nbSat=103991 maxSat=104084
987.04/494.82	c flip 0 nbSat=89446 maxSat=104084
1001.61/502.17	c flip 10000 nbSat=103839 maxSat=104084
1005.20/504.00	c flip 0 nbSat=91308 maxSat=104084
1019.96/511.35	c flip 10000 nbSat=103917 maxSat=104084
1023.75/513.20	c flip 0 nbSat=90422 maxSat=104084
1038.32/520.57	c flip 10000 nbSat=104010 maxSat=104084
1042.12/522.42	c flip 0 nbSat=90696 maxSat=104084
1056.47/529.69	c flip 10000 nbSat=103927 maxSat=104084
1060.46/531.60	c flip 0 nbSat=90804 maxSat=104084
1075.04/538.97	c flip 10000 nbSat=104000 maxSat=104084
1078.63/540.75	c flip 0 nbSat=90053 maxSat=104084
1093.19/548.07	c flip 10000 nbSat=104005 maxSat=104084
1096.99/549.93	c flip 0 nbSat=89058 maxSat=104084
1111.74/557.31	c flip 10000 nbSat=103842 maxSat=104084
1115.33/559.15	c flip 0 nbSat=91240 maxSat=104084
1129.91/566.45	c flip 10000 nbSat=103879 maxSat=104084
1133.49/568.28	c flip 0 nbSat=90942 maxSat=104084
1148.05/575.53	c flip 10000 nbSat=103921 maxSat=104085
1151.64/577.37	c flip 0 nbSat=90638 maxSat=104085
1166.21/584.66	c flip 10000 nbSat=104059 maxSat=104085
1169.80/586.45	c flip 0 nbSat=90653 maxSat=104085
1184.38/593.79	c flip 10000 nbSat=104049 maxSat=104085
1188.17/595.68	c flip 0 nbSat=90578 maxSat=104085

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/node60/watcher-328563-1173112464 -o ROOT/results/node60/solver-328563-1173112464 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328563-1173112464/ornithorynque /tmp/evaluation/328563-1173112464/instance-328563-1173112464.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/64 25353
/proc/meminfo: memFree=1629392/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=23220 CPUtime=0
/proc/25353/stat : 25353 (ornithorynque) R 25351 25353 24437 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 331203268 23777280 257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271891600496 0 0 4096 0 0 0 0 17 1 0 0
/proc/25353/statm: 5805 257 218 42 0 45 0

[startup+0.0218359 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 25353
/proc/meminfo: memFree=1629392/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=23876 CPUtime=0.01
/proc/25353/stat : 25353 (ornithorynque) R 25351 25353 24437 0 -1 4194304 631 0 0 0 1 0 0 0 18 0 1 0 331203268 24449024 592 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271894090465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/25353/statm: 5969 593 377 42 0 221 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23876

[startup+0.10185 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 25353
/proc/meminfo: memFree=1629392/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=27428 CPUtime=0.09
/proc/25353/stat : 25353 (ornithorynque) R 25351 25353 24437 0 -1 4194304 1578 0 0 0 8 1 0 0 18 0 1 0 331203268 28086272 1441 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271894090465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/25353/statm: 6857 1441 377 42 0 1109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27428

[startup+0.301895 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 25353
/proc/meminfo: memFree=1629392/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=54552 CPUtime=0.39
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 3448 0 0 0 38 1 0 0 18 0 3 0 331203268 55861248 2880 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 13638 2880 387 42 0 7890 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 54552

[startup+0.701965 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 25353
/proc/meminfo: memFree=1629392/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=54816 CPUtime=1.19
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 3497 0 0 0 118 1 0 0 18 0 3 0 331203268 56131584 2929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 13704 2929 387 42 0 7956 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 54816

[startup+1.50211 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1618872/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=56516 CPUtime=2.78
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 3912 0 0 0 277 1 0 0 18 0 3 0 331203268 57872384 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 14129 3306 387 42 0 8381 0
[pid=25353/tid=25355] ppid=25351 vsize=56516 CPUtime=1.3
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 269 0 0 0 130 0 0 0 17 0 3 0 331203288 57872384 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=56516 CPUtime=1.29
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 305 0 0 0 129 0 0 0 17 0 3 0 331203288 57872384 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 56516

[startup+3.10139 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1617336/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=57044 CPUtime=5.98
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 4046 0 0 0 596 2 0 0 18 0 3 0 331203268 58413056 3440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 14261 3440 387 42 0 8513 0
[pid=25353/tid=25355] ppid=25351 vsize=57044 CPUtime=2.89
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 403 0 0 0 289 0 0 0 25 0 3 0 331203288 58413056 3440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311255 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=57044 CPUtime=2.88
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 305 0 0 0 288 0 0 0 25 0 3 0 331203288 58413056 3440 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 57044

[startup+6.30297 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1614648/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=60116 CPUtime=12.37
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 4724 0 0 0 1235 2 0 0 18 0 3 0 331203268 61558784 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 15029 4118 387 42 0 9281 0
[pid=25353/tid=25355] ppid=25351 vsize=60116 CPUtime=6.09
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 629 0 0 0 609 0 0 0 25 0 3 0 331203288 61558784 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=60116 CPUtime=6.07
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 757 0 0 0 607 0 0 0 25 0 3 0 331203288 61558784 4118 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285272 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 60116

[startup+12.7011 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1611776/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=62456 CPUtime=25.13
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 5329 0 0 0 2509 4 0 0 18 0 3 0 331203268 63954944 4723 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 15614 4723 387 42 0 9866 0
[pid=25353/tid=25355] ppid=25351 vsize=62456 CPUtime=12.49
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1045 0 0 0 1247 2 0 0 25 0 3 0 331203288 63954944 4723 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=62456 CPUtime=12.43
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 946 0 0 0 1243 0 0 0 25 0 3 0 331203288 63954944 4723 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 62456

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1607360/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=66616 CPUtime=50.66
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6402 0 0 0 5061 5 0 0 18 0 3 0 331203268 68214784 5796 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16654 5796 387 42 0 10906 0
[pid=25353/tid=25355] ppid=25351 vsize=66616 CPUtime=25.28
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 2526 2 0 0 25 0 3 0 331203288 68214784 5796 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=66616 CPUtime=25.17
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1526 0 0 0 2516 1 0 0 25 0 3 0 331203288 68214784 5796 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 66616

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 25356
/proc/meminfo: memFree=1606144/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=101.75
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 10170 5 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=50.87
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 5085 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=50.67
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 5066 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 67868

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 25356
/proc/meminfo: memFree=1606080/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=203.91
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 20385 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=102.06
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 10204 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=101.64
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 10163 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241839 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 67868

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 25356
/proc/meminfo: memFree=1606016/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=323.62
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 32356 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=162.03
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 16201 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242804 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=161.37
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 16136 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283795 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 67868

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 25356
/proc/meminfo: memFree=1606016/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=443.34
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 44328 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=222.01
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 22199 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242954 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=221.11
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 22110 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285260 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 67868

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25356
/proc/meminfo: memFree=1606016/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=563.05
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 56299 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=281.99
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 28197 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=280.84
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 28083 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.05
Current children cumulated vsize (KiB) 67868

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25356
/proc/meminfo: memFree=1605952/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=682.78
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 68272 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=341.98
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 34196 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=340.58
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 34057 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 67868

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25356
/proc/meminfo: memFree=1605952/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=802.49
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 80243 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=401.95
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 40193 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242906 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=400.31
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 40030 1 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240913 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.49
Current children cumulated vsize (KiB) 67868

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25356
/proc/meminfo: memFree=1605888/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=922.19
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 92213 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=461.93
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 46191 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242784 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=460.05
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 46003 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285265 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.19
Current children cumulated vsize (KiB) 67868

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25358
/proc/meminfo: memFree=1605888/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=1041.91
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 104185 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=521.92
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 52190 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242823 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=519.79
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 51977 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.91
Current children cumulated vsize (KiB) 67868

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25358
/proc/meminfo: memFree=1605952/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=1161.62
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 116156 6 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=581.9
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 58187 3 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=579.52
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 57950 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285873 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.62
Current children cumulated vsize (KiB) 67868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 25358
/proc/meminfo: memFree=1605952/2055920 swapFree=4183500/4192956
[pid=25353] ppid=25351 vsize=67868 CPUtime=1200.14
/proc/25353/stat : 25353 (ornithorynque) S 25351 25353 24437 0 -1 4194304 6689 0 0 0 120007 7 0 0 18 0 3 0 331203268 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/25353/statm: 16967 6083 387 42 0 11219 0
[pid=25353/tid=25355] ppid=25351 vsize=67868 CPUtime=601.2
/proc/25353/task/25355/stat : 25355 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1538 0 0 0 60117 3 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242804 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=25353/tid=25356] ppid=25351 vsize=67868 CPUtime=598.73
/proc/25353/task/25356/stat : 25356 (ornithorynque) R 25351 25353 24437 0 -1 4194368 1813 0 0 0 59871 2 0 0 25 0 3 0 331203288 69496832 6083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241742 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 67868

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.623
CPU time (s): 1200.17
CPU user time (s): 1200.09
CPU system time (s): 0.074988
CPU usage (%): 199.489
Max. virtual memory (cumulated for all children) (KiB): 67868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.09
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6689
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= 28
involuntary context switches= 9229

runsolver used 0.494924 second user time and 1.71874 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Mar  5 16:34:24 UTC 2007

IDJOB= 328563
IDBENCH= 20485
IDSOLVER= 139
FILE ID= node60/328563-1173112464

PBS_JOBID= 4013922

Free space on /tmp= 66533 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/grieu/vmpc_25.cnf
COMMAND LINE= /tmp/evaluation/328563-1173112464/ornithorynque /tmp/evaluation/328563-1173112464/instance-328563-1173112464.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-328563-1173112464 -o ROOT/results/node60/solver-328563-1173112464 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328563-1173112464/ornithorynque /tmp/evaluation/328563-1173112464/instance-328563-1173112464.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  c5b44b10975f50cd32d40650a6a22d18

RANDOM SEED= 970040264

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.283
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.283
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:       1629800 kB
Buffers:         27044 kB
Cached:         323416 kB
SwapCached:       3412 kB
Active:          54092 kB
Inactive:       307340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1629800 kB
SwapTotal:     4192956 kB
SwapFree:      4183500 kB
Dirty:            1312 kB
Writeback:           0 kB
Mapped:          16924 kB
Slab:            50660 kB
Committed_AS:   917196 kB
PageTables:       1464 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= 66533 MiB

End job on node60 on Mon Mar  5 16:44:28 UTC 2007