Trace number 357238

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? (MO) 1212.45 1212.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUMbd6dfc1cb1b60fa01a3db613e331e5b8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4574600208
Best CPU time to get the best result obtained on this benchmark1804.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4574600208
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29764190431236
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29764190431236
Number of bits of the biggest sum of numbers45
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...
2.29/2.35	c ...done
2.29/2.35	c #vars=155000 #constraints=5301 hasObjective=yes
4.19/4.27	c res. mode=mod
4.19/4.27	c VSIDS like heuristics
4.19/4.27	c complete search running
5.49/5.52	c restart after 401 decisions
5.68/5.75	c nbDecision=500 #constraints=5301
6.38/6.42	c restart after 801 decisions
6.78/6.87	c nbDecision=1000 #constraints=5301
7.98/8.01	c nbDecision=1500 #constraints=5301
8.18/8.24	c restart after 1601 decisions
9.08/9.15	c nbDecision=2000 #constraints=5301
10.18/10.27	c nbDecision=2500 #constraints=5301
11.38/11.40	c nbDecision=3000 #constraints=5301
11.78/11.86	c restart after 3201 decisions
12.48/12.55	c nbDecision=3500 #constraints=5301
13.58/13.69	c nbDecision=4000 #constraints=5301
14.78/14.83	c nbDecision=4500 #constraints=5301
15.88/15.93	c nbDecision=5000 #constraints=5301
27.28/27.30	c nbDecision=5500 #constraints=5561
62.67/62.74	c nbDecision=6000 #constraints=6062
102.16/102.21	c restart after 6401 decisions
102.96/103.06	c nbDecision=6500 #constraints=6467
104.46/104.55	c nbDecision=7000 #constraints=6467
105.96/106.04	c nbDecision=7500 #constraints=6467
107.46/107.55	c nbDecision=8000 #constraints=6467
115.86/115.93	c nbDecision=8500 #constraints=6530
120.25/120.32	c nbDecision=9000 #constraints=6561
121.35/121.44	c nbDecision=9500 #constraints=6561
122.45/122.56	c nbDecision=10000 #constraints=6561
123.55/123.66	c nbDecision=10500 #constraints=6561
124.65/124.79	c nbDecision=11000 #constraints=6561
125.75/125.88	c nbDecision=11500 #constraints=6561
126.85/126.99	c nbDecision=12000 #constraints=6561
128.05/128.11	c nbDecision=12500 #constraints=6561
128.65/128.79	c restart after 12801 decisions
129.94/130.07	c nbDecision=13000 #constraints=6561
131.44/131.57	c nbDecision=13500 #constraints=6561
133.05/133.12	c nbDecision=14000 #constraints=6561
134.54/134.64	c nbDecision=14500 #constraints=6561
136.04/136.13	c nbDecision=15000 #constraints=6561
137.14/137.26	c nbDecision=15500 #constraints=6561
138.24/138.39	c nbDecision=16000 #constraints=6561
139.44/139.51	c nbDecision=16500 #constraints=6561
140.54/140.64	c nbDecision=17000 #constraints=6561
141.64/141.76	c nbDecision=17500 #constraints=6561
142.74/142.87	c nbDecision=18000 #constraints=6561
143.84/143.99	c nbDecision=18500 #constraints=6561
145.04/145.11	c nbDecision=19000 #constraints=6561
146.14/146.22	c nbDecision=19500 #constraints=6561
147.24/147.33	c nbDecision=20000 #constraints=6561
148.34/148.44	c nbDecision=20500 #constraints=6561
161.34/161.40	c nbDecision=21000 #constraints=6775
162.44/162.50	c nbDecision=21500 #constraints=6775
163.44/163.58	c nbDecision=22000 #constraints=6775
164.54/164.69	c nbDecision=22500 #constraints=6775
165.74/165.87	c nbDecision=23000 #constraints=6778
166.83/166.97	c nbDecision=23500 #constraints=6778
167.93/168.07	c nbDecision=24000 #constraints=6778
169.03/169.18	c nbDecision=24500 #constraints=6778
173.74/173.83	c nbDecision=25000 #constraints=6874
211.81/211.94	c nbDecision=25500 #constraints=7381
213.52/213.60	c restart after 25601 decisions
215.72/215.85	c nbDecision=26000 #constraints=7413
217.22/217.37	c nbDecision=26500 #constraints=7413
218.72/218.88	c nbDecision=27000 #constraints=7413
220.32/220.41	c nbDecision=27500 #constraints=7413
221.62/221.71	c nbDecision=28000 #constraints=7413
222.72/222.84	c nbDecision=28500 #constraints=7413
223.82/223.96	c nbDecision=29000 #constraints=7413
224.91/225.08	c nbDecision=29500 #constraints=7413
226.11/226.21	c nbDecision=30000 #constraints=7413
227.21/227.34	c nbDecision=30500 #constraints=7413
228.31/228.46	c nbDecision=31000 #constraints=7413
229.41/229.59	c nbDecision=31500 #constraints=7413
230.61/230.78	c nbDecision=32000 #constraints=7413
231.81/231.98	c nbDecision=32500 #constraints=7413
233.02/233.18	c nbDecision=33000 #constraints=7413
234.22/234.38	c nbDecision=33500 #constraints=7413
235.41/235.55	c nbDecision=34000 #constraints=7413
236.51/236.67	c nbDecision=34500 #constraints=7413
237.61/237.76	c nbDecision=35000 #constraints=7413
238.71/238.87	c nbDecision=35500 #constraints=7413
240.01/240.15	c nbDecision=36000 #constraints=7413
241.31/241.47	c nbDecision=36500 #constraints=7413
242.61/242.79	c nbDecision=37000 #constraints=7413
244.01/244.13	c nbDecision=37500 #constraints=7413
245.11/245.24	c nbDecision=38000 #constraints=7413
246.21/246.33	c nbDecision=38500 #constraints=7413
247.31/247.43	c nbDecision=39000 #constraints=7413
251.91/252.03	c nbDecision=39500 #constraints=7486
277.70/277.89	c nbDecision=40000 #constraints=7941
308.99/309.19	c nbDecision=40500 #constraints=8410
342.17/342.33	c nbDecision=41000 #constraints=8873
371.36/371.56	c nbDecision=41500 #constraints=9306
407.65/407.84	c nbDecision=42000 #constraints=9762
446.24/446.45	c nbDecision=42500 #constraints=10231
502.22/502.41	c nbDecision=43000 #constraints=10716
539.51/539.71	c nbDecision=43500 #constraints=11157
581.79/582.05	c nbDecision=44000 #constraints=11613
634.38/634.69	c nbDecision=44500 #constraints=12076
704.15/704.40	c nbDecision=45000 #constraints=12555
749.94/750.21	c nbDecision=45500 #constraints=13011
793.02/793.30	c nbDecision=46000 #constraints=13430
844.11/844.46	c nbDecision=46500 #constraints=13883
902.38/902.78	c nbDecision=47000 #constraints=14346
966.57/966.96	c nbDecision=47500 #constraints=14815
1034.84/1035.29	c nbDecision=48000 #constraints=15277
1146.90/1147.38	c nbDecision=48500 #constraints=15775
1211.48/1211.90	Received signal 15
1212.08/1212.56	
1212.08/1212.56	s UNKNOWN
1212.08/1212.56	
1212.08/1212.56	c user time= 1210.4 s
1212.08/1212.56	c system time= 1.74773 s
1212.08/1212.56	c wall clock time=1212.56

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/node37/watcher-357238-1176992003 -o ROOT/results/node37/solver-357238-1176992003 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.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/78 1804
/proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1468 CPUtime=0
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147112865 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 367 162 127 317 0 46 0

[startup+0.090873 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 1804
/proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=3440 CPUtime=0.08
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 784 0 0 0 8 0 0 0 18 0 1 0 147112865 3522560 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 860 539 127 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.101875 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 1804
/proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=3440 CPUtime=0.09
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 147112865 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 860 558 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301913 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 1804
/proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=5520 CPUtime=0.29
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 1654 0 0 0 29 0 0 0 19 0 1 0 147112865 5652480 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 1380 1152 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701988 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 1804
/proc/meminfo: memFree=1664384/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=9548 CPUtime=0.69
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 147112865 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 2387 1776 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50114 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 1805
/proc/meminfo: memFree=1652216/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=25676 CPUtime=1.49
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 6403 0 0 0 146 3 0 0 25 0 1 0 147112865 26292224 5388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 6419 5388 131 317 0 6098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25676

[startup+3.10144 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 1805
/proc/meminfo: memFree=1633400/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=54412 CPUtime=3.09
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 13480 0 0 0 304 5 0 0 25 0 1 0 147112865 55717888 12465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 13603 12465 137 317 0 13282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54412

[startup+6.30104 s]
/proc/loadavg: 0.92 0.95 0.97 2/79 1805
/proc/meminfo: memFree=1609984/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=59032 CPUtime=6.28
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 14633 0 0 0 622 6 0 0 25 0 1 0 147112865 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 59032

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.97 2/79 1805
/proc/meminfo: memFree=1609984/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=59032 CPUtime=12.68
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 14633 0 0 0 1262 6 0 0 25 0 1 0 147112865 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59032

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.97 2/79 1805
/proc/meminfo: memFree=1580032/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=92964 CPUtime=25.48
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 22380 0 0 0 2538 10 0 0 25 0 1 0 147112865 95195136 21328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 23241 21328 139 317 0 22920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92964

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/79 1805
/proc/meminfo: memFree=1519360/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=158616 CPUtime=51.08
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 37510 0 0 0 5092 16 0 0 25 0 1 0 147112865 162422784 36458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558564 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 39654 36458 139 317 0 39333 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158616

[startup+102.305 s]
/proc/loadavg: 1.02 0.98 0.98 2/79 1805
/proc/meminfo: memFree=1438848/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=249488 CPUtime=102.26
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 57417 0 0 0 10201 25 0 0 25 0 1 0 147112865 255475712 56365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607799 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 62372 56365 139 317 0 62051 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 249488

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.98 2/79 1805
/proc/meminfo: memFree=1398336/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=292980 CPUtime=162.24
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 67507 0 0 0 16195 29 0 0 25 0 1 0 147112865 300011520 66455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 73245 66455 139 317 0 72924 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 292980

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.98 2/79 1805
/proc/meminfo: memFree=1304128/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=393852 CPUtime=222.22
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 91048 0 0 0 22182 40 0 0 25 0 1 0 147112865 403304448 89992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 98463 89992 170 317 0 98142 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 393852

[startup+282.302 s]
/proc/loadavg: 1.06 0.99 0.98 2/79 1805
/proc/meminfo: memFree=1217344/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=490100 CPUtime=282.2
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 113029 0 0 0 28171 49 0 0 25 0 1 0 147112865 501862400 111970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718644 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 122525 111970 170 317 0 122204 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 490100

[startup+342.301 s]
/proc/loadavg: 1.08 1.01 0.99 2/79 1805
/proc/meminfo: memFree=1099200/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=618116 CPUtime=342.17
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 142285 0 0 0 34155 62 0 0 25 0 1 0 147112865 632950784 141226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 154529 141226 170 317 0 154208 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 618116

[startup+402.302 s]
/proc/loadavg: 1.08 1.02 0.99 2/79 1805
/proc/meminfo: memFree=972608/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=765084 CPUtime=402.15
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 174021 0 0 0 40139 76 0 0 25 0 1 0 147112865 783446016 172962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717861 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 191271 172962 170 317 0 190950 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 765084

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/79 1805
/proc/meminfo: memFree=890496/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=845940 CPUtime=462.13
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 194433 0 0 0 46127 86 0 0 25 0 1 0 147112865 866242560 193325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 211485 193325 170 317 0 211164 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 845940

[startup+522.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/79 1805
/proc/meminfo: memFree=821440/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=916308 CPUtime=522.11
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 212010 0 0 0 52118 93 0 0 25 0 1 0 147112865 938299392 210745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 229077 210745 170 317 0 228756 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 916308

[startup+582.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/79 1805
/proc/meminfo: memFree=692992/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1091624 CPUtime=582.09
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 243821 0 0 0 58104 105 0 0 25 0 1 0 147112865 1117822976 242535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 272906 242535 170 317 0 272585 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1091624

[startup+642.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/79 1805
/proc/meminfo: memFree=629568/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1155584 CPUtime=642.08
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 259535 0 0 0 64096 112 0 0 25 0 1 0 147112865 1183318016 258246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 288896 258246 170 317 0 288575 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1155584

[startup+702.301 s]
/proc/loadavg: 1.18 1.08 1.01 2/79 1805
/proc/meminfo: memFree=582080/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1203992 CPUtime=702.05
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 271467 0 0 0 70088 117 0 0 25 0 1 0 147112865 1232887808 270154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 300998 270154 170 317 0 300677 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1203992

[startup+762.305 s]
/proc/loadavg: 1.10 1.08 1.01 2/79 1805
/proc/meminfo: memFree=510464/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1276628 CPUtime=762.04
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 289341 0 0 0 76080 124 0 0 25 0 1 0 147112865 1307267072 287992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 319157 287992 170 317 0 318836 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 1276628

[startup+822.302 s]
/proc/loadavg: 1.03 1.06 1.00 2/79 1805
/proc/meminfo: memFree=444352/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1344288 CPUtime=822.01
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 305964 0 0 0 82070 131 0 0 25 0 1 0 147112865 1376550912 304615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 336072 304615 170 317 0 335751 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1344288

[startup+882.303 s]
/proc/loadavg: 1.01 1.05 1.00 2/79 1805
/proc/meminfo: memFree=382208/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1403976 CPUtime=881.99
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 321363 0 0 0 88060 139 0 0 25 0 1 0 147112865 1437671424 320014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 350994 320014 170 317 0 350673 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1403976

[startup+942.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/79 1805
/proc/meminfo: memFree=324096/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1460348 CPUtime=941.97
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 335944 0 0 0 94052 145 0 0 25 0 1 0 147112865 1495396352 334592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 365087 334592 170 317 0 364766 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1460348

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 1805
/proc/meminfo: memFree=273152/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1512128 CPUtime=1001.95
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 348600 0 0 0 100044 151 0 0 25 0 1 0 147112865 1548419072 347219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 378032 347219 170 317 0 377711 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1512128

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 1805
/proc/meminfo: memFree=236352/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1553004 CPUtime=1061.93
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 357887 0 0 0 106038 155 0 0 25 0 1 0 147112865 1590276096 356467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 388251 356467 170 317 0 387930 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1553004

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 1805
/proc/meminfo: memFree=108928/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1776392 CPUtime=1121.91
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 389644 0 0 0 112024 167 0 0 25 0 1 0 147112865 1819025408 388169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 444098 388169 170 317 0 443777 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1776392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 1805
/proc/meminfo: memFree=73472/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1816816 CPUtime=1181.89
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 398743 0 0 0 118018 171 0 0 25 0 1 0 147112865 1860419584 397221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 454204 397221 170 317 0 453883 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1816816



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1211.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 1805
/proc/meminfo: memFree=42816/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1843280 CPUtime=1211.48
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 406114 0 0 0 120974 174 0 0 25 0 1 0 147112865 1887518720 404580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593333 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 460820 404580 170 317 0 460499 0
Current children cumulated CPU time (s) 1211.48
Current children cumulated vsize (KiB) 1843280

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

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

[startup+1212.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 1806
/proc/meminfo: memFree=42616/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=1646904 CPUtime=1212.17
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194304 406263 0 0 0 121041 176 0 0 25 0 1 0 147112865 1686429696 377486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 411726 377486 186 317 0 411405 0
Current children cumulated CPU time (s) 1212.17
Current children cumulated vsize (KiB) 1646904

[startup+1212.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 1806
/proc/meminfo: memFree=42616/2055920 swapFree=4158988/4192956
[pid=1804] ppid=1802 vsize=0 CPUtime=1212.38
/proc/1804/stat : 1804 (oree) R 1802 1804 1411 0 -1 4194308 406263 0 0 0 121044 194 0 0 25 0 1 0 147112865 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1804/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1212.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1212.87
CPU time (s): 1212.45
CPU user time (s): 1210.44
CPU system time (s): 2.01069
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1843956

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

runsolver used 1.22081 second user time and 3.20151 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Thu Apr 19 14:13:24 UTC 2007

IDJOB= 357238
IDBENCH= 2299
IDSOLVER= 172
FILE ID= node37/357238-1176992003

PBS_JOBID= 4630446

Free space on /tmp= 66407 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
COMMAND LINE= oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-357238-1176992003 -o ROOT/results/node37/solver-357238-1176992003 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357238-1176992003/instance-357238-1176992003.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bd6dfc1cb1b60fa01a3db613e331e5b8

RANDOM SEED= 641146221

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1664728 kB
Buffers:         41608 kB
Cached:         255892 kB
SwapCached:       2516 kB
Active:         102968 kB
Inactive:       218368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664728 kB
SwapTotal:     4192956 kB
SwapFree:      4158988 kB
Dirty:            9924 kB
Writeback:           0 kB
Mapped:          31448 kB
Slab:            55156 kB
Committed_AS:  1141824 kB
PageTables:       2000 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= 66407 MiB

End job on node37 on Thu Apr 19 14:33:38 UTC 2007