Trace number 365580

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-afiro.opb
MD5SUM87ce4656e5ef67028f049e81ca6b4c7e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11897496
Best CPU time to get the best result obtained on this benchmark8.5327
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -11897496
Optimality of the best value was proved YES
Number of variables960
Total number of constraints27
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 constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 134217728000
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 316753837785
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1304059445248
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 20964809094075
Number of bits of the biggest sum of numbers45
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.00/0.01	c ...done
0.00/0.01	c #vars=960 #constraints=36 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.39/0.43	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=305
0.99/1.02	c restart after 801 decisions
1.29/1.30	c nbDecision=1000 #constraints=653
2.39/2.40	c nbDecision=1500 #constraints=985
2.69/2.71	c restart after 1601 decisions
3.39/3.47	c nbDecision=2000 #constraints=1313
5.09/5.18	c nbDecision=2500 #constraints=1699
6.79/6.89	c nbDecision=3000 #constraints=2071
7.49/7.60	c restart after 3201 decisions
9.19/9.25	c nbDecision=3500 #constraints=2444
12.49/12.58	c nbDecision=4000 #constraints=2836
16.68/16.79	c nbDecision=4500 #constraints=3212
20.49/20.53	c nbDecision=5000 #constraints=3545
24.88/24.97	c nbDecision=5500 #constraints=3905
29.48/29.57	c nbDecision=6000 #constraints=4278
35.47/35.53	c restart after 6401 decisions
35.87/35.99	c nbDecision=6500 #constraints=4661
39.78/39.86	c nbDecision=7000 #constraints=5027
46.58/46.66	c nbDecision=7500 #constraints=5415
55.87/55.90	c nbDecision=8000 #constraints=5838
61.37/61.46	c nbDecision=8500 #constraints=6222
70.17/70.21	c nbDecision=9000 #constraints=6624
75.87/75.97	c nbDecision=9500 #constraints=6983
80.96/81.00	c nbDecision=10000 #constraints=7366
90.46/90.56	c nbDecision=10500 #constraints=7754
101.96/102.04	c nbDecision=11000 #constraints=8178
116.65/116.71	c nbDecision=11500 #constraints=8616
135.05/135.20	c nbDecision=12000 #constraints=9089
153.24/153.38	c nbDecision=12500 #constraints=9548
166.23/166.37	c restart after 12801 decisions
169.64/169.74	c nbDecision=13000 #constraints=9952
183.33/183.45	c nbDecision=13500 #constraints=10355
196.32/196.43	c nbDecision=14000 #constraints=10813
210.62/210.78	c nbDecision=14500 #constraints=11221
222.61/222.79	c nbDecision=15000 #constraints=11630
238.21/238.32	c nbDecision=15500 #constraints=12049
261.80/261.92	c nbDecision=16000 #constraints=12521
283.09/283.21	c nbDecision=16500 #constraints=12967
308.28/308.46	c nbDecision=17000 #constraints=13424
325.67/325.86	c nbDecision=17500 #constraints=13838
337.87/338.06	c nbDecision=18000 #constraints=14238
366.56/366.71	c nbDecision=18500 #constraints=14664
399.85/400.02	c nbDecision=19000 #constraints=15099
430.54/430.71	c nbDecision=19500 #constraints=15492
460.93/461.13	c nbDecision=20000 #constraints=15884
484.22/484.49	c nbDecision=20500 #constraints=16253
507.12/507.35	c nbDecision=21000 #constraints=16631
546.90/547.16	c nbDecision=21500 #constraints=17075
558.61/558.87	c nbDecision=22000 #constraints=17455
569.99/570.20	c nbDecision=22500 #constraints=17843
580.89/581.11	c nbDecision=23000 #constraints=18223
599.78/600.00	c nbDecision=23500 #constraints=18640
615.48/615.77	c nbDecision=24000 #constraints=19035
628.37/628.69	c nbDecision=24500 #constraints=19485
641.87/642.10	c nbDecision=25000 #constraints=19890
656.16/656.42	c nbDecision=25500 #constraints=20293
659.26/659.52	c restart after 25601 decisions
671.07/671.39	c nbDecision=26000 #constraints=20651
703.45/703.77	c nbDecision=26500 #constraints=21048
729.64/729.96	c nbDecision=27000 #constraints=21412
744.53/744.80	c nbDecision=27500 #constraints=21793
759.43/759.70	c nbDecision=28000 #constraints=22249
773.33/773.68	c nbDecision=28500 #constraints=22663
787.42/787.73	c nbDecision=29000 #constraints=23109
802.62/802.90	c nbDecision=29500 #constraints=23553
815.31/815.67	c nbDecision=30000 #constraints=23968
839.61/839.98	c nbDecision=30500 #constraints=24386
887.59/887.99	c nbDecision=31000 #constraints=24767
941.07/941.49	c nbDecision=31500 #constraints=25176
979.05/979.40	c nbDecision=32000 #constraints=25539
1023.84/1024.29	c nbDecision=32500 #constraints=25965
1071.03/1071.44	c nbDecision=33000 #constraints=26387
1117.91/1118.36	c nbDecision=33500 #constraints=26796
1151.50/1151.91	c nbDecision=34000 #constraints=27182
1168.90/1169.35	c nbDecision=34500 #constraints=27583
1185.88/1186.33	c nbDecision=35000 #constraints=28011
1203.38/1203.80	c nbDecision=35500 #constraints=28369
1223.87/1224.33	c nbDecision=36000 #constraints=28737
1258.66/1259.12	c nbDecision=36500 #constraints=29118
1304.55/1305.00	c nbDecision=37000 #constraints=29551
1357.63/1358.16	c nbDecision=37500 #constraints=29992
1404.22/1404.70	c nbDecision=38000 #constraints=30403
1440.80/1441.35	c nbDecision=38500 #constraints=30823
1481.39/1481.97	c nbDecision=39000 #constraints=31256
1525.78/1526.30	c nbDecision=39500 #constraints=31682
1565.06/1565.61	c nbDecision=40000 #constraints=32095
1612.24/1612.80	c nbDecision=40500 #constraints=32519
1672.02/1672.61	c nbDecision=41000 #constraints=32972
1732.10/1732.77	c nbDecision=41500 #constraints=33440
1792.08/1792.75	c nbDecision=42000 #constraints=33883
1800.09/1800.70	Received signal 15
1800.18/1800.84	
1800.18/1800.84	s UNKNOWN
1800.18/1800.84	
1800.18/1800.84	c user time= 1799.66 s
1800.18/1800.84	c system time= 0.572912 s
1800.18/1800.84	c wall clock time=1800.85

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/node67/watcher-365580-1176995224 -o ROOT/results/node67/solver-365580-1176995224 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365580-1176995224/instance-365580-1176995224.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.82 0.98 0.98 3/64 10649
/proc/meminfo: memFree=1754744/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=1468 CPUtime=0
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175512003 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 367 164 131 317 0 46 0

[startup+0.026476 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 10649
/proc/meminfo: memFree=1754744/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=1732 CPUtime=0.02
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 265 0 0 0 2 0 0 0 18 0 1 0 175512003 1773568 247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 433 247 139 317 0 112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1732

[startup+0.101489 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 10649
/proc/meminfo: memFree=1754744/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=2128 CPUtime=0.09
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 379 0 0 0 9 0 0 0 18 0 1 0 175512003 2179072 361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 532 361 170 317 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2128

[startup+0.301525 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 10649
/proc/meminfo: memFree=1754744/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=3172 CPUtime=0.29
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 659 0 0 0 29 0 0 0 19 0 1 0 175512003 3248128 641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 793 641 170 317 0 472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3172

[startup+0.701599 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 10649
/proc/meminfo: memFree=1754744/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=5008 CPUtime=0.69
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 1094 0 0 0 69 0 0 0 22 0 1 0 175512003 5128192 1076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 1252 1076 170 317 0 931 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5008

[startup+1.50175 s]
/proc/loadavg: 0.82 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1750128/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=8012 CPUtime=1.49
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 1858 0 0 0 148 1 0 0 25 0 1 0 175512003 8204288 1840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 2003 1840 170 317 0 1682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8012

[startup+3.10104 s]
/proc/loadavg: 0.83 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1746672/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=12584 CPUtime=3.09
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 2922 0 0 0 308 1 0 0 25 0 1 0 175512003 12886016 2904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 3146 2904 170 317 0 2825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12584

[startup+6.30163 s]
/proc/loadavg: 0.83 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1739184/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=18236 CPUtime=6.29
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 4398 0 0 0 627 2 0 0 25 0 1 0 175512003 18673664 4380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 4559 4380 170 317 0 4238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18236

[startup+12.7018 s]
/proc/loadavg: 0.85 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1729904/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=27228 CPUtime=12.69
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 6482 0 0 0 1265 4 0 0 25 0 1 0 175512003 27881472 6464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 6807 6464 170 317 0 6486 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27228

[startup+25.5011 s]
/proc/loadavg: 0.88 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1719472/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=36764 CPUtime=25.48
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 9023 0 0 0 2543 5 0 0 25 0 1 0 175512003 37646336 9005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 9191 9005 170 317 0 8870 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36764

[startup+51.1018 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1702384/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=55716 CPUtime=51.07
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 13269 0 0 0 5099 8 0 0 25 0 1 0 175512003 57053184 13251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 13929 13251 170 317 0 13608 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55716

[startup+102.305 s]
/proc/loadavg: 0.97 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1681200/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=75740 CPUtime=102.26
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 18525 0 0 0 10213 13 0 0 25 0 1 0 175512003 77557760 18507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 18935 18507 170 317 0 18614 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75740

[startup+162.301 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1665264/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=95740 CPUtime=162.23
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 22563 0 0 0 16208 15 0 0 25 0 1 0 175512003 98037760 22488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 23935 22488 170 317 0 23614 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95740

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1649136/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=111428 CPUtime=222.21
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 26567 0 0 0 22203 18 0 0 25 0 1 0 175512003 114102272 26492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 27857 26492 170 317 0 27536 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 111428

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1638128/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=121872 CPUtime=282.19
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 29337 0 0 0 28200 19 0 0 25 0 1 0 175512003 124796928 29262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 30468 29262 170 317 0 30147 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 121872

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1626544/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=132984 CPUtime=342.17
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 32213 0 0 0 34195 22 0 0 25 0 1 0 175512003 136175616 32138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 33246 32138 170 317 0 32925 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 132984

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1619824/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=139172 CPUtime=402.16
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 33888 0 0 0 40192 24 0 0 25 0 1 0 175512003 142512128 33813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 34793 33813 170 317 0 34472 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 139172

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1613360/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=144888 CPUtime=462.13
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 35491 0 0 0 46188 25 0 0 25 0 1 0 175512003 148365312 35416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 36222 35416 170 317 0 35901 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 144888

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1603824/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=165704 CPUtime=522.11
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 40005 0 0 0 52184 27 0 0 25 0 1 0 175512003 169680896 37804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 41426 37804 170 317 0 41105 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 165704

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1591472/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=178516 CPUtime=582.09
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 43423 0 0 0 58179 30 0 0 25 0 1 0 175512003 182800384 40892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 44629 40892 170 317 0 44308 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 178516

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1577584/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=192828 CPUtime=642.08
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 47255 0 0 0 64176 32 0 0 25 0 1 0 175512003 197455872 44328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 48207 44328 170 317 0 47886 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 192828


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1531504/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=234664 CPUtime=941.97
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 59173 0 0 0 94156 41 0 0 25 0 1 0 175512003 240295936 55850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 58666 55850 170 317 0 58345 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 234664

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1526640/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=238936 CPUtime=1001.95
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 60404 0 0 0 100153 42 0 0 25 0 1 0 175512003 244670464 57048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 59734 57048 170 317 0 59413 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 238936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1521968/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=243212 CPUtime=1061.93
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 61589 0 0 0 106150 43 0 0 25 0 1 0 175512003 249049088 58233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 60803 58233 170 317 0 60482 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 243212

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1517488/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=247196 CPUtime=1121.91
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 62700 0 0 0 112147 44 0 0 25 0 1 0 175512003 253128704 59344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 61799 59344 170 317 0 61478 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 247196

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1508592/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=255304 CPUtime=1181.88
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 64997 0 0 0 118143 45 0 0 25 0 1 0 175512003 261431296 61608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 63826 61608 170 317 0 63505 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 255304

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1499056/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=264164 CPUtime=1241.87
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 67354 0 0 0 124140 47 0 0 25 0 1 0 175512003 270503936 63932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 66041 63932 170 317 0 65720 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 264164

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1494256/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=269800 CPUtime=1301.85
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 68842 0 0 0 130137 48 0 0 25 0 1 0 175512003 276275200 65123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 67450 65123 170 317 0 67129 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 269800

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1490160/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=273492 CPUtime=1361.83
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 69901 0 0 0 136134 49 0 0 25 0 1 0 175512003 280055808 66182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 68373 66182 170 317 0 68052 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 273492

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1484912/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=278216 CPUtime=1421.81
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 71255 0 0 0 142131 50 0 0 25 0 1 0 175512003 284893184 67503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 69554 67503 170 317 0 69233 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 278216

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1479408/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=283116 CPUtime=1481.79
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 72648 0 0 0 148128 51 0 0 25 0 1 0 175512003 289910784 68863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 70779 68863 170 317 0 70458 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 283116

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1473840/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=287908 CPUtime=1541.77
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 74087 0 0 0 154125 52 0 0 25 0 1 0 175512003 294817792 70236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 71977 70236 170 317 0 71656 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 287908

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1468656/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=292472 CPUtime=1601.74
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 75384 0 0 0 160121 53 0 0 25 0 1 0 175512003 299491328 71533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 73118 71533 170 317 0 72797 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 292472

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 10650
/proc/meminfo: memFree=1463088/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=314300 CPUtime=1661.73
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 80518 0 0 0 166118 55 0 0 25 0 1 0 175512003 321843200 72864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 78575 72864 170 317 0 78254 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 314300

[startup+1722.3 s]
/proc/loadavg: 1.11 1.01 0.99 2/65 10650
/proc/meminfo: memFree=1459184/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=327572 CPUtime=1721.7
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 83726 0 0 0 172114 56 0 0 25 0 1 0 175512003 335433728 73831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 81893 73831 170 317 0 81572 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 327572

[startup+1782.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/65 10650
/proc/meminfo: memFree=1455920/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=330936 CPUtime=1781.68
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 84655 0 0 0 178112 56 0 0 25 0 1 0 175512003 338878464 74695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 82734 74695 170 317 0 82413 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 330936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 10650
/proc/meminfo: memFree=1454384/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=331984 CPUtime=1800.09
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 85019 0 0 0 179952 57 0 0 25 0 1 0 175512003 339951616 75059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 82996 75059 170 317 0 82675 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 331984

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.08 1.02 1.00 2/65 10650
/proc/meminfo: memFree=1454384/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=331984 CPUtime=1800.18
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194304 85021 0 0 0 179961 57 0 0 25 0 1 0 175512003 339951616 75061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 82996 75061 170 317 0 82675 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 331984

[startup+1800.9 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 10650
/proc/meminfo: memFree=1454384/2055920 swapFree=4179676/4192956
[pid=10649] ppid=10647 vsize=0 CPUtime=1800.27
/proc/10649/stat : 10649 (oree) R 10647 10649 10550 0 -1 4194308 85037 0 0 0 179966 61 0 0 25 0 1 0 175512003 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10649/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.29
CPU user time (s): 1799.67
CPU system time (s): 0.621905
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 331984

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

runsolver used 1.18482 second user time and 3.75343 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Thu Apr 19 15:07:05 UTC 2007

IDJOB= 365580
IDBENCH= 2440
IDSOLVER= 172
FILE ID= node67/365580-1176995224

PBS_JOBID= 4630476

Free space on /tmp= 66455 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  87ce4656e5ef67028f049e81ca6b4c7e

RANDOM SEED= 149132652

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1755152 kB
Buffers:         26696 kB
Cached:         221024 kB
SwapCached:       7008 kB
Active:          81028 kB
Inactive:       179320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755152 kB
SwapTotal:     4192956 kB
SwapFree:      4179676 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:          15264 kB
Slab:            26400 kB
Committed_AS:   280392 kB
PageTables:       1452 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= 66455 MiB

End job on node67 on Thu Apr 19 15:37:08 UTC 2007