Trace number 362168

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.2 1802.69

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-air06.opb
MD5SUM56f4f4418400a86463858db6d507606d
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark65755
Best CPU time to get the best result obtained on this benchmark1800.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49649
Optimality of the best value was proved YES
Number of variables8627
Total number of constraints825
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)825
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
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.19/0.23	c ...done
0.19/0.23	c #vars=8627 #constraints=1651 hasObjective=yes
0.39/0.49	c res. mode=mod
0.39/0.49	c VSIDS like heuristics
0.39/0.49	c complete search running
0.49/0.53	c restart after 401 decisions
0.49/0.54	c nbDecision=500 #constraints=1652
0.49/0.56	c restart after 801 decisions
0.49/0.58	c nbDecision=1000 #constraints=1652
0.59/0.62	c nbDecision=1500 #constraints=1652
0.59/0.63	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=1652
0.69/0.70	c nbDecision=2500 #constraints=1652
0.69/0.74	c nbDecision=3000 #constraints=1652
0.69/0.75	c restart after 3201 decisions
0.69/0.78	c nbDecision=3500 #constraints=1652
0.79/0.82	c nbDecision=4000 #constraints=1652
0.79/0.86	c nbDecision=4500 #constraints=1652
0.89/0.90	c nbDecision=5000 #constraints=1652
0.89/0.94	c nbDecision=5500 #constraints=1652
0.89/0.97	c nbDecision=6000 #constraints=1652
0.89/1.00	c restart after 6401 decisions
1.00/1.02	c nbDecision=6500 #constraints=1652
1.00/1.06	c nbDecision=7000 #constraints=1652
1.00/1.10	c nbDecision=7500 #constraints=1652
1.10/1.13	c nbDecision=8000 #constraints=1652
1.10/1.17	c nbDecision=8500 #constraints=1652
1.19/1.21	c nbDecision=9000 #constraints=1652
1.19/1.24	c nbDecision=9500 #constraints=1652
1.19/1.28	c nbDecision=10000 #constraints=1653
1.29/1.31	c nbDecision=10500 #constraints=1654
1.29/1.36	c nbDecision=11000 #constraints=1659
1.29/1.40	c nbDecision=11500 #constraints=1660
1.69/1.75	c nbDecision=12000 #constraints=1743
1.99/2.07	c nbDecision=12500 #constraints=1785
2.29/2.40	c restart after 12801 decisions
2.39/2.45	c nbDecision=13000 #constraints=1832
2.39/2.49	c nbDecision=13500 #constraints=1832
2.49/2.54	c nbDecision=14000 #constraints=1832
2.49/2.57	c nbDecision=14500 #constraints=1832
2.59/2.61	c nbDecision=15000 #constraints=1832
2.59/2.65	c nbDecision=15500 #constraints=1832
2.59/2.68	c nbDecision=16000 #constraints=1832
2.69/2.72	c nbDecision=16500 #constraints=1832
2.69/2.76	c nbDecision=17000 #constraints=1832
2.79/2.86	c nbDecision=17500 #constraints=1839
3.19/3.30	c nbDecision=18000 #constraints=1884
3.48/3.58	c nbDecision=18500 #constraints=1917
4.49/4.59	c nbDecision=19000 #constraints=2025
4.88/4.94	c nbDecision=19500 #constraints=2075
5.50/5.50	c nbDecision=20000 #constraints=2107
6.89/6.96	c nbDecision=20500 #constraints=2206
10.49/10.55	c nbDecision=21000 #constraints=2421
12.08/12.16	c nbDecision=21500 #constraints=2500
12.18/12.28	c nbDecision=22000 #constraints=2512
12.28/12.37	c nbDecision=22500 #constraints=2522
12.58/12.62	c nbDecision=23000 #constraints=2554
13.39/13.45	c nbDecision=23500 #constraints=2664
14.08/14.15	c nbDecision=24000 #constraints=2745
15.29/15.31	c nbDecision=24500 #constraints=2852
17.28/17.32	c nbDecision=25000 #constraints=2956
19.48/19.58	c nbDecision=25500 #constraints=3046
19.48/19.59	c restart after 25601 decisions
19.88/19.97	c nbDecision=26000 #constraints=3046
19.98/20.05	c nbDecision=26500 #constraints=3046
20.08/20.14	c nbDecision=27000 #constraints=3046
20.18/20.23	c nbDecision=27500 #constraints=3046
20.18/20.28	c nbDecision=28000 #constraints=3046
20.28/20.33	c nbDecision=28500 #constraints=3046
20.38/20.40	c nbDecision=29000 #constraints=3046
20.38/20.47	c nbDecision=29500 #constraints=3046
20.48/20.58	c nbDecision=30000 #constraints=3046
20.78/20.88	c nbDecision=30500 #constraints=3076
21.78/21.89	c nbDecision=31000 #constraints=3155
23.98/24.09	c nbDecision=31500 #constraints=3285
25.48/25.54	c nbDecision=32000 #constraints=3355
28.58/28.61	c nbDecision=32500 #constraints=3464
32.88/32.93	c nbDecision=33000 #constraints=3608
37.68/37.77	c nbDecision=33500 #constraints=3735
39.49/39.54	c nbDecision=34000 #constraints=3814
42.08/42.17	c nbDecision=34500 #constraints=3921
45.37/45.46	c nbDecision=35000 #constraints=4025
55.17/55.21	c nbDecision=35500 #constraints=4224
61.97/62.05	c nbDecision=36000 #constraints=4372
64.57/64.61	c nbDecision=36500 #constraints=4475
76.37/76.46	c nbDecision=37000 #constraints=4667
87.16/87.28	c nbDecision=37500 #constraints=4845
92.87/92.93	c nbDecision=38000 #constraints=4966
97.17/97.24	c nbDecision=38500 #constraints=5077
110.96/111.07	c nbDecision=39000 #constraints=5247
116.16/116.27	c nbDecision=39500 #constraints=5377
120.65/120.71	c nbDecision=40000 #constraints=5470
128.05/128.14	c nbDecision=40500 #constraints=5614
139.45/139.55	c nbDecision=41000 #constraints=5780
159.75/159.85	c nbDecision=41500 #constraints=6011
176.34/176.41	c nbDecision=42000 #constraints=6180
198.43/198.52	c nbDecision=42500 #constraints=6470
224.53/224.66	c nbDecision=43000 #constraints=6759
233.33/233.41	c nbDecision=43500 #constraints=6854
241.32/241.43	c nbDecision=44000 #constraints=6971
251.72/251.80	c nbDecision=44500 #constraints=7093
264.82/264.97	c nbDecision=45000 #constraints=7231
271.01/271.15	c nbDecision=45500 #constraints=7311
278.32/278.44	c nbDecision=46000 #constraints=7382
292.41/292.55	c nbDecision=46500 #constraints=7523
315.00/315.16	c nbDecision=47000 #constraints=7698
341.80/341.90	c nbDecision=47500 #constraints=7913
379.79/379.98	c nbDecision=48000 #constraints=8192
388.29/388.49	c nbDecision=48500 #constraints=8277
407.58/407.77	c nbDecision=49000 #constraints=8424
427.98/428.13	c nbDecision=49500 #constraints=8582
450.47/450.69	c nbDecision=50000 #constraints=8744
508.26/508.49	c nbDecision=50500 #constraints=9092
556.24/556.49	c nbDecision=51000 #constraints=9414
564.24/564.42	c restart after 51201 decisions
572.44/572.68	c nbDecision=51500 #constraints=9466
573.44/573.64	c nbDecision=52000 #constraints=9466
574.64/574.84	c nbDecision=52500 #constraints=9466
575.34/575.56	c nbDecision=53000 #constraints=9466
576.64/576.89	c nbDecision=53500 #constraints=9466
577.14/577.31	c nbDecision=54000 #constraints=9466
577.74/577.92	c nbDecision=54500 #constraints=9466
578.84/579.05	c nbDecision=55000 #constraints=9466
580.54/580.71	c nbDecision=55500 #constraints=9466
622.92/623.11	c nbDecision=56000 #constraints=9716
645.31/645.50	c nbDecision=56500 #constraints=9853
654.11/654.35	c nbDecision=57000 #constraints=9952
660.61/660.86	c nbDecision=57500 #constraints=10030
680.31/680.52	c nbDecision=58000 #constraints=10180
697.40/697.66	c nbDecision=58500 #constraints=10308
711.40/711.63	c nbDecision=59000 #constraints=10406
723.80/724.07	c nbDecision=59500 #constraints=10514
753.09/753.35	c nbDecision=60000 #constraints=10710
792.58/792.80	c nbDecision=60500 #constraints=10925
833.77/834.00	c nbDecision=61000 #constraints=11155
861.55/861.88	c nbDecision=61500 #constraints=11295
890.05/890.33	c nbDecision=62000 #constraints=11468
904.25/904.53	c nbDecision=62500 #constraints=11560
946.74/947.01	c nbDecision=63000 #constraints=11766
976.13/976.41	c nbDecision=63500 #constraints=11948
1024.61/1024.93	c nbDecision=64000 #constraints=12196
1096.59/1096.94	c nbDecision=64500 #constraints=12497
1161.98/1162.32	c nbDecision=65000 #constraints=12779
1234.66/1235.01	c nbDecision=65500 #constraints=13085
1252.35/1252.75	c nbDecision=66000 #constraints=13171
1301.84/1302.27	c nbDecision=66500 #constraints=13427
1352.33/1352.70	c nbDecision=67000 #constraints=13682
1413.21/1413.66	c nbDecision=67500 #constraints=13894
1461.40/1461.85	c nbDecision=68000 #constraints=14120
1527.58/1528.02	c nbDecision=68500 #constraints=14398
1593.06/1593.58	c nbDecision=69000 #constraints=14721
1624.36/1624.84	c nbDecision=69500 #constraints=14880
1631.55/1632.05	c nbDecision=70000 #constraints=14921
1646.15/1646.67	c nbDecision=70500 #constraints=15025
1654.64/1655.10	c nbDecision=71000 #constraints=15103
1688.93/1689.40	c nbDecision=71500 #constraints=15263
1721.63/1722.19	c nbDecision=72000 #constraints=15417
1740.02/1740.54	c nbDecision=72500 #constraints=15504
1791.71/1792.22	c nbDecision=73000 #constraints=15711
1800.01/1800.50	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/node51/watcher-362168-1176845405 -o ROOT/results/node51/solver-362168-1176845405 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362168-1176845405/instance-362168-1176845405.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.91 0.97 0.99 3/64 2890
/proc/meminfo: memFree=1870432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1468 CPUtime=0
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 39385668 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 367 161 126 317 0 46 0

[startup+0.0495951 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2890
/proc/meminfo: memFree=1870432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=2540 CPUtime=0.04
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 455 0 0 0 4 0 0 0 18 0 1 0 39385668 2600960 404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 635 404 131 317 0 314 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2540

[startup+0.102598 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2890
/proc/meminfo: memFree=1870432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=4124 CPUtime=0.09
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 839 0 0 0 9 0 0 0 18 0 1 0 39385668 4222976 788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 1031 788 131 317 0 710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4124

[startup+0.301616 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2890
/proc/meminfo: memFree=1870432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=8964 CPUtime=0.29
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 2047 0 0 0 28 1 0 0 20 0 1 0 39385668 9179136 1996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 2241 1996 137 317 0 1920 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8964

[startup+0.702652 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 2890
/proc/meminfo: memFree=1870432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=10680 CPUtime=0.69
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 2489 0 0 0 67 2 0 0 23 0 1 0 39385668 10936320 2438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 2670 2438 139 317 0 2349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10680

[startup+1.50172 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1861208/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=11084 CPUtime=1.49
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 2561 0 0 0 147 2 0 0 25 0 1 0 39385668 11350016 2510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271369 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 2771 2510 139 317 0 2450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11084

[startup+3.10187 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1857816/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=16548 CPUtime=3.09
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 3881 0 0 0 307 2 0 0 25 0 1 0 39385668 16945152 3830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718674 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 4137 3830 139 317 0 3816 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16548

[startup+6.30115 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1846040/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=29848 CPUtime=6.29
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 6994 0 0 0 625 4 0 0 25 0 1 0 39385668 30564352 6943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530416 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 7462 6943 139 317 0 7141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29848

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1823448/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=52164 CPUtime=12.68
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 12196 0 0 0 1263 5 0 0 25 0 1 0 39385668 53415936 12145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 13041 12145 139 317 0 12720 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52164

[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1782360/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=95756 CPUtime=25.48
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 22251 0 0 0 2539 9 0 0 25 0 1 0 39385668 98054144 22200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 23939 22200 139 317 0 23618 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95756

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1723992/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=158196 CPUtime=51.08
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 36956 0 0 0 5092 16 0 0 25 0 1 0 39385668 161992704 36905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 39549 36905 139 317 0 39228 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158196

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1640984/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=247792 CPUtime=102.27
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 57375 0 0 0 10203 24 0 0 25 0 1 0 39385668 253739008 57321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 61948 57321 139 317 0 61627 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 247792

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1572504/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=321204 CPUtime=162.24
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 74569 0 0 0 16193 31 0 0 25 0 1 0 39385668 328912896 74515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 80301 74515 139 317 0 79980 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 321204

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1502360/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=410896 CPUtime=222.23
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 92054 0 0 0 22183 40 0 0 25 0 1 0 39385668 420757504 91943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 102724 91943 139 317 0 102403 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 410896

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1451544/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=473532 CPUtime=282.21
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 104882 0 0 0 28176 45 0 0 25 0 1 0 39385668 484896768 104771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 118383 104771 139 317 0 118062 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 473532

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1414424/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=511388 CPUtime=342.2
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 113966 0 0 0 34171 49 0 0 25 0 1 0 39385668 523661312 113855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 127847 113855 139 317 0 127526 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 511388

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1371544/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=562728 CPUtime=402.18
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 124706 0 0 0 40164 54 0 0 25 0 1 0 39385668 576233472 124594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 140682 124594 139 317 0 140361 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 562728

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1335576/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=602572 CPUtime=462.16
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 133628 0 0 0 46160 56 0 0 25 0 1 0 39385668 617033728 133516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 150643 133516 139 317 0 150322 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 602572

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1301208/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=643196 CPUtime=522.14
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 142284 0 0 0 52154 60 0 0 25 0 1 0 39385668 658632704 142172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 160799 142172 139 317 0 160478 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 643196

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1272600/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=675412 CPUtime=582.13
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 149370 0 0 0 58150 63 0 0 25 0 1 0 39385668 691621888 149258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 168853 149258 139 317 0 168532 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 675412

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1242136/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=706352 CPUtime=642.12
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 156856 0 0 0 64146 66 0 0 25 0 1 0 39385668 723304448 156744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 176588 156744 139 317 0 176267 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 706352


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

/proc/meminfo: memFree=1057752/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=939056 CPUtime=1002.02
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 202878 0 0 0 100116 86 0 0 25 0 1 0 39385668 961593344 202766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 234764 202766 139 317 0 234443 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 939056

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1033752/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=966692 CPUtime=1062.01
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 208883 0 0 0 106112 89 0 0 25 0 1 0 39385668 989892608 208771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 241673 208771 139 317 0 241352 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 966692

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=1012248/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=988244 CPUtime=1121.99
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 214279 0 0 0 112109 90 0 0 25 0 1 0 39385668 1011961856 214081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 247061 214081 139 317 0 246740 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 988244

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=984152/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1025948 CPUtime=1181.97
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 221386 0 0 0 118104 93 0 0 25 0 1 0 39385668 1050570752 221188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 256487 221188 139 317 0 256166 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1025948

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=963800/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1047980 CPUtime=1241.95
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 226415 0 0 0 124100 95 0 0 25 0 1 0 39385668 1073131520 226217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 261995 226217 139 317 0 261674 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1047980

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=931672/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1084848 CPUtime=1301.94
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 234351 0 0 0 130096 98 0 0 25 0 1 0 39385668 1110884352 234152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 271212 234152 139 317 0 270891 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1084848

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=906328/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1112276 CPUtime=1361.92
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 240713 0 0 0 136092 100 0 0 25 0 1 0 39385668 1138970624 240514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 278069 240514 139 317 0 277748 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1112276

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=885400/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1137368 CPUtime=1421.91
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 245907 0 0 0 142089 102 0 0 25 0 1 0 39385668 1164664832 245708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 284342 245708 139 317 0 284021 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1137368

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=859096/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1167792 CPUtime=1481.89
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 252573 0 0 0 148084 105 0 0 25 0 1 0 39385668 1195819008 252374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 291948 252374 139 317 0 291627 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1167792

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=833432/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1197428 CPUtime=1541.87
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 258909 0 0 0 154080 107 0 0 25 0 1 0 39385668 1226166272 258710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284649 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 299357 258710 139 317 0 299036 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1197428

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=803352/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1230188 CPUtime=1601.86
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 266481 0 0 0 160075 111 0 0 25 0 1 0 39385668 1259712512 266282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 307547 266282 139 317 0 307226 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1230188

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=776792/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1256660 CPUtime=1661.84
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 273058 0 0 0 166071 113 0 0 25 0 1 0 39385668 1286819840 272859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 314165 272859 139 317 0 313844 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1256660

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=760472/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1272364 CPUtime=1721.83
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 277084 0 0 0 172067 116 0 0 25 0 1 0 39385668 1302900736 276885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 318091 276885 139 317 0 317770 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1272364

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=745240/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1287492 CPUtime=1781.81
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 280919 0 0 0 178064 117 0 0 25 0 1 0 39385668 1318391808 280720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 321873 280720 139 317 0 321552 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1287492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2891
/proc/meminfo: memFree=738520/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1293820 CPUtime=1800.01
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 282515 0 0 0 179883 118 0 0 25 0 1 0 39385668 1324871680 282316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 323455 282316 139 317 0 323134 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1293820

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/66 2892
/proc/meminfo: memFree=738512/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1293968 CPUtime=1800.91
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 282552 0 0 0 179973 118 0 0 25 0 1 0 39385668 1325023232 282353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 323492 282353 139 317 0 323171 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1293968

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2892
/proc/meminfo: memFree=738320/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=1294104 CPUtime=1801.71
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4194304 282586 0 0 0 180053 118 0 0 25 0 1 0 39385668 1325162496 282387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 323526 282387 139 317 0 323205 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1294104

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2892
/proc/meminfo: memFree=738320/2055920 swapFree=4178808/4192956
[pid=2890] ppid=2888 vsize=0 CPUtime=1802.1
/proc/2890/stat : 2890 (oree) R 2888 2890 1956 0 -1 4195332 282595 0 0 0 180083 127 0 0 25 0 1 0 39385668 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.2
CPU user time (s): 1800.84
CPU system time (s): 1.36679
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1294104

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

runsolver used 1.15482 second user time and 3.78342 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue Apr 17 21:30:05 UTC 2007

IDJOB= 362168
IDBENCH= 1516
IDSOLVER= 172
FILE ID= node51/362168-1176845405

PBS_JOBID= 4590154

Free space on /tmp= 66474 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
COMMAND LINE= oree /tmp/evaluation/362168-1176845405/instance-362168-1176845405.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-362168-1176845405 -o ROOT/results/node51/solver-362168-1176845405 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362168-1176845405/instance-362168-1176845405.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  56f4f4418400a86463858db6d507606d

RANDOM SEED= 905870695

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1870904 kB
Buffers:         16784 kB
Cached:         123360 kB
SwapCached:       8368 kB
Active:          83904 kB
Inactive:        70452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870904 kB
SwapTotal:     4192956 kB
SwapFree:      4178808 kB
Dirty:            2012 kB
Writeback:           0 kB
Mapped:          15296 kB
Slab:            16728 kB
Committed_AS:  2540864 kB
PageTables:       1408 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= 66474 MiB

End job on node51 on Tue Apr 17 22:00:08 UTC 2007