Trace number 363098

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 alphaOPT0 989.457 989.908

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-enigma.opb
MD5SUM41834777456d00b1f1bcfadb1f825a87
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.147976
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables100
Total number of constraints21
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint9
Maximum length of a constraint90
Number of terms in the objective function 9
Biggest coefficient in the objective function 9
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 49638
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 524340
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=100 #constraints=43 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.39/0.47	c restart after 401 decisions
0.59/0.62	c nbDecision=500 #constraints=522
1.29/1.31	c restart after 801 decisions
1.89/1.91	c nbDecision=1000 #constraints=1011
4.19/4.28	c nbDecision=1500 #constraints=1509
4.89/4.97	c restart after 1601 decisions
8.19/8.27	c nbDecision=2000 #constraints=2001
13.99/14.06	c nbDecision=2500 #constraints=2502
22.18/22.26	c nbDecision=3000 #constraints=3001
26.28/26.40	c restart after 3201 decisions
33.18/33.26	c nbDecision=3500 #constraints=3490
47.37/47.43	c nbDecision=4000 #constraints=3990
64.27/64.30	c nbDecision=4500 #constraints=4487
84.16/84.20	c nbDecision=5000 #constraints=4989
107.66/107.73	c nbDecision=5500 #constraints=5488
132.84/132.95	c nbDecision=6000 #constraints=5988
153.80/153.96	c restart after 6401 decisions
159.58/159.71	c nbDecision=6500 #constraints=6480
191.43/191.69	c nbDecision=7000 #constraints=6978
225.22/225.46	c nbDecision=7500 #constraints=7477
261.01/261.23	c nbDecision=8000 #constraints=7979
299.69/299.96	c nbDecision=8500 #constraints=8477
341.68/341.99	c nbDecision=9000 #constraints=8980
384.46/384.74	c nbDecision=9500 #constraints=9478
430.05/430.38	c nbDecision=10000 #constraints=9979
480.13/480.42	c nbDecision=10500 #constraints=10477
530.41/530.77	c nbDecision=11000 #constraints=10978
581.89/582.29	c nbDecision=11500 #constraints=11478
636.37/636.72	c nbDecision=12000 #constraints=11977
698.15/698.59	c nbDecision=12500 #constraints=12477
736.83/737.21	c restart after 12801 decisions
756.33/756.74	c nbDecision=13000 #constraints=12967
820.40/820.85	c nbDecision=13500 #constraints=13466
886.27/886.74	c nbDecision=14000 #constraints=13960
953.05/953.53	c nbDecision=14500 #constraints=14461
988.84/989.32	c nbDecision=14753 #constraints=14714
988.84/989.32	c linear search for optimum
988.84/989.32	o 0
989.34/989.89	
989.34/989.89	s OPTIMUM FOUND
989.34/989.89	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29
989.34/989.89	v -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
989.34/989.89	v -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81
989.34/989.89	v -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
989.34/989.89	
989.34/989.89	c user time= 989.294 s
989.34/989.89	c system time= 0.149977 s
989.34/989.89	c wall clock time=989.893

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-363098-1176850726 -o ROOT/results/node59/solver-363098-1176850726 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363098-1176850726/instance-363098-1176850726.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.71 0.91 0.92 3/64 30482
/proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=1468 CPUtime=0
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132982249 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 367 175 139 317 0 46 0

[startup+0.03343 s]
/proc/loadavg: 0.71 0.91 0.92 3/64 30482
/proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=1600 CPUtime=0.03
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 233 0 0 0 3 0 0 0 18 0 1 0 132982249 1638400 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 400 215 139 317 0 79 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1600

[startup+0.101442 s]
/proc/loadavg: 0.71 0.91 0.92 3/64 30482
/proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=1992 CPUtime=0.09
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 303 0 0 0 9 0 0 0 18 0 1 0 132982249 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 498 286 139 317 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1992

[startup+0.301479 s]
/proc/loadavg: 0.71 0.91 0.92 3/64 30482
/proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=2648 CPUtime=0.29
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 493 0 0 0 29 0 0 0 19 0 1 0 132982249 2711552 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 662 475 139 317 0 341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2648

[startup+0.701556 s]
/proc/loadavg: 0.71 0.91 0.92 3/64 30482
/proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=3688 CPUtime=0.69
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 750 0 0 0 69 0 0 0 23 0 1 0 132982249 3776512 732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 922 732 139 317 0 601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3688

[startup+1.50171 s]
/proc/loadavg: 0.71 0.91 0.92 2/65 30483
/proc/meminfo: memFree=1830568/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=5008 CPUtime=1.49
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 1085 0 0 0 149 0 0 0 25 0 1 0 132982249 5128192 1067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 1252 1067 139 317 0 931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5008

[startup+3.10201 s]
/proc/loadavg: 0.71 0.91 0.92 2/65 30483
/proc/meminfo: memFree=1829096/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=7020 CPUtime=3.09
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 1541 0 0 0 309 0 0 0 25 0 1 0 132982249 7188480 1523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 1755 1523 139 317 0 1434 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7020

[startup+6.30162 s]
/proc/loadavg: 0.73 0.91 0.92 2/65 30483
/proc/meminfo: memFree=1826408/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=8868 CPUtime=6.29
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 2019 0 0 0 629 0 0 0 25 0 1 0 132982249 9080832 2001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 2217 2001 139 317 0 1896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8868

[startup+12.7018 s]
/proc/loadavg: 0.76 0.91 0.92 2/65 30483
/proc/meminfo: memFree=1823464/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=11792 CPUtime=12.69
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 2690 0 0 0 1268 1 0 0 25 0 1 0 132982249 12075008 2672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 2948 2672 139 317 0 2627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11792

[startup+25.5013 s]
/proc/loadavg: 0.81 0.91 0.92 2/65 30483
/proc/meminfo: memFree=1820200/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=14896 CPUtime=25.48
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 3455 0 0 0 2547 1 0 0 25 0 1 0 132982249 15253504 3437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 3724 3437 139 317 0 3403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14896

[startup+51.1011 s]
/proc/loadavg: 0.87 0.92 0.92 2/65 30483
/proc/meminfo: memFree=1816488/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=18476 CPUtime=51.07
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 4387 0 0 0 5105 2 0 0 25 0 1 0 132982249 18919424 4369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 4619 4369 139 317 0 4298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18476

[startup+102.306 s]
/proc/loadavg: 0.94 0.93 0.92 2/65 30483
/proc/meminfo: memFree=1810920/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=24784 CPUtime=102.26
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 5740 0 0 0 10223 3 0 0 25 0 1 0 132982249 25378816 5722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 6196 5722 139 317 0 5875 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24784

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.92 2/71 30621
/proc/meminfo: memFree=1804856/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=29408 CPUtime=162.17
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 6900 0 0 0 16212 5 0 0 25 0 1 0 132982249 30113792 6882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 7352 6882 139 317 0 7031 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 29408

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.92 2/65 30681
/proc/meminfo: memFree=1802408/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=32752 CPUtime=222.12
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 7795 0 0 0 22206 6 0 0 25 0 1 0 132982249 33538048 7777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 8188 7777 139 317 0 7867 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 32752

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.92 2/65 30681
/proc/meminfo: memFree=1799144/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=35868 CPUtime=282.1
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 8614 0 0 0 28203 7 0 0 25 0 1 0 132982249 36728832 8596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 8967 8596 139 317 0 8646 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 35868

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/65 30681
/proc/meminfo: memFree=1795624/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=40460 CPUtime=342.08
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 9527 0 0 0 34200 8 0 0 25 0 1 0 132982249 41431040 9452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 10115 9452 139 317 0 9794 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 40460

[startup+402.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/65 30681
/proc/meminfo: memFree=1792872/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=43788 CPUtime=402.05
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 10217 0 0 0 40197 8 0 0 25 0 1 0 132982249 44838912 10142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 10947 10142 139 317 0 10626 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 43788

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1790312/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=47064 CPUtime=462.03
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 10845 0 0 0 46194 9 0 0 25 0 1 0 132982249 48193536 10770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 11766 10770 139 317 0 11445 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 47064

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1788072/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=49336 CPUtime=522.02
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 11435 0 0 0 52192 10 0 0 25 0 1 0 132982249 50520064 11360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 12334 11360 139 317 0 12013 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 49336

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1785704/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=51608 CPUtime=581.99
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 12022 0 0 0 58189 10 0 0 25 0 1 0 132982249 52846592 11947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563790 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 12902 11947 139 317 0 12581 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 51608

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1783464/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=53560 CPUtime=641.97
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 12562 0 0 0 64186 11 0 0 25 0 1 0 132982249 54845440 12487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 13390 12487 139 317 0 13069 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 53560

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1781480/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=55536 CPUtime=701.94
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 13048 0 0 0 70183 11 0 0 25 0 1 0 132982249 56868864 12973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 13884 12973 139 317 0 13563 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 55536

[startup+762.304 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1779560/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=57380 CPUtime=761.92
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 13562 0 0 0 76180 12 0 0 25 0 1 0 132982249 58757120 13487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 14345 13487 139 317 0 14024 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 57380

[startup+822.303 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1777768/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=59072 CPUtime=821.9
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14058 0 0 0 82177 13 0 0 25 0 1 0 132982249 60489728 13983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 14768 13983 170 317 0 14447 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 59072

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1775912/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=60760 CPUtime=881.87
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14504 0 0 0 88174 13 0 0 25 0 1 0 132982249 62218240 14429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15190 14429 170 317 0 14869 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 60760

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1774120/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=62584 CPUtime=941.86
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14949 0 0 0 94172 14 0 0 25 0 1 0 132982249 64086016 14874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15646 14874 170 317 0 15325 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 62584

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

[startup+947.106 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1773864/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=62716 CPUtime=946.66
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14992 0 0 0 94652 14 0 0 25 0 1 0 132982249 64221184 14917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15679 14917 170 317 0 15358 0
Current children cumulated CPU time (s) 946.66
Current children cumulated vsize (KiB) 62716

[startup+972.701 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1773160/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=63364 CPUtime=972.24
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15167 0 0 0 97210 14 0 0 25 0 1 0 132982249 64884736 15092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15841 15092 170 317 0 15520 0
Current children cumulated CPU time (s) 972.24
Current children cumulated vsize (KiB) 63364

[startup+979.102 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1772968/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=63624 CPUtime=978.64
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15213 0 0 0 97850 14 0 0 25 0 1 0 132982249 65150976 15138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15906 15138 170 317 0 15585 0
Current children cumulated CPU time (s) 978.64
Current children cumulated vsize (KiB) 63624

[startup+985.502 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1772840/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=63888 CPUtime=985.04
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15261 0 0 0 98490 14 0 0 25 0 1 0 132982249 65421312 15186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15972 15186 170 317 0 15651 0
Current children cumulated CPU time (s) 985.04
Current children cumulated vsize (KiB) 63888

[startup+987.101 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1772840/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=63888 CPUtime=986.64
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15267 0 0 0 98650 14 0 0 25 0 1 0 132982249 65421312 15192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 15972 15192 170 317 0 15651 0
Current children cumulated CPU time (s) 986.64
Current children cumulated vsize (KiB) 63888

[startup+988.701 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1772776/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=64032 CPUtime=988.24
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15277 0 0 0 98810 14 0 0 25 0 1 0 132982249 65568768 15202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 16008 15202 170 317 0 15687 0
Current children cumulated CPU time (s) 988.24
Current children cumulated vsize (KiB) 64032

[startup+989.502 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1772776/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=64032 CPUtime=989.04
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15280 0 0 0 98890 14 0 0 25 0 1 0 132982249 65568768 15205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 16008 15205 170 317 0 15687 0
Current children cumulated CPU time (s) 989.04
Current children cumulated vsize (KiB) 64032

[startup+989.903 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30681
/proc/meminfo: memFree=1807912/2055920 swapFree=4184740/4192956
[pid=30482] ppid=30480 vsize=0 CPUtime=989.44
/proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194308 15296 0 0 0 98929 15 0 0 25 0 1 0 132982249 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30482/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 989.44
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 989.908
CPU time (s): 989.457
CPU user time (s): 989.296
CPU system time (s): 0.160975
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 64032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 989.296
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15296
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= 7
involuntary context switches= 2054

runsolver used 0.681896 second user time and 2.08468 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue Apr 17 22:58:46 UTC 2007

IDJOB= 363098
IDBENCH= 1734
IDSOLVER= 172
FILE ID= node59/363098-1176850726

PBS_JOBID= 4590238

Free space on /tmp= 66343 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  41834777456d00b1f1bcfadb1f825a87

RANDOM SEED= 436871491

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1834056 kB
Buffers:         15784 kB
Cached:         147000 kB
SwapCached:       2252 kB
Active:          34460 kB
Inactive:       137740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834056 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          16436 kB
Slab:            35700 kB
Committed_AS:  1578472 kB
PageTables:       1472 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= 66343 MiB

End job on node59 on Tue Apr 17 23:15:16 UTC 2007