Trace number 357009

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.35 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
MD5SUMfd717ffc3177aa889b23f16defdc157a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3248
Best CPU time to get the best result obtained on this benchmark1782.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3248
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 524691
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.08/0.09	c ...done
0.08/0.09	c #vars=7195 #constraints=959 hasObjective=yes
0.09/0.11	c res. mode=mod
0.09/0.11	c VSIDS like heuristics
0.09/0.11	c complete search running
0.09/0.14	c restart after 401 decisions
0.09/0.16	c nbDecision=500 #constraints=961
0.09/0.18	c restart after 801 decisions
0.19/0.20	c nbDecision=1000 #constraints=962
1.29/1.37	c nbDecision=1500 #constraints=1195
1.89/1.90	c restart after 1601 decisions
1.99/2.01	c nbDecision=2000 #constraints=1259
4.90/4.95	c nbDecision=2500 #constraints=1624
9.39/9.46	c nbDecision=3000 #constraints=2067
10.99/11.07	c restart after 3201 decisions
11.39/11.45	c nbDecision=3500 #constraints=2230
16.69/16.72	c nbDecision=4000 #constraints=2602
22.68/22.73	c nbDecision=4500 #constraints=3035
31.49/31.54	c nbDecision=5000 #constraints=3484
40.78/40.81	c nbDecision=5500 #constraints=3928
49.28/49.36	c nbDecision=6000 #constraints=4355
56.17/56.27	c restart after 6401 decisions
57.97/58.03	c nbDecision=6500 #constraints=4709
64.37/64.43	c nbDecision=7000 #constraints=4887
75.27/75.37	c nbDecision=7500 #constraints=5329
87.87/87.91	c nbDecision=8000 #constraints=5763
100.07/100.13	c nbDecision=8500 #constraints=6198
118.06/118.13	c nbDecision=9000 #constraints=6633
139.16/139.20	c nbDecision=9500 #constraints=7063
167.35/167.41	c nbDecision=10000 #constraints=7515
188.94/189.03	c nbDecision=10500 #constraints=7929
205.65/205.72	c nbDecision=11000 #constraints=8355
227.23/227.30	c nbDecision=11500 #constraints=8796
247.03/247.11	c nbDecision=12000 #constraints=9231
270.42/270.56	c nbDecision=12500 #constraints=9675
285.41/285.53	c restart after 12801 decisions
291.11/291.27	c nbDecision=13000 #constraints=9933
322.11/322.29	c nbDecision=13500 #constraints=10213
366.89/367.01	c nbDecision=14000 #constraints=10656
403.09/403.28	c nbDecision=14500 #constraints=11070
437.87/438.02	c nbDecision=15000 #constraints=11499
484.16/484.36	c nbDecision=15500 #constraints=11942
531.35/531.51	c nbDecision=16000 #constraints=12382
574.24/574.47	c nbDecision=16500 #constraints=12817
604.43/604.65	c nbDecision=17000 #constraints=13252
635.32/635.56	c nbDecision=17500 #constraints=13691
675.31/675.58	c nbDecision=18000 #constraints=14134
718.20/718.44	c nbDecision=18500 #constraints=14554
768.09/768.35	c nbDecision=19000 #constraints=14969
811.77/812.05	c nbDecision=19500 #constraints=15409
852.96/853.25	c nbDecision=20000 #constraints=15823
903.25/903.51	c nbDecision=20500 #constraints=16253
959.54/959.82	c nbDecision=21000 #constraints=16671
1023.42/1023.75	c nbDecision=21500 #constraints=17098
1085.50/1085.86	c nbDecision=22000 #constraints=17521
1133.29/1133.68	c nbDecision=22500 #constraints=17941
1201.27/1201.62	c nbDecision=23000 #constraints=18385
1255.05/1255.42	c nbDecision=23500 #constraints=18795
1288.04/1288.43	c nbDecision=24000 #constraints=19042
1327.14/1327.59	c nbDecision=24500 #constraints=19485
1364.82/1365.21	c nbDecision=25000 #constraints=19931
1409.21/1409.60	c nbDecision=25500 #constraints=20370
1418.81/1419.29	c restart after 25601 decisions
1440.41/1440.84	c nbDecision=26000 #constraints=20475
1491.39/1491.86	c nbDecision=26500 #constraints=20906
1537.78/1538.23	c nbDecision=27000 #constraints=21351
1579.57/1580.01	c nbDecision=27500 #constraints=21787
1628.35/1628.82	c nbDecision=28000 #constraints=22240
1684.54/1685.05	c nbDecision=28500 #constraints=22673
1748.62/1749.11	c nbDecision=29000 #constraints=23105
1800.01/1800.50	Received signal 15
1800.12/1800.67	
1800.12/1800.67	s UNKNOWN
1800.12/1800.67	
1800.12/1800.67	c user time= 1799.04 s
1800.12/1800.67	c system time= 1.14583 s
1800.12/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/node35/watcher-357009-1176851305 -o ROOT/results/node35/solver-357009-1176851305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357009-1176851305/instance-357009-1176851305.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.00 0.99 0.96 3/77 7516
/proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=1468 CPUtime=0
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 133045903 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 367 160 131 317 0 46 0

[startup+0.089397 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 7516
/proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=3208 CPUtime=0.08
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 594 0 0 0 8 0 0 0 18 0 1 0 133045903 3284992 576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 802 578 131 317 0 481 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3208

[startup+0.102397 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 7516
/proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=4192 CPUtime=0.09
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 833 0 0 0 9 0 0 0 18 0 1 0 133045903 4292608 815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 1048 815 137 317 0 727 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4192

[startup+0.30242 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 7516
/proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=4976 CPUtime=0.29
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 1050 0 0 0 29 0 0 0 20 0 1 0 133045903 5095424 1032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 1244 1032 139 317 0 923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4976

[startup+0.702466 s]
/proc/loadavg: 1.00 0.99 0.96 3/77 7516
/proc/meminfo: memFree=1841928/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=7976 CPUtime=0.69
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 1776 0 0 0 69 0 0 0 24 0 1 0 133045903 8167424 1758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530440 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 1994 1758 170 317 0 1673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7976

[startup+1.50156 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1833920/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=12640 CPUtime=1.49
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 2869 0 0 0 148 1 0 0 25 0 1 0 133045903 12943360 2851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 3160 2851 170 317 0 2839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12640

[startup+3.10175 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1829056/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=20152 CPUtime=3.09
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 4572 0 0 0 307 2 0 0 25 0 1 0 133045903 20635648 4554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 5038 4554 170 317 0 4717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20152

[startup+6.30112 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1813248/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=35908 CPUtime=6.29
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 8203 0 0 0 626 3 0 0 25 0 1 0 133045903 36769792 8185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 8977 8185 170 317 0 8656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35908

[startup+12.7019 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1791552/2055920 swapFree=4112720/4192956
[pid=7516] ppid=7514 vsize=59404 CPUtime=12.69
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 13407 0 0 0 1264 5 0 0 25 0 1 0 133045903 60829696 13389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 14851 13389 170 317 0 14530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59404

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1755712/2055920 swapFree=4112784/4192956
[pid=7516] ppid=7514 vsize=96556 CPUtime=25.48
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 21847 0 0 0 2540 8 0 0 25 0 1 0 133045903 98873344 21829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 24139 21829 170 317 0 23818 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96556

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1706816/2055920 swapFree=4112784/4192956
[pid=7516] ppid=7514 vsize=149248 CPUtime=51.08
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 34070 0 0 0 5094 14 0 0 25 0 1 0 133045903 152829952 34052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 37312 34052 170 317 0 36991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149248

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1629952/2055920 swapFree=4112784/4192956
[pid=7516] ppid=7514 vsize=236052 CPUtime=102.27
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 52980 0 0 0 10204 23 0 0 25 0 1 0 133045903 241717248 52962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 59013 52962 170 317 0 58692 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 236052

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1583552/2055920 swapFree=4112784/4192956
[pid=7516] ppid=7514 vsize=284184 CPUtime=162.25
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 64692 0 0 0 16196 29 0 0 25 0 1 0 133045903 291004416 64630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 71046 64630 170 317 0 70725 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 284184

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1534912/2055920 swapFree=4112848/4192956
[pid=7516] ppid=7514 vsize=333216 CPUtime=222.23
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 76778 0 0 0 22189 34 0 0 25 0 1 0 133045903 341213184 76716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 83304 76716 170 317 0 82983 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 333216

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1480064/2055920 swapFree=4112848/4192956
[pid=7516] ppid=7514 vsize=407504 CPUtime=282.22
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 90639 0 0 0 28181 41 0 0 25 0 1 0 133045903 417284096 90577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 101876 90577 170 317 0 101555 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 407504

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1454080/2055920 swapFree=4112912/4192956
[pid=7516] ppid=7514 vsize=438700 CPUtime=342.2
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 96906 0 0 0 34176 44 0 0 25 0 1 0 133045903 449228800 96844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 109675 96844 170 317 0 109354 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 438700

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1427264/2055920 swapFree=4112912/4192956
[pid=7516] ppid=7514 vsize=466644 CPUtime=402.19
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 103660 0 0 0 40170 49 0 0 25 0 1 0 133045903 477843456 103598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 116661 103598 170 317 0 116340 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 466644

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1400384/2055920 swapFree=4112976/4192956
[pid=7516] ppid=7514 vsize=494312 CPUtime=462.17
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 110290 0 0 0 46166 51 0 0 25 0 1 0 133045903 506175488 110228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 123578 110228 170 317 0 123257 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 494312

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1377600/2055920 swapFree=4112976/4192956
[pid=7516] ppid=7514 vsize=518684 CPUtime=522.15
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 116094 0 0 0 52161 54 0 0 25 0 1 0 133045903 531132416 116032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 129671 116032 170 317 0 129350 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 518684

[startup+582.303 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1350848/2055920 swapFree=4112976/4192956
[pid=7516] ppid=7514 vsize=545512 CPUtime=582.14
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 122766 0 0 0 58157 57 0 0 25 0 1 0 133045903 558604288 122618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 136378 122618 170 317 0 136057 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 545512

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1320320/2055920 swapFree=4113044/4192956
[pid=7516] ppid=7514 vsize=576416 CPUtime=642.12
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 130332 0 0 0 64152 60 0 0 25 0 1 0 133045903 590249984 130184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 144104 130184 170 317 0 143783 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 576416


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

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1216064/2055920 swapFree=4113172/4192956
[pid=7516] ppid=7514 vsize=683652 CPUtime=942.04
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 156398 0 0 0 94129 75 0 0 25 0 1 0 133045903 700059648 156250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 170913 156250 170 317 0 170592 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 683652

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1195072/2055920 swapFree=4113172/4192956
[pid=7516] ppid=7514 vsize=705372 CPUtime=1002.02
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 161576 0 0 0 100125 77 0 0 25 0 1 0 133045903 722300928 161428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 176343 161428 170 317 0 176022 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 705372

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1180416/2055920 swapFree=4113236/4192956
[pid=7516] ppid=7514 vsize=719908 CPUtime=1062
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 165290 0 0 0 106120 80 0 0 25 0 1 0 133045903 737185792 165142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 179977 165142 170 317 0 179656 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 719908

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1146048/2055920 swapFree=4113236/4192956
[pid=7516] ppid=7514 vsize=801172 CPUtime=1121.99
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 181762 0 0 0 112114 85 0 0 25 0 1 0 133045903 820400128 173628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 200293 173628 170 317 0 199972 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 801172

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1130880/2055920 swapFree=4113236/4192956
[pid=7516] ppid=7514 vsize=816224 CPUtime=1181.98
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 185612 0 0 0 118110 88 0 0 25 0 1 0 133045903 835813376 177478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 204056 177478 170 317 0 203735 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 816224

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1106688/2055920 swapFree=4113300/4192956
[pid=7516] ppid=7514 vsize=857276 CPUtime=1241.95
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 194184 0 0 0 124104 91 0 0 25 0 1 0 133045903 877850624 183443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 214319 183443 170 317 0 213998 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 857276

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1087808/2055920 swapFree=4113300/4192956
[pid=7516] ppid=7514 vsize=875964 CPUtime=1301.95
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 198870 0 0 0 130101 94 0 0 25 0 1 0 133045903 896987136 188129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 218991 188129 170 317 0 218670 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 875964

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1062272/2055920 swapFree=4113364/4192956
[pid=7516] ppid=7514 vsize=901940 CPUtime=1361.92
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 205310 0 0 0 136095 97 0 0 25 0 1 0 133045903 923586560 194569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 225485 194569 170 317 0 225164 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 901940

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1040064/2055920 swapFree=4113364/4192956
[pid=7516] ppid=7514 vsize=925040 CPUtime=1421.91
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 210767 0 0 0 142091 100 0 0 25 0 1 0 133045903 947240960 200026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 231260 200026 170 317 0 230939 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 925040

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1026304/2055920 swapFree=4113364/4192956
[pid=7516] ppid=7514 vsize=938856 CPUtime=1481.89
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 214241 0 0 0 148087 102 0 0 25 0 1 0 133045903 961388544 203500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 234714 203500 170 317 0 234393 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 938856

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=1006016/2055920 swapFree=4113428/4192956
[pid=7516] ppid=7514 vsize=959624 CPUtime=1541.87
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 219300 0 0 0 154083 104 0 0 25 0 1 0 133045903 982654976 208559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 239906 208559 170 317 0 239585 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 959624

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=984960/2055920 swapFree=4113428/4192956
[pid=7516] ppid=7514 vsize=980816 CPUtime=1601.86
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 224583 0 0 0 160079 107 0 0 25 0 1 0 133045903 1004355584 213842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 245204 213842 170 317 0 244883 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 980816

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=967616/2055920 swapFree=4113492/4192956
[pid=7516] ppid=7514 vsize=997988 CPUtime=1661.85
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 228881 0 0 0 166075 110 0 0 25 0 1 0 133045903 1021939712 218140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 249497 218140 170 317 0 249176 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 997988

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=950848/2055920 swapFree=4113492/4192956
[pid=7516] ppid=7514 vsize=1014516 CPUtime=1721.83
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 233080 0 0 0 172071 112 0 0 25 0 1 0 133045903 1038864384 222339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 253629 222339 170 317 0 253308 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1014516

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=935296/2055920 swapFree=4113556/4192956
[pid=7516] ppid=7514 vsize=1030236 CPUtime=1781.82
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 236929 0 0 0 178068 114 0 0 25 0 1 0 133045903 1054961664 226188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 257559 226188 170 317 0 257238 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1030236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.96 2/78 7517
/proc/meminfo: memFree=930688/2055920 swapFree=4113556/4192956
[pid=7516] ppid=7514 vsize=1034628 CPUtime=1800.01
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 238070 0 0 0 179887 114 0 0 25 0 1 0 133045903 1059459072 227329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 258657 227329 170 317 0 258336 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1034628

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 0.99 0.96 2/79 7518
/proc/meminfo: memFree=930680/2055920 swapFree=4113556/4192956
[pid=7516] ppid=7514 vsize=1034628 CPUtime=1800.12
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194304 238070 0 0 0 179898 114 0 0 25 0 1 0 133045903 1059459072 227329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 258657 227329 170 317 0 258336 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1034628

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.96 2/79 7518
/proc/meminfo: memFree=930680/2055920 swapFree=4113556/4192956
[pid=7516] ppid=7514 vsize=0 CPUtime=1800.3
/proc/7516/stat : 7516 (oree) R 7514 7516 7173 0 -1 4194308 238086 0 0 0 179904 126 0 0 25 0 1 0 133045903 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7516/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.35
CPU user time (s): 1799.05
CPU system time (s): 1.2978
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1034628

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

runsolver used 2.09668 second user time and 4.37533 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Tue Apr 17 23:08:25 UTC 2007

IDJOB= 357009
IDBENCH= 1771
IDSOLVER= 172
FILE ID= node35/357009-1176851305

PBS_JOBID= 4590219

Free space on /tmp= 66477 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fd717ffc3177aa889b23f16defdc157a

RANDOM SEED= 6147519

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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:       1842400 kB
Buffers:         32720 kB
Cached:         101336 kB
SwapCached:      24792 kB
Active:         111072 kB
Inactive:        67972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842400 kB
SwapTotal:     4192956 kB
SwapFree:      4112720 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:          38540 kB
Slab:            19812 kB
Committed_AS:  2361752 kB
PageTables:       1996 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= 66477 MiB

End job on node35 on Tue Apr 17 23:38:27 UTC 2007