Trace number 357021

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.21 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rout.opb
MD5SUM485ca531ffda98d59a839bf46c37d61d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark262449
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262412
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
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 525077
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.05/0.07	c ...done
0.05/0.07	c #vars=7561 #constraints=338 hasObjective=yes
0.05/0.08	c res. mode=mod
0.05/0.08	c VSIDS like heuristics
0.05/0.08	c complete search running
0.19/0.22	c restart after 401 decisions
0.19/0.25	c nbDecision=500 #constraints=547
0.29/0.33	c restart after 801 decisions
0.29/0.39	c nbDecision=1000 #constraints=872
0.49/0.57	c nbDecision=1500 #constraints=1216
0.59/0.61	c restart after 1601 decisions
0.69/0.76	c nbDecision=2000 #constraints=1467
0.89/0.94	c nbDecision=2500 #constraints=1852
1.10/1.17	c nbDecision=3000 #constraints=2168
1.19/1.27	c restart after 3201 decisions
1.39/1.43	c nbDecision=3500 #constraints=2363
1.69/1.71	c nbDecision=4000 #constraints=2617
1.99/2.04	c nbDecision=4500 #constraints=2769
2.29/2.37	c nbDecision=5000 #constraints=3019
2.69/2.72	c nbDecision=5500 #constraints=3139
3.09/3.12	c nbDecision=6000 #constraints=3283
3.79/3.81	c restart after 6401 decisions
3.99/4.04	c nbDecision=6500 #constraints=3445
5.29/5.35	c nbDecision=7000 #constraints=3616
6.79/6.83	c nbDecision=7500 #constraints=3743
7.89/7.96	c nbDecision=8000 #constraints=3941
9.09/9.19	c nbDecision=8500 #constraints=4032
11.69/11.75	c nbDecision=9000 #constraints=4181
13.19/13.23	c nbDecision=9500 #constraints=4286
14.78/14.81	c nbDecision=10000 #constraints=4436
19.48/19.59	c nbDecision=10500 #constraints=4592
25.68/25.78	c nbDecision=11000 #constraints=4816
27.78/27.82	c nbDecision=11500 #constraints=5059
29.48/29.53	c nbDecision=12000 #constraints=5232
31.18/31.24	c nbDecision=12500 #constraints=5424
32.08/32.10	c restart after 12801 decisions
35.67/35.71	c nbDecision=13000 #constraints=5641
39.68/39.70	c nbDecision=13500 #constraints=5865
43.38/43.48	c nbDecision=14000 #constraints=6042
47.57/47.62	c nbDecision=14500 #constraints=6325
51.77/51.82	c nbDecision=15000 #constraints=6623
55.97/56.02	c nbDecision=15500 #constraints=6890
60.56/60.62	c nbDecision=16000 #constraints=7187
64.77/64.88	c nbDecision=16500 #constraints=7488
69.76/69.83	c nbDecision=17000 #constraints=7758
74.67/74.79	c nbDecision=17500 #constraints=8064
79.96/80.07	c nbDecision=18000 #constraints=8329
85.26/85.34	c nbDecision=18500 #constraints=8656
89.36/89.49	c nbDecision=19000 #constraints=8917
96.15/96.26	c nbDecision=19500 #constraints=9101
102.16/102.29	c nbDecision=20000 #constraints=9398
108.85/108.95	c nbDecision=20500 #constraints=9648
113.25/113.37	c nbDecision=21000 #constraints=9969
120.75/120.85	c nbDecision=21500 #constraints=10230
126.85/126.90	c nbDecision=22000 #constraints=10544
133.34/133.46	c nbDecision=22500 #constraints=10824
141.84/141.92	c nbDecision=23000 #constraints=11056
150.64/150.77	c nbDecision=23500 #constraints=11355
159.03/159.12	c nbDecision=24000 #constraints=11604
169.53/169.69	c nbDecision=24500 #constraints=11846
178.92/179.04	c nbDecision=25000 #constraints=12190
186.52/186.66	c nbDecision=25500 #constraints=12456
188.12/188.28	c restart after 25601 decisions
198.81/198.95	c nbDecision=26000 #constraints=12706
204.82/204.92	c nbDecision=26500 #constraints=12962
216.81/216.99	c nbDecision=27000 #constraints=13215
230.91/231.02	c nbDecision=27500 #constraints=13465
250.30/250.45	c nbDecision=28000 #constraints=13701
282.19/282.31	c nbDecision=28500 #constraints=13978
311.58/311.79	c nbDecision=29000 #constraints=14204
331.47/331.62	c nbDecision=29500 #constraints=14421
350.77/350.94	c nbDecision=30000 #constraints=14627
373.55/373.77	c nbDecision=30500 #constraints=14868
400.45/400.69	c nbDecision=31000 #constraints=15070
410.94/411.11	c nbDecision=31500 #constraints=15367
421.14/421.30	c nbDecision=32000 #constraints=15682
434.83/435.09	c nbDecision=32500 #constraints=15951
458.83/459.02	c nbDecision=33000 #constraints=16261
495.51/495.70	c nbDecision=33500 #constraints=16473
519.41/519.62	c nbDecision=34000 #constraints=16645
539.69/539.95	c nbDecision=34500 #constraints=16737
554.28/554.53	c nbDecision=35000 #constraints=16861
572.08/572.38	c nbDecision=35500 #constraints=17020
592.48/592.75	c nbDecision=36000 #constraints=17421
601.07/601.32	c nbDecision=36500 #constraints=17543
615.77/616.02	c nbDecision=37000 #constraints=17670
637.26/637.55	c nbDecision=37500 #constraints=17815
648.25/648.54	c nbDecision=38000 #constraints=17915
656.85/657.13	c nbDecision=38500 #constraints=18012
670.14/670.48	c nbDecision=39000 #constraints=18123
692.43/692.74	c nbDecision=39500 #constraints=18284
703.64/703.93	c nbDecision=40000 #constraints=18400
723.23/723.52	c nbDecision=40500 #constraints=18561
731.33/731.69	c nbDecision=41000 #constraints=18668
749.52/749.84	c nbDecision=41500 #constraints=18823
769.11/769.49	c nbDecision=42000 #constraints=18976
780.60/780.94	c nbDecision=42500 #constraints=19088
800.90/801.23	c nbDecision=43000 #constraints=19251
812.69/813.04	c nbDecision=43500 #constraints=19368
823.39/823.76	c nbDecision=44000 #constraints=19481
840.39/840.75	c nbDecision=44500 #constraints=19593
865.67/866.02	c nbDecision=45000 #constraints=19806
884.57/884.91	c nbDecision=45500 #constraints=19937
905.16/905.58	c nbDecision=46000 #constraints=20069
920.15/920.54	c nbDecision=46500 #constraints=20168
932.15/932.52	c nbDecision=47000 #constraints=20282
942.05/942.48	c nbDecision=47500 #constraints=20375
965.04/965.46	c nbDecision=48000 #constraints=20516
976.83/977.24	c nbDecision=48500 #constraints=20622
998.62/999.00	c nbDecision=49000 #constraints=20729
1017.13/1017.56	c nbDecision=49500 #constraints=20907
1031.82/1032.29	c nbDecision=50000 #constraints=21064
1051.51/1051.96	c nbDecision=50500 #constraints=21209
1081.40/1081.81	c nbDecision=51000 #constraints=21368
1088.09/1088.53	c restart after 51201 decisions
1098.19/1098.60	c nbDecision=51500 #constraints=21475
1125.28/1125.75	c nbDecision=52000 #constraints=21590
1153.87/1154.39	c nbDecision=52500 #constraints=21745
1167.36/1167.90	c nbDecision=53000 #constraints=21853
1196.95/1197.41	c nbDecision=53500 #constraints=22001
1217.45/1217.98	c nbDecision=54000 #constraints=22134
1241.03/1241.57	c nbDecision=54500 #constraints=22357
1268.12/1268.66	c nbDecision=55000 #constraints=22605
1287.52/1288.01	c nbDecision=55500 #constraints=22721
1317.41/1317.95	c nbDecision=56000 #constraints=22895
1338.60/1339.13	c nbDecision=56500 #constraints=23021
1362.69/1363.27	c nbDecision=57000 #constraints=23167
1383.49/1384.09	c nbDecision=57500 #constraints=23273
1404.48/1405.06	c nbDecision=58000 #constraints=23392
1426.57/1427.12	c nbDecision=58500 #constraints=23523
1453.46/1454.09	c nbDecision=59000 #constraints=23670
1478.55/1479.20	c nbDecision=59500 #constraints=23827
1506.24/1506.80	c nbDecision=60000 #constraints=24036
1530.23/1530.86	c nbDecision=60500 #constraints=24163
1562.82/1563.41	c nbDecision=61000 #constraints=24345
1581.82/1582.49	c nbDecision=61500 #constraints=24441
1607.30/1607.97	c nbDecision=62000 #constraints=24584
1628.10/1628.80	c nbDecision=62500 #constraints=24698
1651.89/1652.54	c nbDecision=63000 #constraints=24881
1672.07/1672.71	c nbDecision=63500 #constraints=24991
1705.26/1705.91	c nbDecision=64000 #constraints=25200
1727.16/1727.88	c nbDecision=64500 #constraints=25311
1752.65/1753.38	c nbDecision=65000 #constraints=25448
1784.04/1784.74	c nbDecision=65500 #constraints=25629
1800.04/1800.71	Received signal 15
1800.04/1800.77	
1800.04/1800.77	s UNKNOWN
1800.04/1800.77	
1800.04/1800.77	c user time= 1799.4 s
1800.04/1800.77	c system time= 0.708892 s
1800.04/1800.77	c wall clock time=1800.77

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19616
/proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=1468 CPUtime=0
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 133093621 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 367 163 131 317 0 46 0

[startup+0.0608381 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19616
/proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=2548 CPUtime=0.05
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 449 0 0 0 5 0 0 0 18 0 1 0 133093621 2609152 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 637 431 131 317 0 316 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2548

[startup+0.102845 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19616
/proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=3792 CPUtime=0.09
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 757 0 0 0 9 0 0 0 18 0 1 0 133093621 3883008 739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 948 739 139 317 0 627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3792

[startup+0.302884 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19616
/proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=3924 CPUtime=0.29
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 133093621 4018176 768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 981 768 139 317 0 660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3924

[startup+0.701961 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 19616
/proc/meminfo: memFree=1629192/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=4212 CPUtime=0.69
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 874 0 0 0 69 0 0 0 23 0 1 0 133093621 4313088 856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 1053 856 139 317 0 732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4212

[startup+1.50111 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1625920/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=4844 CPUtime=1.49
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 1021 0 0 0 149 0 0 0 25 0 1 0 133093621 4960256 1003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 1211 1003 139 317 0 890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4844

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1625280/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=5504 CPUtime=3.09
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 1170 0 0 0 309 0 0 0 25 0 1 0 133093621 5636096 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 1376 1152 139 317 0 1055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5504

[startup+6.30201 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1620480/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=12560 CPUtime=6.29
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 2884 0 0 0 628 1 0 0 25 0 1 0 133093621 12861440 2866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 3140 2866 139 317 0 2819 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12560

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1614024/2055920 swapFree=4129676/4192956
[pid=19616] ppid=19614 vsize=18180 CPUtime=12.69
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 4218 0 0 0 1268 1 0 0 25 0 1 0 133093621 18616320 4200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 4545 4200 139 317 0 4224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18180

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1607560/2055920 swapFree=4129740/4192956
[pid=19616] ppid=19614 vsize=23252 CPUtime=25.48
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 5470 0 0 0 2546 2 0 0 25 0 1 0 133093621 23810048 5452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 5813 5452 139 317 0 5492 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23252

[startup+51.1025 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1591752/2055920 swapFree=4129740/4192956
[pid=19616] ppid=19614 vsize=39740 CPUtime=51.08
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 9627 0 0 0 5104 4 0 0 25 0 1 0 133093621 40693760 9609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 9935 9609 170 317 0 9614 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39740

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1563208/2055920 swapFree=4129740/4192956
[pid=19616] ppid=19614 vsize=67828 CPUtime=102.26
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 16641 0 0 0 10218 8 0 0 25 0 1 0 133093621 69455872 16566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 16957 16566 170 317 0 16636 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67828

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1549512/2055920 swapFree=4129740/4192956
[pid=19616] ppid=19614 vsize=81696 CPUtime=162.23
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 20049 0 0 0 16213 10 0 0 25 0 1 0 133093621 83656704 19974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 20424 19974 170 317 0 20103 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81696

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1526600/2055920 swapFree=4129804/4192956
[pid=19616] ppid=19614 vsize=106416 CPUtime=222.21
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 25765 0 0 0 22208 13 0 0 25 0 1 0 133093621 108969984 25690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 26604 25690 170 317 0 26283 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 106416

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1517320/2055920 swapFree=4129804/4192956
[pid=19616] ppid=19614 vsize=116356 CPUtime=282.19
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 28084 0 0 0 28204 15 0 0 25 0 1 0 133093621 119148544 28009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 29089 28009 170 317 0 28768 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 116356

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1499720/2055920 swapFree=4129868/4192956
[pid=19616] ppid=19614 vsize=134640 CPUtime=342.17
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 32448 0 0 0 34200 17 0 0 25 0 1 0 133093621 137871360 32373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 33660 32373 170 317 0 33339 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 134640

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1484040/2055920 swapFree=4129996/4192956
[pid=19616] ppid=19614 vsize=150716 CPUtime=402.14
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 36401 0 0 0 40195 19 0 0 25 0 1 0 133093621 154333184 36326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 37679 36326 170 317 0 37358 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 150716

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1464264/2055920 swapFree=4129996/4192956
[pid=19616] ppid=19614 vsize=171208 CPUtime=462.12
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 41332 0 0 0 46191 21 0 0 25 0 1 0 133093621 175316992 41257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 42802 41257 170 317 0 42481 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 171208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1449736/2055920 swapFree=4129996/4192956
[pid=19616] ppid=19614 vsize=190028 CPUtime=522.1
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 45164 0 0 0 52187 23 0 0 25 0 1 0 133093621 194588672 44976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 47507 44976 170 317 0 47186 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 190028

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1434376/2055920 swapFree=4130060/4192956
[pid=19616] ppid=19614 vsize=205396 CPUtime=582.08
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 48885 0 0 0 58182 26 0 0 25 0 1 0 133093621 210325504 48697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 51349 48697 170 317 0 51028 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 205396

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1405832/2055920 swapFree=4130124/4192956
[pid=19616] ppid=19614 vsize=238752 CPUtime=642.06
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 55992 0 0 0 64176 30 0 0 25 0 1 0 133093621 244482048 55804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 59688 55804 170 317 0 59367 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 238752


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1325640/2055920 swapFree=4130380/4192956
[pid=19616] ppid=19614 vsize=326700 CPUtime=881.97
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 76008 0 0 0 88155 42 0 0 25 0 1 0 133093621 334540800 75820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 81675 75820 170 317 0 81354 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 326700

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1305800/2055920 swapFree=4130380/4192956
[pid=19616] ppid=19614 vsize=347268 CPUtime=941.95
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 81002 0 0 0 94151 44 0 0 25 0 1 0 133093621 355602432 80814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 86817 80814 170 317 0 86496 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 347268

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1292232/2055920 swapFree=4130508/4192956
[pid=19616] ppid=19614 vsize=361060 CPUtime=1001.92
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 84356 0 0 0 100146 46 0 0 25 0 1 0 133093621 369725440 84168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 90265 84168 170 317 0 89944 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 361060

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1281288/2055920 swapFree=4130508/4192956
[pid=19616] ppid=19614 vsize=373168 CPUtime=1061.9
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 87098 0 0 0 106143 47 0 0 25 0 1 0 133093621 382124032 86910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 93292 86910 170 317 0 92971 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 373168

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1260104/2055920 swapFree=4130508/4192956
[pid=19616] ppid=19614 vsize=402368 CPUtime=1121.88
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 92358 0 0 0 112139 49 0 0 25 0 1 0 133093621 412024832 92170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 100592 92170 170 317 0 100271 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 402368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1248648/2055920 swapFree=4130636/4192956
[pid=19616] ppid=19614 vsize=414960 CPUtime=1181.86
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 95210 0 0 0 118135 51 0 0 25 0 1 0 133093621 424919040 95022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 103740 95022 170 317 0 103419 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 414960

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1225736/2055920 swapFree=4130636/4192956
[pid=19616] ppid=19614 vsize=445232 CPUtime=1241.83
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 100925 0 0 0 124129 54 0 0 25 0 1 0 133093621 455917568 100737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 111308 100737 170 317 0 110987 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 445232

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19617
/proc/meminfo: memFree=1213064/2055920 swapFree=4130764/4192956
[pid=19616] ppid=19614 vsize=458296 CPUtime=1301.82
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 104076 0 0 0 130126 56 0 0 25 0 1 0 133093621 469295104 103888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 114574 103888 170 317 0 114253 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 458296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1198664/2055920 swapFree=4130764/4192956
[pid=19616] ppid=19614 vsize=472768 CPUtime=1361.79
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 107725 0 0 0 136122 57 0 0 25 0 1 0 133093621 484114432 107537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 118192 107537 170 317 0 117871 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 472768

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1186248/2055920 swapFree=4130892/4192956
[pid=19616] ppid=19614 vsize=485952 CPUtime=1421.77
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 110768 0 0 0 142118 59 0 0 25 0 1 0 133093621 497614848 110580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 121488 110580 170 317 0 121167 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 485952

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1174600/2055920 swapFree=4130892/4192956
[pid=19616] ppid=19614 vsize=497384 CPUtime=1481.75
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 113717 0 0 0 148114 61 0 0 25 0 1 0 133093621 509321216 113529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 124346 113529 170 317 0 124025 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 497384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1163208/2055920 swapFree=4130892/4192956
[pid=19616] ppid=19614 vsize=508720 CPUtime=1541.73
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 116525 0 0 0 154110 63 0 0 25 0 1 0 133093621 520929280 116337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 127180 116337 170 317 0 126859 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 508720

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1146568/2055920 swapFree=4130956/4192956
[pid=19616] ppid=19614 vsize=532676 CPUtime=1601.71
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 120756 0 0 0 160107 64 0 0 25 0 1 0 133093621 545460224 120568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 133169 120568 170 317 0 132848 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 532676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19619
/proc/meminfo: memFree=1131912/2055920 swapFree=4130956/4192956
[pid=19616] ppid=19614 vsize=546568 CPUtime=1661.68
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 124361 0 0 0 166102 66 0 0 25 0 1 0 133093621 559685632 124173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 136642 124173 170 317 0 136321 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 546568

[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/79 19619
/proc/meminfo: memFree=1120072/2055920 swapFree=4131020/4192956
[pid=19616] ppid=19614 vsize=559508 CPUtime=1721.66
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 127314 0 0 0 172098 68 0 0 25 0 1 0 133093621 572936192 127126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 139877 127126 170 317 0 139556 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 559508

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 19619
/proc/meminfo: memFree=1109768/2055920 swapFree=4131020/4192956
[pid=19616] ppid=19614 vsize=569488 CPUtime=1781.64
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 129864 0 0 0 178094 70 0 0 25 0 1 0 133093621 583155712 129676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 142372 129676 170 317 0 142051 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 569488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 19619
/proc/meminfo: memFree=1103944/2055920 swapFree=4131020/4192956
[pid=19616] ppid=19614 vsize=575364 CPUtime=1800.04
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194304 131294 0 0 0 179934 70 0 0 25 0 1 0 133093621 589172736 131106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 143841 131106 170 317 0 143520 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 575364

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.02 1.01 1.00 2/79 19619
/proc/meminfo: memFree=1103944/2055920 swapFree=4131020/4192956
[pid=19616] ppid=19614 vsize=0 CPUtime=1800.14
/proc/19616/stat : 19616 (oree) R 19614 19616 19033 0 -1 4194308 131311 0 0 0 179941 73 0 0 25 0 1 0 133093621 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19616/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.21
CPU user time (s): 1799.41
CPU system time (s): 0.794879
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 575364

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

runsolver used 1.84772 second user time and 4.71828 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue Apr 17 23:16:52 UTC 2007

IDJOB= 357021
IDBENCH= 1784
IDSOLVER= 172
FILE ID= node37/357021-1176851812

PBS_JOBID= 4590205

Free space on /tmp= 66462 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  485ca531ffda98d59a839bf46c37d61d

RANDOM SEED= 116973744

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1629664 kB
Buffers:         37344 kB
Cached:         303956 kB
SwapCached:       3256 kB
Active:         190288 kB
Inactive:       177224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1629664 kB
SwapTotal:     4192956 kB
SwapFree:      4129676 kB
Dirty:            1588 kB
Writeback:           0 kB
Mapped:          33316 kB
Slab:            44160 kB
Committed_AS:  1100644 kB
PageTables:       2000 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= 66462 MiB

End job on node37 on Tue Apr 17 23:46:55 UTC 2007