Trace number 357051

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) 1801.2 1801.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark74.2227
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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.03	c ...done
0.00/0.03	c #vars=1989 #constraints=194 hasObjective=yes
0.04/0.07	c res. mode=mod
0.04/0.07	c VSIDS like heuristics
0.04/0.07	c complete search running
0.04/0.08	c restart after 401 decisions
0.04/0.08	c nbDecision=500 #constraints=194
0.04/0.09	c restart after 801 decisions
0.04/0.09	c nbDecision=1000 #constraints=194
0.20/0.28	c nbDecision=1500 #constraints=268
0.40/0.42	c restart after 1601 decisions
0.40/0.44	c nbDecision=2000 #constraints=312
1.29/1.31	c nbDecision=2500 #constraints=598
2.29/2.32	c nbDecision=3000 #constraints=844
2.59/2.66	c restart after 3201 decisions
2.69/2.72	c nbDecision=3500 #constraints=918
4.09/4.17	c nbDecision=4000 #constraints=1147
6.19/6.30	c nbDecision=4500 #constraints=1397
6.89/6.95	c nbDecision=5000 #constraints=1627
8.19/8.29	c nbDecision=5500 #constraints=1940
10.08/10.18	c nbDecision=6000 #constraints=2256
12.59/12.69	c restart after 6401 decisions
12.89/12.90	c nbDecision=6500 #constraints=2547
13.09/13.18	c nbDecision=7000 #constraints=2557
17.29/17.31	c nbDecision=7500 #constraints=2916
22.69/22.71	c nbDecision=8000 #constraints=3295
29.07/29.15	c nbDecision=8500 #constraints=3697
36.78/36.88	c nbDecision=9000 #constraints=4013
46.87/46.99	c nbDecision=9500 #constraints=4371
59.27/59.33	c nbDecision=10000 #constraints=4752
76.06/76.12	c nbDecision=10500 #constraints=5170
92.65/92.76	c nbDecision=11000 #constraints=5560
111.45/111.56	c nbDecision=11500 #constraints=5951
143.34/143.48	c nbDecision=12000 #constraints=6427
189.12/189.29	c nbDecision=12500 #constraints=6944
214.12/214.26	c restart after 12801 decisions
215.71/215.83	c nbDecision=13000 #constraints=7218
221.81/221.93	c nbDecision=13500 #constraints=7293
242.40/242.52	c nbDecision=14000 #constraints=7615
266.59/266.72	c nbDecision=14500 #constraints=7978
302.08/302.25	c nbDecision=15000 #constraints=8378
336.37/336.51	c nbDecision=15500 #constraints=8791
371.75/371.93	c nbDecision=16000 #constraints=9179
423.63/423.80	c nbDecision=16500 #constraints=9651
493.01/493.28	c nbDecision=17000 #constraints=10102
528.80/529.09	c nbDecision=17500 #constraints=10472
597.57/597.85	c nbDecision=18000 #constraints=10980
628.36/628.69	c nbDecision=18500 #constraints=11283
674.94/675.21	c nbDecision=19000 #constraints=11692
719.93/720.29	c nbDecision=19500 #constraints=12109
787.90/788.20	c nbDecision=20000 #constraints=12577
836.79/837.15	c nbDecision=20500 #constraints=12955
904.56/904.90	c nbDecision=21000 #constraints=13396
983.73/984.14	c nbDecision=21500 #constraints=13869
1082.89/1083.32	c nbDecision=22000 #constraints=14382
1173.26/1173.76	c nbDecision=22500 #constraints=14777
1268.52/1269.08	c nbDecision=23000 #constraints=15244
1387.48/1388.02	c nbDecision=23500 #constraints=15717
1502.44/1503.06	c nbDecision=24000 #constraints=16205
1616.39/1617.03	c nbDecision=24500 #constraints=16711
1733.63/1734.46	c nbDecision=25000 #constraints=17194
1800.01/1800.80	Received signal 15
1801.11/1801.91	
1801.11/1801.91	s UNKNOWN
1801.11/1801.91	
1801.11/1801.91	c user time= 1800.51 s
1801.11/1801.91	c system time= 0.614906 s
1801.11/1801.91	c wall clock time=1801.91

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/node10/watcher-357051-1176852787 -o ROOT/results/node10/solver-357051-1176852787 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357051-1176852787/instance-357051-1176852787.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 15678
/proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=1468 CPUtime=0
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161316273 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 367 161 126 317 0 46 0

[startup+0.0429409 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15678
/proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=2536 CPUtime=0.04
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 436 0 0 0 4 0 0 0 18 0 1 0 161316273 2596864 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 634 418 137 317 0 313 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2536

[startup+0.101953 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15678
/proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=2668 CPUtime=0.1
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 492 0 0 0 10 0 0 0 18 0 1 0 161316273 2732032 474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 667 474 138 317 0 346 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2668

[startup+0.301996 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15678
/proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=3876 CPUtime=0.3
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 795 0 0 0 30 0 0 0 19 0 1 0 161316273 3969024 777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 969 777 139 317 0 648 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3876

[startup+0.701084 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15678
/proc/meminfo: memFree=1807744/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=5872 CPUtime=0.69
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 1279 0 0 0 69 0 0 0 23 0 1 0 161316273 6012928 1261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 1468 1261 139 317 0 1147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5872

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1801976/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=9040 CPUtime=1.49
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 2079 0 0 0 149 0 0 0 25 0 1 0 161316273 9256960 2061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 2260 2061 139 317 0 1939 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9040

[startup+3.1016 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1798072/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=13536 CPUtime=3.09
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 3193 0 0 0 308 1 0 0 25 0 1 0 161316273 13860864 3175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 3384 3175 139 317 0 3063 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13536

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1791800/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=18920 CPUtime=6.29
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 4510 0 0 0 628 1 0 0 25 0 1 0 161316273 19374080 4492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 4730 4492 139 317 0 4409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18920

[startup+12.7017 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1771072/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=40040 CPUtime=12.69
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 9579 0 0 0 1265 4 0 0 25 0 1 0 161316273 41000960 9561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 10010 9561 139 317 0 9689 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40040

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1752192/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=58900 CPUtime=25.48
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 14051 0 0 0 2541 7 0 0 25 0 1 0 161316273 60313600 14033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 14725 14033 139 317 0 14404 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58900

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1733248/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=78212 CPUtime=51.07
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 18827 0 0 0 5098 9 0 0 25 0 1 0 161316273 80089088 18809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 19553 18809 139 317 0 19232 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78212

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1706048/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=107220 CPUtime=102.26
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 25482 0 0 0 10213 13 0 0 25 0 1 0 161316273 109793280 25464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 26805 25464 139 317 0 26484 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107220

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1684224/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=130800 CPUtime=162.23
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 30948 0 0 0 16208 15 0 0 25 0 1 0 161316273 133939200 30930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 32700 30930 139 317 0 32379 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 130800

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1665984/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=148788 CPUtime=222.21
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 35466 0 0 0 22203 18 0 0 25 0 1 0 161316273 152358912 35448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 37197 35448 139 317 0 36876 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 148788

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1649280/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=167376 CPUtime=282.19
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 39661 0 0 0 28198 21 0 0 25 0 1 0 161316273 171393024 39643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 41844 39643 139 317 0 41523 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 167376

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1636288/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=180384 CPUtime=342.16
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 42926 0 0 0 34193 23 0 0 25 0 1 0 161316273 184713216 42850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 45096 42850 139 317 0 44775 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 180384

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1624448/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=193072 CPUtime=402.14
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 45893 0 0 0 40189 25 0 0 25 0 1 0 161316273 197705728 45817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 48268 45817 139 317 0 47947 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 193072

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1610752/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=209104 CPUtime=462.12
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 49297 0 0 0 46185 27 0 0 25 0 1 0 161316273 214122496 49221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 52276 49221 139 317 0 51955 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 209104

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1598912/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=221748 CPUtime=522.1
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 52270 0 0 0 52180 30 0 0 25 0 1 0 161316273 227069952 52194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 55437 52194 139 317 0 55116 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 221748

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1587776/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=233532 CPUtime=582.07
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 55012 0 0 0 58176 31 0 0 25 0 1 0 161316273 239136768 54936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 58383 54936 139 317 0 58062 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 233532

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1578176/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=244024 CPUtime=642.05
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 57351 0 0 0 64172 33 0 0 25 0 1 0 161316273 249880576 57275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 61006 57275 139 317 0 60685 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 244024


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1525184/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=302104 CPUtime=1001.92
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 70477 0 0 0 100149 43 0 0 25 0 1 0 161316273 309354496 70401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 75526 70401 139 317 0 75205 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 302104

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1516864/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=311096 CPUtime=1061.89
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 72544 0 0 0 106145 44 0 0 25 0 1 0 161316273 318562304 72468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 77774 72468 139 317 0 77453 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 311096

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1509952/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=317520 CPUtime=1121.88
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 74249 0 0 0 112142 46 0 0 25 0 1 0 161316273 325140480 74173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 79380 74173 139 317 0 79059 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 317520

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1503104/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=324656 CPUtime=1181.85
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 75957 0 0 0 118138 47 0 0 25 0 1 0 161316273 332447744 75881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 81164 75881 139 317 0 80843 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 324656

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1495424/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=332392 CPUtime=1241.83
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 77827 0 0 0 124135 48 0 0 25 0 1 0 161316273 340369408 77751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 83098 77751 139 317 0 82777 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 332392

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1487232/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=340772 CPUtime=1301.82
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 79864 0 0 0 130132 50 0 0 25 0 1 0 161316273 348950528 79788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 85193 79788 139 317 0 84872 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 340772

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1480256/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=347656 CPUtime=1361.79
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 81632 0 0 0 136128 51 0 0 25 0 1 0 161316273 355999744 81556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 86914 81556 139 317 0 86593 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 347656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1473152/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=354564 CPUtime=1421.77
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 83346 0 0 0 142124 53 0 0 25 0 1 0 161316273 363073536 83270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 88641 83270 139 317 0 88320 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 354564

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1467072/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=360448 CPUtime=1481.74
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 84901 0 0 0 148121 53 0 0 25 0 1 0 161316273 369098752 84825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 90112 84825 139 317 0 89791 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 360448

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 15679
/proc/meminfo: memFree=1460032/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=367356 CPUtime=1541.72
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 86622 0 0 0 154117 55 0 0 25 0 1 0 161316273 376172544 86546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 91839 86546 139 317 0 91518 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 367356

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1452288/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=375372 CPUtime=1601.7
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 88629 0 0 0 160114 56 0 0 25 0 1 0 161316273 384380928 88439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 93843 88439 139 317 0 93522 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 375372

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15679
/proc/meminfo: memFree=1445824/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=381928 CPUtime=1661.68
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 90266 0 0 0 166110 58 0 0 25 0 1 0 161316273 391094272 90076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 95482 90076 139 317 0 95161 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 381928

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15853
/proc/meminfo: memFree=1438336/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=388792 CPUtime=1721.55
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 92032 0 0 0 172095 60 0 0 25 0 1 0 161316273 398123008 91611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 97198 91611 139 317 0 96877 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 388792

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15877
/proc/meminfo: memFree=1432832/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=395300 CPUtime=1781.52
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 93658 0 0 0 178091 61 0 0 25 0 1 0 161316273 404787200 93204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 98825 93204 139 317 0 98504 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 395300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15877
/proc/meminfo: memFree=1431040/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=397036 CPUtime=1800.01
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94147 0 0 0 179940 61 0 0 25 0 1 0 161316273 406564864 93627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 99259 93627 139 317 0 98938 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 397036

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

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15877
/proc/meminfo: memFree=1431040/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=397036 CPUtime=1800.61
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94172 0 0 0 180000 61 0 0 25 0 1 0 161316273 406564864 93652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 99259 93652 139 317 0 98938 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 397036

[startup+1801.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 15878
/proc/meminfo: memFree=1430904/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=397180 CPUtime=1801.01
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94182 0 0 0 180040 61 0 0 25 0 1 0 161316273 406712320 93662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 99295 93662 139 317 0 98974 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 397180

[startup+1801.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 15878
/proc/meminfo: memFree=1430904/2055920 swapFree=4152288/4192956
[pid=15678] ppid=15676 vsize=397180 CPUtime=1801.11
/proc/15678/stat : 15678 (oree) R 15676 15678 14593 0 -1 4194304 94183 0 0 0 180050 61 0 0 25 0 1 0 161316273 406712320 93663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15678/statm: 99295 93663 139 317 0 98974 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 397180

Child status: 0
Real time (s): 1801.98
CPU time (s): 1801.2
CPU user time (s): 1800.52
CPU system time (s): 0.682896
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 397180

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

runsolver used 2.15967 second user time and 4.33834 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Apr 17 23:33:08 UTC 2007

IDJOB= 357051
IDBENCH= 1852
IDSOLVER= 172
FILE ID= node10/357051-1176852787

PBS_JOBID= 4590181

Free space on /tmp= 66300 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1a5510d564851e49e3b50f1a87922ca2

RANDOM SEED= 880381866

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1808280 kB
Buffers:         19588 kB
Cached:         163096 kB
SwapCached:       8736 kB
Active:          39872 kB
Inactive:       166028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808280 kB
SwapTotal:     4192956 kB
SwapFree:      4152288 kB
Dirty:            1512 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            27384 kB
Committed_AS:  3507952 kB
PageTables:       1708 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= 66300 MiB

End job on node10 on Wed Apr 18 00:03:11 UTC 2007