Trace number 362398

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) 1802.14 1802.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
MD5SUMea0578ce3fa6d7f101be81096fa267e7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.977
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 1760
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530127
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 530127
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.00/0.10	c ...done
0.00/0.10	c #vars=8060 #constraints=333 hasObjective=yes
0.09/0.19	c res. mode=mod
0.09/0.19	c VSIDS like heuristics
0.09/0.19	c complete search running
0.19/0.23	c restart after 401 decisions
0.19/0.24	c nbDecision=500 #constraints=333
0.19/0.26	c restart after 801 decisions
0.19/0.27	c nbDecision=1000 #constraints=333
0.29/0.30	c nbDecision=1500 #constraints=333
0.29/0.31	c restart after 1601 decisions
0.29/0.34	c nbDecision=2000 #constraints=333
0.29/0.37	c nbDecision=2500 #constraints=333
0.39/0.40	c nbDecision=3000 #constraints=333
0.39/0.41	c restart after 3201 decisions
0.39/0.43	c nbDecision=3500 #constraints=333
0.39/0.47	c nbDecision=4000 #constraints=333
0.49/0.50	c nbDecision=4500 #constraints=333
0.49/0.53	c nbDecision=5000 #constraints=334
0.59/0.61	c nbDecision=5500 #constraints=346
0.59/0.63	c nbDecision=6000 #constraints=346
3.98/4.04	c restart after 6401 decisions
3.98/4.06	c nbDecision=6500 #constraints=542
3.98/4.09	c nbDecision=7000 #constraints=542
4.08/4.13	c nbDecision=7500 #constraints=542
4.08/4.16	c nbDecision=8000 #constraints=542
4.08/4.18	c nbDecision=8500 #constraints=542
4.39/4.44	c nbDecision=9000 #constraints=555
8.18/8.21	c nbDecision=9500 #constraints=750
9.48/9.58	c nbDecision=10000 #constraints=819
13.28/13.40	c nbDecision=10500 #constraints=999
15.87/15.98	c nbDecision=11000 #constraints=1114
20.08/20.16	c nbDecision=11500 #constraints=1294
23.28/23.34	c nbDecision=12000 #constraints=1424
26.38/26.44	c nbDecision=12500 #constraints=1544
29.07/29.10	c restart after 12801 decisions
29.17/29.21	c nbDecision=13000 #constraints=1644
29.17/29.27	c nbDecision=13500 #constraints=1644
29.27/29.32	c nbDecision=14000 #constraints=1644
29.27/29.36	c nbDecision=14500 #constraints=1644
29.37/29.40	c nbDecision=15000 #constraints=1644
31.37/31.49	c nbDecision=15500 #constraints=1719
34.67/34.75	c nbDecision=16000 #constraints=1834
40.38/40.47	c nbDecision=16500 #constraints=2029
43.97/44.02	c nbDecision=17000 #constraints=2144
48.86/48.93	c nbDecision=17500 #constraints=2294
53.77/53.81	c nbDecision=18000 #constraints=2439
57.46/57.55	c nbDecision=18500 #constraints=2544
64.97/65.05	c nbDecision=19000 #constraints=2749
69.46/69.55	c nbDecision=19500 #constraints=2864
76.66/76.77	c nbDecision=20000 #constraints=3044
81.46/81.56	c nbDecision=20500 #constraints=3159
87.35/87.47	c nbDecision=21000 #constraints=3294
95.15/95.29	c nbDecision=21500 #constraints=3469
100.05/100.15	c nbDecision=22000 #constraints=3569
109.25/109.36	c nbDecision=22500 #constraints=3764
115.04/115.17	c nbDecision=23000 #constraints=3879
123.54/123.63	c nbDecision=23500 #constraints=4044
130.44/130.54	c nbDecision=24000 #constraints=4174
136.93/137.09	c nbDecision=24500 #constraints=4294
147.53/147.67	c nbDecision=25000 #constraints=4484
152.43/152.50	c nbDecision=25500 #constraints=4557
154.63/154.73	c restart after 25601 decisions
155.43/155.52	c nbDecision=26000 #constraints=4602
155.63/155.71	c nbDecision=26500 #constraints=4602
155.73/155.82	c nbDecision=27000 #constraints=4602
155.83/155.96	c nbDecision=27500 #constraints=4602
156.04/156.18	c nbDecision=28000 #constraints=4602
169.82/169.94	c nbDecision=28500 #constraints=4825
176.42/176.57	c nbDecision=29000 #constraints=4946
187.52/187.62	c nbDecision=29500 #constraints=5096
202.22/202.37	c nbDecision=30000 #constraints=5306
214.01/214.10	c nbDecision=30500 #constraints=5501
225.90/226.01	c nbDecision=31000 #constraints=5651
237.40/237.58	c nbDecision=31500 #constraints=5786
255.90/256.09	c nbDecision=32000 #constraints=6026
267.79/267.99	c nbDecision=32500 #constraints=6206
280.29/280.41	c nbDecision=33000 #constraints=6341
295.07/295.28	c nbDecision=33500 #constraints=6506
315.67/315.84	c nbDecision=34000 #constraints=6746
326.56/326.72	c nbDecision=34500 #constraints=6896
340.36/340.56	c nbDecision=35000 #constraints=7031
358.86/359.07	c nbDecision=35500 #constraints=7226
381.35/381.59	c nbDecision=36000 #constraints=7466
390.95/391.18	c nbDecision=36500 #constraints=7586
407.24/407.46	c nbDecision=37000 #constraints=7736
428.63/428.88	c nbDecision=37500 #constraints=7946
441.23/441.41	c nbDecision=38000 #constraints=8096
453.22/453.42	c nbDecision=38500 #constraints=8186
464.32/464.53	c nbDecision=39000 #constraints=8301
477.51/477.76	c nbDecision=39500 #constraints=8436
487.61/487.81	c nbDecision=40000 #constraints=8566
506.20/506.41	c nbDecision=40500 #constraints=8700
531.99/532.20	c nbDecision=41000 #constraints=8814
543.59/543.84	c nbDecision=41500 #constraints=8872
566.78/567.08	c nbDecision=42000 #constraints=8986
590.27/590.51	c nbDecision=42500 #constraints=9100
602.37/602.60	c nbDecision=43000 #constraints=9157
625.65/625.97	c nbDecision=43500 #constraints=9271
649.54/649.88	c nbDecision=44000 #constraints=9385
673.53/673.87	c nbDecision=44500 #constraints=9499
685.72/686.07	c nbDecision=45000 #constraints=9556
698.03/698.38	c nbDecision=45500 #constraints=9613
751.01/751.31	c nbDecision=46000 #constraints=9752
769.79/770.14	c nbDecision=46500 #constraints=9808
783.90/784.21	c nbDecision=47000 #constraints=9944
803.49/803.88	c nbDecision=47500 #constraints=10061
826.88/827.24	c nbDecision=48000 #constraints=10158
849.57/849.98	c nbDecision=48500 #constraints=10242
872.46/872.89	c nbDecision=49000 #constraints=10326
895.55/895.95	c nbDecision=49500 #constraints=10410
918.74/919.18	c nbDecision=50000 #constraints=10494
942.13/942.60	c nbDecision=50500 #constraints=10578
965.83/966.24	c nbDecision=51000 #constraints=10662
977.43/977.89	c restart after 51201 decisions
979.22/979.60	c nbDecision=51500 #constraints=10704
979.62/980.06	c nbDecision=52000 #constraints=10704
980.02/980.40	c nbDecision=52500 #constraints=10704
980.22/980.64	c nbDecision=53000 #constraints=10704
980.62/981.09	c nbDecision=53500 #constraints=10704
1035.81/1036.24	c nbDecision=54000 #constraints=10804
1044.70/1045.18	c nbDecision=54500 #constraints=10851
1063.89/1064.34	c nbDecision=55000 #constraints=11046
1081.69/1082.11	c nbDecision=55500 #constraints=11128
1098.78/1099.21	c nbDecision=56000 #constraints=11212
1115.97/1116.47	c nbDecision=56500 #constraints=11296
1133.47/1133.90	c nbDecision=57000 #constraints=11380
1150.96/1151.49	c nbDecision=57500 #constraints=11464
1168.76/1169.24	c nbDecision=58000 #constraints=11548
1186.65/1187.17	c nbDecision=58500 #constraints=11632
1204.74/1205.29	c nbDecision=59000 #constraints=11716
1217.44/1217.91	c nbDecision=59500 #constraints=11771
1230.63/1231.16	c nbDecision=60000 #constraints=11892
1254.22/1254.78	c nbDecision=60500 #constraints=12024
1280.50/1281.02	c nbDecision=61000 #constraints=12121
1306.33/1306.92	c nbDecision=61500 #constraints=12205
1332.31/1332.97	c nbDecision=62000 #constraints=12289
1358.50/1359.16	c nbDecision=62500 #constraints=12373
1384.89/1385.58	c nbDecision=63000 #constraints=12457
1411.58/1412.22	c nbDecision=63500 #constraints=12541
1438.37/1439.03	c nbDecision=64000 #constraints=12625
1461.06/1461.73	c nbDecision=64500 #constraints=12682
1514.54/1515.24	c nbDecision=65000 #constraints=12783
1527.93/1528.69	c nbDecision=65500 #constraints=12838
1550.33/1551.05	c nbDecision=66000 #constraints=13034
1580.52/1581.26	c nbDecision=66500 #constraints=13146
1608.11/1608.81	c nbDecision=67000 #constraints=13230
1635.80/1636.55	c nbDecision=67500 #constraints=13314
1663.69/1664.47	c nbDecision=68000 #constraints=13398
1691.87/1692.68	c nbDecision=68500 #constraints=13482
1720.27/1721.01	c nbDecision=69000 #constraints=13566
1748.76/1749.59	c nbDecision=69500 #constraints=13650
1777.35/1778.11	c nbDecision=70000 #constraints=13734
1800.04/1800.80	Received signal 15

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 28515
/proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=1468 CPUtime=0
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 160588011 1503232 144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 367 144 126 317 0 46 0

[startup+0.00829403 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 28515
/proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=1620 CPUtime=0
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 193 0 0 0 0 0 0 0 19 0 1 0 160588011 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 405 176 126 317 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1620

[startup+0.101301 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 28515
/proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=3816 CPUtime=0.09
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 750 0 0 0 9 0 0 0 19 0 1 0 160588011 3907584 732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 954 734 136 317 0 633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3816

[startup+0.301337 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 28515
/proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=4360 CPUtime=0.29
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 923 0 0 0 29 0 0 0 20 0 1 0 160588011 4464640 905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 1090 905 138 317 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4360

[startup+0.70141 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 28515
/proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=5052 CPUtime=0.69
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 1093 0 0 0 69 0 0 0 24 0 1 0 160588011 5173248 1075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 1263 1076 139 317 0 942 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5052

[startup+1.50156 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 28516
/proc/meminfo: memFree=1884328/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=6668 CPUtime=1.49
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 1447 0 0 0 149 0 0 0 25 0 1 0 160588011 6828032 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 1667 1429 139 317 0 1346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6668

[startup+3.10185 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 28516
/proc/meminfo: memFree=1882216/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=10108 CPUtime=3.09
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 2229 0 0 0 309 0 0 0 25 0 1 0 160588011 10350592 2211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 2527 2211 139 317 0 2206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10108

[startup+6.30144 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 28517
/proc/meminfo: memFree=1876144/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=15800 CPUtime=6.29
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 3531 0 0 0 628 1 0 0 25 0 1 0 160588011 16179200 3513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 3950 3513 139 317 0 3629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15800

[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1865320/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=26880 CPUtime=12.68
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 6088 0 0 0 1266 2 0 0 25 0 1 0 160588011 27525120 6070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 6720 6070 139 317 0 6399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26880

[startup+25.502 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1847216/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=46672 CPUtime=25.48
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 10512 0 0 0 2544 4 0 0 25 0 1 0 160588011 47792128 10494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 11668 10494 139 317 0 11347 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46672

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1824496/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=70940 CPUtime=51.07
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 16193 0 0 0 5099 8 0 0 25 0 1 0 160588011 72642560 16175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 17735 16175 139 317 0 17414 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70940

[startup+102.304 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1783536/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=115892 CPUtime=102.25
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 26339 0 0 0 10213 12 0 0 25 0 1 0 160588011 118673408 26321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 28973 26321 139 317 0 28652 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 115892

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1744496/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=163796 CPUtime=162.23
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 36128 0 0 0 16207 16 0 0 25 0 1 0 160588011 167727104 36110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 40949 36110 139 317 0 40628 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 163796

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1719856/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=189424 CPUtime=222.2
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 42187 0 0 0 22202 18 0 0 25 0 1 0 160588011 193970176 42169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 47356 42169 139 317 0 47035 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 189424

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1698352/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=211272 CPUtime=282.18
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 47602 0 0 0 28197 21 0 0 25 0 1 0 160588011 216342528 47584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 52818 47584 139 317 0 52497 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 211272

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1679088/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=230616 CPUtime=342.16
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 52346 0 0 0 34193 23 0 0 25 0 1 0 160588011 236150784 52328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 57654 52328 139 317 0 57333 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 230616

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1661104/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=248436 CPUtime=402.14
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 56825 0 0 0 40189 25 0 0 25 0 1 0 160588011 254398464 56807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 62109 56807 139 317 0 61788 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 248436

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1645808/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=264636 CPUtime=462.11
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 60644 0 0 0 46185 26 0 0 25 0 1 0 160588011 270987264 60626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 66159 60626 139 317 0 65838 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 264636

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1623408/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=297280 CPUtime=522.09
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 66295 0 0 0 52180 29 0 0 25 0 1 0 160588011 304414720 66220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 74320 66220 139 317 0 73999 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 297280

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1600688/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=331988 CPUtime=582.07
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 71943 0 0 0 58176 31 0 0 25 0 1 0 160588011 339955712 71868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 82997 71868 139 317 0 82676 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 331988

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1587056/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=348248 CPUtime=642.05
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 75344 0 0 0 64173 32 0 0 25 0 1 0 160588011 356605952 75269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 87062 75269 139 317 0 86741 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 348248


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

/proc/meminfo: memFree=1513904/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=430604 CPUtime=1061.89
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 93606 0 0 0 106149 40 0 0 25 0 1 0 160588011 440938496 93531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 107651 93531 139 317 0 107330 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 430604

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1499824/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=446416 CPUtime=1121.87
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 97059 0 0 0 112145 42 0 0 25 0 1 0 160588011 457129984 96984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 111604 96984 139 317 0 111283 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 446416

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1482224/2055920 swapFree=4178024/4192956
[pid=28515] ppid=28513 vsize=468452 CPUtime=1181.85
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 101459 0 0 0 118142 43 0 0 25 0 1 0 160588011 479694848 101384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 117113 101384 139 317 0 116792 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 468452

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28518
/proc/meminfo: memFree=1469808/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=481756 CPUtime=1241.83
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 104564 0 0 0 124139 44 0 0 25 0 1 0 160588011 493318144 104489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 120439 104489 139 317 0 120118 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 481756

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 28656
/proc/meminfo: memFree=1458872/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=491468 CPUtime=1301.75
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 106935 0 0 0 130129 46 0 0 25 0 1 0 160588011 503263232 106860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 122867 106860 139 317 0 122546 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 491468

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1451120/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=501788 CPUtime=1361.7
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 109164 0 0 0 136123 47 0 0 25 0 1 0 160588011 513830912 109089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 125447 109089 139 317 0 125126 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 501788

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1442032/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=511888 CPUtime=1421.68
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 111402 0 0 0 142120 48 0 0 25 0 1 0 160588011 524173312 111327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 127972 111327 139 317 0 127651 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 511888

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1432816/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=521552 CPUtime=1481.66
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 113715 0 0 0 148116 50 0 0 25 0 1 0 160588011 534069248 113640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 130388 113640 139 317 0 130067 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 521552

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1426160/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=528728 CPUtime=1541.63
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 115371 0 0 0 154112 51 0 0 25 0 1 0 160588011 541417472 115296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 132182 115296 139 317 0 131861 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 528728

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1417072/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=538744 CPUtime=1601.61
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 117676 0 0 0 160109 52 0 0 25 0 1 0 160588011 551673856 117601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 134686 117601 139 317 0 134365 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 538744

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1404080/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=556532 CPUtime=1661.59
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 120887 0 0 0 166105 54 0 0 25 0 1 0 160588011 569888768 120812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 139133 120812 139 317 0 138812 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 556532

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1394992/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=566084 CPUtime=1721.56
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 123201 0 0 0 172101 55 0 0 25 0 1 0 160588011 579670016 123126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 141521 123126 139 317 0 141200 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 566084

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1386672/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=575620 CPUtime=1781.54
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125229 0 0 0 178098 56 0 0 25 0 1 0 160588011 589434880 125154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 143905 125154 139 317 0 143584 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 575620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1383664/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=579112 CPUtime=1800.04
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125964 0 0 0 179947 57 0 0 25 0 1 0 160588011 593010688 125889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 144778 125889 139 317 0 144457 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 579112

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 28716
/proc/meminfo: memFree=1383664/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=579112 CPUtime=1800.64
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125980 0 0 0 180007 57 0 0 25 0 1 0 160588011 593010688 125905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 144778 125905 139 317 0 144457 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 579112

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 28717
/proc/meminfo: memFree=1383592/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=579272 CPUtime=1801.44
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125995 0 0 0 180087 57 0 0 25 0 1 0 160588011 593174528 125920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 144818 125920 139 317 0 144497 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 579272

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 28717
/proc/meminfo: memFree=1383592/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=579272 CPUtime=1801.84
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125995 0 0 0 180127 57 0 0 25 0 1 0 160588011 593174528 125920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 144818 125920 139 317 0 144497 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 579272

[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 28717
/proc/meminfo: memFree=1383464/2055920 swapFree=4178028/4192956
[pid=28515] ppid=28513 vsize=579272 CPUtime=1802.04
/proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 126010 0 0 0 180147 57 0 0 25 0 1 0 160588011 593174528 125935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28515/statm: 144818 125935 139 317 0 144497 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 579272

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.89
CPU time (s): 1802.14
CPU user time (s): 1801.48
CPU system time (s): 0.658899
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 579272

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

runsolver used 1.23581 second user time and 3.75843 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue Apr 17 21:39:45 UTC 2007

IDJOB= 362398
IDBENCH= 1556
IDSOLVER= 172
FILE ID= node67/362398-1176845985

PBS_JOBID= 4590161

Free space on /tmp= 66484 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
COMMAND LINE= oree /tmp/evaluation/362398-1176845985/instance-362398-1176845985.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-362398-1176845985 -o ROOT/results/node67/solver-362398-1176845985 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362398-1176845985/instance-362398-1176845985.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ea0578ce3fa6d7f101be81096fa267e7

RANDOM SEED= 224309562

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:       1889160 kB
Buffers:         19332 kB
Cached:         100688 kB
SwapCached:       9180 kB
Active:          68624 kB
Inactive:        66400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1889160 kB
SwapTotal:     4192956 kB
SwapFree:      4178024 kB
Dirty:            1596 kB
Writeback:           0 kB
Mapped:          15364 kB
Slab:            17724 kB
Committed_AS:   219724 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= 66484 MiB

End job on node67 on Tue Apr 17 22:09:48 UTC 2007