Trace number 363532

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)1866 1800.09 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark2.6466
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=201 #constraints=134 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.01	c nbDecision=63 #constraints=147
0.00/0.01	c linear search for optimum
0.00/0.01	o 2230
0.00/0.01	c nbDecision=64 #constraints=148
0.00/0.01	o 2217
0.00/0.01	c nbDecision=64 #constraints=149
0.00/0.01	o 2205
0.00/0.02	c nbDecision=65 #constraints=151
0.00/0.02	o 2192
0.00/0.02	c nbDecision=65 #constraints=152
0.00/0.02	o 2180
0.00/0.02	c nbDecision=71 #constraints=156
0.00/0.02	o 2169
0.00/0.02	c nbDecision=72 #constraints=157
0.00/0.02	o 2156
0.00/0.02	c nbDecision=72 #constraints=158
0.00/0.02	o 2144
0.00/0.02	c nbDecision=74 #constraints=163
0.00/0.02	o 2137
0.00/0.02	c nbDecision=76 #constraints=166
0.00/0.02	o 2132
0.00/0.03	c nbDecision=78 #constraints=169
0.00/0.03	o 2125
0.00/0.03	c nbDecision=87 #constraints=178
0.00/0.03	o 2119
0.00/0.04	c nbDecision=95 #constraints=188
0.00/0.04	o 2117
0.00/0.04	c nbDecision=97 #constraints=190
0.00/0.04	o 2105
0.00/0.04	c nbDecision=103 #constraints=197
0.00/0.04	o 2095
0.08/0.10	c nbDecision=151 #constraints=243
0.08/0.10	o 2083
0.09/0.10	c nbDecision=153 #constraints=248
0.09/0.10	o 2076
0.09/0.10	c nbDecision=155 #constraints=251
0.09/0.10	o 2071
0.09/0.10	c nbDecision=157 #constraints=254
0.09/0.10	o 2064
0.19/0.20	c nbDecision=233 #constraints=330
0.19/0.20	o 2052
0.29/0.36	c nbDecision=338 #constraints=437
0.29/0.36	o 2040
0.39/0.46	c restart after 401 decisions
0.49/0.57	c nbDecision=500 #constraints=561
0.49/0.57	c nbDecision=503 #constraints=563
0.49/0.57	o 2034
0.59/0.61	c nbDecision=524 #constraints=586
0.59/0.61	o 2026
0.59/0.61	c nbDecision=526 #constraints=588
0.59/0.61	o 2014
0.79/0.87	c nbDecision=663 #constraints=724
0.79/0.87	o 2002
0.79/0.88	c nbDecision=669 #constraints=732
0.79/0.88	o 1990
1.10/1.20	c restart after 801 decisions
1.59/1.70	c nbDecision=1000 #constraints=1034
2.69/2.75	c nbDecision=1339 #constraints=1368
2.69/2.75	o 1979
3.39/3.45	c nbDecision=1500 #constraints=1532
3.39/3.49	c nbDecision=1513 #constraints=1544
3.39/3.49	o 1969
3.89/3.95	c restart after 1601 decisions
5.50/5.60	c nbDecision=1907 #constraints=1904
5.50/5.60	o 1959
6.29/6.33	c nbDecision=2000 #constraints=1999
10.49/10.56	c nbDecision=2450 #constraints=2454
10.49/10.56	o 1947
10.99/11.05	c nbDecision=2500 #constraints=2498
16.99/17.03	c nbDecision=3000 #constraints=3001
20.59/20.65	c restart after 3201 decisions
25.29/25.36	c nbDecision=3500 #constraints=3467
27.98/28.02	c nbDecision=3671 #constraints=3637
27.98/28.02	o 1935
35.28/35.34	c nbDecision=4000 #constraints=3966
47.48/47.56	c nbDecision=4500 #constraints=4467
61.68/61.75	c nbDecision=5000 #constraints=4964
68.27/68.35	c nbDecision=5230 #constraints=5194
68.27/68.35	o 1933
69.07/69.19	c nbDecision=5268 #constraints=5229
69.07/69.19	o 1921
69.18/69.23	c nbDecision=5274 #constraints=5237
69.18/69.23	o 1909
77.28/77.34	c nbDecision=5500 #constraints=5465
96.37/96.48	c nbDecision=6000 #constraints=5965
111.76/111.84	c restart after 6401 decisions
114.86/114.93	c nbDecision=6500 #constraints=6432
122.66/122.72	c nbDecision=6716 #constraints=6643
122.66/122.72	o 1897
135.56/135.66	c nbDecision=7000 #constraints=6933
164.54/164.65	c nbDecision=7500 #constraints=7437
195.24/195.35	c nbDecision=8000 #constraints=7935
224.63/224.70	c nbDecision=8500 #constraints=8432
257.33/257.47	c nbDecision=9000 #constraints=8937
295.32/295.44	c nbDecision=9500 #constraints=9438
337.00/337.10	c nbDecision=10000 #constraints=9937
372.89/373.04	c nbDecision=10500 #constraints=10433
412.69/412.87	c nbDecision=11000 #constraints=10937
453.68/453.89	c nbDecision=11500 #constraints=11435
497.56/497.74	c nbDecision=12000 #constraints=11935
537.95/538.10	c nbDecision=12500 #constraints=12435
561.35/561.54	c restart after 12801 decisions
572.65/572.87	c nbDecision=13000 #constraints=12907
616.03/616.27	c nbDecision=13500 #constraints=13404
661.22/661.45	c nbDecision=14000 #constraints=13898
702.91/703.13	c nbDecision=14500 #constraints=14401
730.50/730.73	c nbDecision=14836 #constraints=14740
730.50/730.73	o 1886
745.20/745.48	c nbDecision=15000 #constraints=14904
787.60/787.82	c nbDecision=15500 #constraints=15402
833.18/833.47	c nbDecision=16000 #constraints=15899
834.48/834.74	c nbDecision=16021 #constraints=15923
834.48/834.74	o 1874
889.07/889.35	c nbDecision=16500 #constraints=16402
951.55/951.81	c nbDecision=17000 #constraints=16903
1013.34/1013.63	c nbDecision=17500 #constraints=17404
1068.02/1068.31	c nbDecision=18000 #constraints=17903
1130.31/1130.63	c nbDecision=18500 #constraints=18402
1203.19/1203.50	c nbDecision=19000 #constraints=18902
1270.87/1271.24	c nbDecision=19500 #constraints=19404
1335.16/1335.57	c nbDecision=20000 #constraints=19902
1401.84/1402.29	c nbDecision=20500 #constraints=20404
1492.61/1493.06	c nbDecision=21000 #constraints=20902
1566.90/1567.46	c nbDecision=21500 #constraints=21404
1646.86/1647.46	c nbDecision=22000 #constraints=21902
1725.05/1725.61	c nbDecision=22500 #constraints=22407
1769.83/1770.47	c nbDecision=22848 #constraints=22746
1769.83/1770.47	o 1866
1791.03/1791.67	c nbDecision=23000 #constraints=22904
1800.03/1800.60	Received signal 15
1800.03/1800.63	
1800.03/1800.63	s SATISFIABLE
1800.03/1800.63	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.03/1800.63	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.03/1800.63	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.03/1800.63	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.03/1800.63	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126
1800.03/1800.63	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147
1800.03/1800.63	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.03/1800.63	v -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.03/1800.63	v -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201
1800.03/1800.63	
1800.03/1800.63	c user time= 1799.72 s
1800.03/1800.63	c system time= 0.345947 s
1800.03/1800.63	c wall clock time=1800.63

Verifier Data (download as text)

OK	1866

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-363532-1176852942 -o ROOT/results/node12/solver-363532-1176852942 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363532-1176852942/instance-363532-1176852942.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.97 3/77 29730
/proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=1468 CPUtime=0
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 161331532 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 367 166 131 317 0 46 0

[startup+0.0904749 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 29730
/proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=1988 CPUtime=0.08
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 336 0 0 0 8 0 0 0 18 0 1 0 161331532 2035712 318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 497 319 170 317 0 176 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1988

[startup+0.101477 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 29730
/proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=1988 CPUtime=0.09
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 344 0 0 0 9 0 0 0 18 0 1 0 161331532 2035712 326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 497 326 170 317 0 176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1988

[startup+0.301497 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 29730
/proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=2644 CPUtime=0.29
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 526 0 0 0 29 0 0 0 19 0 1 0 161331532 2707456 508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 661 508 170 317 0 340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2644

[startup+0.701537 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 29730
/proc/meminfo: memFree=1617016/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=3828 CPUtime=0.69
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 811 0 0 0 69 0 0 0 22 0 1 0 161331532 3919872 793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 957 793 170 317 0 636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3828

[startup+1.50162 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 29731
/proc/meminfo: memFree=1613872/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=5140 CPUtime=1.49
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 1142 0 0 0 149 0 0 0 25 0 1 0 161331532 5263360 1124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 1285 1124 170 317 0 964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5140

[startup+3.10178 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 29731
/proc/meminfo: memFree=1611888/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=7496 CPUtime=3.09
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 1718 0 0 0 309 0 0 0 25 0 1 0 161331532 7675904 1700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 1874 1700 170 317 0 1553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7496

[startup+6.3011 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 29731
/proc/meminfo: memFree=1608944/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=9780 CPUtime=6.29
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 2264 0 0 0 628 1 0 0 25 0 1 0 161331532 10014720 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 2445 2246 170 317 0 2124 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9780

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 29731
/proc/meminfo: memFree=1605808/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=12628 CPUtime=12.69
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 2968 0 0 0 1267 2 0 0 25 0 1 0 161331532 12931072 2950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 3157 2950 170 317 0 2836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12628

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 29731
/proc/meminfo: memFree=1602480/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=15860 CPUtime=25.48
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 3756 0 0 0 2546 2 0 0 25 0 1 0 161331532 16240640 3738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 3965 3738 170 317 0 3644 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15860

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 29731
/proc/meminfo: memFree=1598000/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=20916 CPUtime=51.08
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 4886 0 0 0 5105 3 0 0 25 0 1 0 161331532 21417984 4868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 5229 4868 170 317 0 4908 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20916

[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 29731
/proc/meminfo: memFree=1591984/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=26436 CPUtime=102.27
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 6354 0 0 0 10222 5 0 0 25 0 1 0 161331532 27070464 6336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 6609 6336 170 317 0 6288 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26436

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1586800/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=32228 CPUtime=162.25
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 7644 0 0 0 16219 6 0 0 25 0 1 0 161331532 33001472 7626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 8057 7626 170 317 0 7736 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32228

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1582960/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=36440 CPUtime=222.23
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 8601 0 0 0 22216 7 0 0 25 0 1 0 161331532 37314560 8525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 9110 8525 170 317 0 8789 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 36440

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1579952/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=39756 CPUtime=282.22
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 9405 0 0 0 28213 9 0 0 25 0 1 0 161331532 40710144 9329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 9939 9329 170 317 0 9618 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39756

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1577456/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=42128 CPUtime=342.21
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 10013 0 0 0 34211 10 0 0 25 0 1 0 161331532 43139072 9937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 10532 9937 170 317 0 10211 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42128

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1574768/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=44800 CPUtime=402.19
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 10695 0 0 0 40208 11 0 0 25 0 1 0 161331532 45875200 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 11200 10619 170 317 0 10879 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 44800

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1572208/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=47164 CPUtime=462.18
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 11324 0 0 0 46205 13 0 0 25 0 1 0 161331532 48295936 11248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 11791 11248 170 317 0 11470 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 47164

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1569776/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=49256 CPUtime=522.15
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 11934 0 0 0 52202 13 0 0 25 0 1 0 161331532 50438144 11858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 12314 11858 170 317 0 11993 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 49256

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1566128/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=53632 CPUtime=582.14
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 12831 0 0 0 58199 15 0 0 25 0 1 0 161331532 54919168 12755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 13408 12755 170 317 0 13087 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 53632

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1563888/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=56140 CPUtime=642.13
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 13407 0 0 0 64197 16 0 0 25 0 1 0 161331532 57487360 13331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 14035 13331 170 317 0 13714 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56140


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29731
/proc/meminfo: memFree=1555696/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=65220 CPUtime=822.09
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 15443 0 0 0 82190 19 0 0 25 0 1 0 161331532 66785280 15367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 16305 15367 170 317 0 15984 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 65220

[startup+882.302 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1553264/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=67900 CPUtime=882.07
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 16036 0 0 0 88187 20 0 0 25 0 1 0 161331532 69529600 15960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 16975 15960 170 317 0 16654 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 67900

[startup+942.302 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1551792/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=70436 CPUtime=942.06
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 16632 0 0 0 94185 21 0 0 25 0 1 0 161331532 72126464 16343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 17609 16343 170 317 0 17288 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 70436

[startup+1002.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1550064/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=71888 CPUtime=1002.05
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 17054 0 0 0 100183 22 0 0 25 0 1 0 161331532 73613312 16765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 17972 16765 170 317 0 17651 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 71888

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1548272/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=73808 CPUtime=1062.02
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 17527 0 0 0 106180 22 0 0 25 0 1 0 161331532 75579392 17238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 18452 17238 170 317 0 18131 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 73808

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1546224/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=75664 CPUtime=1122.01
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18017 0 0 0 112178 23 0 0 25 0 1 0 161331532 77479936 17728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715810 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 18916 17728 170 317 0 18595 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 75664

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1544816/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=76972 CPUtime=1181.99
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18372 0 0 0 118175 24 0 0 25 0 1 0 161331532 78819328 18083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 19243 18083 170 317 0 18922 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 76972

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1543408/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=78280 CPUtime=1241.98
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 18711 0 0 0 124173 25 0 0 25 0 1 0 161331532 80158720 18422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 19570 18422 170 317 0 19249 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 78280

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1541744/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=80024 CPUtime=1301.97
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19149 0 0 0 130171 26 0 0 25 0 1 0 161331532 81944576 18860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 20006 18860 170 317 0 19685 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 80024

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1540144/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=81456 CPUtime=1361.95
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19526 0 0 0 136168 27 0 0 25 0 1 0 161331532 83410944 19237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 20364 19237 170 317 0 20043 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 81456

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1538416/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=83500 CPUtime=1421.93
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 19959 0 0 0 142166 27 0 0 25 0 1 0 161331532 85504000 19670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 20875 19670 170 317 0 20554 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 83500

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29731
/proc/meminfo: memFree=1537264/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=84632 CPUtime=1481.92
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20230 0 0 0 148164 28 0 0 25 0 1 0 161331532 86663168 19941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 21158 19941 170 317 0 20837 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 84632

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/84 29853
/proc/meminfo: memFree=1534712/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=85812 CPUtime=1541.84
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20575 0 0 0 154154 30 0 0 25 0 1 0 161331532 87871488 20286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 21453 20286 170 317 0 21132 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 85812

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29929
/proc/meminfo: memFree=1534384/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=87024 CPUtime=1601.77
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 20918 0 0 0 160147 30 0 0 25 0 1 0 161331532 89112576 20629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 21756 20629 170 317 0 21435 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 87024

[startup+1662.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29929
/proc/meminfo: memFree=1533104/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=88328 CPUtime=1661.77
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 21247 0 0 0 166145 32 0 0 25 0 1 0 161331532 90447872 20958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 22082 20958 170 317 0 21761 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 88328

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29929
/proc/meminfo: memFree=1531824/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=89696 CPUtime=1721.75
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 21580 0 0 0 172142 33 0 0 25 0 1 0 161331532 91848704 21291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 22424 21291 170 317 0 22103 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 89696

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29929
/proc/meminfo: memFree=1530096/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=91404 CPUtime=1781.72
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 22014 0 0 0 178139 33 0 0 25 0 1 0 161331532 93597696 21725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 22851 21725 170 317 0 22530 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 91404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 29929
/proc/meminfo: memFree=1529584/2055920 swapFree=4154608/4192956
[pid=29730] ppid=29728 vsize=91796 CPUtime=1800.03
/proc/29730/stat : 29730 (oree) R 29728 29730 29342 0 -1 4194304 22135 0 0 0 179969 34 0 0 25 0 1 0 161331532 93999104 21846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29730/statm: 22949 21846 170 317 0 22628 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 91796

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

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

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.09
CPU user time (s): 1799.72
CPU system time (s): 0.362944
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 91796

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

runsolver used 2.13167 second user time and 4.41833 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Apr 17 23:35:42 UTC 2007

IDJOB= 363532
IDBENCH= 1858
IDSOLVER= 172
FILE ID= node12/363532-1176852942

PBS_JOBID= 4590214

Free space on /tmp= 66102 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  303eaeab4b7ccd67c7fab31d13d20bc2

RANDOM SEED= 915801869

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1617488 kB
Buffers:         38848 kB
Cached:         302792 kB
SwapCached:      17536 kB
Active:          42452 kB
Inactive:       328592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617488 kB
SwapTotal:     4192956 kB
SwapFree:      4154608 kB
Dirty:            1340 kB
Writeback:           0 kB
Mapped:          30404 kB
Slab:            52964 kB
Committed_AS:  4268944 kB
PageTables:       1796 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= 66102 MiB

End job on node12 on Wed Apr 18 00:05:45 UTC 2007