Trace number 356974

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.15 1800.9

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-nesm.opb
MD5SUM06abf2507bf67e08d71dcaed3569abdd
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 variables60075
Total number of constraints2257
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 constraints2257
Minimum length of a constraint10
Maximum length of a constraint941
Number of terms in the objective function 8142
Biggest coefficient in the objective function 10478
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531689
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531689
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.99/1.08	c ...done
0.99/1.08	c #vars=60075 #constraints=2738 hasObjective=yes
1.20/1.29	c res. mode=mod
1.20/1.29	c VSIDS like heuristics
1.20/1.29	c complete search running
2.19/2.26	c restart after 401 decisions
2.49/2.58	c nbDecision=500 #constraints=2796
3.19/3.21	c restart after 801 decisions
3.69/3.74	c nbDecision=1000 #constraints=2854
5.09/5.14	c nbDecision=1500 #constraints=3228
5.39/5.49	c restart after 1601 decisions
6.29/6.39	c nbDecision=2000 #constraints=3329
8.39/8.48	c nbDecision=2500 #constraints=3756
11.09/11.14	c nbDecision=3000 #constraints=4232
12.39/12.45	c restart after 3201 decisions
13.19/13.21	c nbDecision=3500 #constraints=4426
15.18/15.29	c nbDecision=4000 #constraints=4824
18.09/18.19	c nbDecision=4500 #constraints=5258
22.09/22.15	c nbDecision=5000 #constraints=5747
27.08/27.11	c nbDecision=5500 #constraints=6228
30.68/30.80	c nbDecision=6000 #constraints=6721
33.18/33.22	c restart after 6401 decisions
33.68/33.71	c nbDecision=6500 #constraints=7111
37.98/38.09	c nbDecision=7000 #constraints=7356
49.47/49.60	c nbDecision=7500 #constraints=7842
60.17/60.25	c nbDecision=8000 #constraints=8287
70.76/70.83	c nbDecision=8500 #constraints=8725
84.36/84.48	c nbDecision=9000 #constraints=9177
102.16/102.22	c nbDecision=9500 #constraints=9665
118.35/118.43	c nbDecision=10000 #constraints=10156
139.34/139.47	c nbDecision=10500 #constraints=10645
158.74/158.87	c nbDecision=11000 #constraints=11135
181.43/181.57	c nbDecision=11500 #constraints=11627
205.22/205.40	c nbDecision=12000 #constraints=12127
230.21/230.38	c nbDecision=12500 #constraints=12621
246.00/246.11	c restart after 12801 decisions
246.90/247.04	c nbDecision=13000 #constraints=12923
250.10/250.26	c nbDecision=13500 #constraints=13255
254.60/254.73	c nbDecision=14000 #constraints=13727
259.70/259.82	c nbDecision=14500 #constraints=14180
265.60/265.77	c nbDecision=15000 #constraints=14624
272.50/272.61	c nbDecision=15500 #constraints=15014
280.29/280.45	c nbDecision=16000 #constraints=15497
289.69/289.89	c nbDecision=16500 #constraints=15982
299.19/299.36	c nbDecision=17000 #constraints=16440
310.18/310.37	c nbDecision=17500 #constraints=16912
332.17/332.39	c nbDecision=18000 #constraints=17350
364.67/364.84	c nbDecision=18500 #constraints=17836
389.05/389.22	c nbDecision=19000 #constraints=18280
417.14/417.37	c nbDecision=19500 #constraints=18768
448.74/448.97	c nbDecision=20000 #constraints=19258
481.32/481.58	c nbDecision=20500 #constraints=19750
521.81/522.05	c nbDecision=21000 #constraints=20244
561.00/561.27	c nbDecision=21500 #constraints=20730
596.71/597.02	c nbDecision=22000 #constraints=21230
630.56/630.99	c nbDecision=22500 #constraints=21720
668.05/668.41	c nbDecision=23000 #constraints=22221
706.14/706.50	c nbDecision=23500 #constraints=22715
744.52/744.93	c nbDecision=24000 #constraints=23211
783.01/783.47	c nbDecision=24500 #constraints=23706
823.29/823.79	c nbDecision=25000 #constraints=24201
862.58/863.08	c nbDecision=25500 #constraints=24694
871.78/872.28	c restart after 25601 decisions
873.48/873.93	c nbDecision=26000 #constraints=24798
892.67/893.15	c nbDecision=26500 #constraints=25238
910.96/911.49	c nbDecision=27000 #constraints=25666
945.15/945.67	c nbDecision=27500 #constraints=26069
996.83/997.34	c nbDecision=28000 #constraints=26533
1016.52/1017.09	c nbDecision=28500 #constraints=27008
1037.51/1038.03	c nbDecision=29000 #constraints=27439
1058.71/1059.21	c nbDecision=29500 #constraints=27846
1086.30/1086.83	c nbDecision=30000 #constraints=28277
1141.68/1142.24	c nbDecision=30500 #constraints=28761
1201.36/1201.98	c nbDecision=31000 #constraints=29262
1259.13/1259.79	c nbDecision=31500 #constraints=29726
1326.82/1327.44	c nbDecision=32000 #constraints=30225
1395.09/1395.79	c nbDecision=32500 #constraints=30719
1463.07/1463.75	c nbDecision=33000 #constraints=31213
1529.75/1530.47	c nbDecision=33500 #constraints=31691
1594.52/1595.28	c nbDecision=34000 #constraints=32154
1665.59/1666.33	c nbDecision=34500 #constraints=32658
1734.38/1735.17	c nbDecision=35000 #constraints=33154
1800.06/1800.80	Received signal 15
1800.06/1800.85	
1800.06/1800.85	s UNKNOWN
1800.06/1800.85	
1800.06/1800.85	c user time= 1799.9 s
1800.06/1800.85	c system time= 0.215967 s
1800.06/1800.85	c wall clock time=1800.86

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/node25/watcher-356974-1176850289 -o ROOT/results/node25/solver-356974-1176850289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.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 1.00 1.00 3/64 16141
/proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=1620 CPUtime=0
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132946042 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 405 175 126 317 0 84 0

[startup+0.103419 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16141
/proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=2940 CPUtime=0.1
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 544 0 0 0 10 0 0 0 18 0 1 0 132946042 3010560 526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 735 526 131 317 0 414 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2940

[startup+0.201434 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16141
/proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=4700 CPUtime=0.19
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 977 0 0 0 19 0 0 0 18 0 1 0 132946042 4812800 959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 1175 959 131 317 0 854 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4700

[startup+0.301451 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16141
/proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=6584 CPUtime=0.29
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 1447 0 0 0 29 0 0 0 19 0 1 0 132946042 6742016 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 1646 1429 131 317 0 1325 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6584

[startup+0.702519 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16141
/proc/meminfo: memFree=1774160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=14740 CPUtime=0.7
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 3493 0 0 0 69 1 0 0 22 0 1 0 132946042 15093760 3475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 3685 3476 131 317 0 3364 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14740

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1747464/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=32312 CPUtime=1.49
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 7885 0 0 0 146 3 0 0 25 0 1 0 132946042 33087488 7867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 8078 7867 138 317 0 7757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32312

[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1742856/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=32596 CPUtime=3.09
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 7927 0 0 0 306 3 0 0 25 0 1 0 132946042 33378304 7909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 8149 7909 139 317 0 7828 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32596

[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1741704/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=33520 CPUtime=6.29
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 8161 0 0 0 625 4 0 0 25 0 1 0 132946042 34324480 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 8380 8143 139 317 0 8059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33520

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1738760/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=36548 CPUtime=12.69
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 8967 0 0 0 1265 4 0 0 25 0 1 0 132946042 37425152 8949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 9137 8949 170 317 0 8816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36548

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1734088/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=41528 CPUtime=25.48
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 10187 0 0 0 2543 5 0 0 25 0 1 0 132946042 42524672 10132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 10382 10132 170 317 0 10061 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41528

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1729160/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=46852 CPUtime=51.08
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 11411 0 0 0 5101 7 0 0 25 0 1 0 132946042 47976448 11356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 11713 11356 170 317 0 11392 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46852

[startup+102.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1723592/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=52220 CPUtime=102.26
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 12788 0 0 0 10218 8 0 0 25 0 1 0 132946042 53473280 12733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 13055 12733 170 317 0 12734 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52220

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1718600/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=57868 CPUtime=162.24
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 14093 0 0 0 16215 9 0 0 25 0 1 0 132946042 59256832 13966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 14467 13966 170 317 0 14146 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 57868

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1714504/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=62664 CPUtime=222.22
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 15108 0 0 0 22212 10 0 0 25 0 1 0 132946042 64167936 14981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 15666 14981 170 317 0 15345 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 62664

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1707784/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=69380 CPUtime=282.19
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 16787 0 0 0 28208 11 0 0 25 0 1 0 132946042 71045120 16660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 17345 16660 170 317 0 17024 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 69380

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1703880/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=73244 CPUtime=342.17
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 17745 0 0 0 34205 12 0 0 25 0 1 0 132946042 75001856 17618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 18311 17618 170 317 0 17990 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 73244

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1701640/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=75532 CPUtime=402.15
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 18304 0 0 0 40203 12 0 0 25 0 1 0 132946042 77344768 18177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 18883 18177 170 317 0 18562 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 75532

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1699400/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=78580 CPUtime=462.13
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 19089 0 0 0 46200 13 0 0 25 0 1 0 132946042 80465920 18698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 19645 18698 170 317 0 19324 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 78580

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16142
/proc/meminfo: memFree=1697736/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=80812 CPUtime=522.11
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 19622 0 0 0 52198 13 0 0 25 0 1 0 132946042 82751488 19132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 20203 19132 170 317 0 19882 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 80812

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 16216
/proc/meminfo: memFree=1694520/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=83104 CPUtime=582.05
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 20248 0 0 0 58191 14 0 0 25 0 1 0 132946042 85098496 19583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 20776 19583 170 317 0 20455 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 83104

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1693704/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=84808 CPUtime=641.95
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 20725 0 0 0 64181 14 0 0 25 0 1 0 132946042 86843392 20060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 21202 20060 170 317 0 20881 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 84808


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1686792/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=92280 CPUtime=881.88
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 22602 0 0 0 88172 16 0 0 25 0 1 0 132946042 94494720 21805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 23070 21805 170 317 0 22749 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 92280

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1684488/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=94852 CPUtime=941.84
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 23269 0 0 0 94168 16 0 0 25 0 1 0 132946042 97128448 22406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 23713 22406 170 317 0 23392 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 94852

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1683016/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=96024 CPUtime=1001.83
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 23629 0 0 0 100166 17 0 0 25 0 1 0 132946042 98328576 22766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 24006 22766 170 317 0 23685 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 96024

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1680200/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=98728 CPUtime=1061.81
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 24330 0 0 0 106163 18 0 0 25 0 1 0 132946042 101097472 23467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 24682 23467 170 317 0 24361 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 98728

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1678664/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=100420 CPUtime=1121.79
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 24751 0 0 0 112161 18 0 0 25 0 1 0 132946042 102830080 23855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 25105 23855 170 317 0 24784 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 100420

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1677384/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=101984 CPUtime=1181.77
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25135 0 0 0 118159 18 0 0 25 0 1 0 132946042 104431616 24173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 25496 24173 170 317 0 25175 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 101984

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1676104/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=103168 CPUtime=1241.74
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25447 0 0 0 124156 18 0 0 25 0 1 0 132946042 105644032 24485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 25792 24485 170 317 0 25471 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 103168

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1675080/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=104076 CPUtime=1301.73
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25715 0 0 0 130154 19 0 0 25 0 1 0 132946042 106573824 24753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 26019 24753 170 317 0 25698 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 104076

[startup+1362.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 16340
/proc/meminfo: memFree=1674056/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=104912 CPUtime=1361.7
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 25973 0 0 0 136151 19 0 0 25 0 1 0 132946042 107429888 25011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 26228 25011 170 317 0 25907 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 104912

[startup+1422.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 16340
/proc/meminfo: memFree=1672968/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=105824 CPUtime=1421.68
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26236 0 0 0 142149 19 0 0 25 0 1 0 132946042 108363776 25274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 26456 25274 170 317 0 26135 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 105824

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1671880/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=106608 CPUtime=1481.67
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26499 0 0 0 148147 20 0 0 25 0 1 0 132946042 109166592 25537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 26652 25537 170 317 0 26331 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 106608

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1670792/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=107916 CPUtime=1541.65
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 26817 0 0 0 154145 20 0 0 25 0 1 0 132946042 110505984 25789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 26979 25789 170 317 0 26658 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 107916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1669896/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=108704 CPUtime=1601.62
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27073 0 0 0 160142 20 0 0 25 0 1 0 132946042 111312896 26045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 27176 26045 170 317 0 26855 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 108704

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1668808/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=109752 CPUtime=1661.6
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27330 0 0 0 166140 20 0 0 25 0 1 0 132946042 112386048 26302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 27438 26302 170 317 0 27117 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 109752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1667784/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=111052 CPUtime=1721.58
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27697 0 0 0 172137 21 0 0 25 0 1 0 132946042 113717248 26570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 27763 26570 170 317 0 27442 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 111052

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1666696/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=111848 CPUtime=1781.56
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 27949 0 0 0 178135 21 0 0 25 0 1 0 132946042 114532352 26822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 27962 26822 170 317 0 27641 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 111848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1666440/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=112116 CPUtime=1800.06
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 28027 0 0 0 179985 21 0 0 25 0 1 0 132946042 114806784 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 28029 26900 170 317 0 27708 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 112116

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16340
/proc/meminfo: memFree=1666440/2055920 swapFree=4166424/4192956
[pid=16141] ppid=16139 vsize=112116 CPUtime=1800.06
/proc/16141/stat : 16141 (oree) R 16139 16141 15798 0 -1 4194304 28027 0 0 0 179985 21 0 0 25 0 1 0 132946042 114806784 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16141/statm: 28029 26900 170 317 0 27708 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 112116

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.236963
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 112116

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

runsolver used 1.3398 second user time and 3.64644 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue Apr 17 22:51:30 UTC 2007

IDJOB= 356974
IDBENCH= 1711
IDSOLVER= 172
FILE ID= node25/356974-1176850289

PBS_JOBID= 4590194

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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb
COMMAND LINE= oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-356974-1176850289 -o ROOT/results/node25/solver-356974-1176850289 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356974-1176850289/instance-356974-1176850289.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  06abf2507bf67e08d71dcaed3569abdd

RANDOM SEED= 121853887

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1774632 kB
Buffers:         22864 kB
Cached:         189860 kB
SwapCached:      20788 kB
Active:          38260 kB
Inactive:       200924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774632 kB
SwapTotal:     4192956 kB
SwapFree:      4166424 kB
Dirty:            4272 kB
Writeback:           0 kB
Mapped:          15420 kB
Slab:            28116 kB
Committed_AS:  2111728 kB
PageTables:       1472 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 node25 on Tue Apr 17 23:21:33 UTC 2007