Trace number 356929

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.74

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-etamacro.opb
MD5SUMe211111a6c1a3c27b5e79e770c101730
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 40
Optimality of the best value was proved NO
Number of variables15742
Total number of constraints530
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 constraints530
Minimum length of a constraint10
Maximum length of a constraint522
Number of terms in the objective function 1442
Biggest coefficient in the objective function 62322
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 525467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525467
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.17	c ...done
0.09/0.17	c #vars=15742 #constraints=803 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
1.39/1.47	c restart after 401 decisions
1.79/1.82	c nbDecision=500 #constraints=1278
2.79/2.82	c restart after 801 decisions
3.39/3.44	c nbDecision=1000 #constraints=1760
5.29/5.30	c nbDecision=1500 #constraints=2260
5.58/5.69	c restart after 1601 decisions
7.38/7.42	c nbDecision=2000 #constraints=2745
9.79/9.80	c nbDecision=2500 #constraints=3245
12.29/12.31	c nbDecision=3000 #constraints=3745
13.29/13.39	c restart after 3201 decisions
14.99/15.03	c nbDecision=3500 #constraints=4229
18.08/18.11	c nbDecision=4000 #constraints=4729
20.98/21.07	c nbDecision=4500 #constraints=5229
24.39/24.50	c nbDecision=5000 #constraints=5729
27.87/27.93	c nbDecision=5500 #constraints=6229
31.48/31.56	c nbDecision=6000 #constraints=6729
34.47/34.55	c restart after 6401 decisions
36.17/36.29	c nbDecision=6500 #constraints=7218
41.18/41.22	c nbDecision=7000 #constraints=7718
45.98/46.06	c nbDecision=7500 #constraints=8218
51.58/51.68	c nbDecision=8000 #constraints=8718
56.97/57.05	c nbDecision=8500 #constraints=9218
62.07/62.17	c nbDecision=9000 #constraints=9718
68.07/68.13	c nbDecision=9500 #constraints=10218
73.47/73.53	c nbDecision=10000 #constraints=10718
78.96/79.06	c nbDecision=10500 #constraints=11218
85.36/85.40	c nbDecision=11000 #constraints=11718
91.06/91.13	c nbDecision=11500 #constraints=12218
97.66/97.72	c nbDecision=12000 #constraints=12718
103.85/103.96	c nbDecision=12500 #constraints=13218
107.76/107.89	c restart after 12801 decisions
112.06/112.11	c nbDecision=13000 #constraints=13707
119.65/119.79	c nbDecision=13500 #constraints=14207
128.25/128.34	c nbDecision=14000 #constraints=14707
136.55/136.69	c nbDecision=14500 #constraints=15207
144.65/144.78	c nbDecision=15000 #constraints=15707
153.44/153.51	c nbDecision=15500 #constraints=16207
161.84/161.97	c nbDecision=16000 #constraints=16707
170.13/170.27	c nbDecision=16500 #constraints=17207
179.03/179.19	c nbDecision=17000 #constraints=17707
187.34/187.46	c nbDecision=17500 #constraints=18207
196.53/196.63	c nbDecision=18000 #constraints=18707
205.13/205.27	c nbDecision=18500 #constraints=19207
214.23/214.37	c nbDecision=19000 #constraints=19707
223.32/223.43	c nbDecision=19500 #constraints=20207
231.92/232.07	c nbDecision=20000 #constraints=20707
241.52/241.67	c nbDecision=20500 #constraints=21207
250.81/250.93	c nbDecision=21000 #constraints=21707
260.11/260.21	c nbDecision=21500 #constraints=22207
269.31/269.49	c nbDecision=22000 #constraints=22707
278.60/278.78	c nbDecision=22500 #constraints=23207
288.40/288.55	c nbDecision=23000 #constraints=23707
298.10/298.27	c nbDecision=23500 #constraints=24207
307.80/307.96	c nbDecision=24000 #constraints=24707
317.50/317.65	c nbDecision=24500 #constraints=25207
327.70/327.82	c nbDecision=25000 #constraints=25707
337.89/338.00	c nbDecision=25500 #constraints=26207
339.69/339.81	c restart after 25601 decisions
349.39/349.59	c nbDecision=26000 #constraints=26693
359.38/359.60	c nbDecision=26500 #constraints=27193
369.98/370.12	c nbDecision=27000 #constraints=27693
380.38/380.56	c nbDecision=27500 #constraints=28193
391.08/391.28	c nbDecision=28000 #constraints=28693
401.67/401.86	c nbDecision=28500 #constraints=29193
412.37/412.55	c nbDecision=29000 #constraints=29693
423.56/423.70	c nbDecision=29500 #constraints=30193
434.56/434.79	c nbDecision=30000 #constraints=30693
446.06/446.26	c nbDecision=30500 #constraints=31193
457.75/457.95	c nbDecision=31000 #constraints=31693
468.95/469.17	c nbDecision=31500 #constraints=32193
480.56/480.70	c nbDecision=32000 #constraints=32693
492.04/492.29	c nbDecision=32500 #constraints=33193
503.94/504.12	c nbDecision=33000 #constraints=33693
515.83/516.00	c nbDecision=33500 #constraints=34193
527.44/527.62	c nbDecision=34000 #constraints=34693
538.53/538.74	c nbDecision=34500 #constraints=35194
549.63/549.86	c nbDecision=35000 #constraints=35694
560.63/560.87	c nbDecision=35500 #constraints=36193
570.62/570.80	c nbDecision=36000 #constraints=36693
579.43/579.66	c nbDecision=36500 #constraints=37193
586.72/586.96	c nbDecision=37000 #constraints=37693
591.71/591.99	c nbDecision=37500 #constraints=38193
611.21/611.42	c nbDecision=38000 #constraints=38693
633.81/634.09	c nbDecision=38500 #constraints=39193
655.20/655.41	c nbDecision=39000 #constraints=39693
677.09/677.34	c nbDecision=39500 #constraints=40193
698.20/698.46	c nbDecision=40000 #constraints=40693
720.18/720.41	c nbDecision=40500 #constraints=41193
740.98/741.26	c nbDecision=41000 #constraints=41693
763.26/763.58	c nbDecision=41500 #constraints=42193
784.66/784.96	c nbDecision=42000 #constraints=42693
805.86/806.14	c nbDecision=42500 #constraints=43193
827.65/827.99	c nbDecision=43000 #constraints=43693
849.34/849.66	c nbDecision=43500 #constraints=44193
870.74/871.09	c nbDecision=44000 #constraints=44693
892.13/892.45	c nbDecision=44500 #constraints=45193
913.53/913.81	c nbDecision=45000 #constraints=45693
934.92/935.25	c nbDecision=45500 #constraints=46193
956.31/956.69	c nbDecision=46000 #constraints=46693
977.90/978.26	c nbDecision=46500 #constraints=47193
999.70/1000.00	c nbDecision=47000 #constraints=47693
1021.09/1021.42	c nbDecision=47500 #constraints=48193
1042.19/1042.56	c nbDecision=48000 #constraints=48693
1064.19/1064.50	c nbDecision=48500 #constraints=49193
1085.58/1085.91	c nbDecision=49000 #constraints=49693
1107.87/1108.24	c nbDecision=49500 #constraints=50193
1129.26/1129.64	c nbDecision=50000 #constraints=50693
1151.76/1152.11	c nbDecision=50500 #constraints=51193
1174.35/1174.72	c nbDecision=51000 #constraints=51693
1182.84/1183.22	c restart after 51201 decisions
1207.04/1207.44	c nbDecision=51500 #constraints=52182
1238.33/1238.78	c nbDecision=52000 #constraints=52682
1267.83/1268.26	c nbDecision=52500 #constraints=53182
1298.72/1299.20	c nbDecision=53000 #constraints=53682
1328.10/1328.55	c nbDecision=53500 #constraints=54182
1360.90/1361.38	c nbDecision=54000 #constraints=54682
1391.49/1391.93	c nbDecision=54500 #constraints=55182
1422.28/1422.75	c nbDecision=55000 #constraints=55682
1452.58/1453.02	c nbDecision=55500 #constraints=56182
1482.96/1483.43	c nbDecision=56000 #constraints=56682
1513.15/1513.62	c nbDecision=56500 #constraints=57182
1543.24/1543.79	c nbDecision=57000 #constraints=57682
1572.44/1572.97	c nbDecision=57500 #constraints=58182
1603.33/1603.86	c nbDecision=58000 #constraints=58682
1632.92/1633.41	c nbDecision=58500 #constraints=59182
1661.21/1661.80	c nbDecision=59000 #constraints=59683
1692.10/1692.65	c nbDecision=59500 #constraints=60182
1721.59/1722.19	c nbDecision=60000 #constraints=60682
1750.49/1751.05	c nbDecision=60500 #constraints=61182
1779.48/1780.04	c nbDecision=61000 #constraints=61682
1800.08/1800.60	Received signal 15
1800.08/1800.67	
1800.08/1800.67	s UNKNOWN
1800.08/1800.67	
1800.08/1800.67	c user time= 1799.28 s
1800.08/1800.67	c system time= 0.871867 s
1800.08/1800.67	c wall clock time=1800.67

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17790
/proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=0 CPUtime=0
/proc/17790/stat : 17790 (runsolver) R 17788 17790 17492 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 132790190 0 0 18446744073709551615 0 0 0 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17790/statm: 0 0 0 0 0 0 0

[startup+0.0253211 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17790
/proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=1732 CPUtime=0.01
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 245 0 0 0 1 0 0 0 19 0 1 0 132790190 1773568 227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 433 227 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101329 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17790
/proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=3316 CPUtime=0.09
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 625 0 0 0 9 0 0 0 19 0 1 0 132790190 3395584 607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 829 607 131 317 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3316

[startup+0.301348 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17790
/proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=7104 CPUtime=0.29
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 1571 0 0 0 29 0 0 0 20 0 1 0 132790190 7274496 1553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 1776 1553 139 317 0 1455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7104

[startup+0.70139 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17790
/proc/meminfo: memFree=1722176/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=7764 CPUtime=0.68
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 1752 0 0 0 68 0 0 0 24 0 1 0 132790190 7950336 1734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 1941 1734 139 317 0 1620 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7764

[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17791
/proc/meminfo: memFree=1715320/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=9080 CPUtime=1.49
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 2073 0 0 0 148 1 0 0 25 0 1 0 132790190 9297920 2055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 2270 2055 139 317 0 1949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9080

[startup+3.10164 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17791
/proc/meminfo: memFree=1713144/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=11332 CPUtime=3.09
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 2622 0 0 0 308 1 0 0 25 0 1 0 132790190 11603968 2604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 2833 2604 139 317 0 2512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11332

[startup+6.30198 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17791
/proc/meminfo: memFree=1708408/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=15620 CPUtime=6.28
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 3725 0 0 0 627 1 0 0 25 0 1 0 132790190 15994880 3707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 3905 3707 139 317 0 3584 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15620

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 17791
/proc/meminfo: memFree=1700792/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=23336 CPUtime=12.69
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 5569 0 0 0 1266 3 0 0 25 0 1 0 132790190 23896064 5551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 5834 5551 139 317 0 5513 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23336

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17791
/proc/meminfo: memFree=1688952/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=35460 CPUtime=25.48
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 8396 0 0 0 2543 5 0 0 25 0 1 0 132790190 36311040 8378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 8865 8378 139 317 0 8544 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35460

[startup+51.1017 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 17791
/proc/meminfo: memFree=1675768/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=47700 CPUtime=51.07
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 11743 0 0 0 5099 8 0 0 25 0 1 0 132790190 48844800 11682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 11925 11682 139 317 0 11604 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47700

[startup+102.306 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 17791
/proc/meminfo: memFree=1651576/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=73780 CPUtime=102.26
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 17809 0 0 0 10212 14 0 0 25 0 1 0 132790190 75550720 17663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 18445 17663 139 317 0 18124 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73780

[startup+162.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/78 17791
/proc/meminfo: memFree=1634296/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=89760 CPUtime=162.24
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 22159 0 0 0 16205 19 0 0 25 0 1 0 132790190 91914240 22013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 22440 22013 139 317 0 22119 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 89760

[startup+222.302 s]
/proc/loadavg: 1.16 1.06 1.01 2/78 17791
/proc/meminfo: memFree=1614072/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=117952 CPUtime=222.22
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 28952 0 0 0 22198 24 0 0 25 0 1 0 132790190 120782848 26991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273593 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 29488 26991 139 317 0 29167 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 117952

[startup+282.302 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 17791
/proc/meminfo: memFree=1598264/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=131940 CPUtime=282.21
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 32989 0 0 0 28192 29 0 0 25 0 1 0 132790190 135106560 30995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 32985 30995 139 317 0 32664 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 131940

[startup+342.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 17791
/proc/meminfo: memFree=1583160/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=145416 CPUtime=342.18
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 36878 0 0 0 34186 32 0 0 25 0 1 0 132790190 148905984 34715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 36354 34715 139 317 0 36033 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 145416

[startup+402.301 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 17791
/proc/meminfo: memFree=1568824/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=157820 CPUtime=402.17
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 40501 0 0 0 40181 36 0 0 25 0 1 0 132790190 161607680 38305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 39455 38305 139 317 0 39134 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 157820

[startup+462.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 17791
/proc/meminfo: memFree=1555512/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=169308 CPUtime=462.15
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 43808 0 0 0 46176 39 0 0 25 0 1 0 132790190 173371392 41612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 42327 41612 139 317 0 42006 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 169308

[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 17791
/proc/meminfo: memFree=1540088/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=207312 CPUtime=522.13
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 52997 0 0 0 52169 44 0 0 25 0 1 0 132790190 212287488 45503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 51828 45503 139 317 0 51507 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 207312

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17791
/proc/meminfo: memFree=1524856/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=219984 CPUtime=582.12
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 56778 0 0 0 58165 47 0 0 25 0 1 0 132790190 225263616 49284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 54996 49284 139 317 0 54675 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 219984

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17791
/proc/meminfo: memFree=1514232/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=229088 CPUtime=642.1
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 59442 0 0 0 64160 50 0 0 25 0 1 0 132790190 234586112 51883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 57272 51883 139 317 0 56951 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 229088


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1486392/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=252980 CPUtime=882.04
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 66400 0 0 0 88146 58 0 0 25 0 1 0 132790190 259051520 58841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 63245 58841 139 317 0 62924 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 252980

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1479288/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=258920 CPUtime=942.02
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 68182 0 0 0 94142 60 0 0 25 0 1 0 132790190 265134080 60623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 64730 60623 139 317 0 64409 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 258920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1471992/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=264992 CPUtime=1002
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 69976 0 0 0 100138 62 0 0 25 0 1 0 132790190 271351808 62417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 66248 62417 139 317 0 65927 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 264992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1464888/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=270800 CPUtime=1061.98
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 71759 0 0 0 106134 64 0 0 25 0 1 0 132790190 277299200 64200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 67700 64200 139 317 0 67379 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 270800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1458232/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=277960 CPUtime=1121.96
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 73751 0 0 0 112130 66 0 0 25 0 1 0 132790190 284631040 65854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 69490 65854 139 317 0 69169 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 277960

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1451128/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=283900 CPUtime=1181.94
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 75507 0 0 0 118126 68 0 0 25 0 1 0 132790190 290713600 67610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 70975 67610 139 317 0 70654 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 283900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1446584/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=287728 CPUtime=1241.93
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 76665 0 0 0 124123 70 0 0 25 0 1 0 132790190 294633472 68768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 71932 68768 139 317 0 71611 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 287728

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1441400/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=291952 CPUtime=1301.92
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 77916 0 0 0 130120 72 0 0 25 0 1 0 132790190 298958848 70019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 72988 70019 139 317 0 72667 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 291952

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1436920/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=295916 CPUtime=1361.9
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 79025 0 0 0 136116 74 0 0 25 0 1 0 132790190 303017984 71128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 73979 71128 139 317 0 73658 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 295916

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1431928/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=300196 CPUtime=1421.89
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 80273 0 0 0 142113 76 0 0 25 0 1 0 132790190 307400704 72376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 75049 72376 139 317 0 74728 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 300196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1426616/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=304692 CPUtime=1481.86
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 81590 0 0 0 148108 78 0 0 25 0 1 0 132790190 312004608 73693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 76173 73693 139 317 0 75852 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 304692

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1421560/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=308920 CPUtime=1541.84
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 82853 0 0 0 154105 79 0 0 25 0 1 0 132790190 316334080 74956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 77230 74956 139 317 0 76909 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 308920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1416504/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=313144 CPUtime=1601.83
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 84120 0 0 0 160102 81 0 0 25 0 1 0 132790190 320659456 76223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 78286 76223 139 317 0 77965 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 313144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1411256/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=317632 CPUtime=1661.81
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 85417 0 0 0 166099 82 0 0 25 0 1 0 132790190 325255168 77520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 79408 77520 139 317 0 79087 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 317632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1406264/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=321856 CPUtime=1721.79
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 86675 0 0 0 172095 84 0 0 25 0 1 0 132790190 329580544 78778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 80464 78778 139 317 0 80143 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 321856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1400952/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=326212 CPUtime=1781.78
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 87979 0 0 0 178092 86 0 0 25 0 1 0 132790190 334041088 80082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 81553 80082 139 317 0 81232 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 326212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1399224/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=327664 CPUtime=1800.08
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194304 88415 0 0 0 179921 87 0 0 25 0 1 0 132790190 335527936 80518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 81916 80518 139 317 0 81595 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 327664

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17793
/proc/meminfo: memFree=1399224/2055920 swapFree=4123136/4192956
[pid=17790] ppid=17788 vsize=0 CPUtime=1800.18
/proc/17790/stat : 17790 (oree) R 17788 17790 17492 0 -1 4194308 88432 0 0 0 179929 89 0 0 25 0 1 0 132790190 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.22
CPU user time (s): 1799.29
CPU system time (s): 0.925859
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 327664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.925859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2150

runsolver used 2.12368 second user time and 4.22936 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue Apr 17 22:25:27 UTC 2007

IDJOB= 356929
IDBENCH= 1652
IDSOLVER= 172
FILE ID= node17/356929-1176848727

PBS_JOBID= 4590198

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e211111a6c1a3c27b5e79e770c101730

RANDOM SEED= 994369007

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1722584 kB
Buffers:         35256 kB
Cached:         188580 kB
SwapCached:      32524 kB
Active:          96480 kB
Inactive:       169540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722584 kB
SwapTotal:     4192956 kB
SwapFree:      4123136 kB
Dirty:            1856 kB
Writeback:           0 kB
Mapped:          34528 kB
Slab:            52836 kB
Committed_AS:  7032916 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= 66469 MiB

End job on node17 on Tue Apr 17 22:55:30 UTC 2007