Trace number 356925

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.22 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb
MD5SUMb63141b317e602f06e6dedfad8ff4e9a
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables15000
Total number of constraints471
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 constraints471
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 14250
Biggest coefficient in the objective function 3992
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 536200
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262051
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 536200
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.09/0.18	c ...done
0.09/0.18	c #vars=15000 #constraints=772 hasObjective=yes
0.29/0.30	c res. mode=mod
0.29/0.30	c VSIDS like heuristics
0.29/0.30	c complete search running
1.10/1.13	c restart after 401 decisions
1.10/1.15	c nbDecision=500 #constraints=1049
2.19/2.26	c restart after 801 decisions
2.59/2.67	c nbDecision=1000 #constraints=1396
5.49/5.57	c nbDecision=1500 #constraints=1896
6.19/6.27	c restart after 1601 decisions
8.39/8.43	c nbDecision=2000 #constraints=2268
12.99/13.03	c nbDecision=2500 #constraints=2770
18.49/18.55	c nbDecision=3000 #constraints=3269
20.98/21.07	c restart after 3201 decisions
23.68/23.70	c nbDecision=3500 #constraints=3644
31.18/31.21	c nbDecision=4000 #constraints=4140
39.49/39.57	c nbDecision=4500 #constraints=4645
48.78/48.84	c nbDecision=5000 #constraints=5144
59.68/59.70	c nbDecision=5500 #constraints=5645
70.57/70.67	c nbDecision=6000 #constraints=6142
80.77/80.82	c restart after 6401 decisions
81.57/81.60	c nbDecision=6500 #constraints=6544
94.17/94.28	c nbDecision=7000 #constraints=7021
108.26/108.36	c nbDecision=7500 #constraints=7517
123.66/123.76	c nbDecision=8000 #constraints=8019
140.35/140.44	c nbDecision=8500 #constraints=8518
158.36/158.41	c nbDecision=9000 #constraints=9018
176.74/176.89	c nbDecision=9500 #constraints=9519
196.84/196.93	c nbDecision=10000 #constraints=10019
217.53/217.63	c nbDecision=10500 #constraints=10517
239.52/239.64	c nbDecision=11000 #constraints=11016
263.22/263.36	c nbDecision=11500 #constraints=11518
288.02/288.10	c nbDecision=12000 #constraints=12020
314.01/314.12	c nbDecision=12500 #constraints=12521
329.60/329.75	c restart after 12801 decisions
335.60/335.72	c nbDecision=13000 #constraints=12898
362.09/362.28	c nbDecision=13500 #constraints=13396
389.89/390.00	c nbDecision=14000 #constraints=13899
418.99/419.14	c nbDecision=14500 #constraints=14396
449.78/449.91	c nbDecision=15000 #constraints=14897
480.46/480.64	c nbDecision=15500 #constraints=15397
512.66/512.84	c nbDecision=16000 #constraints=15897
546.24/546.41	c nbDecision=16500 #constraints=16395
580.43/580.66	c nbDecision=17000 #constraints=16899
616.43/616.67	c nbDecision=17500 #constraints=17399
653.12/653.32	c nbDecision=18000 #constraints=17898
691.30/691.52	c nbDecision=18500 #constraints=18399
729.99/730.21	c nbDecision=19000 #constraints=18898
768.99/769.22	c nbDecision=19500 #constraints=19396
809.97/810.29	c nbDecision=20000 #constraints=19899
851.66/851.93	c nbDecision=20500 #constraints=20399
895.16/895.47	c nbDecision=21000 #constraints=20897
940.34/940.67	c nbDecision=21500 #constraints=21398
986.82/987.11	c nbDecision=22000 #constraints=21901
1032.31/1032.65	c nbDecision=22500 #constraints=22399
1080.00/1080.33	c nbDecision=23000 #constraints=22897
1130.08/1130.43	c nbDecision=23500 #constraints=23400
1179.77/1180.15	c nbDecision=24000 #constraints=23901
1230.36/1230.72	c nbDecision=24500 #constraints=24401
1280.14/1280.54	c nbDecision=25000 #constraints=24894
1331.53/1331.94	c nbDecision=25500 #constraints=25396
1342.13/1342.58	c restart after 25601 decisions
1374.71/1375.14	c nbDecision=26000 #constraints=25771
1430.71/1431.13	c nbDecision=26500 #constraints=26277
1483.88/1484.31	c nbDecision=27000 #constraints=26771
1541.17/1541.67	c nbDecision=27500 #constraints=27274
1599.15/1599.66	c nbDecision=28000 #constraints=27770
1657.34/1657.84	c nbDecision=28500 #constraints=28271
1717.23/1717.78	c nbDecision=29000 #constraints=28776
1779.71/1780.25	c nbDecision=29500 #constraints=29275
1800.01/1800.50	Received signal 15
1800.12/1800.65	
1800.12/1800.65	s UNKNOWN
1800.12/1800.65	
1800.12/1800.65	c user time= 1799.6 s
1800.12/1800.65	c system time= 0.562914 s
1800.12/1800.65	c wall clock time=1800.65

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/node68/watcher-356925-1176848614 -o ROOT/results/node68/solver-356925-1176848614 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356925-1176848614/instance-356925-1176848614.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: 1.08 1.02 1.01 2/64 7615
/proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=1620 CPUtime=0
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 160850949 1658880 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 405 172 126 317 0 84 0

[startup+0.0304481 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 7615
/proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=2048 CPUtime=0.02
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 328 0 0 0 2 0 0 0 18 0 1 0 160850949 2097152 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 512 277 128 317 0 191 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2048

[startup+0.101454 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 7615
/proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=3632 CPUtime=0.09
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 751 0 0 0 9 0 0 0 18 0 1 0 160850949 3719168 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 908 701 131 317 0 587 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3632

[startup+0.301471 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 7615
/proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=7868 CPUtime=0.29
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 1804 0 0 0 29 0 0 0 19 0 1 0 160850949 8056832 1753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 1967 1753 137 317 0 1646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7868

[startup+0.701508 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 7615
/proc/meminfo: memFree=1769776/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=9556 CPUtime=0.69
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 2240 0 0 0 69 0 0 0 24 0 1 0 160850949 9785344 2189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 2389 2189 139 317 0 2068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9556

[startup+1.50158 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 7616
/proc/meminfo: memFree=1760680/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=12036 CPUtime=1.49
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 2847 0 0 0 148 1 0 0 25 0 1 0 160850949 12324864 2796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 3009 2796 139 317 0 2688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12036

[startup+3.10172 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 7616
/proc/meminfo: memFree=1756712/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=15992 CPUtime=3.09
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 3833 0 0 0 307 2 0 0 25 0 1 0 160850949 16375808 3782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 3998 3782 139 317 0 3677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15992

[startup+6.30201 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7616
/proc/meminfo: memFree=1750184/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=22304 CPUtime=6.29
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 5295 0 0 0 626 3 0 0 25 0 1 0 160850949 22839296 5244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 5576 5244 139 317 0 5255 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22304

[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7616
/proc/meminfo: memFree=1742632/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=28836 CPUtime=12.69
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 7036 0 0 0 1264 5 0 0 25 0 1 0 160850949 29528064 6985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 7209 6985 139 317 0 6888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28836

[startup+25.5017 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 7616
/proc/meminfo: memFree=1729896/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=41588 CPUtime=25.48
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 10097 0 0 0 2542 6 0 0 25 0 1 0 160850949 42586112 10046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 10397 10046 139 317 0 10076 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41588

[startup+51.1011 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 7616
/proc/meminfo: memFree=1712424/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=61756 CPUtime=51.07
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 14491 0 0 0 5098 9 0 0 25 0 1 0 160850949 63238144 14440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 15439 14440 139 317 0 15118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61756

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7616
/proc/meminfo: memFree=1692136/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=79880 CPUtime=102.26
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 19527 0 0 0 10213 13 0 0 25 0 1 0 160850949 81797120 19433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 19970 19433 139 317 0 19649 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 79880

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1667816/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=110536 CPUtime=162.25
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 25615 0 0 0 16208 17 0 0 25 0 1 0 160850949 113188864 25521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 27634 25521 139 317 0 27313 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 110536

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1653032/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=124072 CPUtime=222.23
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 29276 0 0 0 22204 19 0 0 25 0 1 0 160850949 127049728 29182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 31018 29182 139 317 0 30697 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 124072

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1640936/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=135208 CPUtime=282.22
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 32313 0 0 0 28200 22 0 0 25 0 1 0 160850949 138452992 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 33802 32219 139 317 0 33481 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 135208

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1629992/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=145336 CPUtime=342.2
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 35095 0 0 0 34196 24 0 0 25 0 1 0 160850949 148824064 34916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 36334 34916 139 317 0 36013 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 145336

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1619112/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=154640 CPUtime=402.19
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 37818 0 0 0 40192 27 0 0 25 0 1 0 160850949 158351360 37639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 38660 37639 139 317 0 38339 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 154640

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1609832/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=163448 CPUtime=462.16
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 40119 0 0 0 46188 28 0 0 25 0 1 0 160850949 167370752 39940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 40862 39940 139 317 0 40541 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 163448

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1600680/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=171548 CPUtime=522.15
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 42416 0 0 0 52185 30 0 0 25 0 1 0 160850949 175665152 42237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 42887 42237 139 317 0 42566 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 171548

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1591912/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=179808 CPUtime=582.13
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 44570 0 0 0 58182 31 0 0 25 0 1 0 160850949 184123392 44391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 44952 44391 139 317 0 44631 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 179808

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1576808/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=215496 CPUtime=642.13
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 52074 0 0 0 64178 35 0 0 25 0 1 0 160850949 220667904 48133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 53874 48133 139 317 0 53553 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 215496


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7616
/proc/meminfo: memFree=1539752/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=248144 CPUtime=942.04
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 61339 0 0 0 94163 41 0 0 25 0 1 0 160850949 254099456 57398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 62036 57398 139 317 0 61715 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 248144

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1533288/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=253780 CPUtime=1002.02
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 62944 0 0 0 100159 43 0 0 25 0 1 0 160850949 259870720 59003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 63445 59003 139 317 0 63124 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 253780

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1527016/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=259412 CPUtime=1062.01
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 64516 0 0 0 106157 44 0 0 25 0 1 0 160850949 265637888 60575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 64853 60575 139 317 0 64532 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 259412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1520168/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=264624 CPUtime=1121.98
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 66205 0 0 0 112154 44 0 0 25 0 1 0 160850949 270974976 62264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 66156 62264 139 317 0 65835 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 264624

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1514152/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=269976 CPUtime=1181.97
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 67712 0 0 0 118152 45 0 0 25 0 1 0 160850949 276455424 63771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 67494 63771 139 317 0 67173 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 269976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1508200/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=275048 CPUtime=1241.95
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 69179 0 0 0 124149 46 0 0 25 0 1 0 160850949 281649152 65238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 68762 65238 139 317 0 68441 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 275048

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1502248/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=280976 CPUtime=1301.94
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 70822 0 0 0 130147 47 0 0 25 0 1 0 160850949 287719424 66712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 70244 66712 139 317 0 69923 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 280976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1496872/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=285672 CPUtime=1361.92
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 72189 0 0 0 136144 48 0 0 25 0 1 0 160850949 292528128 68079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 71418 68079 139 317 0 71097 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 285672

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1491240/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=290520 CPUtime=1421.91
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 73576 0 0 0 142142 49 0 0 25 0 1 0 160850949 297492480 69466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 72630 69466 139 317 0 72309 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 290520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1485736/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=295368 CPUtime=1481.88
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 74965 0 0 0 148138 50 0 0 25 0 1 0 160850949 302456832 70855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 73842 70855 139 317 0 73521 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 295368

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1480360/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=299824 CPUtime=1541.87
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 76290 0 0 0 154136 51 0 0 25 0 1 0 160850949 307019776 72180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563477 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 74956 72180 139 317 0 74635 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 299824

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1475176/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=304276 CPUtime=1601.85
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 77591 0 0 0 160133 52 0 0 25 0 1 0 160850949 311578624 73481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 76069 73481 139 317 0 75748 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 304276

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1469864/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=308856 CPUtime=1661.84
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 78900 0 0 0 166130 54 0 0 25 0 1 0 160850949 316268544 74790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 77214 74790 139 317 0 76893 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 308856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1464808/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=313436 CPUtime=1721.83
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 80206 0 0 0 172128 55 0 0 25 0 1 0 160850949 320958464 76063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 78359 76063 139 317 0 78038 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 313436

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1459880/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=317660 CPUtime=1781.8
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81428 0 0 0 178125 55 0 0 25 0 1 0 160850949 325283840 77285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 79415 77285 139 317 0 79094 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 317660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7618
/proc/meminfo: memFree=1458600/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=318836 CPUtime=1800.01
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81742 0 0 0 179945 56 0 0 25 0 1 0 160850949 326488064 77599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 79709 77599 139 317 0 79388 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 318836

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7619
/proc/meminfo: memFree=1458592/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=318836 CPUtime=1800.12
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194304 81744 0 0 0 179956 56 0 0 25 0 1 0 160850949 326488064 77601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 79709 77601 139 317 0 79388 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 318836

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7619
/proc/meminfo: memFree=1458592/2055920 swapFree=4178704/4192956
[pid=7615] ppid=7613 vsize=0 CPUtime=1800.21
/proc/7615/stat : 7615 (oree) R 7613 7615 7317 0 -1 4194308 81760 0 0 0 179960 61 0 0 25 0 1 0 160850949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7615/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.22
CPU user time (s): 1799.61
CPU system time (s): 0.612906
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 318836

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

runsolver used 1.16882 second user time and 3.76143 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Tue Apr 17 22:23:34 UTC 2007

IDJOB= 356925
IDBENCH= 1647
IDSOLVER= 172
FILE ID= node68/356925-1176848614

PBS_JOBID= 4590195

Free space on /tmp= 66329 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b63141b317e602f06e6dedfad8ff4e9a

RANDOM SEED= 667534662

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1770184 kB
Buffers:         20356 kB
Cached:         218324 kB
SwapCached:       8500 kB
Active:          99856 kB
Inactive:       153924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1770184 kB
SwapTotal:     4192956 kB
SwapFree:      4178704 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          15340 kB
Slab:            18008 kB
Committed_AS:  2654976 kB
PageTables:       1380 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= 66329 MiB

End job on node68 on Tue Apr 17 22:53:37 UTC 2007