Trace number 356993

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-sample2.opb
MD5SUM98cb9153c0a6885786e060f27dbb5c7a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark10.2424
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1296
Total number of constraints46
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints43
Minimum length of a constraint4
Maximum length of a constraint150
Number of terms in the objective function 729
Biggest coefficient in the objective function 23832
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524793
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262138
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524793
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.01	c ...done
0.00/0.01	c #vars=1296 #constraints=68 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.05/0.09	c restart after 401 decisions
0.05/0.10	c nbDecision=500 #constraints=364
0.09/0.11	c restart after 801 decisions
0.09/0.13	c nbDecision=1000 #constraints=411
0.09/0.17	c nbDecision=1500 #constraints=489
0.09/0.18	c restart after 1601 decisions
0.39/0.43	c nbDecision=2000 #constraints=855
0.99/1.03	c nbDecision=2500 #constraints=1354
2.09/2.18	c nbDecision=3000 #constraints=1856
2.79/2.84	c restart after 3201 decisions
3.19/3.24	c nbDecision=3500 #constraints=2253
4.09/4.11	c nbDecision=4000 #constraints=2687
4.39/4.44	c nbDecision=4500 #constraints=2858
4.69/4.74	c nbDecision=5000 #constraints=3022
5.09/5.11	c nbDecision=5500 #constraints=3181
5.49/5.50	c nbDecision=6000 #constraints=3316
5.79/5.84	c restart after 6401 decisions
6.09/6.11	c nbDecision=6500 #constraints=3444
8.08/8.15	c nbDecision=7000 #constraints=3921
10.97/11.05	c nbDecision=7500 #constraints=4423
14.65/14.72	c nbDecision=8000 #constraints=4921
19.25/19.30	c nbDecision=8500 #constraints=5420
24.53/24.64	c nbDecision=9000 #constraints=5920
30.53/30.64	c nbDecision=9500 #constraints=6419
37.99/38.15	c nbDecision=10000 #constraints=6917
46.60/46.72	c nbDecision=10500 #constraints=7415
56.19/56.33	c nbDecision=11000 #constraints=7915
66.27/66.47	c nbDecision=11500 #constraints=8415
77.67/77.81	c nbDecision=12000 #constraints=8915
89.46/89.69	c nbDecision=12500 #constraints=9417
96.77/96.94	c restart after 12801 decisions
97.67/97.82	c nbDecision=13000 #constraints=9760
99.76/99.93	c nbDecision=13500 #constraints=9894
101.66/101.81	c nbDecision=14000 #constraints=10002
103.66/103.86	c nbDecision=14500 #constraints=10135
105.86/106.03	c nbDecision=15000 #constraints=10213
107.86/108.07	c nbDecision=15500 #constraints=10313
110.16/110.34	c nbDecision=16000 #constraints=10460
112.36/112.56	c nbDecision=16500 #constraints=10537
114.66/114.81	c nbDecision=17000 #constraints=10651
116.76/116.95	c nbDecision=17500 #constraints=10765
118.86/119.06	c nbDecision=18000 #constraints=10855
121.16/121.35	c nbDecision=18500 #constraints=10997
123.46/123.61	c nbDecision=19000 #constraints=11068
125.56/125.79	c nbDecision=19500 #constraints=11140
127.86/128.00	c nbDecision=20000 #constraints=11250
130.16/130.37	c nbDecision=20500 #constraints=11382
132.75/132.98	c nbDecision=21000 #constraints=11481
135.25/135.44	c nbDecision=21500 #constraints=11563
137.75/137.90	c nbDecision=22000 #constraints=11712
140.15/140.33	c nbDecision=22500 #constraints=11796
142.55/142.77	c nbDecision=23000 #constraints=11940
145.36/145.53	c nbDecision=23500 #constraints=12094
147.95/148.16	c nbDecision=24000 #constraints=12239
150.75/150.90	c nbDecision=24500 #constraints=12372
153.35/153.58	c nbDecision=25000 #constraints=12475
156.55/156.70	c nbDecision=25500 #constraints=12634
157.06/157.22	c restart after 25601 decisions
158.15/158.35	c nbDecision=26000 #constraints=12890
159.65/159.83	c nbDecision=26500 #constraints=13262
160.95/161.11	c nbDecision=27000 #constraints=13464
163.05/163.20	c nbDecision=27500 #constraints=13836
165.14/165.31	c nbDecision=28000 #constraints=14228
167.15/167.36	c nbDecision=28500 #constraints=14527
168.55/168.74	c nbDecision=29000 #constraints=14686
171.25/171.41	c nbDecision=29500 #constraints=15080
174.25/174.40	c nbDecision=30000 #constraints=15466
177.74/177.92	c nbDecision=30500 #constraints=15831
180.94/181.16	c nbDecision=31000 #constraints=16150
184.54/184.73	c nbDecision=31500 #constraints=16477
188.65/188.82	c nbDecision=32000 #constraints=16896
192.35/192.57	c nbDecision=32500 #constraints=17144
196.44/196.69	c nbDecision=33000 #constraints=17526
201.54/201.79	c nbDecision=33500 #constraints=17860
206.54/206.70	c nbDecision=34000 #constraints=18268
212.04/212.22	c nbDecision=34500 #constraints=18563
218.03/218.29	c nbDecision=35000 #constraints=18965
223.74/223.97	c nbDecision=35500 #constraints=19195
227.94/228.16	c nbDecision=36000 #constraints=19358
234.83/235.08	c nbDecision=36500 #constraints=19772
241.23/241.41	c nbDecision=37000 #constraints=20057
248.43/248.63	c nbDecision=37500 #constraints=20486
255.22/255.48	c nbDecision=38000 #constraints=20723
263.13/263.30	c nbDecision=38500 #constraints=21158
270.62/270.82	c nbDecision=39000 #constraints=21479
278.52/278.73	c nbDecision=39500 #constraints=21868
287.72/287.95	c nbDecision=40000 #constraints=22288
295.82/296.02	c nbDecision=40500 #constraints=22650
304.52/304.72	c nbDecision=41000 #constraints=23029
314.61/314.83	c nbDecision=41500 #constraints=23478
325.51/325.79	c nbDecision=42000 #constraints=23911
335.41/335.67	c nbDecision=42500 #constraints=24299
346.70/346.96	c nbDecision=43000 #constraints=24698
358.41/358.65	c nbDecision=43500 #constraints=25131
371.00/371.25	c nbDecision=44000 #constraints=25569
383.59/383.82	c nbDecision=44500 #constraints=26003
396.80/397.04	c nbDecision=45000 #constraints=26407
409.19/409.41	c nbDecision=45500 #constraints=26797
421.38/421.67	c nbDecision=46000 #constraints=27192
435.78/436.08	c nbDecision=46500 #constraints=27605
448.78/449.02	c nbDecision=47000 #constraints=27990
465.08/465.31	c nbDecision=47500 #constraints=28435
477.97/478.27	c nbDecision=48000 #constraints=28768
495.27/495.51	c nbDecision=48500 #constraints=29192
510.96/511.25	c nbDecision=49000 #constraints=29555
526.76/527.02	c nbDecision=49500 #constraints=29942
543.96/544.22	c nbDecision=50000 #constraints=30306
560.95/561.25	c nbDecision=50500 #constraints=30666
577.84/578.13	c nbDecision=51000 #constraints=31041
586.35/586.65	c restart after 51201 decisions
594.75/595.03	c nbDecision=51500 #constraints=31425
610.94/611.21	c nbDecision=52000 #constraints=31797
624.93/625.26	c nbDecision=52500 #constraints=32128
644.73/645.01	c nbDecision=53000 #constraints=32500
659.03/659.35	c nbDecision=53500 #constraints=32779
677.22/677.57	c nbDecision=54000 #constraints=33150
692.41/692.76	c nbDecision=54500 #constraints=33327
710.12/710.42	c nbDecision=55000 #constraints=33756
725.31/725.70	c nbDecision=55500 #constraints=34012
743.71/744.03	c nbDecision=56000 #constraints=34435
761.60/761.97	c nbDecision=56500 #constraints=34738
779.39/779.75	c nbDecision=57000 #constraints=35099
794.29/794.64	c nbDecision=57500 #constraints=35384
817.59/817.99	c nbDecision=58000 #constraints=35789
835.98/836.34	c nbDecision=58500 #constraints=36104
855.08/855.48	c nbDecision=59000 #constraints=36444
872.87/873.29	c nbDecision=59500 #constraints=36746
895.17/895.57	c nbDecision=60000 #constraints=37144
911.96/912.38	c nbDecision=60500 #constraints=37414
934.26/934.62	c nbDecision=61000 #constraints=37798
949.46/949.83	c nbDecision=61500 #constraints=37920
968.55/968.92	c nbDecision=62000 #constraints=38289
988.35/988.73	c nbDecision=62500 #constraints=38645
1008.04/1008.43	c nbDecision=63000 #constraints=39004
1032.33/1032.71	c nbDecision=63500 #constraints=39451
1055.23/1055.61	c nbDecision=64000 #constraints=39838
1077.02/1077.41	c nbDecision=64500 #constraints=40218
1103.62/1104.08	c nbDecision=65000 #constraints=40646
1123.61/1124.06	c nbDecision=65500 #constraints=40985
1149.02/1149.46	c nbDecision=66000 #constraints=41380
1172.80/1173.23	c nbDecision=66500 #constraints=41738
1201.89/1202.39	c nbDecision=67000 #constraints=42191
1228.69/1229.10	c nbDecision=67500 #constraints=42584
1251.89/1252.35	c nbDecision=68000 #constraints=42928
1279.28/1279.75	c nbDecision=68500 #constraints=43313
1304.56/1305.05	c nbDecision=69000 #constraints=43665
1335.06/1335.53	c nbDecision=69500 #constraints=44094
1359.16/1359.62	c nbDecision=70000 #constraints=44427
1389.15/1389.60	c nbDecision=70500 #constraints=44834
1421.43/1421.95	c nbDecision=71000 #constraints=45266
1445.43/1445.99	c nbDecision=71500 #constraints=45583
1475.63/1476.13	c nbDecision=72000 #constraints=45963
1503.02/1503.56	c nbDecision=72500 #constraints=46320
1533.42/1533.96	c nbDecision=73000 #constraints=46693
1560.91/1561.45	c nbDecision=73500 #constraints=47025
1594.50/1595.02	c nbDecision=74000 #constraints=47424
1624.69/1625.27	c nbDecision=74500 #constraints=47773
1657.19/1657.77	c nbDecision=75000 #constraints=48141
1691.97/1692.54	c nbDecision=75500 #constraints=48535
1724.66/1725.20	c nbDecision=76000 #constraints=48891
1759.66/1760.28	c nbDecision=76500 #constraints=49258
1790.35/1790.93	c nbDecision=77000 #constraints=49570
1800.06/1800.61	Received signal 15
1800.16/1800.72	
1800.16/1800.72	s UNKNOWN
1800.16/1800.72	
1800.16/1800.72	c user time= 1799.71 s
1800.16/1800.72	c system time= 0.473927 s
1800.16/1800.72	c wall clock time=1800.72

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/node26/watcher-356993-1176850854 -o ROOT/results/node26/solver-356993-1176850854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.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.92 0.98 0.99 3/77 12017
/proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=1468 CPUtime=0
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 133002249 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 367 165 131 317 0 46 0

[startup+0.0570451 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12017
/proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=2128 CPUtime=0.05
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 338 0 0 0 5 0 0 0 18 0 1 0 133002249 2179072 320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 532 320 139 317 0 211 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2128

[startup+0.101049 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12017
/proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=2392 CPUtime=0.09
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 402 0 0 0 9 0 0 0 18 0 1 0 133002249 2449408 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 598 384 139 317 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2392

[startup+0.301067 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12017
/proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=3444 CPUtime=0.29
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 682 0 0 0 29 0 0 0 19 0 1 0 133002249 3526656 664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 861 664 139 317 0 540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3444

[startup+0.701104 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12017
/proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=5696 CPUtime=0.69
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 1230 0 0 0 69 0 0 0 22 0 1 0 133002249 5832704 1212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 1424 1212 139 317 0 1103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5696

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 12018
/proc/meminfo: memFree=1790840/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=8252 CPUtime=1.49
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 1820 0 0 0 149 0 0 0 25 0 1 0 133002249 8450048 1802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 2063 1802 139 317 0 1742 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8252

[startup+3.10233 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 12018
/proc/meminfo: memFree=1788088/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=10296 CPUtime=3.09
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 2380 0 0 0 308 1 0 0 25 0 1 0 133002249 10543104 2362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 2574 2362 139 317 0 2253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10296

[startup+6.30162 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 12018
/proc/meminfo: memFree=1785024/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=12552 CPUtime=6.28
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 2941 0 0 0 627 1 0 0 25 0 1 0 133002249 12853248 2923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604377 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 3138 2923 139 317 0 2817 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12552

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 3/84 12084
/proc/meminfo: memFree=1778032/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=18532 CPUtime=12.66
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 4320 0 0 0 1262 4 0 0 25 0 1 0 133002249 18976768 4302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 4633 4302 139 317 0 4312 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18532

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/84 12134
/proc/meminfo: memFree=1772160/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=23920 CPUtime=25.43
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 5733 0 0 0 2538 5 0 0 25 0 1 0 133002249 24494080 5715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 5980 5715 139 317 0 5659 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 23920

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/84 12190
/proc/meminfo: memFree=1763840/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=32968 CPUtime=50.99
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 7856 0 0 0 5092 7 0 0 25 0 1 0 133002249 33759232 7838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 8242 7838 139 317 0 7921 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 32968

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 12216
/proc/meminfo: memFree=1755264/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=41932 CPUtime=102.17
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 10282 0 0 0 10207 10 0 0 25 0 1 0 133002249 42938368 10207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 10483 10207 139 317 0 10162 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 41932

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12216
/proc/meminfo: memFree=1748288/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=49308 CPUtime=162.15
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 12097 0 0 0 16202 13 0 0 25 0 1 0 133002249 50491392 12022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 12327 12022 139 317 0 12006 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 49308

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12216
/proc/meminfo: memFree=1737664/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=60004 CPUtime=222.14
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 14783 0 0 0 22198 16 0 0 25 0 1 0 133002249 61444096 14595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 15001 14595 139 317 0 14680 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 60004

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12216
/proc/meminfo: memFree=1731584/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=66788 CPUtime=282.11
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 16316 0 0 0 28194 17 0 0 25 0 1 0 133002249 68390912 16128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 16697 16128 139 317 0 16376 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 66788

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12216
/proc/meminfo: memFree=1725248/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=73152 CPUtime=342.1
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 17864 0 0 0 34191 19 0 0 25 0 1 0 133002249 74907648 17676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 18288 17676 139 317 0 17967 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 73152

[startup+402.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1720320/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=78380 CPUtime=402.09
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 19121 0 0 0 40188 21 0 0 25 0 1 0 133002249 80261120 18933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 19595 18933 139 317 0 19274 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 78380

[startup+462.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1716224/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=82180 CPUtime=462.07
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 20131 0 0 0 46185 22 0 0 25 0 1 0 133002249 84152320 19943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 20545 19943 139 317 0 20224 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 82180

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1712512/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=87500 CPUtime=522.06
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 21361 0 0 0 52182 24 0 0 25 0 1 0 133002249 89600000 20876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 21875 20876 139 317 0 21554 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 87500

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1709312/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=90392 CPUtime=582.04
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 22148 0 0 0 58179 25 0 0 25 0 1 0 133002249 92561408 21663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 22598 21663 139 317 0 22277 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 90392

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1706816/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=92892 CPUtime=642.04
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 22813 0 0 0 64177 27 0 0 25 0 1 0 133002249 95121408 22295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 23223 22295 139 317 0 22902 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 92892


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1698176/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=101816 CPUtime=881.98
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 25220 0 0 0 88167 31 0 0 25 0 1 0 133002249 104259584 24443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 25454 24443 139 317 0 25133 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 101816

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1696384/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=103388 CPUtime=941.95
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 25671 0 0 0 94164 31 0 0 25 0 1 0 133002249 105869312 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 25847 24894 139 317 0 25526 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 103388

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1693504/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=107680 CPUtime=1001.94
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 26662 0 0 0 100161 33 0 0 25 0 1 0 133002249 110264320 25621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 26920 25621 139 317 0 26599 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 107680

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1690880/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=110176 CPUtime=1061.93
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 27317 0 0 0 106159 34 0 0 25 0 1 0 133002249 112820224 26276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 27544 26276 139 317 0 27223 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 110176

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1688128/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=114072 CPUtime=1121.91
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 28246 0 0 0 112156 35 0 0 25 0 1 0 133002249 116809728 26941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 28518 26941 139 317 0 28197 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 114072

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1685696/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=116288 CPUtime=1181.9
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 28874 0 0 0 118154 36 0 0 25 0 1 0 133002249 119078912 27536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 29072 27536 139 317 0 28751 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 116288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1683648/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=118116 CPUtime=1241.88
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 29399 0 0 0 124151 37 0 0 25 0 1 0 133002249 120950784 28061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 29529 28061 139 317 0 29208 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 118116

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 12216
/proc/meminfo: memFree=1681408/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=120204 CPUtime=1301.87
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 29950 0 0 0 130149 38 0 0 25 0 1 0 133002249 123088896 28612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 30051 28612 139 317 0 29730 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 120204

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 12216
/proc/meminfo: memFree=1679424/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=122036 CPUtime=1361.85
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 30476 0 0 0 136146 39 0 0 25 0 1 0 133002249 124964864 29105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 30509 29105 139 317 0 30188 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 122036

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1677312/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=123744 CPUtime=1421.84
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 30991 0 0 0 142144 40 0 0 25 0 1 0 133002249 126713856 29620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 30936 29620 139 317 0 30615 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 123744

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1675264/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=125916 CPUtime=1481.83
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 31553 0 0 0 148141 42 0 0 25 0 1 0 133002249 128937984 30149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 31479 30149 139 317 0 31158 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 125916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1673152/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=131592 CPUtime=1541.81
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 32932 0 0 0 154138 43 0 0 25 0 1 0 133002249 134750208 30683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 32898 30683 139 317 0 32577 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 131592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1671168/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=133680 CPUtime=1601.8
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 33529 0 0 0 160136 44 0 0 25 0 1 0 133002249 136888320 31181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 33420 31181 139 317 0 33099 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 133680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1669120/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=135692 CPUtime=1661.78
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 34093 0 0 0 166133 45 0 0 25 0 1 0 133002249 138948608 31679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 33923 31679 139 317 0 33602 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 135692

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1667392/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=137400 CPUtime=1721.76
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 34574 0 0 0 172131 45 0 0 25 0 1 0 133002249 140697600 32127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 34350 32127 139 317 0 34029 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 137400

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1665536/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=138964 CPUtime=1781.75
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35055 0 0 0 178128 47 0 0 25 0 1 0 133002249 142299136 32575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 34741 32575 139 317 0 34420 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 138964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1665024/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=139488 CPUtime=1800.06
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35178 0 0 0 179959 47 0 0 25 0 1 0 133002249 142835712 32698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 34872 32698 139 317 0 34551 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 139488

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 1.00 1.00 2/78 12216
/proc/meminfo: memFree=1665024/2055920 swapFree=4170240/4192956
[pid=12017] ppid=12015 vsize=139488 CPUtime=1800.16
/proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35178 0 0 0 179969 47 0 0 25 0 1 0 133002249 142835712 32698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12017/statm: 34872 32698 139 317 0 34551 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 139488

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.21
CPU user time (s): 1799.71
CPU system time (s): 0.495924
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 139488

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

runsolver used 2.07668 second user time and 4.49432 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue Apr 17 23:00:54 UTC 2007

IDJOB= 356993
IDBENCH= 1747
IDSOLVER= 172
FILE ID= node26/356993-1176850854

PBS_JOBID= 4590180

Free space on /tmp= 66476 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/miplib/normalized-reduced-mps-v2-20-10-sample2.opb
COMMAND LINE= oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-356993-1176850854 -o ROOT/results/node26/solver-356993-1176850854 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  98cb9153c0a6885786e060f27dbb5c7a

RANDOM SEED= 292603453

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1796440 kB
Buffers:         34376 kB
Cached:         147240 kB
SwapCached:       3208 kB
Active:          97784 kB
Inactive:       107400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1796440 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            1364 kB
Writeback:           0 kB
Mapped:          31036 kB
Slab:            39884 kB
Committed_AS:   964092 kB
PageTables:       1720 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= 66476 MiB

End job on node26 on Tue Apr 17 23:30:57 UTC 2007