Trace number 357022

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)24 1800.34 1802.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb
MD5SUM9a8d1e3e59dfd2cd811494ddb4a3c92a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1802.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables230
Total number of constraints6
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 constraints6
Minimum length of a constraint80
Maximum length of a constraint80
Number of terms in the objective function 180
Biggest coefficient in the objective function 43691
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524412
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261310
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524412
Number of bits of the biggest sum of numbers20
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.00	c ...done
0.00/0.00	c #vars=230 #constraints=13 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.29/0.38	c restart after 401 decisions
0.39/0.43	c nbDecision=500 #constraints=383
0.79/0.86	c restart after 801 decisions
1.09/1.11	c nbDecision=1000 #constraints=819
2.19/2.24	c nbDecision=1500 #constraints=1319
2.49/2.59	c restart after 1601 decisions
3.69/3.76	c nbDecision=2000 #constraints=1755
6.49/6.51	c nbDecision=2500 #constraints=2256
10.18/10.26	c nbDecision=3000 #constraints=2756
11.78/11.89	c restart after 3201 decisions
14.89/14.99	c nbDecision=3500 #constraints=3193
21.48/21.59	c nbDecision=4000 #constraints=3692
29.29/29.31	c nbDecision=4500 #constraints=4191
38.08/38.12	c nbDecision=5000 #constraints=4692
47.28/47.38	c nbDecision=5500 #constraints=5194
57.78/57.80	c nbDecision=6000 #constraints=5692
67.97/68.10	c restart after 6401 decisions
69.47/69.57	c nbDecision=6500 #constraints=6129
83.77/83.83	c nbDecision=7000 #constraints=6628
99.36/99.40	c nbDecision=7500 #constraints=7128
115.06/115.12	c nbDecision=8000 #constraints=7630
131.55/131.68	c nbDecision=8500 #constraints=8129
152.55/152.69	c nbDecision=9000 #constraints=8629
171.04/171.19	c nbDecision=9500 #constraints=9129
192.93/193.02	c nbDecision=10000 #constraints=9627
214.93/215.08	c nbDecision=10500 #constraints=10128
237.72/237.80	c nbDecision=11000 #constraints=10629
261.72/261.85	c nbDecision=11500 #constraints=11129
283.91/284.06	c nbDecision=12000 #constraints=11629
308.10/308.24	c nbDecision=12500 #constraints=12127
311.71/311.82	c nbDecision=12596 #constraints=12180
311.71/311.82	c linear search for optimum
311.71/311.82	o 24
311.91/312.05	c restart after 12801 decisions
321.51/321.69	c nbDecision=13000 #constraints=12538
351.29/351.44	c nbDecision=13500 #constraints=13040
378.98/379.17	c nbDecision=14000 #constraints=13541
406.58/406.71	c nbDecision=14500 #constraints=14040
439.67/439.85	c nbDecision=15000 #constraints=14539
470.67/470.84	c nbDecision=15500 #constraints=15039
503.86/504.01	c nbDecision=16000 #constraints=15538
533.25/533.49	c nbDecision=16500 #constraints=16039
562.53/562.74	c nbDecision=17000 #constraints=16540
600.33/600.59	c nbDecision=17500 #constraints=17038
641.11/641.35	c nbDecision=18000 #constraints=17539
675.30/675.52	c nbDecision=18500 #constraints=18039
720.39/720.70	c nbDecision=19000 #constraints=18539
761.88/762.13	c nbDecision=19500 #constraints=19041
805.87/806.18	c nbDecision=20000 #constraints=19539
845.86/846.17	c nbDecision=20500 #constraints=20042
883.75/884.02	c nbDecision=21000 #constraints=20541
919.94/920.26	c nbDecision=21500 #constraints=21040
971.42/971.76	c nbDecision=22000 #constraints=21539
1022.51/1022.89	c nbDecision=22500 #constraints=22039
1074.59/1074.90	c nbDecision=23000 #constraints=22541
1121.59/1121.99	c nbDecision=23500 #constraints=23040
1167.37/1167.73	c nbDecision=24000 #constraints=23539
1220.66/1221.08	c nbDecision=24500 #constraints=24039
1275.74/1276.13	c nbDecision=25000 #constraints=24539
1328.52/1328.94	c nbDecision=25500 #constraints=25040
1340.62/1341.03	c restart after 25601 decisions
1392.51/1392.95	c nbDecision=26000 #constraints=25481
1461.79/1462.24	c nbDecision=26500 #constraints=25981
1528.97/1529.46	c nbDecision=27000 #constraints=26479
1593.15/1593.69	c nbDecision=27500 #constraints=26980
1662.74/1663.29	c nbDecision=28000 #constraints=27479
1728.52/1729.09	c nbDecision=28500 #constraints=27979
1797.30/1797.83	c nbDecision=29000 #constraints=28479
1800.00/1800.50	Received signal 15
1800.30/1800.80	
1800.30/1800.80	s SATISFIABLE
1800.30/1800.80	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.30/1800.80	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.30/1800.80	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.30/1800.80	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.30/1800.80	v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 x120 -x121 x122 x123 x124 x125 x126 x127 -x128
1800.30/1800.80	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.30/1800.80	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 x160 x161 x162 -x163 x164 x165 x166 x167 x168 x169 x170 -x171 -x172
1800.30/1800.80	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.30/1800.80	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214
1800.30/1800.80	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.30/1800.80	
1800.30/1800.80	c user time= 1800.05 s
1800.30/1800.80	c system time= 0.264959 s
1800.30/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-357022-1176851949 -o ROOT/results/node61/solver-357022-1176851949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357022-1176851949/instance-357022-1176851949.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.95 3/64 12460
/proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=1468 CPUtime=0
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 97158544 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 367 176 138 317 0 46 0

[startup+0.0421569 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12460
/proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=1732 CPUtime=0.04
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 237 0 0 0 4 0 0 0 18 0 1 0 97158544 1773568 219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 433 219 139 317 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1732

[startup+0.101162 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12460
/proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=1996 CPUtime=0.09
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 305 0 0 0 9 0 0 0 18 0 1 0 97158544 2043904 287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 499 287 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301181 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12460
/proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=2780 CPUtime=0.29
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 97158544 2846720 493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 695 493 139 317 0 374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2780

[startup+0.701219 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12460
/proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=4112 CPUtime=0.69
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 840 0 0 0 69 0 0 0 22 0 1 0 97158544 4210688 822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 1028 822 139 317 0 707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4112

[startup+1.5013 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 12461
/proc/meminfo: memFree=1798384/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=5952 CPUtime=1.49
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 97158544 6094848 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 1488 1282 139 317 0 1167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5952

[startup+3.10145 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 12461
/proc/meminfo: memFree=1795952/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=8352 CPUtime=3.09
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 1905 0 0 0 309 0 0 0 25 0 1 0 97158544 8552448 1887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 2088 1887 139 317 0 1767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8352

[startup+6.30175 s]
/proc/loadavg: 0.92 0.95 0.95 2/65 12461
/proc/meminfo: memFree=1792432/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=11772 CPUtime=6.29
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 2654 0 0 0 628 1 0 0 25 0 1 0 97158544 12054528 2636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 2943 2636 139 317 0 2622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11772

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.95 2/65 12461
/proc/meminfo: memFree=1788416/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=14932 CPUtime=12.68
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 3486 0 0 0 1267 1 0 0 25 0 1 0 97158544 15290368 3468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 3733 3468 139 317 0 3412 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14932

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.95 2/65 12461
/proc/meminfo: memFree=1784512/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=18616 CPUtime=25.49
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 4433 0 0 0 2546 3 0 0 25 0 1 0 97158544 19062784 4415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 4654 4415 139 317 0 4333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18616

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.95 2/65 12461
/proc/meminfo: memFree=1777600/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=26436 CPUtime=51.07
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 6167 0 0 0 5104 3 0 0 25 0 1 0 97158544 27070464 6149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563469 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 6609 6149 139 317 0 6288 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26436

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.95 2/65 12461
/proc/meminfo: memFree=1769792/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=33772 CPUtime=102.26
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 8082 0 0 0 10221 5 0 0 25 0 1 0 97158544 34582528 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 8443 8064 139 317 0 8122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 33772

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1762816/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=41500 CPUtime=162.25
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 9889 0 0 0 16218 7 0 0 25 0 1 0 97158544 42496000 9814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 10375 9814 139 317 0 10054 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41500

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1755968/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=49140 CPUtime=222.23
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 11580 0 0 0 22215 8 0 0 25 0 1 0 97158544 50319360 11505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 12285 11505 139 317 0 11964 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49140

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1750720/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=54332 CPUtime=282.21
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 12935 0 0 0 28212 9 0 0 25 0 1 0 97158544 55635968 12860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 13583 12860 170 317 0 13262 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 54332

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1745280/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=59696 CPUtime=342.19
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 14282 0 0 0 34209 10 0 0 25 0 1 0 97158544 61128704 14207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 14924 14207 170 317 0 14603 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 59696

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1740928/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=63916 CPUtime=402.18
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 15387 0 0 0 40207 11 0 0 25 0 1 0 97158544 65449984 15312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 15979 15312 170 317 0 15658 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 63916

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1736512/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=68548 CPUtime=462.17
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 16465 0 0 0 46205 12 0 0 25 0 1 0 97158544 70193152 16390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 17137 16390 170 317 0 16816 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 68548

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1732544/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=72344 CPUtime=522.15
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 17492 0 0 0 52202 13 0 0 25 0 1 0 97158544 74080256 17417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 18086 17417 170 317 0 17765 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 72344

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12461
/proc/meminfo: memFree=1728064/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=78644 CPUtime=582.14
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 19001 0 0 0 58200 14 0 0 25 0 1 0 97158544 80531456 18483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 19661 18483 170 317 0 19340 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 78644

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1725184/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=81516 CPUtime=642.12
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 19766 0 0 0 64197 15 0 0 25 0 1 0 97158544 83472384 19215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 20379 19215 170 317 0 20058 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 81516


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

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1703808/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=105260 CPUtime=1062
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 25942 0 0 0 106179 21 0 0 25 0 1 0 97158544 107786240 24533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 26315 24533 170 317 0 25994 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 105260

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1700992/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=107724 CPUtime=1121.99
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 26667 0 0 0 112177 22 0 0 25 0 1 0 97158544 110309376 25225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 26931 25225 170 317 0 26610 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 107724

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1698368/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=110480 CPUtime=1181.96
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 27432 0 0 0 118174 22 0 0 25 0 1 0 97158544 113131520 25891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 27620 25891 170 317 0 27299 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 110480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1696000/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=112440 CPUtime=1241.95
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 28005 0 0 0 124172 23 0 0 25 0 1 0 97158544 115138560 26464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 28110 26464 170 317 0 27789 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 112440

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1693696/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=114400 CPUtime=1301.94
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 28573 0 0 0 130171 23 0 0 25 0 1 0 97158544 117145600 27032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 28600 27032 170 317 0 28279 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 114400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1691456/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=116488 CPUtime=1361.91
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29151 0 0 0 136168 23 0 0 25 0 1 0 97158544 119283712 27577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 29122 27577 170 317 0 28801 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 116488

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1690048/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=117924 CPUtime=1421.91
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29521 0 0 0 142167 24 0 0 25 0 1 0 97158544 120754176 27947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 29481 27947 170 317 0 29160 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 117924

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1688256/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=119508 CPUtime=1481.89
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29971 0 0 0 148165 24 0 0 25 0 1 0 97158544 122376192 28397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 29877 28397 170 317 0 29556 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 119508

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1686400/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=121096 CPUtime=1541.86
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 30428 0 0 0 154162 24 0 0 25 0 1 0 97158544 124002304 28854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 30274 28854 170 317 0 29953 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 121096

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1684416/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=122792 CPUtime=1601.86
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 30909 0 0 0 160161 25 0 0 25 0 1 0 97158544 125739008 29335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 30698 29335 170 317 0 30377 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 122792

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1682688/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=124384 CPUtime=1661.83
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 31345 0 0 0 166158 25 0 0 25 0 1 0 97158544 127369216 29771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 31096 29771 170 317 0 30775 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 124384

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1680768/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=126080 CPUtime=1721.82
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 31827 0 0 0 172156 26 0 0 25 0 1 0 97158544 129105920 30253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 31520 30253 170 317 0 31199 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 126080

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1678912/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=127804 CPUtime=1781.81
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 32298 0 0 0 178155 26 0 0 25 0 1 0 97158544 130871296 30691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 31951 30691 170 317 0 31630 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 127804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12463
/proc/meminfo: memFree=1678464/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=128196 CPUtime=1800
/proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 32424 0 0 0 179974 26 0 0 25 0 1 0 97158544 131272704 30817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12460/statm: 32049 30817 170 317 0 31728 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 128196

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

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 12464
/proc/meminfo: memFree=1678456/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=0 CPUtime=1800.33
/proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/12460/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

[startup+1801.81 s]
/proc/loadavg: 0.99 0.97 0.95 1/65 12464
/proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=0 CPUtime=1800.33
/proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/12460/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

[startup+1802 s]
/proc/loadavg: 0.99 0.97 0.95 1/65 12464
/proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=0 CPUtime=1800.33
/proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/12460/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

[startup+1802.1 s]
/proc/loadavg: 0.99 0.97 0.95 1/65 12464
/proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956
[pid=12460] ppid=12458 vsize=0 CPUtime=1800.33
/proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/12460/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1802.19
CPU time (s): 1800.34
CPU user time (s): 1800.06
CPU system time (s): 0.284956
CPU usage (%): 99.8972
Max. virtual memory (cumulated for all children) (KiB): 128196

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

runsolver used 1.39179 second user time and 3.55346 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Apr 17 23:19:09 UTC 2007

IDJOB= 357022
IDBENCH= 1786
IDSOLVER= 172
FILE ID= node61/357022-1176851949

PBS_JOBID= 4590191

Free space on /tmp= 66510 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9a8d1e3e59dfd2cd811494ddb4a3c92a

RANDOM SEED= 678681058

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1802256 kB
Buffers:         20948 kB
Cached:         191452 kB
SwapCached:       5336 kB
Active:         105272 kB
Inactive:       119220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1802256 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:            1300 kB
Writeback:           0 kB
Mapped:          15400 kB
Slab:            15252 kB
Committed_AS:   779572 kB
PageTables:       1388 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= 66510 MiB

End job on node61 on Tue Apr 17 23:49:14 UTC 2007