Trace number 357346

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.14 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-scorpion.opb
MD5SUM5969f09e744b158004f0e27c746edfe9
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10740
Total number of constraints377
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 constraints377
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 8460
Biggest coefficient in the objective function 10788957847552
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 603693086370759
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 33554432000000
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 603693086370759
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.19/0.20	c ...done
0.19/0.20	c #vars=10740 #constraints=658 hasObjective=yes
0.29/0.32	c res. mode=mod
0.29/0.32	c VSIDS like heuristics
0.29/0.32	c complete search running
0.39/0.44	c restart after 401 decisions
0.39/0.45	c nbDecision=500 #constraints=659
0.39/0.48	c restart after 801 decisions
0.49/0.51	c nbDecision=1000 #constraints=659
0.89/0.95	c nbDecision=1500 #constraints=670
0.99/1.07	c restart after 1601 decisions
1.10/1.12	c nbDecision=2000 #constraints=775
1.49/1.57	c nbDecision=2500 #constraints=993
3.09/3.12	c nbDecision=3000 #constraints=1495
3.90/3.92	c restart after 3201 decisions
3.90/3.97	c nbDecision=3500 #constraints=1698
4.59/4.60	c nbDecision=4000 #constraints=1820
7.29/7.35	c nbDecision=4500 #constraints=2322
9.29/9.38	c nbDecision=5000 #constraints=2700
11.09/11.19	c nbDecision=5500 #constraints=3204
14.39/14.48	c nbDecision=6000 #constraints=3705
18.49/18.55	c restart after 6401 decisions
18.59/18.69	c nbDecision=6500 #constraints=4109
18.79/18.85	c nbDecision=7000 #constraints=4109
24.19/24.28	c nbDecision=7500 #constraints=4532
32.68/32.78	c nbDecision=8000 #constraints=5033
41.28/41.37	c nbDecision=8500 #constraints=5533
52.38/52.42	c nbDecision=9000 #constraints=6033
64.88/64.93	c nbDecision=9500 #constraints=6534
78.16/78.21	c nbDecision=10000 #constraints=7031
93.96/94.02	c nbDecision=10500 #constraints=7533
108.96/109.02	c nbDecision=11000 #constraints=8033
126.65/126.76	c nbDecision=11500 #constraints=8532
147.15/147.20	c nbDecision=12000 #constraints=9033
167.44/167.57	c nbDecision=12500 #constraints=9532
179.44/179.59	c restart after 12801 decisions
179.84/179.97	c nbDecision=13000 #constraints=9836
181.34/181.43	c nbDecision=13500 #constraints=9861
201.54/201.60	c nbDecision=14000 #constraints=10362
228.63/228.75	c nbDecision=14500 #constraints=10861
254.52/254.63	c nbDecision=15000 #constraints=11360
281.01/281.13	c nbDecision=15500 #constraints=11861
307.91/308.06	c nbDecision=16000 #constraints=12362
333.20/333.33	c nbDecision=16500 #constraints=12862
361.28/361.40	c nbDecision=17000 #constraints=13362
395.58/395.77	c nbDecision=17500 #constraints=13859
431.07/431.23	c nbDecision=18000 #constraints=14361
466.55/466.79	c nbDecision=18500 #constraints=14859
502.65/502.84	c nbDecision=19000 #constraints=15363
537.03/537.24	c nbDecision=19500 #constraints=15862
571.52/571.80	c nbDecision=20000 #constraints=16364
613.31/613.56	c nbDecision=20500 #constraints=16863
656.70/656.96	c nbDecision=21000 #constraints=17360
700.99/701.27	c nbDecision=21500 #constraints=17864
743.38/743.66	c nbDecision=22000 #constraints=18357
782.76/783.09	c nbDecision=22500 #constraints=18856
823.76/824.01	c nbDecision=23000 #constraints=19358
863.94/864.20	c nbDecision=23500 #constraints=19856
910.33/910.60	c nbDecision=24000 #constraints=20355
954.81/955.12	c nbDecision=24500 #constraints=20857
990.91/991.21	c nbDecision=25000 #constraints=21244
1046.59/1046.97	c nbDecision=25500 #constraints=21746
1058.08/1058.41	c restart after 25601 decisions
1059.28/1059.65	c nbDecision=26000 #constraints=21847
1085.07/1085.42	c nbDecision=26500 #constraints=22074
1140.86/1141.22	c nbDecision=27000 #constraints=22574
1194.54/1194.98	c nbDecision=27500 #constraints=23074
1247.73/1248.12	c nbDecision=28000 #constraints=23574
1290.92/1291.32	c nbDecision=28500 #constraints=23962
1347.50/1347.94	c nbDecision=29000 #constraints=24464
1404.19/1404.70	c nbDecision=29500 #constraints=24965
1448.97/1449.49	c nbDecision=30000 #constraints=25353
1506.36/1506.84	c nbDecision=30500 #constraints=25853
1549.54/1550.05	c nbDecision=31000 #constraints=26245
1593.93/1594.44	c nbDecision=31500 #constraints=26679
1630.02/1630.50	c nbDecision=32000 #constraints=27020
1650.81/1651.33	c nbDecision=32500 #constraints=27226
1656.11/1656.64	c nbDecision=33000 #constraints=27284
1659.81/1660.37	c nbDecision=33500 #constraints=27334
1664.01/1664.59	c nbDecision=34000 #constraints=27788
1673.51/1674.09	c nbDecision=34500 #constraints=28290
1686.20/1686.73	c nbDecision=35000 #constraints=28793
1703.69/1704.29	c nbDecision=35500 #constraints=29292
1726.39/1726.98	c nbDecision=36000 #constraints=29795
1751.88/1752.45	c nbDecision=36500 #constraints=30293
1784.97/1785.52	c nbDecision=37000 #constraints=30794
1800.08/1800.61	Received signal 15
1800.08/1800.62	
1800.08/1800.62	s UNKNOWN
1800.08/1800.62	
1800.08/1800.62	c user time= 1799.62 s
1800.08/1800.62	c system time= 0.482926 s
1800.08/1800.62	c wall clock time=1800.63

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/node5/watcher-357346-1176995261 -o ROOT/results/node5/solver-357346-1176995261 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 32291
/proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=1468 CPUtime=0
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175563782 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569630 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 367 161 127 317 0 46 0

[startup+0.0463899 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 32291
/proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=2144 CPUtime=0.04
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 335 0 0 0 4 0 0 0 18 0 1 0 175563782 2195456 284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 536 284 131 317 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2144

[startup+0.101396 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 32291
/proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=3068 CPUtime=0.09
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 595 0 0 0 9 0 0 0 18 0 1 0 175563782 3141632 544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 767 544 131 317 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3068

[startup+0.301418 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 32291
/proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=6192 CPUtime=0.29
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1377 0 0 0 29 0 0 0 19 0 1 0 175563782 6340608 1326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 1548 1326 137 317 0 1227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6192

[startup+0.701463 s]
/proc/loadavg: 0.99 0.97 0.96 3/77 32291
/proc/meminfo: memFree=1694848/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=6588 CPUtime=0.69
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1466 0 0 0 69 0 0 0 22 0 1 0 175563782 6746112 1415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 1647 1415 138 317 0 1326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6588

[startup+1.50155 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1689400/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=8144 CPUtime=1.49
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 1840 0 0 0 148 1 0 0 25 0 1 0 175563782 8339456 1789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 2036 1789 138 317 0 1715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8144

[startup+3.10173 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1686904/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=10504 CPUtime=3.09
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 2440 0 0 0 308 1 0 0 25 0 1 0 175563782 10756096 2389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 2626 2389 138 317 0 2305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10504

[startup+6.3011 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1683128/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=13660 CPUtime=6.29
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 3237 0 0 0 627 2 0 0 25 0 1 0 175563782 13987840 3186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 3415 3186 138 317 0 3094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13660

[startup+12.7028 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1676600/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=20184 CPUtime=12.69
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 4846 0 0 0 1266 3 0 0 25 0 1 0 175563782 20668416 4795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 5046 4795 169 317 0 4725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20184

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1671544/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=24904 CPUtime=25.49
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 6022 0 0 0 2544 5 0 0 25 0 1 0 175563782 25501696 5971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 6226 5971 169 317 0 5905 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24904

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1664696/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=32664 CPUtime=51.08
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 7765 0 0 0 5101 7 0 0 25 0 1 0 175563782 33447936 7714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 8166 7714 169 317 0 7845 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32664

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1657016/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=39716 CPUtime=102.27
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 9667 0 0 0 10218 9 0 0 25 0 1 0 175563782 40669184 9616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 9929 9616 169 317 0 9608 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39716

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1648184/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=51116 CPUtime=162.24
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 11943 0 0 0 16213 11 0 0 25 0 1 0 175563782 52342784 11834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273005 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 12779 11834 169 317 0 12458 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51116

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1642552/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=56260 CPUtime=222.22
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 13322 0 0 0 22209 13 0 0 25 0 1 0 175563782 57610240 13213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 14065 13213 169 317 0 13744 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 56260

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1637752/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=60724 CPUtime=282.21
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 14516 0 0 0 28205 16 0 0 25 0 1 0 175563782 62181376 14407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 15181 14407 169 317 0 14860 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 60724

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1632760/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=65160 CPUtime=342.19
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 15756 0 0 0 34201 18 0 0 25 0 1 0 175563782 66723840 15647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 16290 15647 169 317 0 15969 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 65160

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1629112/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=68680 CPUtime=402.17
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 16680 0 0 0 40198 19 0 0 25 0 1 0 175563782 70328320 16571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 17170 16571 169 317 0 16849 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 68680

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1625464/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=71936 CPUtime=462.16
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 17576 0 0 0 46195 21 0 0 25 0 1 0 175563782 73662464 17467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716295 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 17984 17467 169 317 0 17663 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 71936

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1621944/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=75208 CPUtime=522.14
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 18473 0 0 0 52192 22 0 0 25 0 1 0 175563782 77012992 18364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 18802 18364 169 317 0 18481 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 75208

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1618424/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=78740 CPUtime=582.12
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 19351 0 0 0 58189 23 0 0 25 0 1 0 175563782 80629760 19242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716123 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 19685 19242 169 317 0 19364 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 78740

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1613176/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=91224 CPUtime=642.11
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 21962 0 0 0 64186 25 0 0 25 0 1 0 175563782 93413376 20518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 22806 20518 169 317 0 22485 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 91224


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1604600/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=99492 CPUtime=822.06
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 24156 0 0 0 82177 29 0 0 25 0 1 0 175563782 101879808 22679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 24873 22679 169 317 0 24552 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 99492

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1601592/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=102372 CPUtime=882.03
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 24901 0 0 0 88174 29 0 0 25 0 1 0 175563782 104828928 23424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 25593 23424 169 317 0 25272 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 102372

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1598584/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=104856 CPUtime=942.02
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 25658 0 0 0 94171 31 0 0 25 0 1 0 175563782 107372544 24181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 26214 24181 169 317 0 25893 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 104856

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1595896/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=107340 CPUtime=1002
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 26328 0 0 0 100168 32 0 0 25 0 1 0 175563782 109916160 24851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 26835 24851 169 317 0 26514 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 107340

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1593592/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=109428 CPUtime=1061.98
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 26921 0 0 0 106165 33 0 0 25 0 1 0 175563782 112054272 25411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 27357 25411 169 317 0 27036 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 109428

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1591288/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=111396 CPUtime=1121.96
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 27499 0 0 0 112162 34 0 0 25 0 1 0 175563782 114069504 25989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 27849 25989 169 317 0 27528 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 111396

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1588920/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=113496 CPUtime=1181.95
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 28085 0 0 0 118160 35 0 0 25 0 1 0 175563782 116219904 26575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 28374 26575 169 317 0 28053 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 113496

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1586488/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=115572 CPUtime=1241.93
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 28689 0 0 0 124157 36 0 0 25 0 1 0 175563782 118345728 27179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 28893 27179 169 317 0 28572 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 115572

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1584120/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=117664 CPUtime=1301.92
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 29268 0 0 0 130155 37 0 0 25 0 1 0 175563782 120487936 27758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270571 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 29416 27758 169 317 0 29095 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 117664

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1581880/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=119632 CPUtime=1361.89
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 29832 0 0 0 136152 37 0 0 25 0 1 0 175563782 122503168 28322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 29908 28322 169 317 0 29587 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 119632

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32292
/proc/meminfo: memFree=1579576/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=121720 CPUtime=1421.89
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 30435 0 0 0 142150 39 0 0 25 0 1 0 175563782 124641280 28892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 30430 28892 169 317 0 30109 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 121720

[startup+1482.3 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1577400/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=123688 CPUtime=1481.85
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 30991 0 0 0 148146 39 0 0 25 0 1 0 175563782 126656512 29448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 30922 29448 169 317 0 30601 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 123688

[startup+1542.3 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1575096/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=125784 CPUtime=1541.84
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 31562 0 0 0 154144 40 0 0 25 0 1 0 175563782 128802816 30019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563954 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 31446 30019 169 317 0 31125 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 125784

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1572664/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=127888 CPUtime=1601.83
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 32169 0 0 0 160142 41 0 0 25 0 1 0 175563782 130957312 30626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 31972 30626 169 317 0 31651 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 127888

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1568824/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=131156 CPUtime=1661.81
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 33124 0 0 0 166138 43 0 0 25 0 1 0 175563782 134303744 31581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 32789 31581 169 317 0 32468 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 131156

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1559608/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=139672 CPUtime=1721.79
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 35507 0 0 0 172133 46 0 0 25 0 1 0 175563782 143024128 33898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 34918 33898 169 317 0 34597 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 139672

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1555000/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=143568 CPUtime=1781.77
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 36641 0 0 0 178130 47 0 0 25 0 1 0 175563782 147013632 35032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 35892 35032 169 317 0 35571 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 143568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 32294
/proc/meminfo: memFree=1553592/2055920 swapFree=4151632/4192956
[pid=32291] ppid=32289 vsize=144748 CPUtime=1800.08
/proc/32291/stat : 32291 (oree) R 32289 32291 31536 0 -1 4194304 36983 0 0 0 179960 48 0 0 25 0 1 0 175563782 148221952 35374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32291/statm: 36187 35374 169 317 0 35866 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 144748

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.14
CPU user time (s): 1799.63
CPU system time (s): 0.505923
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 144748

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

runsolver used 2.04669 second user time and 4.52131 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Thu Apr 19 15:07:41 UTC 2007

IDJOB= 357346
IDBENCH= 2446
IDSOLVER= 172
FILE ID= node5/357346-1176995261

PBS_JOBID= 4630432

Free space on /tmp= 66355 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-scorpion.opb
COMMAND LINE= oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-357346-1176995261 -o ROOT/results/node5/solver-357346-1176995261 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357346-1176995261/instance-357346-1176995261.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5969f09e744b158004f0e27c746edfe9

RANDOM SEED= 335693905

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1695192 kB
Buffers:         31832 kB
Cached:         265100 kB
SwapCached:       9408 kB
Active:          60716 kB
Inactive:       259124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1695192 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          29940 kB
Slab:            26412 kB
Committed_AS:  8663880 kB
PageTables:       1720 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= 66355 MiB

End job on node5 on Thu Apr 19 15:37:44 UTC 2007