Trace number 366726

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 alphaSAT (TO)10 1800.14 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_15.r.opb
MD5SUM68c43c42d601fb3367802646c07cb8c3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.171973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints50
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.00/0.00	c ...done
0.00/0.00	c #vars=100 #constraints=51 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.00/0.00	c nbDecision=87 #constraints=51
0.00/0.00	c linear search for optimum
0.00/0.00	o 13
0.00/0.00	c nbDecision=98 #constraints=58
0.00/0.00	o 12
0.00/0.01	c nbDecision=127 #constraints=66
0.00/0.01	o 10
0.00/0.06	c restart after 401 decisions
0.07/0.07	c nbDecision=500 #constraints=263
0.10/0.14	c restart after 801 decisions
0.10/0.18	c nbDecision=1000 #constraints=486
0.30/0.30	c nbDecision=1500 #constraints=706
0.30/0.33	c restart after 1601 decisions
0.39/0.43	c nbDecision=2000 #constraints=921
0.59/0.63	c nbDecision=2500 #constraints=1173
0.79/0.88	c nbDecision=3000 #constraints=1428
1.00/1.04	c restart after 3201 decisions
1.19/1.27	c nbDecision=3500 #constraints=1693
1.59/1.64	c nbDecision=4000 #constraints=1966
2.19/2.22	c nbDecision=4500 #constraints=2268
2.49/2.55	c nbDecision=5000 #constraints=2540
2.99/3.05	c nbDecision=5500 #constraints=2812
3.89/3.95	c nbDecision=6000 #constraints=3098
4.78/4.81	c restart after 6401 decisions
4.98/5.01	c nbDecision=6500 #constraints=3383
6.19/6.23	c nbDecision=7000 #constraints=3682
7.39/7.41	c nbDecision=7500 #constraints=3976
7.89/7.96	c nbDecision=8000 #constraints=4186
8.58/8.61	c nbDecision=8500 #constraints=4357
9.28/9.30	c nbDecision=9000 #constraints=4549
10.58/10.64	c nbDecision=9500 #constraints=4797
11.99/12.09	c nbDecision=10000 #constraints=5025
13.79/13.83	c nbDecision=10500 #constraints=5281
15.98/16.02	c nbDecision=11000 #constraints=5537
17.68/17.78	c nbDecision=11500 #constraints=5750
20.08/20.14	c nbDecision=12000 #constraints=5974
21.08/21.18	c nbDecision=12500 #constraints=6157
22.48/22.57	c restart after 12801 decisions
23.28/23.36	c nbDecision=13000 #constraints=6318
25.98/26.01	c nbDecision=13500 #constraints=6569
29.07/29.10	c nbDecision=14000 #constraints=6804
31.98/32.01	c nbDecision=14500 #constraints=7035
34.68/34.78	c nbDecision=15000 #constraints=7264
38.87/39.00	c nbDecision=15500 #constraints=7498
43.07/43.20	c nbDecision=16000 #constraints=7745
44.47/44.52	c nbDecision=16500 #constraints=8055
45.57/45.68	c nbDecision=17000 #constraints=8352
47.57/47.68	c nbDecision=17500 #constraints=8654
49.76/49.85	c nbDecision=18000 #constraints=8952
52.26/52.32	c nbDecision=18500 #constraints=9236
55.37/55.49	c nbDecision=19000 #constraints=9492
59.37/59.44	c nbDecision=19500 #constraints=9755
62.26/62.30	c nbDecision=20000 #constraints=10028
65.26/65.30	c nbDecision=20500 #constraints=10292
69.86/69.96	c nbDecision=21000 #constraints=10569
73.76/73.88	c nbDecision=21500 #constraints=10853
79.35/79.48	c nbDecision=22000 #constraints=11114
84.25/84.33	c nbDecision=22500 #constraints=11409
89.66/89.73	c nbDecision=23000 #constraints=11744
96.66/96.77	c nbDecision=23500 #constraints=12061
104.85/104.97	c nbDecision=24000 #constraints=12383
111.25/111.34	c nbDecision=24500 #constraints=12705
117.84/117.97	c nbDecision=25000 #constraints=12985
125.14/125.25	c nbDecision=25500 #constraints=13267
127.14/127.21	c restart after 25601 decisions
135.24/135.36	c nbDecision=26000 #constraints=13562
140.54/140.67	c nbDecision=26500 #constraints=13853
146.24/146.35	c nbDecision=27000 #constraints=14133
155.93/156.07	c nbDecision=27500 #constraints=14437
164.72/164.88	c nbDecision=28000 #constraints=14756
175.72/175.86	c nbDecision=28500 #constraints=15075
185.82/185.96	c nbDecision=29000 #constraints=15376
193.61/193.76	c nbDecision=29500 #constraints=15712
204.81/204.92	c nbDecision=30000 #constraints=16024
220.30/220.44	c nbDecision=30500 #constraints=16374
233.90/234.04	c nbDecision=31000 #constraints=16708
247.59/247.78	c nbDecision=31500 #constraints=17034
251.89/252.01	c nbDecision=32000 #constraints=17244
256.29/256.41	c nbDecision=32500 #constraints=17503
263.48/263.65	c nbDecision=33000 #constraints=17741
271.58/271.72	c nbDecision=33500 #constraints=18014
278.58/278.78	c nbDecision=34000 #constraints=18221
289.28/289.43	c nbDecision=34500 #constraints=18460
300.87/301.08	c nbDecision=35000 #constraints=18717
307.96/308.13	c nbDecision=35500 #constraints=18963
313.96/314.17	c nbDecision=36000 #constraints=19153
319.17/319.37	c nbDecision=36500 #constraints=19367
329.06/329.28	c nbDecision=37000 #constraints=19598
340.26/340.46	c nbDecision=37500 #constraints=19844
353.75/353.99	c nbDecision=38000 #constraints=20141
364.55/364.71	c nbDecision=38500 #constraints=20412
379.04/379.22	c nbDecision=39000 #constraints=20684
385.24/385.41	c nbDecision=39500 #constraints=20912
393.64/393.86	c nbDecision=40000 #constraints=21130
407.13/407.36	c nbDecision=40500 #constraints=21386
422.13/422.36	c nbDecision=41000 #constraints=21690
436.32/436.50	c nbDecision=41500 #constraints=21995
453.61/453.86	c nbDecision=42000 #constraints=22294
473.60/473.82	c nbDecision=42500 #constraints=22623
488.00/488.22	c nbDecision=43000 #constraints=22851
504.29/504.56	c nbDecision=43500 #constraints=23085
520.09/520.39	c nbDecision=44000 #constraints=23402
538.08/538.31	c nbDecision=44500 #constraints=23716
559.17/559.46	c nbDecision=45000 #constraints=24058
581.47/581.70	c nbDecision=45500 #constraints=24420
603.85/604.17	c nbDecision=46000 #constraints=24736
625.34/625.66	c nbDecision=46500 #constraints=25068
647.14/647.48	c nbDecision=47000 #constraints=25415
670.92/671.23	c nbDecision=47500 #constraints=25754
694.02/694.31	c nbDecision=48000 #constraints=26043
722.61/722.92	c nbDecision=48500 #constraints=26397
737.00/737.33	c nbDecision=49000 #constraints=26680
755.20/755.58	c nbDecision=49500 #constraints=26982
776.99/777.38	c nbDecision=50000 #constraints=27308
787.98/788.35	c nbDecision=50500 #constraints=27545
803.78/804.15	c nbDecision=51000 #constraints=27803
809.07/809.45	c restart after 51201 decisions
815.07/815.41	c nbDecision=51500 #constraints=27999
835.46/835.84	c nbDecision=52000 #constraints=28264
843.66/844.01	c nbDecision=52500 #constraints=28562
857.66/858.08	c nbDecision=53000 #constraints=28884
873.65/874.10	c nbDecision=53500 #constraints=29197
891.64/892.06	c nbDecision=54000 #constraints=29494
915.83/916.27	c nbDecision=54500 #constraints=29829
934.32/934.73	c nbDecision=55000 #constraints=30172
957.62/958.04	c nbDecision=55500 #constraints=30480
982.41/982.85	c nbDecision=56000 #constraints=30790
997.00/997.40	c nbDecision=56500 #constraints=31061
1013.20/1013.66	c nbDecision=57000 #constraints=31278
1033.88/1034.30	c nbDecision=57500 #constraints=31581
1053.67/1054.18	c nbDecision=58000 #constraints=31863
1082.06/1082.53	c nbDecision=58500 #constraints=32178
1105.56/1106.05	c nbDecision=59000 #constraints=32460
1136.34/1136.80	c nbDecision=59500 #constraints=32800
1164.64/1165.10	c nbDecision=60000 #constraints=33101
1197.43/1197.95	c nbDecision=60500 #constraints=33417
1225.81/1226.35	c nbDecision=61000 #constraints=33718
1253.41/1253.97	c nbDecision=61500 #constraints=34030
1280.69/1281.24	c nbDecision=62000 #constraints=34349
1302.38/1302.96	c nbDecision=62500 #constraints=34583
1327.27/1327.88	c nbDecision=63000 #constraints=34812
1357.05/1357.61	c nbDecision=63500 #constraints=35072
1376.56/1377.11	c nbDecision=64000 #constraints=35358
1395.04/1395.63	c nbDecision=64500 #constraints=35631
1420.03/1420.60	c nbDecision=65000 #constraints=35931
1442.62/1443.25	c nbDecision=65500 #constraints=36218
1470.31/1470.95	c nbDecision=66000 #constraints=36532
1502.31/1502.95	c nbDecision=66500 #constraints=36861
1522.80/1523.41	c nbDecision=67000 #constraints=37077
1544.29/1544.99	c nbDecision=67500 #constraints=37301
1570.67/1571.34	c nbDecision=68000 #constraints=37566
1605.66/1606.36	c nbDecision=68500 #constraints=37880
1639.94/1640.67	c nbDecision=69000 #constraints=38169
1677.23/1677.93	c nbDecision=69500 #constraints=38514
1713.92/1714.65	c nbDecision=70000 #constraints=38849
1749.21/1749.92	c nbDecision=70500 #constraints=39172
1780.10/1780.86	c nbDecision=71000 #constraints=39451
1800.08/1800.80	Received signal 15
1800.08/1800.82	
1800.08/1800.82	s SATISFIABLE
1800.08/1800.82	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28
1800.08/1800.82	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54
1800.08/1800.82	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
1800.08/1800.82	v -x81 x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
1800.08/1800.82	
1800.08/1800.82	c user time= 1799.77 s
1800.08/1800.82	c system time= 0.349946 s
1800.08/1800.82	c wall clock time=1800.82

Verifier Data (download as text)

OK	10

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-366726-1177000245 -o ROOT/results/node13/solver-366726-1177000245 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366726-1177000245/instance-366726-1177000245.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: 1.00 1.00 1.00 3/77 11590
/proc/meminfo: memFree=1633400/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=1468 CPUtime=0
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 147942299 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135148896 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 367 180 147 317 0 46 0

[startup+0.0762431 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11590
/proc/meminfo: memFree=1633400/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=1996 CPUtime=0.07
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 337 0 0 0 7 0 0 0 18 0 1 0 147942299 2043904 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 499 319 170 317 0 178 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1996

[startup+0.102249 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11590
/proc/meminfo: memFree=1633400/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=2128 CPUtime=0.1
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 375 0 0 0 10 0 0 0 18 0 1 0 147942299 2179072 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 532 357 170 317 0 211 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2128

[startup+0.302297 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11590
/proc/meminfo: memFree=1633400/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=2912 CPUtime=0.3
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 568 0 0 0 30 0 0 0 20 0 1 0 147942299 2981888 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 728 550 170 317 0 407 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2912

[startup+0.701377 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11590
/proc/meminfo: memFree=1633400/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=3976 CPUtime=0.69
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 850 0 0 0 69 0 0 0 23 0 1 0 147942299 4071424 832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 994 832 170 317 0 673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3976

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1630192/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=5448 CPUtime=1.49
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 1200 0 0 0 149 0 0 0 25 0 1 0 147942299 5578752 1182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 1362 1182 170 317 0 1041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5448

[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1628528/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=7404 CPUtime=3.09
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 1670 0 0 0 309 0 0 0 25 0 1 0 147942299 7581696 1652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 1851 1652 170 317 0 1530 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7404

[startup+6.30157 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1625968/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=9248 CPUtime=6.29
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 2113 0 0 0 628 1 0 0 25 0 1 0 147942299 9469952 2095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 2312 2095 170 317 0 1991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9248

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1622768/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=12264 CPUtime=12.69
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 2804 0 0 0 1267 2 0 0 25 0 1 0 147942299 12558336 2786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 3066 2786 170 317 0 2745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12264

[startup+25.5027 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1619824/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=15268 CPUtime=25.48
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 3512 0 0 0 2546 2 0 0 25 0 1 0 147942299 15634432 3494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 3817 3494 170 317 0 3496 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15268

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1614512/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=20984 CPUtime=51.06
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 4905 0 0 0 5103 3 0 0 25 0 1 0 147942299 21487616 4830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 5246 4830 170 317 0 4925 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 20984

[startup+102.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 11591
/proc/meminfo: memFree=1607792/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=28088 CPUtime=102.25
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 6568 0 0 0 10220 5 0 0 25 0 1 0 147942299 28762112 6493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 7022 6493 170 317 0 6701 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28088

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 11591
/proc/meminfo: memFree=1602608/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=33372 CPUtime=162.22
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 7859 0 0 0 16215 7 0 0 25 0 1 0 147942299 34172928 7784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 8343 7784 170 317 0 8022 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33372

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1598576/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=37488 CPUtime=222.2
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 8841 0 0 0 22212 8 0 0 25 0 1 0 147942299 38387712 8766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 9372 8766 170 317 0 9051 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 37488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1594864/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=42172 CPUtime=282.18
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 9952 0 0 0 28208 10 0 0 25 0 1 0 147942299 43184128 9698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 10543 9698 170 317 0 10222 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 42172

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1591536/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=45592 CPUtime=342.15
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 10820 0 0 0 34204 11 0 0 25 0 1 0 147942299 46686208 10500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 11398 10500 170 317 0 11077 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 45592

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1588720/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=49024 CPUtime=402.13
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 11705 0 0 0 40201 12 0 0 25 0 1 0 147942299 50200576 11220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 12256 11220 170 317 0 11935 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 49024

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11591
/proc/meminfo: memFree=1586288/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=51400 CPUtime=462.11
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 12340 0 0 0 46198 13 0 0 25 0 1 0 147942299 52633600 11822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 12850 11822 170 317 0 12529 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 51400

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1584048/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=53768 CPUtime=522.08
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 12934 0 0 0 52194 14 0 0 25 0 1 0 147942299 55058432 12383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 13442 12383 170 317 0 13121 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 53768

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1581616/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=56256 CPUtime=582.06
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 13568 0 0 0 58190 16 0 0 25 0 1 0 147942299 57606144 12984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 14064 12984 170 317 0 13743 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 56256

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1579376/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=58372 CPUtime=642.05
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 14181 0 0 0 64188 17 0 0 25 0 1 0 147942299 59772928 13531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 14593 13531 170 317 0 14272 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 58372


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1573424/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=64288 CPUtime=821.97
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 15807 0 0 0 82177 20 0 0 25 0 1 0 147942299 65830912 15025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 16072 15025 170 317 0 15751 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 64288

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1570800/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=66844 CPUtime=881.94
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 16484 0 0 0 88173 21 0 0 25 0 1 0 147942299 68448256 15669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 16711 15669 170 317 0 16390 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 66844

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1568688/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=69108 CPUtime=941.92
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 17084 0 0 0 94169 23 0 0 25 0 1 0 147942299 70766592 16203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 17277 16203 170 317 0 16956 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 69108

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1566896/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=71360 CPUtime=1001.89
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 17673 0 0 0 100166 23 0 0 25 0 1 0 147942299 73072640 16660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 17840 16660 170 317 0 17519 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 71360

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1565104/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=72952 CPUtime=1061.87
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 18140 0 0 0 106163 24 0 0 25 0 1 0 147942299 74702848 17094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 18238 17094 170 317 0 17917 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 72952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1563568/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=74660 CPUtime=1121.85
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 18552 0 0 0 112160 25 0 0 25 0 1 0 147942299 76451840 17473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 18665 17473 170 317 0 18344 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 74660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1561584/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=78040 CPUtime=1181.83
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 19476 0 0 0 118157 26 0 0 25 0 1 0 147942299 79912960 17943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 19510 17943 170 317 0 19189 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 78040

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1560368/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=79480 CPUtime=1241.81
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 19928 0 0 0 124154 27 0 0 25 0 1 0 147942299 81387520 18263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 19870 18263 170 317 0 19549 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 79480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1558896/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=80916 CPUtime=1301.78
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 20328 0 0 0 130151 27 0 0 25 0 1 0 147942299 82857984 18630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 20229 18630 170 317 0 19908 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 80916

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1557744/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=82092 CPUtime=1361.75
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 20661 0 0 0 136147 28 0 0 25 0 1 0 147942299 84062208 18930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 20523 18930 170 317 0 20202 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 82092

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1555824/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=84180 CPUtime=1421.74
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 21242 0 0 0 142145 29 0 0 25 0 1 0 147942299 86200320 19412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 21045 19412 170 317 0 20724 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 84180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 11593
/proc/meminfo: memFree=1554224/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=86004 CPUtime=1481.71
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 21775 0 0 0 148141 30 0 0 25 0 1 0 147942299 88068096 19813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 21501 19813 170 317 0 21180 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 86004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1552880/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=87452 CPUtime=1541.69
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 22146 0 0 0 154138 31 0 0 25 0 1 0 147942299 89550848 20151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 21863 20151 170 317 0 21542 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 87452

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1551600/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=88504 CPUtime=1601.66
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 22470 0 0 0 160134 32 0 0 25 0 1 0 147942299 90628096 20475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 22126 20475 170 317 0 21805 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 88504

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1550256/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=89820 CPUtime=1661.64
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 22832 0 0 0 166131 33 0 0 25 0 1 0 147942299 91975680 20804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 22455 20804 170 317 0 22134 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 89820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1549040/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=91256 CPUtime=1721.61
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 23220 0 0 0 172128 33 0 0 25 0 1 0 147942299 93446144 21126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 22814 21126 170 317 0 22493 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 91256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1547760/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=92820 CPUtime=1781.59
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 23658 0 0 0 178125 34 0 0 25 0 1 0 147942299 95047680 21434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 23205 21434 170 317 0 22884 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 92820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11593
/proc/meminfo: memFree=1547184/2055920 swapFree=4159420/4192956
[pid=11590] ppid=11588 vsize=93340 CPUtime=1800.08
/proc/11590/stat : 11590 (oree) R 11588 11590 10675 0 -1 4194304 23826 0 0 0 179974 34 0 0 25 0 1 0 147942299 95580160 21537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11590/statm: 23335 21537 170 317 0 23014 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 93340

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

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

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.14
CPU user time (s): 1799.77
CPU system time (s): 0.364944
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 93340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.364944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23842
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= 2383

runsolver used 1.9907 second user time and 4.5753 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Thu Apr 19 16:30:45 UTC 2007

IDJOB= 366726
IDBENCH= 2885
IDSOLVER= 172
FILE ID= node13/366726-1177000245

PBS_JOBID= 4630468

Free space on /tmp= 66320 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb
COMMAND LINE= oree /tmp/evaluation/366726-1177000245/instance-366726-1177000245.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-366726-1177000245 -o ROOT/results/node13/solver-366726-1177000245 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366726-1177000245/instance-366726-1177000245.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  68c43c42d601fb3367802646c07cb8c3

RANDOM SEED= 945930175

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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:       1633872 kB
Buffers:         37168 kB
Cached:         320080 kB
SwapCached:      12740 kB
Active:          78932 kB
Inactive:       301568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633872 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            1344 kB
Writeback:           0 kB
Mapped:          30156 kB
Slab:            27020 kB
Committed_AS:  6648376 kB
PageTables:       1872 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= 66320 MiB

End job on node13 on Thu Apr 19 17:00:48 UTC 2007