Trace number 454850

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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.31 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
MD5SUMfdd11e948ae8a5c2828dd3ba6f1a1add
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-85
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.26	c ...done
0.19/0.26	c #vars=16716 #constraints=32935 hasObjective=yes
0.39/0.40	c res. mode=mod
0.39/0.40	c VSIDS like heuristics
0.39/0.40	c complete search running
1.19/1.22	c restart after 401 decisions
1.19/1.29	c nbDecision=500 #constraints=33087
1.79/1.87	c restart after 801 decisions
1.99/2.00	c nbDecision=1000 #constraints=33189
4.29/4.35	c nbDecision=1500 #constraints=33608
4.89/4.91	c restart after 1601 decisions
5.99/6.07	c nbDecision=2000 #constraints=33842
8.59/8.69	c nbDecision=2500 #constraints=34231
11.59/11.69	c nbDecision=3000 #constraints=34690
12.79/12.80	c restart after 3201 decisions
13.99/14.09	c nbDecision=3500 #constraints=34906
17.18/17.20	c nbDecision=4000 #constraints=35368
20.38/20.41	c nbDecision=4500 #constraints=35788
23.78/23.87	c nbDecision=5000 #constraints=36158
27.29/27.36	c nbDecision=5500 #constraints=36638
30.78/30.89	c nbDecision=6000 #constraints=37081
33.98/34.01	c restart after 6401 decisions
35.79/35.85	c nbDecision=6500 #constraints=37401
39.38/39.42	c nbDecision=7000 #constraints=37692
43.28/43.33	c nbDecision=7500 #constraints=38134
47.19/47.27	c nbDecision=8000 #constraints=38596
51.28/51.38	c nbDecision=8500 #constraints=39046
55.58/55.62	c nbDecision=9000 #constraints=39491
60.08/60.14	c nbDecision=9500 #constraints=39918
64.78/64.80	c nbDecision=10000 #constraints=40346
69.38/69.49	c nbDecision=10500 #constraints=40779
74.57/74.64	c nbDecision=11000 #constraints=41182
79.67/79.75	c nbDecision=11500 #constraints=41598
84.47/84.50	c nbDecision=12000 #constraints=42057
90.17/90.29	c nbDecision=12500 #constraints=42447
93.47/93.56	c restart after 12801 decisions
98.67/98.73	c nbDecision=13000 #constraints=42702
104.46/104.50	c nbDecision=13500 #constraints=43069
109.66/109.72	c nbDecision=14000 #constraints=43521
114.96/115.06	c nbDecision=14500 #constraints=43969
120.66/120.72	c nbDecision=15000 #constraints=44408
126.56/126.69	c nbDecision=15500 #constraints=44836
132.76/132.87	c nbDecision=16000 #constraints=45260
139.15/139.21	c nbDecision=16500 #constraints=45680
144.76/144.83	c nbDecision=17000 #constraints=46143
150.85/150.97	c nbDecision=17500 #constraints=46587
157.15/157.29	c nbDecision=18000 #constraints=47027
164.05/164.14	c nbDecision=18500 #constraints=47450
170.15/170.25	c nbDecision=19000 #constraints=47910
177.15/177.26	c nbDecision=19500 #constraints=48336
183.35/183.44	c nbDecision=20000 #constraints=48799
190.84/190.92	c nbDecision=20500 #constraints=49221
203.24/203.36	c nbDecision=21000 #constraints=49565
210.54/210.61	c nbDecision=21500 #constraints=49909
217.04/217.12	c nbDecision=22000 #constraints=50373
225.24/225.39	c nbDecision=22500 #constraints=50783
234.63/234.76	c nbDecision=23000 #constraints=51163
241.84/241.90	c nbDecision=23500 #constraints=51615
249.43/249.50	c nbDecision=24000 #constraints=52059
258.83/258.92	c nbDecision=24500 #constraints=52452
266.33/266.47	c nbDecision=25000 #constraints=52902
275.02/275.15	c nbDecision=25500 #constraints=53324
277.02/277.15	c restart after 25601 decisions
290.82/290.99	c nbDecision=26000 #constraints=53551
299.52/299.62	c nbDecision=26500 #constraints=53979
309.81/309.93	c nbDecision=27000 #constraints=54368
320.21/320.39	c nbDecision=27500 #constraints=54755
328.61/328.73	c nbDecision=28000 #constraints=55200
336.41/336.50	c nbDecision=28500 #constraints=55662
345.60/345.70	c nbDecision=29000 #constraints=56093
358.70/358.88	c nbDecision=29500 #constraints=56432
365.00/365.17	c nbDecision=30000 #constraints=56926
374.79/374.99	c nbDecision=30500 #constraints=57343
384.30/384.44	c nbDecision=31000 #constraints=57770
394.20/394.38	c nbDecision=31500 #constraints=58190
401.19/401.35	c nbDecision=32000 #constraints=58674
410.09/410.25	c nbDecision=32500 #constraints=59122
420.68/420.85	c nbDecision=33000 #constraints=59536
427.89/428.05	c nbDecision=33500 #constraints=60021
436.08/436.25	c nbDecision=34000 #constraints=60489
445.18/445.38	c nbDecision=34500 #constraints=60941
456.28/456.49	c nbDecision=35000 #constraints=61358
466.68/466.83	c nbDecision=35500 #constraints=61790
476.87/477.03	c nbDecision=36000 #constraints=62228
487.27/487.45	c nbDecision=36500 #constraints=62665
501.66/501.84	c nbDecision=37000 #constraints=63041
516.77/516.99	c nbDecision=37500 #constraints=63390
528.76/528.95	c nbDecision=38000 #constraints=63806
543.95/544.13	c nbDecision=38500 #constraints=64169
560.05/560.29	c nbDecision=39000 #constraints=64518
579.05/579.25	c nbDecision=39500 #constraints=64825
598.04/598.26	c nbDecision=40000 #constraints=65132
619.73/619.98	c nbDecision=40500 #constraints=65408
634.53/634.78	c nbDecision=41000 #constraints=65806
652.83/653.06	c nbDecision=41500 #constraints=66196
680.12/680.35	c nbDecision=42000 #constraints=66355
693.12/693.34	c nbDecision=42500 #constraints=66778
703.21/703.43	c nbDecision=43000 #constraints=67254
712.81/713.07	c nbDecision=43500 #constraints=67739
724.11/724.39	c nbDecision=44000 #constraints=68196
742.21/742.49	c nbDecision=44500 #constraints=68557
755.50/755.77	c nbDecision=45000 #constraints=68984
768.60/768.89	c nbDecision=45500 #constraints=69420
779.00/779.20	c nbDecision=46000 #constraints=69897
790.29/790.60	c nbDecision=46500 #constraints=70364
800.78/801.02	c nbDecision=47000 #constraints=70845
815.49/815.71	c nbDecision=47500 #constraints=71268
830.28/830.51	c nbDecision=48000 #constraints=71726
848.58/848.81	c nbDecision=48500 #constraints=72097
863.07/863.36	c nbDecision=49000 #constraints=72528
876.17/876.49	c nbDecision=49500 #constraints=72981
890.26/890.50	c nbDecision=50000 #constraints=73417
904.36/904.68	c nbDecision=50500 #constraints=73857
927.15/927.50	c nbDecision=51000 #constraints=74191
935.85/936.11	c restart after 51201 decisions
961.65/961.94	c nbDecision=51500 #constraints=74382
976.15/976.47	c nbDecision=52000 #constraints=74820
989.14/989.45	c nbDecision=52500 #constraints=75279
1003.54/1003.86	c nbDecision=53000 #constraints=75723
1017.24/1017.52	c nbDecision=53500 #constraints=76177
1034.53/1034.80	c nbDecision=54000 #constraints=76589
1050.93/1051.28	c nbDecision=54500 #constraints=77012
1066.53/1066.86	c nbDecision=55000 #constraints=77447
1080.52/1080.88	c nbDecision=55500 #constraints=77902
1097.21/1097.55	c nbDecision=56000 #constraints=78328
1115.51/1115.82	c nbDecision=56500 #constraints=78735
1138.21/1138.60	c nbDecision=57000 #constraints=79093
1152.60/1152.97	c nbDecision=57500 #constraints=79549
1170.59/1170.95	c nbDecision=58000 #constraints=79968
1189.59/1189.96	c nbDecision=58500 #constraints=80373
1204.88/1205.29	c nbDecision=59000 #constraints=80822
1230.88/1231.23	c nbDecision=59500 #constraints=81193
1262.37/1262.77	c nbDecision=60000 #constraints=81479
1278.76/1279.13	c nbDecision=60500 #constraints=81942
1301.06/1301.47	c nbDecision=61000 #constraints=82295
1321.25/1321.64	c nbDecision=61500 #constraints=82699
1337.06/1337.40	c nbDecision=62000 #constraints=83150
1355.75/1356.18	c nbDecision=62500 #constraints=83572
1375.54/1375.93	c nbDecision=63000 #constraints=83984
1395.74/1396.18	c nbDecision=63500 #constraints=84392
1414.33/1414.74	c nbDecision=64000 #constraints=84829
1439.43/1439.82	c nbDecision=64500 #constraints=85200
1458.82/1459.22	c nbDecision=65000 #constraints=85619
1474.12/1474.54	c nbDecision=65500 #constraints=86080
1489.02/1489.46	c nbDecision=66000 #constraints=86542
1502.01/1502.47	c nbDecision=66500 #constraints=87023
1517.10/1517.50	c nbDecision=67000 #constraints=87488
1531.20/1531.67	c nbDecision=67500 #constraints=87962
1550.50/1550.95	c nbDecision=68000 #constraints=88390
1573.19/1573.61	c nbDecision=68500 #constraints=88786
1604.69/1605.17	c nbDecision=69000 #constraints=89104
1619.68/1620.15	c nbDecision=69500 #constraints=89572
1638.18/1638.66	c nbDecision=70000 #constraints=90011
1660.68/1661.18	c nbDecision=70500 #constraints=90435
1682.27/1682.75	c nbDecision=71000 #constraints=90850
1707.16/1707.62	c nbDecision=71500 #constraints=91250
1733.35/1733.88	c nbDecision=72000 #constraints=91618
1748.25/1748.79	c nbDecision=72500 #constraints=92092
1771.25/1771.73	c nbDecision=73000 #constraints=92496
1793.34/1793.82	c nbDecision=73500 #constraints=92911
1800.04/1800.50	Received signal 15
1800.04/1800.52	
1800.04/1800.52	s UNKNOWN
1800.04/1800.52	
1800.04/1800.52	c user time= 1798.28 s
1800.04/1800.52	c system time= 1.79273 s
1800.04/1800.52	c wall clock time=1800.53

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb
mv /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb.tmp /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-454850-1178032429 -o ROOT/results/node12/solver-454850-1178032429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 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: 0.92 0.98 0.99 3/77 22977
/proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1468 CPUtime=0
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 279280305 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 367 168 131 317 0 46 0

[startup+0.0135729 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 22977
/proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1732 CPUtime=0.01
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 231 0 0 0 1 0 0 0 18 0 1 0 279280305 1773568 214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 433 214 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101575 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 22977
/proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=3328 CPUtime=0.09
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 279280305 3407872 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 832 610 131 317 0 511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3328

[startup+0.301591 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 22977
/proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=13520 CPUtime=0.29
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 3210 0 0 0 29 0 0 0 19 0 1 0 279280305 13844480 3160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 3380 3160 137 317 0 3059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13520

[startup+0.701631 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 22977
/proc/meminfo: memFree=1792216/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=16400 CPUtime=0.69
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 3913 0 0 0 68 1 0 0 23 0 1 0 279280305 16793600 3637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 4100 3637 139 317 0 3779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16400

[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1776528/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=19348 CPUtime=1.49
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 4662 0 0 0 148 1 0 0 25 0 1 0 279280305 19812352 4386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 4837 4386 139 317 0 4516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19348

[startup+3.10187 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1772496/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=25256 CPUtime=3.09
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 6141 0 0 0 307 2 0 0 25 0 1 0 279280305 25862144 5865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 6314 5865 139 317 0 5993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25256

[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1761048/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=35884 CPUtime=6.29
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 8806 0 0 0 626 3 0 0 25 0 1 0 279280305 36745216 8530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 8971 8530 139 317 0 8650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35884

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1739096/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=57060 CPUtime=12.69
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 14099 0 0 0 1263 6 0 0 25 0 1 0 279280305 58429440 13823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 14265 13823 139 317 0 13944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57060

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1702424/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=92768 CPUtime=25.48
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 22950 0 0 0 2539 9 0 0 25 0 1 0 279280305 94994432 22674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 23192 22674 139 317 0 22871 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92768

[startup+51.1027 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 22978
/proc/meminfo: memFree=1642328/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=155064 CPUtime=51.08
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 37829 0 0 0 5091 17 0 0 25 0 1 0 279280305 158785536 37553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 38766 37553 139 317 0 38445 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 155064

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1549400/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=257988 CPUtime=102.27
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 60949 0 0 0 10198 29 0 0 25 0 1 0 279280305 264179712 60673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 64497 60673 139 317 0 64176 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 257988

[startup+162.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1461144/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=336676 CPUtime=162.26
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 82913 0 0 0 16186 40 0 0 25 0 1 0 279280305 344756224 82637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 84169 82637 139 317 0 83848 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 336676

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1381656/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=458336 CPUtime=222.23
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 111452 0 0 0 22173 50 0 0 25 0 1 0 279280305 469336064 102431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 114584 102431 139 317 0 114263 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 458336

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1323928/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=508028 CPUtime=282.22
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 125852 0 0 0 28164 58 0 0 25 0 1 0 279280305 520220672 116831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 127007 116831 139 317 0 126686 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 508028

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1271704/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=552608 CPUtime=342.21
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 138996 0 0 0 34157 64 0 0 25 0 1 0 279280305 565870592 129975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 138152 129975 139 317 0 137831 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 552608

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1214040/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=602900 CPUtime=402.19
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 153582 0 0 0 40147 72 0 0 25 0 1 0 279280305 617369600 144561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 150725 144561 139 317 0 150404 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 602900

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1152472/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=654008 CPUtime=462.17
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 168736 0 0 0 46139 78 0 0 25 0 1 0 279280305 669704192 159715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 163502 159715 139 317 0 163181 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 654008

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1111704/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=689020 CPUtime=522.16
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 179077 0 0 0 52132 84 0 0 25 0 1 0 279280305 705556480 170056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 172255 170056 139 317 0 171934 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 689020

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1084696/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=711808 CPUtime=582.14
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 185568 0 0 0 58126 88 0 0 25 0 1 0 279280305 728891392 176547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 177952 176547 139 317 0 177631 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 711808

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=1061848/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=733496 CPUtime=642.13
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 191794 0 0 0 64122 91 0 0 25 0 1 0 279280305 751099904 182257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 183374 182257 139 317 0 183053 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 733496


################
# More data... #
################

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=871448/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1008452 CPUtime=942.05
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 264868 0 0 0 94081 124 0 0 25 0 1 0 279280305 1032654848 229721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 252113 229721 139 317 0 251792 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1008452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=844120/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1032276 CPUtime=1002.04
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 271740 0 0 0 100076 128 0 0 25 0 1 0 279280305 1057050624 236593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 258069 236593 139 317 0 257748 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1032276

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=808536/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1062132 CPUtime=1062.03
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 280565 0 0 0 106069 134 0 0 25 0 1 0 279280305 1087623168 245418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 265533 245418 139 317 0 265212 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1062132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=777880/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1087320 CPUtime=1122
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 288224 0 0 0 112062 138 0 0 25 0 1 0 279280305 1113415680 253077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 271830 253077 139 317 0 271509 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1087320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22978
/proc/meminfo: memFree=748056/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1111648 CPUtime=1181.99
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 295675 0 0 0 118057 142 0 0 25 0 1 0 279280305 1138327552 260528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 277912 260528 139 317 0 277591 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1111648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=723736/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1132664 CPUtime=1241.98
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 301851 0 0 0 124052 146 0 0 25 0 1 0 279280305 1159847936 266704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 283166 266704 139 317 0 282845 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1132664

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=702232/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1149960 CPUtime=1301.97
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 307095 0 0 0 130049 148 0 0 25 0 1 0 279280305 1177559040 271948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 287490 271948 139 317 0 287169 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1149960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=670680/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1176616 CPUtime=1361.95
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 315104 0 0 0 136042 153 0 0 25 0 1 0 279280305 1204854784 279957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 294154 279957 139 317 0 293833 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1176616

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=646104/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1196856 CPUtime=1421.94
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 321101 0 0 0 142038 156 0 0 25 0 1 0 279280305 1225580544 285954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 299214 285954 139 317 0 298893 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1196856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=615256/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1222800 CPUtime=1481.92
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 328952 0 0 0 148032 160 0 0 25 0 1 0 279280305 1252147200 293805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 305700 293805 139 317 0 305379 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1222800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=576472/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1255392 CPUtime=1541.9
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 338486 0 0 0 154026 164 0 0 25 0 1 0 279280305 1285521408 303339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 313848 303339 139 317 0 313527 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1255392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=557400/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1270772 CPUtime=1601.89
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 343245 0 0 0 160023 166 0 0 25 0 1 0 279280305 1301270528 308098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 317693 308098 139 317 0 317372 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1270772

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=527256/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1295472 CPUtime=1661.87
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 350779 0 0 0 166016 171 0 0 25 0 1 0 279280305 1326563328 315632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 323868 315632 139 317 0 323547 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1295472

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=505304/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1313660 CPUtime=1721.86
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 356242 0 0 0 172012 174 0 0 25 0 1 0 279280305 1345187840 321095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 328415 321095 139 317 0 328094 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1313660

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=480792/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1334492 CPUtime=1781.84
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 362356 0 0 0 178007 177 0 0 25 0 1 0 279280305 1366519808 327209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 333623 327209 139 317 0 333302 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1334492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22980
/proc/meminfo: memFree=471640/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=1341840 CPUtime=1800.04
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194304 364644 0 0 0 179825 179 0 0 25 0 1 0 279280305 1374044160 329497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 335460 329497 139 317 0 335139 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1341840

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 22981
/proc/meminfo: memFree=792080/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=0 CPUtime=1800.14
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194308 364660 0 0 0 179830 184 0 0 25 0 1 0 279280305 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 22981
/proc/meminfo: memFree=792080/2055920 swapFree=4160052/4192956
[pid=22977] ppid=22975 vsize=0 CPUtime=1800.24
/proc/22977/stat : 22977 (oree) R 22975 22977 5450 0 -1 4194308 364660 0 0 0 179830 194 0 0 25 0 1 0 279280305 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22977/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.31
CPU user time (s): 1798.31
CPU system time (s): 2.00269
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1341840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.0027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364660
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= 8
involuntary context switches= 36300

runsolver used 1.44078 second user time and 4.08138 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue May  1 15:13:49 UTC 2007

IDJOB= 454850
IDBENCH= 48224
IDSOLVER= 172
FILE ID= node12/454850-1178032429

PBS_JOBID= 4728383

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_1.opb
COMMAND LINE= oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-454850-1178032429 -o ROOT/results/node12/conversion-454850-1178032429 -C 600 -M 1800 /tmp/evaluation/454850-1178032429/substituteSizeProductKeyword /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-454850-1178032429 -o ROOT/results/node12/solver-454850-1178032429 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/454850-1178032429/instance-454850-1178032429.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  fdd11e948ae8a5c2828dd3ba6f1a1add

RANDOM SEED= 914652662

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1792560 kB
Buffers:         74388 kB
Cached:          96320 kB
SwapCached:      11532 kB
Active:         135040 kB
Inactive:        64848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792560 kB
SwapTotal:     4192956 kB
SwapFree:      4160052 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          35060 kB
Slab:            48956 kB
Committed_AS:  9749068 kB
PageTables:       1804 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= 66563 MiB

End job on node12 on Tue May  1 15:43:52 UTC 2007