Trace number 357137

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.44 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
MD5SUM05a418d42b6e85967009c0fa73623d83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 372
Optimality of the best value was proved NO
Number of variables808
Total number of constraints5557
Number of constraints which are clauses5557
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 constraint2
Maximum length of a constraint32
Number of terms in the objective function 808
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 808
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 808
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.05	c ...done
0.00/0.05	c #vars=808 #constraints=5558 hasObjective=yes
0.05/0.09	c res. mode=mod
0.05/0.09	c VSIDS like heuristics
0.05/0.09	c complete search running
0.10/0.15	c restart after 401 decisions
0.10/0.15	c nbDecision=500 #constraints=5601
0.10/0.18	c restart after 801 decisions
0.10/0.19	c nbDecision=1000 #constraints=5609
0.20/0.23	c nbDecision=1500 #constraints=5620
0.20/0.24	c restart after 1601 decisions
0.20/0.27	c nbDecision=2000 #constraints=5628
0.29/0.31	c nbDecision=2500 #constraints=5639
0.29/0.36	c nbDecision=3000 #constraints=5649
0.29/0.38	c restart after 3201 decisions
0.39/0.41	c nbDecision=3500 #constraints=5662
0.39/0.48	c nbDecision=4000 #constraints=5683
0.49/0.53	c nbDecision=4500 #constraints=5693
0.49/0.57	c nbDecision=5000 #constraints=5703
0.59/0.62	c nbDecision=5500 #constraints=5723
0.59/0.68	c nbDecision=6000 #constraints=5759
0.69/0.73	c restart after 6401 decisions
0.69/0.73	c nbDecision=6500 #constraints=5793
0.79/0.81	c nbDecision=7000 #constraints=5840
0.89/0.92	c nbDecision=7500 #constraints=5895
0.89/0.99	c nbDecision=8000 #constraints=5910
1.00/1.05	c nbDecision=8500 #constraints=5920
1.10/1.11	c nbDecision=9000 #constraints=5929
1.19/1.21	c nbDecision=9500 #constraints=5955
1.29/1.31	c nbDecision=10000 #constraints=5979
1.39/1.40	c nbDecision=10500 #constraints=6013
1.39/1.47	c nbDecision=11000 #constraints=6023
1.49/1.55	c nbDecision=11500 #constraints=6039
1.69/1.78	c nbDecision=12000 #constraints=6100
1.79/1.87	c nbDecision=12500 #constraints=6121
1.89/1.92	c restart after 12801 decisions
1.89/1.94	c nbDecision=13000 #constraints=6130
1.99/2.01	c nbDecision=13500 #constraints=6141
2.09/2.17	c nbDecision=14000 #constraints=6173
2.29/2.33	c nbDecision=14500 #constraints=6213
2.49/2.51	c nbDecision=15000 #constraints=6257
2.69/2.70	c nbDecision=15500 #constraints=6301
3.29/3.30	c nbDecision=16000 #constraints=6464
3.79/3.82	c nbDecision=16500 #constraints=6590
3.99/4.06	c nbDecision=17000 #constraints=6654
4.39/4.44	c nbDecision=17500 #constraints=6742
4.79/4.84	c nbDecision=18000 #constraints=6830
5.69/5.74	c nbDecision=18500 #constraints=7046
5.89/5.99	c nbDecision=19000 #constraints=7099
6.49/6.51	c nbDecision=19500 #constraints=7170
6.99/7.06	c nbDecision=20000 #constraints=7257
7.79/7.81	c nbDecision=20500 #constraints=7371
8.59/8.60	c nbDecision=21000 #constraints=7488
9.79/9.83	c nbDecision=21500 #constraints=7637
11.29/11.31	c nbDecision=22000 #constraints=7823
12.48/12.50	c nbDecision=22500 #constraints=7949
14.38/14.49	c nbDecision=23000 #constraints=8161
16.98/17.03	c nbDecision=23500 #constraints=8382
20.49/20.52	c nbDecision=24000 #constraints=8639
25.19/25.24	c nbDecision=24500 #constraints=8960
29.68/29.79	c nbDecision=25000 #constraints=9159
30.68/30.70	c nbDecision=25500 #constraints=9180
30.78/30.81	c restart after 25601 decisions
31.28/31.32	c nbDecision=26000 #constraints=9188
31.78/31.88	c nbDecision=26500 #constraints=9198
32.38/32.43	c nbDecision=27000 #constraints=9218
33.07/33.15	c nbDecision=27500 #constraints=9256
34.38/34.45	c nbDecision=28000 #constraints=9326
36.38/36.40	c nbDecision=28500 #constraints=9423
39.38/39.49	c nbDecision=29000 #constraints=9552
40.78/40.87	c nbDecision=29500 #constraints=9597
42.68/42.73	c nbDecision=30000 #constraints=9688
45.67/45.76	c nbDecision=30500 #constraints=9829
49.07/49.14	c nbDecision=31000 #constraints=9945
50.97/51.08	c nbDecision=31500 #constraints=9987
52.77/52.87	c nbDecision=32000 #constraints=10056
54.77/54.82	c nbDecision=32500 #constraints=10103
59.46/59.50	c nbDecision=33000 #constraints=10269
66.17/66.27	c nbDecision=33500 #constraints=10534
74.26/74.30	c nbDecision=34000 #constraints=10805
77.46/77.50	c nbDecision=34500 #constraints=10910
80.86/80.92	c nbDecision=35000 #constraints=11041
84.16/84.25	c nbDecision=35500 #constraints=11164
91.35/91.41	c nbDecision=36000 #constraints=11416
94.15/94.21	c nbDecision=36500 #constraints=11455
99.86/99.99	c nbDecision=37000 #constraints=11577
105.66/105.70	c nbDecision=37500 #constraints=11771
111.35/111.45	c nbDecision=38000 #constraints=11906
115.55/115.65	c nbDecision=38500 #constraints=12027
124.15/124.24	c nbDecision=39000 #constraints=12254
131.04/131.15	c nbDecision=39500 #constraints=12432
143.35/143.49	c nbDecision=40000 #constraints=12693
160.14/160.29	c nbDecision=40500 #constraints=13026
173.43/173.50	c nbDecision=41000 #constraints=13332
181.43/181.57	c nbDecision=41500 #constraints=13524
194.23/194.34	c nbDecision=42000 #constraints=13789
208.02/208.14	c nbDecision=42500 #constraints=14086
222.91/223.09	c nbDecision=43000 #constraints=14401
241.21/241.33	c nbDecision=43500 #constraints=14720
268.30/268.42	c nbDecision=44000 #constraints=15075
296.48/296.64	c nbDecision=44500 #constraints=15401
325.98/326.11	c nbDecision=45000 #constraints=15773
352.17/352.33	c nbDecision=45500 #constraints=16077
355.37/355.54	c nbDecision=46000 #constraints=16097
359.36/359.56	c nbDecision=46500 #constraints=16126
363.87/364.01	c nbDecision=47000 #constraints=16169
368.06/368.27	c nbDecision=47500 #constraints=16202
373.36/373.57	c nbDecision=48000 #constraints=16224
380.15/380.34	c nbDecision=48500 #constraints=16296
389.86/390.00	c nbDecision=49000 #constraints=16369
393.06/393.29	c nbDecision=49500 #constraints=16379
396.86/397.05	c nbDecision=50000 #constraints=16389
400.66/400.82	c nbDecision=50500 #constraints=16403
407.15/407.37	c nbDecision=51000 #constraints=16443
410.45/410.65	c restart after 51201 decisions
415.95/416.13	c nbDecision=51500 #constraints=16490
426.65/426.87	c nbDecision=52000 #constraints=16563
437.04/437.28	c nbDecision=52500 #constraints=16620
446.34/446.54	c nbDecision=53000 #constraints=16722
454.73/454.96	c nbDecision=53500 #constraints=16810
468.23/468.48	c nbDecision=54000 #constraints=16980
486.03/486.26	c nbDecision=54500 #constraints=17171
492.42/492.60	c nbDecision=55000 #constraints=17232
500.82/501.08	c nbDecision=55500 #constraints=17323
507.72/507.96	c nbDecision=56000 #constraints=17405
520.71/520.94	c nbDecision=56500 #constraints=17555
543.10/543.37	c nbDecision=57000 #constraints=17829
556.59/556.81	c nbDecision=57500 #constraints=17995
584.99/585.25	c nbDecision=58000 #constraints=18274
607.68/607.98	c nbDecision=58500 #constraints=18518
635.97/636.23	c nbDecision=59000 #constraints=18778
640.67/640.94	c nbDecision=59500 #constraints=18809
646.17/646.44	c nbDecision=60000 #constraints=18849
652.96/653.30	c nbDecision=60500 #constraints=18891
657.16/657.45	c nbDecision=61000 #constraints=18917
665.26/665.57	c nbDecision=61500 #constraints=18974
672.96/673.23	c nbDecision=62000 #constraints=19010
683.56/683.88	c nbDecision=62500 #constraints=19112
697.75/698.06	c nbDecision=63000 #constraints=19254
712.55/712.84	c nbDecision=63500 #constraints=19377
727.33/727.66	c nbDecision=64000 #constraints=19523
736.94/737.26	c nbDecision=64500 #constraints=19598
749.13/749.40	c nbDecision=65000 #constraints=19665
765.73/766.09	c nbDecision=65500 #constraints=19815
776.32/776.68	c nbDecision=66000 #constraints=19912
789.01/789.38	c nbDecision=66500 #constraints=20036
800.72/801.02	c nbDecision=67000 #constraints=20112
815.31/815.69	c nbDecision=67500 #constraints=20215
832.60/832.94	c nbDecision=68000 #constraints=20362
862.88/863.21	c nbDecision=68500 #constraints=20575
890.28/890.64	c nbDecision=69000 #constraints=20802
942.06/942.46	c nbDecision=69500 #constraints=21096
984.95/985.39	c nbDecision=70000 #constraints=21371
1005.34/1005.77	c nbDecision=70500 #constraints=21537
1023.23/1023.69	c nbDecision=71000 #constraints=21712
1045.42/1045.80	c nbDecision=71500 #constraints=21919
1069.01/1069.49	c nbDecision=72000 #constraints=22112
1093.61/1094.08	c nbDecision=72500 #constraints=22302
1126.89/1127.33	c nbDecision=73000 #constraints=22555
1163.09/1163.56	c nbDecision=73500 #constraints=22834
1209.76/1210.27	c nbDecision=74000 #constraints=23144
1254.85/1255.34	c nbDecision=74500 #constraints=23466
1315.23/1315.78	c nbDecision=75000 #constraints=23826
1366.11/1366.62	c nbDecision=75500 #constraints=24142
1424.49/1425.05	c nbDecision=76000 #constraints=24486
1508.07/1508.67	c nbDecision=76500 #constraints=24835
1517.06/1517.64	c nbDecision=77000 #constraints=24893
1527.96/1528.57	c nbDecision=77500 #constraints=24999
1545.25/1545.88	c nbDecision=78000 #constraints=25138
1575.94/1576.54	c nbDecision=78500 #constraints=25377
1590.93/1591.54	c nbDecision=79000 #constraints=25437
1607.63/1608.24	c nbDecision=79500 #constraints=25537
1636.82/1637.43	c nbDecision=80000 #constraints=25740
1649.11/1649.78	c nbDecision=80500 #constraints=25795
1694.00/1694.64	c nbDecision=81000 #constraints=26054
1714.89/1715.57	c nbDecision=81500 #constraints=26181
1730.69/1731.40	c nbDecision=82000 #constraints=26250
1759.97/1760.69	c nbDecision=82500 #constraints=26445
1769.87/1770.55	c nbDecision=83000 #constraints=26509
1791.06/1791.72	c nbDecision=83500 #constraints=26633
1800.07/1800.70	Received signal 15
1800.36/1801.04	
1800.36/1801.04	s UNKNOWN
1800.36/1801.04	
1800.36/1801.04	c user time= 1800.1 s
1800.36/1801.04	c system time= 0.316951 s
1800.36/1801.04	c wall clock time=1801.05

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-357137-1176988079 -o ROOT/results/node38/solver-357137-1176988079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.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.65 0.91 0.97 3/77 30700
/proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=1468 CPUtime=0
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 130974558 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 367 165 130 317 0 46 0

[startup+0.053366 s]
/proc/loadavg: 0.65 0.91 0.97 3/77 30700
/proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=2828 CPUtime=0.05
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 509 0 0 0 5 0 0 0 18 0 1 0 130974558 2895872 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 707 494 136 317 0 386 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2828

[startup+0.101375 s]
/proc/loadavg: 0.65 0.91 0.97 3/77 30700
/proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=3224 CPUtime=0.1
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 613 0 0 0 10 0 0 0 18 0 1 0 130974558 3301376 595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 806 595 139 317 0 485 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3224

[startup+0.301414 s]
/proc/loadavg: 0.65 0.91 0.97 3/77 30700
/proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=3508 CPUtime=0.29
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 693 0 0 0 29 0 0 0 19 0 1 0 130974558 3592192 637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 877 637 139 317 0 556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3508

[startup+0.701491 s]
/proc/loadavg: 0.65 0.91 0.97 3/77 30700
/proc/meminfo: memFree=1465808/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=3764 CPUtime=0.69
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 774 0 0 0 69 0 0 0 22 0 1 0 130974558 3854336 718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 941 718 139 317 0 620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3764

[startup+1.50164 s]
/proc/loadavg: 0.65 0.91 0.97 2/78 30701
/proc/meminfo: memFree=1462984/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=4680 CPUtime=1.49
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 989 0 0 0 149 0 0 0 25 0 1 0 130974558 4792320 933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 1170 933 139 317 0 849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4680

[startup+3.10195 s]
/proc/loadavg: 0.65 0.91 0.97 2/78 30701
/proc/meminfo: memFree=1462088/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=5840 CPUtime=3.09
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 1298 0 0 0 309 0 0 0 25 0 1 0 130974558 5980160 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 1460 1242 139 317 0 1139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5840

[startup+6.30157 s]
/proc/loadavg: 0.68 0.91 0.97 2/78 30701
/proc/meminfo: memFree=1458888/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=9036 CPUtime=6.29
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 2057 0 0 0 628 1 0 0 25 0 1 0 130974558 9252864 2001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 2259 2001 139 317 0 1938 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9036

[startup+12.7018 s]
/proc/loadavg: 0.71 0.91 0.97 2/78 30701
/proc/meminfo: memFree=1454728/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=12732 CPUtime=12.68
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 3001 0 0 0 1267 1 0 0 25 0 1 0 130974558 13037568 2945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 3183 2945 139 317 0 2862 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12732

[startup+25.5013 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 30701
/proc/meminfo: memFree=1449608/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=18000 CPUtime=25.48
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 4209 0 0 0 2546 2 0 0 25 0 1 0 130974558 18432000 4153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 4500 4153 139 317 0 4179 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18000

[startup+51.1012 s]
/proc/loadavg: 0.85 0.92 0.97 2/78 30701
/proc/meminfo: memFree=1445320/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=22020 CPUtime=51.07
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 5266 0 0 0 5104 3 0 0 25 0 1 0 130974558 22548480 5210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 5505 5210 139 317 0 5184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22020

[startup+102.305 s]
/proc/loadavg: 0.93 0.93 0.97 2/78 30701
/proc/meminfo: memFree=1437768/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=30600 CPUtime=102.26
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 7210 0 0 0 10221 5 0 0 25 0 1 0 130974558 31334400 7079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 7650 7079 139 317 0 7329 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30600

[startup+162.302 s]
/proc/loadavg: 0.97 0.94 0.97 2/78 30701
/proc/meminfo: memFree=1430856/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=37716 CPUtime=162.24
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 8926 0 0 0 16218 6 0 0 25 0 1 0 130974558 38621184 8795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 9429 8795 139 317 0 9108 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37716

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 30701
/proc/meminfo: memFree=1423752/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=44504 CPUtime=222.21
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 10695 0 0 0 22214 7 0 0 25 0 1 0 130974558 45572096 10564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 11126 10564 139 317 0 10805 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 44504

[startup+282.302 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 30701
/proc/meminfo: memFree=1419272/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=49764 CPUtime=282.19
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 11816 0 0 0 28211 8 0 0 25 0 1 0 130974558 50958336 11685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 12441 11685 139 317 0 12120 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49764

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 30701
/proc/meminfo: memFree=1414856/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=54928 CPUtime=342.17
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 12920 0 0 0 34208 9 0 0 25 0 1 0 130974558 56246272 12789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 13732 12789 139 317 0 13411 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 54928

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1413320/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=56920 CPUtime=402.15
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 13313 0 0 0 40205 10 0 0 25 0 1 0 130974558 58286080 13182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 14230 13182 139 317 0 13909 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 56920

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1411208/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=59404 CPUtime=462.13
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 13853 0 0 0 46202 11 0 0 25 0 1 0 130974558 60829696 13722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 14851 13722 139 317 0 14530 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 59404

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1408136/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=62876 CPUtime=522.11
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 14632 0 0 0 52199 12 0 0 25 0 1 0 130974558 64385024 14501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 15719 14501 139 317 0 15398 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 62876

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1404296/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=66612 CPUtime=582.09
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 15574 0 0 0 58196 13 0 0 25 0 1 0 130974558 68210688 15443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 16653 15443 139 317 0 16332 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 66612

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1401032/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=70280 CPUtime=642.07
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 16406 0 0 0 64193 14 0 0 25 0 1 0 130974558 71966720 16275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 17570 16275 139 317 0 17249 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 70280


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 30701
/proc/meminfo: memFree=1392648/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=78820 CPUtime=881.99
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 18536 0 0 0 88181 18 0 0 25 0 1 0 130974558 80711680 18405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 19705 18405 139 317 0 19384 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 78820

[startup+942.302 s]
/proc/loadavg: 1.07 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1390664/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=80724 CPUtime=941.96
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 19030 0 0 0 94178 18 0 0 25 0 1 0 130974558 82661376 18899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 20181 18899 139 317 0 19860 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 80724

[startup+1002.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1388616/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=82828 CPUtime=1001.94
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 19551 0 0 0 100175 19 0 0 25 0 1 0 130974558 84815872 19420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 20707 19420 139 317 0 20386 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 82828

[startup+1062.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1385800/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=86040 CPUtime=1061.92
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 20413 0 0 0 106172 20 0 0 25 0 1 0 130974558 88104960 20133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 21510 20133 139 317 0 21189 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 86040

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1383432/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=88100 CPUtime=1121.9
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 20995 0 0 0 112169 21 0 0 25 0 1 0 130974558 90214400 20715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 22025 20715 139 317 0 21704 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 88100

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1381192/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=90196 CPUtime=1181.88
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 21579 0 0 0 118166 22 0 0 25 0 1 0 130974558 92360704 21299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 22549 21299 139 317 0 22228 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 90196

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1379144/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=92040 CPUtime=1241.86
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 22092 0 0 0 124163 23 0 0 25 0 1 0 130974558 94248960 21812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 23010 21812 139 317 0 22689 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 92040

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1377032/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=93880 CPUtime=1301.84
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 22606 0 0 0 130160 24 0 0 25 0 1 0 130974558 96133120 22326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 23470 22326 139 317 0 23149 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 93880

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1375176/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=95744 CPUtime=1361.81
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 23143 0 0 0 136157 24 0 0 25 0 1 0 130974558 98041856 22830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 23936 22830 139 317 0 23615 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 95744

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1373000/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=97836 CPUtime=1421.79
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 23663 0 0 0 142154 25 0 0 25 0 1 0 130974558 100184064 23350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 24459 23350 139 317 0 24138 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 97836

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1371528/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=99588 CPUtime=1481.77
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 24121 0 0 0 148151 26 0 0 25 0 1 0 130974558 101978112 23742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 24897 23742 139 317 0 24576 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 99588

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1369672/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=101676 CPUtime=1541.75
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 24665 0 0 0 154148 27 0 0 25 0 1 0 130974558 104116224 24187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 25419 24187 139 317 0 25098 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 101676

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1368072/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=103884 CPUtime=1601.73
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 25292 0 0 0 160145 28 0 0 25 0 1 0 130974558 106377216 24616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 25971 24616 139 317 0 25650 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 103884

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1366600/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=105972 CPUtime=1661.71
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 25806 0 0 0 166142 29 0 0 25 0 1 0 130974558 108515328 24998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 26493 24998 139 317 0 26172 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 105972

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1365128/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=107784 CPUtime=1721.69
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26270 0 0 0 172139 30 0 0 25 0 1 0 130974558 110370816 25363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 26946 25363 139 317 0 26625 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 107784

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1363528/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=110040 CPUtime=1781.67
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26822 0 0 0 178136 31 0 0 25 0 1 0 130974558 112680960 25783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 27510 25783 139 317 0 27189 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 110040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1363080/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=110436 CPUtime=1800.07
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26925 0 0 0 179976 31 0 0 25 0 1 0 130974558 113086464 25886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 27609 25886 139 317 0 27288 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 110436

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

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

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 30703
/proc/meminfo: memFree=1363080/2055920 swapFree=4159716/4192956
[pid=30700] ppid=30698 vsize=110436 CPUtime=1800.36
/proc/30700/stat : 30700 (oree) R 30698 30700 30643 0 -1 4194304 26927 0 0 0 180005 31 0 0 25 0 1 0 130974558 113086464 25888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30700/statm: 27609 25888 139 317 0 27288 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 110436

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.44
CPU user time (s): 1800.1
CPU system time (s): 0.335948
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 110436

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

runsolver used 2.07069 second user time and 4.50232 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Thu Apr 19 13:07:59 UTC 2007

IDJOB= 357137
IDBENCH= 2106
IDSOLVER= 172
FILE ID= node38/357137-1176988079

PBS_JOBID= 4630435

Free space on /tmp= 66242 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
COMMAND LINE= oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-357137-1176988079 -o ROOT/results/node38/solver-357137-1176988079 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357137-1176988079/instance-357137-1176988079.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  05a418d42b6e85967009c0fa73623d83

RANDOM SEED= 644924052

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1466344 kB
Buffers:         46876 kB
Cached:         447240 kB
SwapCached:       3100 kB
Active:          91468 kB
Inactive:       431708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466344 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:            1648 kB
Writeback:           0 kB
Mapped:          37316 kB
Slab:            51676 kB
Committed_AS:  1539612 kB
PageTables:       2060 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= 66242 MiB

End job on node38 on Thu Apr 19 13:38:02 UTC 2007