Trace number 356956

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.28 1801.09

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-ship04l.opb
MD5SUM8c2ebef1f909dd9b378c2f7f10ba6b39
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1776
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables63540
Total number of constraints348
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 constraints348
Minimum length of a constraint30
Maximum length of a constraint2520
Number of terms in the objective function 63540
Biggest coefficient in the objective function 2379
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 577490
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 577490
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.69/0.76	c ...done
0.69/0.76	c #vars=63540 #constraints=661 hasObjective=yes
1.49/1.55	c res. mode=mod
1.49/1.55	c VSIDS like heuristics
1.49/1.55	c complete search running
1.99/2.06	c restart after 401 decisions
2.09/2.15	c nbDecision=500 #constraints=661
2.39/2.41	c restart after 801 decisions
2.49/2.59	c nbDecision=1000 #constraints=661
2.99/3.02	c nbDecision=1500 #constraints=661
3.09/3.11	c restart after 1601 decisions
3.39/3.45	c nbDecision=2000 #constraints=661
3.79/3.86	c nbDecision=2500 #constraints=661
4.19/4.28	c nbDecision=3000 #constraints=661
4.39/4.46	c restart after 3201 decisions
4.69/4.72	c nbDecision=3500 #constraints=661
5.09/5.16	c nbDecision=4000 #constraints=661
5.49/5.59	c nbDecision=4500 #constraints=661
5.99/6.03	c nbDecision=5000 #constraints=661
6.39/6.46	c nbDecision=5500 #constraints=661
6.79/6.89	c nbDecision=6000 #constraints=661
7.19/7.24	c restart after 6401 decisions
7.29/7.32	c nbDecision=6500 #constraints=661
7.69/7.76	c nbDecision=7000 #constraints=661
8.09/8.18	c nbDecision=7500 #constraints=661
8.59/8.62	c nbDecision=8000 #constraints=661
8.99/9.05	c nbDecision=8500 #constraints=661
9.39/9.48	c nbDecision=9000 #constraints=661
9.89/9.91	c nbDecision=9500 #constraints=661
10.29/10.33	c nbDecision=10000 #constraints=661
10.69/10.75	c nbDecision=10500 #constraints=661
11.09/11.17	c nbDecision=11000 #constraints=661
11.49/11.59	c nbDecision=11500 #constraints=661
11.99/12.00	c nbDecision=12000 #constraints=661
12.39/12.41	c nbDecision=12500 #constraints=661
12.59/12.65	c restart after 12801 decisions
12.79/12.83	c nbDecision=13000 #constraints=661
13.19/13.27	c nbDecision=13500 #constraints=661
13.69/13.71	c nbDecision=14000 #constraints=661
14.09/14.14	c nbDecision=14500 #constraints=661
14.49/14.56	c nbDecision=15000 #constraints=661
14.89/14.98	c nbDecision=15500 #constraints=661
15.39/15.41	c nbDecision=16000 #constraints=661
15.79/15.83	c nbDecision=16500 #constraints=661
16.18/16.24	c nbDecision=17000 #constraints=661
16.58/16.66	c nbDecision=17500 #constraints=661
16.98/17.07	c nbDecision=18000 #constraints=661
17.38/17.47	c nbDecision=18500 #constraints=661
17.78/17.88	c nbDecision=19000 #constraints=661
18.18/18.29	c nbDecision=19500 #constraints=662
19.28/19.31	c nbDecision=20000 #constraints=816
21.98/22.09	c nbDecision=20500 #constraints=1306
25.69/25.75	c nbDecision=21000 #constraints=1824
29.98/30.01	c nbDecision=21500 #constraints=2314
35.08/35.16	c nbDecision=22000 #constraints=2818
41.07/41.10	c nbDecision=22500 #constraints=3322
47.67/47.72	c nbDecision=23000 #constraints=3812
55.36/55.43	c nbDecision=23500 #constraints=4316
63.86/63.93	c nbDecision=24000 #constraints=4820
73.36/73.45	c nbDecision=24500 #constraints=5324
83.65/83.73	c nbDecision=25000 #constraints=5828
94.66/94.76	c nbDecision=25500 #constraints=6318
96.95/97.03	c restart after 25601 decisions
98.75/98.81	c nbDecision=26000 #constraints=6416
99.25/99.30	c nbDecision=26500 #constraints=6416
99.75/99.82	c nbDecision=27000 #constraints=6416
100.35/100.41	c nbDecision=27500 #constraints=6416
100.85/100.95	c nbDecision=28000 #constraints=6416
101.45/101.54	c nbDecision=28500 #constraints=6416
101.95/102.07	c nbDecision=29000 #constraints=6416
102.55/102.65	c nbDecision=29500 #constraints=6416
103.05/103.17	c nbDecision=30000 #constraints=6416
103.55/103.69	c nbDecision=30500 #constraints=6416
104.05/104.16	c nbDecision=31000 #constraints=6416
104.65/104.78	c nbDecision=31500 #constraints=6416
105.15/105.25	c nbDecision=32000 #constraints=6416
105.65/105.76	c nbDecision=32500 #constraints=6416
114.35/114.50	c nbDecision=33000 #constraints=6766
127.64/127.73	c nbDecision=33500 #constraints=7284
141.13/141.29	c nbDecision=34000 #constraints=7774
156.14/156.20	c nbDecision=34500 #constraints=8278
171.72/171.85	c nbDecision=35000 #constraints=8782
188.11/188.20	c nbDecision=35500 #constraints=9272
205.51/205.66	c nbDecision=36000 #constraints=9776
223.60/223.76	c nbDecision=36500 #constraints=10266
243.49/243.61	c nbDecision=37000 #constraints=10784
263.39/263.52	c nbDecision=37500 #constraints=11274
284.58/284.72	c nbDecision=38000 #constraints=11778
306.27/306.42	c nbDecision=38500 #constraints=12268
329.96/330.14	c nbDecision=39000 #constraints=12786
353.45/353.66	c nbDecision=39500 #constraints=13276
379.14/379.33	c nbDecision=40000 #constraints=13794
404.43/404.63	c nbDecision=40500 #constraints=14284
430.62/430.84	c nbDecision=41000 #constraints=14774
458.42/458.66	c nbDecision=41500 #constraints=15278
486.50/486.79	c nbDecision=42000 #constraints=15768
516.89/517.15	c nbDecision=42500 #constraints=16286
546.77/547.08	c nbDecision=43000 #constraints=16776
578.37/578.65	c nbDecision=43500 #constraints=17280
610.05/610.34	c nbDecision=44000 #constraints=17770
644.25/644.55	c nbDecision=44500 #constraints=18288
677.72/678.02	c nbDecision=45000 #constraints=18778
712.91/713.29	c nbDecision=45500 #constraints=19282
749.10/749.47	c nbDecision=46000 #constraints=19786
785.19/785.51	c nbDecision=46500 #constraints=20276
823.17/823.52	c nbDecision=47000 #constraints=20780
861.16/861.57	c nbDecision=47500 #constraints=21270
901.84/902.28	c nbDecision=48000 #constraints=21788
941.62/942.07	c nbDecision=48500 #constraints=22278
983.21/983.65	c nbDecision=49000 #constraints=22782
1024.70/1025.12	c nbDecision=49500 #constraints=23272
1069.18/1069.61	c nbDecision=50000 #constraints=23790
1112.46/1112.92	c nbDecision=50500 #constraints=24280
1157.63/1158.17	c nbDecision=51000 #constraints=24784
1175.73/1176.23	c restart after 51201 decisions
1182.13/1182.67	c nbDecision=51500 #constraints=24980
1182.83/1183.31	c nbDecision=52000 #constraints=24980
1183.63/1184.16	c nbDecision=52500 #constraints=24980
1184.73/1185.26	c nbDecision=53000 #constraints=24980
1185.63/1186.14	c nbDecision=53500 #constraints=24980
1186.73/1187.25	c nbDecision=54000 #constraints=24980
1187.53/1188.01	c nbDecision=54500 #constraints=24980
1188.43/1189.00	c nbDecision=55000 #constraints=24980
1189.13/1189.66	c nbDecision=55500 #constraints=24980
1190.43/1190.97	c nbDecision=56000 #constraints=24980
1191.13/1191.62	c nbDecision=56500 #constraints=24980
1191.93/1192.47	c nbDecision=57000 #constraints=24980
1193.03/1193.56	c nbDecision=57500 #constraints=24980
1193.93/1194.41	c nbDecision=58000 #constraints=24980
1218.91/1219.46	c nbDecision=58500 #constraints=25246
1265.79/1266.30	c nbDecision=59000 #constraints=25750
1312.48/1313.08	c nbDecision=59500 #constraints=26240
1361.26/1361.82	c nbDecision=60000 #constraints=26744
1411.03/1411.61	c nbDecision=60500 #constraints=27248
1461.44/1462.18	c nbDecision=61000 #constraints=27752
1511.80/1512.51	c nbDecision=61500 #constraints=28242
1563.98/1564.72	c nbDecision=62000 #constraints=28746
1617.45/1618.25	c nbDecision=62500 #constraints=29250
1671.43/1672.25	c nbDecision=63000 #constraints=29754
1726.71/1727.56	c nbDecision=63500 #constraints=30258
1781.49/1782.32	c nbDecision=64000 #constraints=30748
1800.09/1800.90	Received signal 15
1800.09/1800.92	
1800.09/1800.92	s UNKNOWN
1800.09/1800.92	
1800.09/1800.92	c user time= 1798.92 s
1800.09/1800.92	c system time= 1.20382 s
1800.09/1800.92	c wall clock time=1800.93

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/node13/watcher-356956-1176849428 -o ROOT/results/node13/solver-356956-1176849428 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356956-1176849428/instance-356956-1176849428.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.85 0.95 0.98 3/77 27639
/proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=1620 CPUtime=0
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132860710 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 405 175 126 317 0 84 0

[startup+0.092056 s]
/proc/loadavg: 0.85 0.95 0.98 3/77 27639
/proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=3440 CPUtime=0.08
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 869 0 0 0 8 0 0 0 18 0 1 0 132860710 3522560 624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 860 624 126 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.102058 s]
/proc/loadavg: 0.85 0.95 0.98 3/77 27639
/proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=3440 CPUtime=0.09
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 892 0 0 0 9 0 0 0 18 0 1 0 132860710 3522560 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 860 647 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.302101 s]
/proc/loadavg: 0.85 0.95 0.98 3/77 27639
/proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=7100 CPUtime=0.29
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 1690 0 0 0 28 1 0 0 19 0 1 0 132860710 7270400 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 1775 1445 131 317 0 1454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7100

[startup+0.701186 s]
/proc/loadavg: 0.85 0.95 0.98 3/77 27639
/proc/meminfo: memFree=1665224/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=16016 CPUtime=0.69
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 3674 0 0 0 67 2 0 0 22 0 1 0 132860710 16400384 3429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 4004 3429 131 317 0 3683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16016

[startup+1.50136 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 27640
/proc/meminfo: memFree=1644864/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=25308 CPUtime=1.49
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5940 0 0 0 146 3 0 0 25 0 1 0 132860710 25915392 5695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 6327 5695 137 317 0 6006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25308

[startup+3.1017 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 27640
/proc/meminfo: memFree=1642688/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=25440 CPUtime=3.09
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5964 0 0 0 305 4 0 0 25 0 1 0 132860710 26050560 5719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 6360 5719 138 317 0 6039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25440

[startup+6.30138 s]
/proc/loadavg: 0.86 0.95 0.98 3/78 27640
/proc/meminfo: memFree=1642568/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=25440 CPUtime=6.29
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5966 0 0 0 625 4 0 0 25 0 1 0 132860710 26050560 5721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 6360 5721 138 317 0 6039 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25440

[startup+12.7017 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 27640
/proc/meminfo: memFree=1642568/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=25440 CPUtime=12.69
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 5970 0 0 0 1265 4 0 0 25 0 1 0 132860710 26050560 5725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 6360 5725 138 317 0 6039 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25440

[startup+25.5015 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 27640
/proc/meminfo: memFree=1607624/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=65284 CPUtime=25.49
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 14986 0 0 0 2542 7 0 0 25 0 1 0 132860710 66850816 14741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746912 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 16321 14741 139 317 0 16000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65284

[startup+51.1029 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 27640
/proc/meminfo: memFree=1542536/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=135480 CPUtime=51.07
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 31230 0 0 0 5093 14 0 0 25 0 1 0 132860710 138731520 30985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 33870 30985 139 317 0 33549 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 135480

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.98 2/78 27642
/proc/meminfo: memFree=1468680/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=218308 CPUtime=102.25
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 49412 0 0 0 10202 23 0 0 25 0 1 0 132860710 223547392 49167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 54577 49167 139 317 0 54256 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 218308

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1413128/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=275752 CPUtime=162.23
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 63447 0 0 0 16193 30 0 0 25 0 1 0 132860710 282370048 63144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 68938 63144 139 317 0 68617 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 275752

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1348616/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=359320 CPUtime=222.2
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 79428 0 0 0 22184 36 0 0 25 0 1 0 132860710 367943680 79125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 89830 79125 139 317 0 89509 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 359320

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1309064/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=400008 CPUtime=282.18
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 89374 0 0 0 28176 42 0 0 25 0 1 0 132860710 409608192 89071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 100002 89071 139 317 0 99681 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 400008

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1272776/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=435976 CPUtime=342.15
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 98327 0 0 0 34169 46 0 0 25 0 1 0 132860710 446439424 98024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 108994 98024 139 317 0 108673 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 435976

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1241160/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=468728 CPUtime=402.13
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 106305 0 0 0 40162 51 0 0 25 0 1 0 132860710 479977472 106002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 117182 106002 139 317 0 116861 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 468728

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1210440/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=500440 CPUtime=462.11
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 113924 0 0 0 46157 54 0 0 25 0 1 0 132860710 512450560 113621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 125110 113621 139 317 0 124789 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 500440

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1182984/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=528608 CPUtime=522.08
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 120814 0 0 0 52151 57 0 0 25 0 1 0 132860710 541294592 120511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 132152 120511 139 317 0 131831 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 528608

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1139528/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=625176 CPUtime=582.06
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 140793 0 0 0 58142 64 0 0 25 0 1 0 132860710 640180224 131268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 156294 131268 139 317 0 155973 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 625176

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1113416/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=650140 CPUtime=642.04
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 147254 0 0 0 64137 67 0 0 25 0 1 0 132860710 665743360 137729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 162535 137729 139 317 0 162214 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 650140


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1021640/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=739916 CPUtime=881.95
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 170246 0 0 0 88115 80 0 0 25 0 1 0 132860710 757673984 160622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 184979 160622 139 317 0 184658 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 739916

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=1000072/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=760300 CPUtime=941.92
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 175672 0 0 0 94109 83 0 0 25 0 1 0 132860710 778547200 166048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 190075 166048 139 317 0 189754 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 760300

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=980360/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=779908 CPUtime=1001.89
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 180580 0 0 0 100103 86 0 0 25 0 1 0 132860710 798625792 170956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 194977 170956 139 317 0 194656 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 779908

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=961480/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=799168 CPUtime=1061.87
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 185761 0 0 0 106098 89 0 0 25 0 1 0 132860710 818348032 176104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 199792 176104 139 317 0 199471 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 799168

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=941320/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=817632 CPUtime=1121.85
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 190357 0 0 0 112094 91 0 0 25 0 1 0 132860710 837255168 180700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 204408 180700 139 317 0 204087 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 817632

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=924808/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=833888 CPUtime=1181.83
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 194433 0 0 0 118089 94 0 0 25 0 1 0 132860710 853901312 184776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 208472 184776 139 317 0 208151 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 833888

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=910600/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=847888 CPUtime=1241.8
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 198006 0 0 0 124084 96 0 0 25 0 1 0 132860710 868237312 188349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 211972 188349 139 317 0 211651 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 847888

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=892872/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=865400 CPUtime=1301.79
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 202376 0 0 0 130080 99 0 0 25 0 1 0 132860710 886169600 192719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 216350 192719 139 317 0 216029 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 865400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=875848/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=882308 CPUtime=1361.75
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 206674 0 0 0 136074 101 0 0 25 0 1 0 132860710 903483392 196984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 220577 196984 139 317 0 220256 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 882308

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27642
/proc/meminfo: memFree=857352/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=898824 CPUtime=1421.74
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 211254 0 0 0 142070 104 0 0 25 0 1 0 132860710 920395776 201564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 224706 201564 139 317 0 224385 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 898824

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 27818
/proc/meminfo: memFree=839952/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=915004 CPUtime=1481.62
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 215311 0 0 0 148054 108 0 0 25 0 1 0 132860710 936964096 205621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 228751 205621 139 317 0 228430 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 915004

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=824968/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=930868 CPUtime=1541.58
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 219302 0 0 0 154048 110 0 0 25 0 1 0 132860710 953208832 209612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 232717 209612 139 317 0 232396 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 930868

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=809544/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=946392 CPUtime=1601.56
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 223194 0 0 0 160044 112 0 0 25 0 1 0 132860710 969105408 213504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 236598 213504 139 317 0 236277 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 946392

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=791880/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=965064 CPUtime=1661.54
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 227655 0 0 0 166039 115 0 0 25 0 1 0 132860710 988225536 217932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 241266 217932 139 317 0 240945 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 965064

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=776584/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=980104 CPUtime=1721.52
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 231480 0 0 0 172035 117 0 0 25 0 1 0 132860710 1003626496 221757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593490 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 245026 221757 139 317 0 244705 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 980104

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=761416/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=994812 CPUtime=1781.49
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 235209 0 0 0 178030 119 0 0 25 0 1 0 132860710 1018687488 225486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 248703 225486 139 317 0 248382 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 994812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=755656/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=999408 CPUtime=1800.09
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194304 236642 0 0 0 179889 120 0 0 25 0 1 0 132860710 1023393792 226919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 249852 226919 139 317 0 249531 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 999408

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

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

[startup+1801.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27840
/proc/meminfo: memFree=755656/2055920 swapFree=4153084/4192956
[pid=27639] ppid=27637 vsize=0 CPUtime=1800.18
/proc/27639/stat : 27639 (oree) R 27637 27639 26600 0 -1 4194308 236658 0 0 0 179892 126 0 0 25 0 1 0 132860710 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27639/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.28
CPU user time (s): 1798.93
CPU system time (s): 1.35179
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 999408

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

runsolver used 2.07668 second user time and 4.45432 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue Apr 17 22:37:09 UTC 2007

IDJOB= 356956
IDBENCH= 1688
IDSOLVER= 172
FILE ID= node13/356956-1176849428

PBS_JOBID= 4590175

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8c2ebef1f909dd9b378c2f7f10ba6b39

RANDOM SEED= 500135771

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1665696 kB
Buffers:         34304 kB
Cached:         288504 kB
SwapCached:      19572 kB
Active:         260940 kB
Inactive:        96412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665696 kB
SwapTotal:     4192956 kB
SwapFree:      4153084 kB
Dirty:            3876 kB
Writeback:           0 kB
Mapped:          34512 kB
Slab:            18316 kB
Committed_AS:  6523492 kB
PageTables:       1884 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= 66396 MiB

End job on node13 on Tue Apr 17 23:07:12 UTC 2007