Trace number 365460

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.12 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sierra.opb
MD5SUM0561d3f4e5e0de350a6eb18bc6dcbee9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables38715
Total number of constraints3263
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3263
Minimum length of a constraint10
Maximum length of a constraint498
Number of terms in the objective function 36989
Biggest coefficient in the objective function 40063152947200
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 712861332680300
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 40063152947200
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 712861332680300
Number of bits of the biggest sum of numbers50
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.69/0.77	c ...done
0.69/0.77	c #vars=38715 #constraints=3792 hasObjective=yes
1.29/1.34	c res. mode=mod
1.29/1.34	c VSIDS like heuristics
1.29/1.34	c complete search running
17.39/17.49	c restart after 401 decisions
17.50/17.53	c nbDecision=500 #constraints=3934
27.29/27.32	c restart after 801 decisions
27.39/27.41	c nbDecision=1000 #constraints=4018
52.78/52.81	c nbDecision=1500 #constraints=4353
59.47/59.58	c restart after 1601 decisions
67.97/68.07	c nbDecision=2000 #constraints=4576
101.46/101.58	c nbDecision=2500 #constraints=5076
138.25/138.30	c nbDecision=3000 #constraints=5566
153.66/153.72	c restart after 3201 decisions
156.06/156.13	c nbDecision=3500 #constraints=5789
193.04/193.13	c nbDecision=4000 #constraints=6283
235.23/235.36	c nbDecision=4500 #constraints=6777
276.03/276.17	c nbDecision=5000 #constraints=7260
318.51/318.60	c nbDecision=5500 #constraints=7752
361.90/362.08	c nbDecision=6000 #constraints=8245
397.50/397.63	c restart after 6401 decisions
398.10/398.20	c nbDecision=6500 #constraints=8644
429.88/430.01	c nbDecision=7000 #constraints=8973
473.77/473.90	c nbDecision=7500 #constraints=9472
519.06/519.26	c nbDecision=8000 #constraints=9965
567.95/568.11	c nbDecision=8500 #constraints=10464
625.86/626.17	c nbDecision=9000 #constraints=10963
682.12/682.41	c nbDecision=9500 #constraints=11461
738.41/738.75	c nbDecision=10000 #constraints=11951
795.20/795.55	c nbDecision=10500 #constraints=12451
852.58/852.98	c nbDecision=11000 #constraints=12951
910.37/910.71	c nbDecision=11500 #constraints=13450
975.45/975.81	c nbDecision=12000 #constraints=13947
1039.23/1039.62	c nbDecision=12500 #constraints=14445
1076.73/1077.17	c restart after 12801 decisions
1078.03/1078.45	c nbDecision=13000 #constraints=14746
1132.31/1132.74	c nbDecision=13500 #constraints=15181
1198.00/1198.42	c nbDecision=14000 #constraints=15676
1261.98/1262.47	c nbDecision=14500 #constraints=16173
1323.97/1324.44	c nbDecision=15000 #constraints=16672
1384.25/1384.70	c nbDecision=15500 #constraints=17172
1451.73/1452.27	c nbDecision=16000 #constraints=17649
1548.31/1548.81	c nbDecision=16500 #constraints=18135
1651.78/1652.31	c nbDecision=17000 #constraints=18630
1753.87/1754.47	c nbDecision=17500 #constraints=19126
1800.05/1800.61	Received signal 15
1800.05/1800.62	
1800.05/1800.62	s UNKNOWN
1800.05/1800.62	
1800.05/1800.62	c user time= 1799.65 s
1800.05/1800.62	c system time= 0.427934 s
1800.05/1800.62	c wall clock time=1800.62

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/node72/watcher-365460-1176994263 -o ROOT/results/node72/solver-365460-1176994263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.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.85 0.97 0.99 3/77 658
/proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=1468 CPUtime=0
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175464746 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 367 161 127 317 0 46 0

[startup+0.0944099 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 658
/proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=3956 CPUtime=0.08
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 772 0 0 0 8 0 0 0 18 0 1 0 175464746 4050944 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 989 656 127 317 0 668 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3956

[startup+0.10141 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 658
/proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=3440 CPUtime=0.09
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 782 0 0 0 9 0 0 0 18 0 1 0 175464746 3522560 537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 860 537 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301429 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 658
/proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=5420 CPUtime=0.29
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 1289 0 0 0 28 1 0 0 19 0 1 0 175464746 5550080 1044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 1355 1044 131 317 0 1034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5420

[startup+0.701466 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 658
/proc/meminfo: memFree=1754216/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=13104 CPUtime=0.69
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 3217 0 0 0 67 2 0 0 22 0 1 0 175464746 13418496 2972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 3276 2972 131 317 0 2955 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13104

[startup+1.50154 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 659
/proc/meminfo: memFree=1736416/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=20820 CPUtime=1.49
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 146 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 5205 4878 139 317 0 4884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20820

[startup+3.10168 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 659
/proc/meminfo: memFree=1735008/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=20820 CPUtime=3.09
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 306 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 5205 4878 139 317 0 4884 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20820

[startup+6.30198 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 659
/proc/meminfo: memFree=1735008/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=20820 CPUtime=6.29
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5123 0 0 0 626 3 0 0 25 0 1 0 175464746 21319680 4878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 5205 4878 139 317 0 4884 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20820

[startup+12.7016 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 659
/proc/meminfo: memFree=1734888/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=21076 CPUtime=12.68
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5172 0 0 0 1265 3 0 0 25 0 1 0 175464746 21581824 4927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 5269 4927 139 317 0 4948 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21076

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 659
/proc/meminfo: memFree=1734568/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=21464 CPUtime=25.49
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 5285 0 0 0 2545 4 0 0 25 0 1 0 175464746 21979136 5040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 5366 5040 139 317 0 5045 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21464

[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 659
/proc/meminfo: memFree=1731560/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=24596 CPUtime=51.07
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 6077 0 0 0 5103 4 0 0 25 0 1 0 175464746 25186304 5832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 6149 5832 170 317 0 5828 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24596

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 659
/proc/meminfo: memFree=1724392/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=31844 CPUtime=102.27
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 7835 0 0 0 10221 6 0 0 25 0 1 0 175464746 32608256 7590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 7961 7590 170 317 0 7640 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31844

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1717736/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=38504 CPUtime=162.25
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 9504 0 0 0 16217 8 0 0 25 0 1 0 175464746 39428096 9259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 9626 9259 170 317 0 9305 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38504

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1710632/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=45884 CPUtime=222.23
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 11255 0 0 0 22214 9 0 0 25 0 1 0 175464746 46985216 11010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 11471 11010 170 317 0 11150 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45884

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1704680/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=51184 CPUtime=282.22
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 12741 0 0 0 28211 11 0 0 25 0 1 0 175464746 52412416 12496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 12796 12496 170 317 0 12475 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51184

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1698664/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=58232 CPUtime=342.21
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 14286 0 0 0 34208 13 0 0 25 0 1 0 175464746 59629568 13990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 14558 13990 170 317 0 14237 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 58232

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1691752/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=66308 CPUtime=402.19
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 16005 0 0 0 40204 15 0 0 25 0 1 0 175464746 67899392 15709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 16577 15709 170 317 0 16256 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66308

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1686248/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=71304 CPUtime=462.18
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 17362 0 0 0 46202 16 0 0 25 0 1 0 175464746 73015296 17066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 17826 17066 170 317 0 17505 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 71304

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1680808/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=76248 CPUtime=522.16
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 18721 0 0 0 52198 18 0 0 25 0 1 0 175464746 78077952 18425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 19062 18425 170 317 0 18741 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 76248

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 659
/proc/meminfo: memFree=1676008/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=80648 CPUtime=582.14
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 19912 0 0 0 58195 19 0 0 25 0 1 0 175464746 82583552 19616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 20162 19616 170 317 0 19841 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 80648

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 831
/proc/meminfo: memFree=1670512/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=84384 CPUtime=642.06
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 20950 0 0 0 64185 21 0 0 25 0 1 0 175464746 86409216 20654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 21096 20654 170 317 0 20775 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 84384


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1654952/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=106088 CPUtime=821.99
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 25118 0 0 0 82174 25 0 0 25 0 1 0 175464746 108634112 24822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 26522 24822 170 317 0 26201 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 106088

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1650792/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=109996 CPUtime=881.97
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 26159 0 0 0 88171 26 0 0 25 0 1 0 175464746 112635904 25863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 27499 25863 170 317 0 27178 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 109996

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1646760/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=113784 CPUtime=941.96
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 27164 0 0 0 94169 27 0 0 25 0 1 0 175464746 116514816 26868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 28446 26868 170 317 0 28125 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 113784

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1643176/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=117180 CPUtime=1001.94
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 28082 0 0 0 100166 28 0 0 25 0 1 0 175464746 119992320 27786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 29295 27786 170 317 0 28974 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 117180

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1638824/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=121328 CPUtime=1061.92
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 29200 0 0 0 106163 29 0 0 25 0 1 0 175464746 124239872 28804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 30332 28804 170 317 0 30011 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 121328

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1635368/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=124592 CPUtime=1121.91
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 30108 0 0 0 112161 30 0 0 25 0 1 0 175464746 127582208 29712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 31148 29712 170 317 0 30827 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 124592

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1631720/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=128108 CPUtime=1181.9
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 31026 0 0 0 118158 32 0 0 25 0 1 0 175464746 131182592 30630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 32027 30630 170 317 0 31706 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 128108

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1627880/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=131440 CPUtime=1241.88
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 31970 0 0 0 124155 33 0 0 25 0 1 0 175464746 134594560 31574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 32860 31574 170 317 0 32539 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 131440

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1623912/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=135120 CPUtime=1301.87
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 32937 0 0 0 130153 34 0 0 25 0 1 0 175464746 138362880 32541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 33780 32541 170 317 0 33459 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 135120

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 861
/proc/meminfo: memFree=1619944/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=138620 CPUtime=1361.85
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 33940 0 0 0 136150 35 0 0 25 0 1 0 175464746 141946880 33544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 34655 33544 170 317 0 34334 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 138620

[startup+1422.31 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 861
/proc/meminfo: memFree=1615848/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=142268 CPUtime=1421.84
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 34945 0 0 0 142148 36 0 0 25 0 1 0 175464746 145682432 34549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 35567 34549 170 317 0 35246 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 142268

[startup+1482.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 861
/proc/meminfo: memFree=1613224/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=144736 CPUtime=1481.82
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 35602 0 0 0 148145 37 0 0 25 0 1 0 175464746 148209664 35206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 36184 35206 170 317 0 35863 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 144736

[startup+1542.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 861
/proc/meminfo: memFree=1610664/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=147072 CPUtime=1541.81
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 36235 0 0 0 154143 38 0 0 25 0 1 0 175464746 150601728 35839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 36768 35839 170 317 0 36447 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 147072

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 861
/proc/meminfo: memFree=1608296/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=149272 CPUtime=1601.8
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 36852 0 0 0 160141 39 0 0 25 0 1 0 175464746 152854528 36456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 37318 36456 170 317 0 36997 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 149272

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 861
/proc/meminfo: memFree=1605800/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=151604 CPUtime=1661.78
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 37446 0 0 0 166138 40 0 0 25 0 1 0 175464746 155242496 37050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 37901 37050 170 317 0 37580 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 151604

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 861
/proc/meminfo: memFree=1603368/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=153952 CPUtime=1721.77
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38072 0 0 0 172136 41 0 0 25 0 1 0 175464746 157646848 37676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 38488 37676 170 317 0 38167 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 153952

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 861
/proc/meminfo: memFree=1601064/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=156044 CPUtime=1781.75
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38631 0 0 0 178133 42 0 0 25 0 1 0 175464746 159789056 38235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 39011 38235 170 317 0 38690 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 156044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 861
/proc/meminfo: memFree=1600488/2055920 swapFree=4157116/4192956
[pid=658] ppid=656 vsize=156692 CPUtime=1800.05
/proc/658/stat : 658 (oree) R 656 658 31677 0 -1 4194304 38790 0 0 0 179963 42 0 0 25 0 1 0 175464746 160452608 38394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/658/statm: 39173 38394 170 317 0 38852 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 156692

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

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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.45393
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 156692

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

runsolver used 2.06868 second user time and 4.47932 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Thu Apr 19 14:51:03 UTC 2007

IDJOB= 365460
IDBENCH= 2393
IDSOLVER= 172
FILE ID= node72/365460-1176994263

PBS_JOBID= 4630418

Free space on /tmp= 66404 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
COMMAND LINE= oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-365460-1176994263 -o ROOT/results/node72/solver-365460-1176994263 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365460-1176994263/instance-365460-1176994263.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0561d3f4e5e0de350a6eb18bc6dcbee9

RANDOM SEED= 515473530

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1754632 kB
Buffers:         30572 kB
Cached:         195820 kB
SwapCached:      16912 kB
Active:          92092 kB
Inactive:       158244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754632 kB
SwapTotal:     4192956 kB
SwapFree:      4157116 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          30980 kB
Slab:            36484 kB
Committed_AS:  2770932 kB
PageTables:       1796 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= 66404 MiB

End job on node72 on Thu Apr 19 15:21:06 UTC 2007