Trace number 357014

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.17 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
MD5SUMb75dadb532de8158b35ca12cd6b47e2f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294914
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 284209
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527653
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.49/0.50	c ...done
0.49/0.50	c #vars=6651 #constraints=722 hasObjective=yes
0.49/0.55	c res. mode=mod
0.49/0.55	c VSIDS like heuristics
0.49/0.55	c complete search running
3.30/3.34	c restart after 401 decisions
3.59/3.67	c nbDecision=500 #constraints=1025
5.70/5.71	c restart after 801 decisions
9.89/9.96	c nbDecision=1000 #constraints=1430
24.38/24.43	c nbDecision=1500 #constraints=1927
25.08/25.15	c restart after 1601 decisions
37.08/37.13	c nbDecision=2000 #constraints=2332
54.98/55.04	c nbDecision=2500 #constraints=2832
64.27/64.31	c nbDecision=3000 #constraints=3331
66.07/66.16	c restart after 3201 decisions
68.96/69.06	c nbDecision=3500 #constraints=3732
85.86/85.97	c nbDecision=4000 #constraints=4232
96.96/97.07	c nbDecision=4500 #constraints=4732
113.95/114.09	c nbDecision=5000 #constraints=5232
129.95/130.09	c nbDecision=5500 #constraints=5732
139.74/139.89	c nbDecision=6000 #constraints=6232
149.94/150.08	c restart after 6401 decisions
151.44/151.57	c nbDecision=6500 #constraints=6636
164.94/165.01	c nbDecision=7000 #constraints=7135
181.73/181.89	c nbDecision=7500 #constraints=7635
203.62/203.74	c nbDecision=8000 #constraints=8135
217.72/217.80	c nbDecision=8500 #constraints=8635
240.10/240.24	c nbDecision=9000 #constraints=9135
245.70/245.89	c nbDecision=9500 #constraints=9635
273.10/273.28	c nbDecision=10000 #constraints=10135
291.19/291.37	c nbDecision=10500 #constraints=10635
306.99/307.13	c nbDecision=11000 #constraints=11135
336.27/336.43	c nbDecision=11500 #constraints=11635
341.68/341.80	c nbDecision=12000 #constraints=12135
371.56/371.76	c nbDecision=12500 #constraints=12636
376.46/376.67	c restart after 12801 decisions
387.06/387.21	c nbDecision=13000 #constraints=13038
414.85/415.09	c nbDecision=13500 #constraints=13538
446.23/446.44	c nbDecision=14000 #constraints=14038
489.62/489.89	c nbDecision=14500 #constraints=14538
508.42/508.61	c nbDecision=15000 #constraints=15038
530.51/530.78	c nbDecision=15500 #constraints=15538
570.39/570.60	c nbDecision=16000 #constraints=16038
599.39/599.63	c nbDecision=16500 #constraints=16538
614.47/614.72	c nbDecision=17000 #constraints=17038
646.77/647.06	c nbDecision=17500 #constraints=17538
696.55/696.86	c nbDecision=18000 #constraints=18038
736.74/737.03	c nbDecision=18500 #constraints=18538
756.44/756.72	c nbDecision=19000 #constraints=19038
816.61/816.95	c nbDecision=19500 #constraints=19538
823.71/824.06	c nbDecision=20000 #constraints=20038
860.50/860.85	c nbDecision=20500 #constraints=20538
889.59/889.90	c nbDecision=21000 #constraints=21038
947.97/948.31	c nbDecision=21500 #constraints=21538
999.65/1000.07	c nbDecision=22000 #constraints=22038
1037.94/1038.37	c nbDecision=22500 #constraints=22538
1079.52/1079.96	c nbDecision=23000 #constraints=23038
1105.12/1105.59	c nbDecision=23500 #constraints=23538
1129.71/1130.16	c nbDecision=24000 #constraints=24038
1197.39/1197.85	c nbDecision=24500 #constraints=24538
1224.07/1224.56	c nbDecision=25000 #constraints=25038
1283.95/1284.41	c nbDecision=25500 #constraints=25538
1298.55/1299.03	c restart after 25601 decisions
1307.74/1308.27	c nbDecision=26000 #constraints=25942
1318.14/1318.63	c nbDecision=26500 #constraints=26441
1327.93/1328.48	c nbDecision=27000 #constraints=26941
1337.43/1337.94	c nbDecision=27500 #constraints=27441
1346.72/1347.27	c nbDecision=28000 #constraints=27941
1356.32/1356.87	c nbDecision=28500 #constraints=28441
1366.82/1367.34	c nbDecision=29000 #constraints=28941
1376.42/1376.93	c nbDecision=29500 #constraints=29441
1385.12/1385.64	c nbDecision=30000 #constraints=29942
1393.51/1394.05	c nbDecision=30500 #constraints=30441
1403.11/1403.65	c nbDecision=31000 #constraints=30941
1412.50/1413.04	c nbDecision=31500 #constraints=31441
1426.00/1426.50	c nbDecision=32000 #constraints=31941
1437.60/1438.19	c nbDecision=32500 #constraints=32441
1448.30/1448.87	c nbDecision=33000 #constraints=32941
1456.39/1456.96	c nbDecision=33500 #constraints=33441
1465.99/1466.51	c nbDecision=34000 #constraints=33941
1477.28/1477.82	c nbDecision=34500 #constraints=34441
1486.08/1486.68	c nbDecision=35000 #constraints=34941
1496.38/1496.94	c nbDecision=35500 #constraints=35441
1507.07/1507.67	c nbDecision=36000 #constraints=35941
1519.87/1520.47	c nbDecision=36500 #constraints=36441
1535.76/1536.31	c nbDecision=37000 #constraints=36941
1561.05/1561.61	c nbDecision=37500 #constraints=37442
1610.94/1611.59	c nbDecision=38000 #constraints=37942
1649.83/1650.45	c nbDecision=38500 #constraints=38441
1663.31/1663.91	c nbDecision=39000 #constraints=38941
1676.91/1677.59	c nbDecision=39500 #constraints=39441
1689.21/1689.87	c nbDecision=40000 #constraints=39941
1700.21/1700.80	c nbDecision=40500 #constraints=40441
1714.30/1714.98	c nbDecision=41000 #constraints=40941
1727.69/1728.37	c nbDecision=41500 #constraints=41441
1740.49/1741.19	c nbDecision=42000 #constraints=41941
1750.59/1751.29	c nbDecision=42500 #constraints=42441
1763.19/1763.88	c nbDecision=43000 #constraints=42941
1775.58/1776.27	c nbDecision=43500 #constraints=43441
1794.87/1795.53	c nbDecision=44000 #constraints=43942
1800.08/1800.70	Received signal 15
1800.08/1800.71	
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	
1800.08/1800.71	c user time= 1799.26 s
1800.08/1800.71	c system time= 0.833873 s
1800.08/1800.71	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/node38/watcher-357014-1176851452 -o ROOT/results/node38/solver-357014-1176851452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357014-1176851452/instance-357014-1176851452.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.99 0.97 0.92 3/77 15048
/proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=1468 CPUtime=0
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 117311831 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 367 163 127 317 0 46 0

[startup+0.086394 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15048
/proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=2816 CPUtime=0.08
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 509 0 0 0 8 0 0 0 18 0 1 0 117311831 2883584 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 704 491 131 317 0 383 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2816

[startup+0.102397 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15048
/proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=3216 CPUtime=0.09
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 588 0 0 0 9 0 0 0 18 0 1 0 117311831 3293184 570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 804 570 131 317 0 483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.301434 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15048
/proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=6728 CPUtime=0.29
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 1433 0 0 0 29 0 0 0 19 0 1 0 117311831 6889472 1415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 1682 1415 131 317 0 1361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6728

[startup+0.702511 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15048
/proc/meminfo: memFree=1627432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=13748 CPUtime=0.7
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3128 0 0 0 68 2 0 0 23 0 1 0 117311831 14077952 3110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 3437 3110 138 317 0 3116 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13748

[startup+1.50167 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1615456/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=13880 CPUtime=1.5
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3172 0 0 0 148 2 0 0 25 0 1 0 117311831 14213120 3154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 3470 3154 139 317 0 3149 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13880

[startup+3.10197 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1614432/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=16248 CPUtime=3.09
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 3748 0 0 0 307 2 0 0 25 0 1 0 117311831 16637952 3730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 4062 3730 139 317 0 3741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16248

[startup+6.30159 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1610080/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=19420 CPUtime=6.29
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 4533 0 0 0 625 4 0 0 25 0 1 0 117311831 19886080 4515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 4855 4515 139 317 0 4534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19420

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1608480/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=20596 CPUtime=12.69
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 4856 0 0 0 1265 4 0 0 25 0 1 0 117311831 21090304 4838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 5149 4838 139 317 0 4828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20596

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1603744/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=25360 CPUtime=25.48
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 5987 0 0 0 2544 4 0 0 25 0 1 0 117311831 25968640 5969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 6340 5969 139 317 0 6019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25360

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1598304/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=30772 CPUtime=51.08
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 7371 0 0 0 5102 6 0 0 25 0 1 0 117311831 31510528 7353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 7693 7353 139 317 0 7372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30772

[startup+102.307 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1578720/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=51992 CPUtime=102.26
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 12241 0 0 0 10217 9 0 0 25 0 1 0 117311831 53239808 12223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 12998 12223 139 317 0 12677 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51992

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1560352/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=69704 CPUtime=162.23
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 16844 0 0 0 16210 13 0 0 25 0 1 0 117311831 71376896 16826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 17426 16826 139 317 0 17105 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 69704

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1547104/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=82748 CPUtime=222.22
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 20181 0 0 0 22206 16 0 0 25 0 1 0 117311831 84733952 20105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 20687 20105 139 317 0 20366 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 82748

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1530336/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=102464 CPUtime=282.19
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 24362 0 0 0 28200 19 0 0 25 0 1 0 117311831 104923136 24286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 25616 24286 139 317 0 25295 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 102464

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1516576/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=116124 CPUtime=342.18
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 27832 0 0 0 34196 22 0 0 25 0 1 0 117311831 118910976 27756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 29031 27756 139 317 0 28710 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 116124

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1507872/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=124376 CPUtime=402.15
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 29978 0 0 0 40192 23 0 0 25 0 1 0 117311831 127361024 29902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 31094 29902 139 317 0 30773 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 124376

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1500128/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=131824 CPUtime=462.13
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 31898 0 0 0 46188 25 0 0 25 0 1 0 117311831 134987776 31822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 32956 31822 139 317 0 32635 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 131824

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1489952/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=141884 CPUtime=522.11
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 34444 0 0 0 52185 26 0 0 25 0 1 0 117311831 145289216 34368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 35471 34368 139 317 0 35150 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 141884

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1483104/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=148140 CPUtime=582.09
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 36141 0 0 0 58182 27 0 0 25 0 1 0 117311831 151695360 36065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 37035 36065 139 317 0 36714 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 148140

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15049
/proc/meminfo: memFree=1471392/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=169204 CPUtime=642.07
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 40748 0 0 0 64178 29 0 0 25 0 1 0 117311831 173264896 38974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 42301 38974 139 317 0 41980 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 169204


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1442848/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=196984 CPUtime=881.98
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 48144 0 0 0 88161 37 0 0 25 0 1 0 117311831 201711616 46106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 49246 46106 139 317 0 48925 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 196984

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1438496/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=201704 CPUtime=941.97
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 49285 0 0 0 94158 39 0 0 25 0 1 0 117311831 206544896 47214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 50426 47214 139 317 0 50105 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 201704

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1433632/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=206292 CPUtime=1001.95
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 50569 0 0 0 100155 40 0 0 25 0 1 0 117311831 211243008 48399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 51573 48399 139 317 0 51252 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 206292

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1427296/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=212196 CPUtime=1061.93
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 52273 0 0 0 106150 43 0 0 25 0 1 0 117311831 217288704 50004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 53049 50004 139 317 0 52728 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 212196

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1420000/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=218988 CPUtime=1121.9
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 54168 0 0 0 112146 44 0 0 25 0 1 0 117311831 224243712 51800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 54747 51800 139 317 0 54426 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 218988

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1414176/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=224236 CPUtime=1181.88
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 55678 0 0 0 118143 45 0 0 25 0 1 0 117311831 229617664 53277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 56059 53277 139 317 0 55738 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 224236

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1407648/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=230248 CPUtime=1241.86
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 57368 0 0 0 124139 47 0 0 25 0 1 0 117311831 235773952 54901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 57562 54901 139 317 0 57241 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 230248

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1404192/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=233516 CPUtime=1301.85
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 58313 0 0 0 130137 48 0 0 25 0 1 0 117311831 239120384 55747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 58379 55747 139 317 0 58058 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 233516

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1379232/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=257296 CPUtime=1361.82
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 64761 0 0 0 136130 52 0 0 25 0 1 0 117311831 263471104 62030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 64324 62030 139 317 0 64003 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 257296

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1352672/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=282956 CPUtime=1421.81
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 71550 0 0 0 142123 58 0 0 25 0 1 0 117311831 289746944 68621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 70739 68621 139 317 0 70418 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 282956

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1327008/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=328104 CPUtime=1481.77
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 82977 0 0 0 148113 64 0 0 25 0 1 0 117311831 335978496 75072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 82026 75072 139 317 0 81705 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 328104

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1306336/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=347668 CPUtime=1541.75
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 88592 0 0 0 154106 69 0 0 25 0 1 0 117311831 356012032 80197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 86917 80197 139 317 0 86596 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 347668

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1299616/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=354088 CPUtime=1601.74
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 90398 0 0 0 160103 71 0 0 25 0 1 0 117311831 362586112 81872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 88522 81872 139 317 0 88201 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 354088

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1291488/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=362192 CPUtime=1661.72
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 92710 0 0 0 166099 73 0 0 25 0 1 0 117311831 370884608 83921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 90548 83921 139 317 0 90227 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 362192

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1271648/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=381508 CPUtime=1721.7
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 98195 0 0 0 172092 78 0 0 25 0 1 0 117311831 390664192 88947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 95377 88947 139 317 0 95056 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 381508

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1251488/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=401300 CPUtime=1781.68
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 103701 0 0 0 178086 82 0 0 25 0 1 0 117311831 410931200 93929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 100325 93929 139 317 0 100004 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 401300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1248352/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=403660 CPUtime=1800.08
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 104427 0 0 0 179925 83 0 0 25 0 1 0 117311831 413347840 94655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 100915 94655 139 317 0 100594 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 403660

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: 0.99 0.97 0.92 2/78 15051
/proc/meminfo: memFree=1248352/2055920 swapFree=4148176/4192956
[pid=15048] ppid=15046 vsize=403660 CPUtime=1800.08
/proc/15048/stat : 15048 (oree) R 15046 15048 14705 0 -1 4194304 104427 0 0 0 179925 83 0 0 25 0 1 0 117311831 413347840 94655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15048/statm: 100915 94655 139 317 0 100594 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 403660

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.17
CPU user time (s): 1799.27
CPU system time (s): 0.894863
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 403660

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

runsolver used 2.05569 second user time and 4.49532 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue Apr 17 23:10:52 UTC 2007

IDJOB= 357014
IDBENCH= 1777
IDSOLVER= 172
FILE ID= node38/357014-1176851452

PBS_JOBID= 4590223

Free space on /tmp= 66296 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 484103389

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1627904 kB
Buffers:         39656 kB
Cached:         275796 kB
SwapCached:       4012 kB
Active:         263420 kB
Inactive:       120208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1627904 kB
SwapTotal:     4192956 kB
SwapFree:      4148176 kB
Dirty:            3308 kB
Writeback:           0 kB
Mapped:          75652 kB
Slab:            29624 kB
Committed_AS:  1499204 kB
PageTables:       2064 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= 66296 MiB

End job on node38 on Tue Apr 17 23:40:55 UTC 2007