Trace number 357406

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.24 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM5d1a4fe23dd6bae39a646bf16e233a2d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168760139499919105
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 168760139499919105
Optimality of the best value was proved NO
Number of variables6363
Total number of constraints785
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints785
Minimum length of a constraint2
Maximum length of a constraint141
Number of terms in the objective function 3774
Biggest coefficient in the objective function 3604480000000000
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 483609165299803395
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 3604480000000000
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 483609165299803395
Number of bits of the biggest sum of numbers59
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.09/0.10	c ...done
0.09/0.10	c #vars=6363 #constraints=1080 hasObjective=yes
0.19/0.23	c res. mode=mod
0.19/0.23	c VSIDS like heuristics
0.19/0.23	c complete search running
0.29/0.31	c restart after 401 decisions
0.29/0.33	c nbDecision=500 #constraints=1124
0.29/0.38	c restart after 801 decisions
0.39/0.43	c nbDecision=1000 #constraints=1193
0.49/0.53	c nbDecision=1500 #constraints=1254
0.49/0.56	c restart after 1601 decisions
0.59/0.63	c nbDecision=2000 #constraints=1291
0.69/0.77	c nbDecision=2500 #constraints=1428
0.79/0.87	c nbDecision=3000 #constraints=1484
0.89/0.95	c restart after 3201 decisions
0.99/1.02	c nbDecision=3500 #constraints=1566
1.09/1.19	c nbDecision=4000 #constraints=1677
1.29/1.39	c nbDecision=4500 #constraints=1789
1.59/1.63	c nbDecision=5000 #constraints=1942
1.89/1.91	c nbDecision=5500 #constraints=2115
2.29/2.34	c nbDecision=6000 #constraints=2374
2.59/2.61	c restart after 6401 decisions
2.59/2.64	c nbDecision=6500 #constraints=2503
2.89/2.95	c nbDecision=7000 #constraints=2630
3.19/3.20	c nbDecision=7500 #constraints=2733
3.39/3.46	c nbDecision=8000 #constraints=2839
3.79/3.88	c nbDecision=8500 #constraints=2960
4.19/4.23	c nbDecision=9000 #constraints=3067
4.59/4.67	c nbDecision=9500 #constraints=3185
5.09/5.11	c nbDecision=10000 #constraints=3303
5.49/5.56	c nbDecision=10500 #constraints=3426
5.98/6.06	c nbDecision=11000 #constraints=3531
6.69/6.76	c nbDecision=11500 #constraints=3685
7.29/7.37	c nbDecision=12000 #constraints=3800
7.89/7.93	c nbDecision=12500 #constraints=3931
8.19/8.24	c restart after 12801 decisions
8.49/8.52	c nbDecision=13000 #constraints=4013
8.89/8.95	c nbDecision=13500 #constraints=4084
9.29/9.31	c nbDecision=14000 #constraints=4148
9.69/9.74	c nbDecision=14500 #constraints=4217
9.99/10.06	c nbDecision=15000 #constraints=4264
10.39/10.48	c nbDecision=15500 #constraints=4336
11.09/11.15	c nbDecision=16000 #constraints=4416
11.89/11.98	c nbDecision=16500 #constraints=4504
12.79/12.80	c nbDecision=17000 #constraints=4607
13.58/13.63	c nbDecision=17500 #constraints=4709
14.48/14.55	c nbDecision=18000 #constraints=4825
15.18/15.28	c nbDecision=18500 #constraints=4915
15.98/16.04	c nbDecision=19000 #constraints=5007
16.88/16.95	c nbDecision=19500 #constraints=5111
17.68/17.79	c nbDecision=20000 #constraints=5199
18.38/18.49	c nbDecision=20500 #constraints=5280
19.18/19.29	c nbDecision=21000 #constraints=5384
20.08/20.12	c nbDecision=21500 #constraints=5478
20.79/20.89	c nbDecision=22000 #constraints=5574
21.49/21.52	c nbDecision=22500 #constraints=5654
22.29/22.31	c nbDecision=23000 #constraints=5780
22.99/23.03	c nbDecision=23500 #constraints=5874
24.09/24.20	c nbDecision=24000 #constraints=5978
25.29/25.38	c nbDecision=24500 #constraints=6081
26.39/26.48	c nbDecision=25000 #constraints=6167
27.58/27.67	c nbDecision=25500 #constraints=6275
27.88/27.96	c restart after 25601 decisions
28.38/28.47	c nbDecision=26000 #constraints=6332
29.38/29.40	c nbDecision=26500 #constraints=6415
30.18/30.24	c nbDecision=27000 #constraints=6490
30.69/30.72	c nbDecision=27500 #constraints=6539
31.18/31.26	c nbDecision=28000 #constraints=6575
32.48/32.51	c nbDecision=28500 #constraints=6642
32.98/33.07	c nbDecision=29000 #constraints=6698
33.58/33.68	c nbDecision=29500 #constraints=6751
34.88/34.99	c nbDecision=30000 #constraints=6871
36.48/36.55	c nbDecision=30500 #constraints=7038
38.58/38.61	c nbDecision=31000 #constraints=7264
40.87/40.91	c nbDecision=31500 #constraints=7384
42.57/42.66	c nbDecision=32000 #constraints=7496
45.18/45.20	c nbDecision=32500 #constraints=7638
47.68/47.74	c nbDecision=33000 #constraints=7774
51.38/51.45	c nbDecision=33500 #constraints=8008
52.08/52.17	c nbDecision=34000 #constraints=8083
52.58/52.68	c nbDecision=34500 #constraints=8147
53.68/53.72	c nbDecision=35000 #constraints=8225
54.57/54.65	c nbDecision=35500 #constraints=8302
55.37/55.42	c nbDecision=36000 #constraints=8354
55.87/55.97	c nbDecision=36500 #constraints=8416
56.57/56.68	c nbDecision=37000 #constraints=8487
57.57/57.62	c nbDecision=37500 #constraints=8591
58.07/58.10	c nbDecision=38000 #constraints=8652
60.98/61.02	c nbDecision=38500 #constraints=8857
63.68/63.72	c nbDecision=39000 #constraints=9055
66.17/66.21	c nbDecision=39500 #constraints=9181
67.97/68.02	c nbDecision=40000 #constraints=9337
68.57/68.64	c nbDecision=40500 #constraints=9415
69.27/69.36	c nbDecision=41000 #constraints=9500
69.87/69.92	c nbDecision=41500 #constraints=9573
70.47/70.54	c nbDecision=42000 #constraints=9649
71.67/71.78	c nbDecision=42500 #constraints=9742
72.77/72.86	c nbDecision=43000 #constraints=9856
75.27/75.39	c nbDecision=43500 #constraints=10031
77.07/77.16	c nbDecision=44000 #constraints=10168
81.57/81.70	c nbDecision=44500 #constraints=10458
82.27/82.32	c nbDecision=45000 #constraints=10521
84.37/84.46	c nbDecision=45500 #constraints=10665
85.77/85.88	c nbDecision=46000 #constraints=10770
87.77/87.88	c nbDecision=46500 #constraints=10914
92.07/92.17	c nbDecision=47000 #constraints=11150
94.36/94.42	c nbDecision=47500 #constraints=11299
96.77/96.89	c nbDecision=48000 #constraints=11438
97.96/98.08	c nbDecision=48500 #constraints=11531
101.67/101.73	c nbDecision=49000 #constraints=11724
106.57/106.70	c nbDecision=49500 #constraints=11972
109.16/109.28	c nbDecision=50000 #constraints=12108
109.96/110.08	c nbDecision=50500 #constraints=12171
111.57/111.62	c nbDecision=51000 #constraints=12273
111.87/111.94	c restart after 51201 decisions
118.56/118.70	c nbDecision=51500 #constraints=12421
130.86/130.97	c nbDecision=52000 #constraints=12640
145.45/145.57	c nbDecision=52500 #constraints=12900
158.44/158.52	c nbDecision=53000 #constraints=13108
172.55/172.64	c nbDecision=53500 #constraints=13325
181.94/182.01	c nbDecision=54000 #constraints=13487
192.35/192.46	c nbDecision=54500 #constraints=13662
203.35/203.44	c nbDecision=55000 #constraints=13860
211.44/211.53	c nbDecision=55500 #constraints=14002
220.13/220.21	c nbDecision=56000 #constraints=14175
230.63/230.76	c nbDecision=56500 #constraints=14348
238.43/238.58	c nbDecision=57000 #constraints=14480
246.52/246.60	c nbDecision=57500 #constraints=14613
256.23/256.38	c nbDecision=58000 #constraints=14780
265.72/265.82	c nbDecision=58500 #constraints=14945
271.92/272.00	c nbDecision=59000 #constraints=15070
287.02/287.13	c nbDecision=59500 #constraints=15350
300.01/300.15	c nbDecision=60000 #constraints=15576
322.31/322.45	c nbDecision=60500 #constraints=15941
334.60/334.78	c nbDecision=61000 #constraints=16159
356.09/356.21	c nbDecision=61500 #constraints=16493
372.70/372.82	c nbDecision=62000 #constraints=16741
384.30/384.48	c nbDecision=62500 #constraints=16935
397.79/397.99	c nbDecision=63000 #constraints=17154
412.49/412.68	c nbDecision=63500 #constraints=17376
439.68/439.82	c nbDecision=64000 #constraints=17770
461.47/461.67	c nbDecision=64500 #constraints=18088
483.77/483.99	c nbDecision=65000 #constraints=18431
502.36/502.55	c nbDecision=65500 #constraints=18735
532.56/532.78	c nbDecision=66000 #constraints=19161
562.54/562.72	c nbDecision=66500 #constraints=19590
574.45/574.62	c nbDecision=67000 #constraints=19781
582.85/583.00	c nbDecision=67500 #constraints=19930
605.24/605.48	c nbDecision=68000 #constraints=20241
625.73/625.92	c nbDecision=68500 #constraints=20530
648.02/648.21	c nbDecision=69000 #constraints=20854
674.42/674.69	c nbDecision=69500 #constraints=21214
700.21/700.45	c nbDecision=70000 #constraints=21570
730.31/730.57	c nbDecision=70500 #constraints=22001
757.20/757.41	c nbDecision=71000 #constraints=22388
777.49/777.76	c nbDecision=71500 #constraints=22663
800.39/800.60	c nbDecision=72000 #constraints=22973
819.09/819.38	c nbDecision=72500 #constraints=23236
839.58/839.88	c nbDecision=73000 #constraints=23528
850.98/851.27	c nbDecision=73500 #constraints=23689
876.66/876.97	c nbDecision=74000 #constraints=24053
889.67/889.92	c nbDecision=74500 #constraints=24254
921.66/921.93	c nbDecision=75000 #constraints=24638
958.95/959.26	c nbDecision=75500 #constraints=25088
994.84/995.17	c nbDecision=76000 #constraints=25493
1028.53/1028.85	c nbDecision=76500 #constraints=25928
1066.63/1066.97	c nbDecision=77000 #constraints=26349
1111.31/1111.67	c nbDecision=77500 #constraints=26800
1153.80/1154.11	c nbDecision=78000 #constraints=27255
1197.38/1197.75	c nbDecision=78500 #constraints=27701
1237.48/1237.86	c nbDecision=79000 #constraints=28139
1281.87/1282.24	c nbDecision=79500 #constraints=28593
1319.56/1319.91	c nbDecision=80000 #constraints=28973
1347.45/1347.84	c nbDecision=80500 #constraints=29274
1387.52/1387.90	c nbDecision=81000 #constraints=29685
1421.27/1421.73	c nbDecision=81500 #constraints=30050
1463.75/1464.24	c nbDecision=82000 #constraints=30465
1501.34/1501.85	c nbDecision=82500 #constraints=30826
1544.33/1544.88	c nbDecision=83000 #constraints=31221
1586.91/1587.41	c nbDecision=83500 #constraints=31642
1626.61/1627.12	c nbDecision=84000 #constraints=32076
1672.19/1672.73	c nbDecision=84500 #constraints=32522
1716.39/1716.99	c nbDecision=85000 #constraints=32945
1766.17/1766.71	c nbDecision=85500 #constraints=33366
1800.07/1800.61	Received signal 15
1800.17/1800.74	
1800.17/1800.74	s UNKNOWN
1800.17/1800.74	
1800.17/1800.74	c user time= 1799.98 s
1800.17/1800.74	c system time= 0.236963 s
1800.17/1800.74	c wall clock time=1800.74

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/node60/watcher-357406-1176997079 -o ROOT/results/node60/solver-357406-1176997079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.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.91 0.95 0.91 3/64 12797
/proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=1468 CPUtime=0
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147617870 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 367 160 127 317 0 46 0

[startup+0.0219721 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 12797
/proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=1620 CPUtime=0.01
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 218 0 0 0 1 0 0 0 18 0 1 0 147617870 1658880 200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 405 200 131 317 0 84 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1620

[startup+0.101978 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 12797
/proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=3336 CPUtime=0.09
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 147617870 3416064 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 834 615 131 317 0 513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3336

[startup+0.301998 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 12797
/proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=4700 CPUtime=0.29
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1005 0 0 0 29 0 0 0 19 0 1 0 147617870 4812800 987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 1175 987 170 317 0 854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4700

[startup+0.701037 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 12797
/proc/meminfo: memFree=1409872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=4964 CPUtime=0.69
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1095 0 0 0 69 0 0 0 22 0 1 0 147617870 5083136 1077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 1241 1077 170 317 0 920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4964

[startup+1.50111 s]
/proc/loadavg: 0.91 0.95 0.91 2/65 12798
/proc/meminfo: memFree=1405832/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=6148 CPUtime=1.49
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1399 0 0 0 149 0 0 0 25 0 1 0 147617870 6295552 1381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 1537 1381 170 317 0 1216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6148

[startup+3.10127 s]
/proc/loadavg: 0.91 0.95 0.91 2/65 12798
/proc/meminfo: memFree=1404104/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=8024 CPUtime=3.09
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 1831 0 0 0 309 0 0 0 25 0 1 0 147617870 8216576 1813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563374 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 2006 1813 170 317 0 1685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8024

[startup+6.30159 s]
/proc/loadavg: 0.92 0.95 0.91 2/65 12798
/proc/meminfo: memFree=1401544/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=10016 CPUtime=6.28
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 2343 0 0 0 628 0 0 0 25 0 1 0 147617870 10256384 2325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717911 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 2504 2325 170 317 0 2183 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10016

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.91 2/65 12798
/proc/meminfo: memFree=1399304/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=12248 CPUtime=12.69
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 2840 0 0 0 1268 1 0 0 25 0 1 0 147617870 12541952 2822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 3062 2822 170 317 0 2741 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12248

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 12798
/proc/meminfo: memFree=1395144/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=16252 CPUtime=25.48
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 3838 0 0 0 2546 2 0 0 25 0 1 0 147617870 16642048 3820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 4063 3820 170 317 0 3742 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16252

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 12798
/proc/meminfo: memFree=1388872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=22768 CPUtime=51.08
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 5399 0 0 0 5105 3 0 0 25 0 1 0 147617870 23314432 5381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 5692 5381 170 317 0 5371 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22768

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 12800
/proc/meminfo: memFree=1374664/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=37508 CPUtime=102.27
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 8925 0 0 0 10220 7 0 0 25 0 1 0 147617870 38408192 8850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 9377 8850 170 317 0 9056 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37508

[startup+162.302 s]
/proc/loadavg: 1.06 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1371080/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=40984 CPUtime=162.24
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 9838 0 0 0 16216 8 0 0 25 0 1 0 147617870 41967616 9763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 10246 9763 170 317 0 9925 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40984

[startup+222.302 s]
/proc/loadavg: 1.02 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1369288/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=42952 CPUtime=222.23
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 10273 0 0 0 22214 9 0 0 25 0 1 0 147617870 43982848 10198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 10738 10198 170 317 0 10417 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42952

[startup+282.302 s]
/proc/loadavg: 1.01 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1367496/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=44708 CPUtime=282.22
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 10722 0 0 0 28212 10 0 0 25 0 1 0 147617870 45780992 10647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 11177 10647 170 317 0 10856 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44708

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1364936/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=47068 CPUtime=342.2
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 11340 0 0 0 34210 10 0 0 25 0 1 0 147617870 48197632 11265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 11767 11265 170 317 0 11446 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 47068

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1362824/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=49816 CPUtime=402.19
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 11993 0 0 0 40208 11 0 0 25 0 1 0 147617870 51011584 11805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 12454 11805 170 317 0 12133 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49816

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1360840/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=52184 CPUtime=462.17
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 12475 0 0 0 46206 11 0 0 25 0 1 0 147617870 53436416 12287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 13046 12287 170 317 0 12725 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 52184

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1359048/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=54152 CPUtime=522.16
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 12973 0 0 0 52204 12 0 0 25 0 1 0 147617870 55451648 12752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 13538 12752 170 317 0 13217 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 54152

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1356872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=56256 CPUtime=582.14
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 13501 0 0 0 58201 13 0 0 25 0 1 0 147617870 57606144 13280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 14064 13280 170 317 0 13743 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 56256

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1355080/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=57956 CPUtime=642.13
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 13935 0 0 0 64200 13 0 0 25 0 1 0 147617870 59346944 13714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563529 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 14489 13714 170 317 0 14168 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 57956


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1347720/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=65628 CPUtime=882.06
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 15800 0 0 0 88191 15 0 0 25 0 1 0 147617870 67203072 15546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 16407 15546 170 317 0 16086 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 65628

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1345992/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=67328 CPUtime=942.05
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 16242 0 0 0 94189 16 0 0 25 0 1 0 147617870 68943872 15988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 16832 15988 170 317 0 16511 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 67328

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1343880/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=69876 CPUtime=1002.04
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 16789 0 0 0 100187 17 0 0 25 0 1 0 147617870 71553024 16502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 17469 16502 170 317 0 17148 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 69876

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1342216/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=72084 CPUtime=1062.03
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 17407 0 0 0 106185 18 0 0 25 0 1 0 147617870 73814016 16889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 18021 16889 170 317 0 17700 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 72084

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1340872/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=73908 CPUtime=1122.01
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 17901 0 0 0 112183 18 0 0 25 0 1 0 147617870 75681792 17251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 18477 17251 170 317 0 18156 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 73908

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1339400/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=75220 CPUtime=1181.99
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 18274 0 0 0 118181 18 0 0 25 0 1 0 147617870 77025280 17624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 18805 17624 170 317 0 18484 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 75220

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1337864/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=77072 CPUtime=1241.98
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 18767 0 0 0 124179 19 0 0 25 0 1 0 147617870 78921728 17985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 19268 17985 170 317 0 18947 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 77072

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1336520/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=78392 CPUtime=1301.97
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19115 0 0 0 130178 19 0 0 25 0 1 0 147617870 80273408 18333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 19598 18333 170 317 0 19277 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 78392

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12800
/proc/meminfo: memFree=1334984/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=79984 CPUtime=1361.95
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19555 0 0 0 136176 19 0 0 25 0 1 0 147617870 81903616 18674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 19996 18674 170 317 0 19675 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 79984

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.92 2/71 12970
/proc/meminfo: memFree=1332176/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=81300 CPUtime=1421.87
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 19946 0 0 0 142167 20 0 0 25 0 1 0 147617870 83251200 19065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 20325 19065 170 317 0 20004 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 81300

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1332040/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=82488 CPUtime=1481.85
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20288 0 0 0 148164 21 0 0 25 0 1 0 147617870 84467712 19407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 20622 19407 170 317 0 20301 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 82488

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1330696/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=83796 CPUtime=1541.83
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20639 0 0 0 154162 21 0 0 25 0 1 0 147617870 85807104 19725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 20949 19725 170 317 0 20628 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 83796

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1329416/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=84984 CPUtime=1601.82
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 20980 0 0 0 160160 22 0 0 25 0 1 0 147617870 87023616 20066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 21246 20066 170 317 0 20925 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 84984

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1327880/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=86332 CPUtime=1661.79
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 21373 0 0 0 166157 22 0 0 25 0 1 0 147617870 88403968 20426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 21583 20426 170 317 0 21262 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 86332

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1325512/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=89740 CPUtime=1721.78
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22226 0 0 0 172155 23 0 0 25 0 1 0 147617870 91893760 20987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 22435 20987 170 317 0 22114 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 89740

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1325576/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=89740 CPUtime=1781.77
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22286 0 0 0 178154 23 0 0 25 0 1 0 147617870 91893760 21047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 22435 21047 170 317 0 22114 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 89740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1325192/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=90000 CPUtime=1800.07
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22369 0 0 0 179984 23 0 0 25 0 1 0 147617870 92160000 21130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 22500 21130 170 317 0 22179 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 90000

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 12998
/proc/meminfo: memFree=1325192/2055920 swapFree=4181684/4192956
[pid=12797] ppid=12795 vsize=90000 CPUtime=1800.17
/proc/12797/stat : 12797 (oree) R 12795 12797 12041 0 -1 4194304 22369 0 0 0 179994 23 0 0 25 0 1 0 147617870 92160000 21130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12797/statm: 22500 21130 170 317 0 22179 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 90000

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.24
CPU user time (s): 1799.98
CPU system time (s): 0.252961
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 90000

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

runsolver used 1.39879 second user time and 3.60645 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Thu Apr 19 15:37:59 UTC 2007

IDJOB= 357406
IDBENCH= 2529
IDSOLVER= 172
FILE ID= node60/357406-1176997079

PBS_JOBID= 4630431

Free space on /tmp= 66416 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
COMMAND LINE= oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-357406-1176997079 -o ROOT/results/node60/solver-357406-1176997079 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357406-1176997079/instance-357406-1176997079.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5d1a4fe23dd6bae39a646bf16e233a2d

RANDOM SEED= 778193058

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
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.214
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:       1410344 kB
Buffers:         27420 kB
Cached:         544532 kB
SwapCached:       5028 kB
Active:          74560 kB
Inactive:       508424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1410344 kB
SwapTotal:     4192956 kB
SwapFree:      4181684 kB
Dirty:            1652 kB
Writeback:           0 kB
Mapped:          15560 kB
Slab:            48536 kB
Committed_AS:  1584432 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB

End job on node60 on Thu Apr 19 16:08:02 UTC 2007