Trace number 362790

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.33 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb
MD5SUMba85c504e75c36f184b41f40c4eddd0f
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 benchmark9.71252
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8460
Total number of constraints216
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 constraints216
Minimum length of a constraint30
Maximum length of a constraint3210
Number of terms in the objective function 5160
Biggest coefficient in the objective function 17864
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 528383
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 528383
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.19/0.24	c ...done
0.19/0.24	c #vars=8460 #constraints=250 hasObjective=yes
0.39/0.47	c res. mode=mod
0.39/0.47	c VSIDS like heuristics
0.39/0.47	c complete search running
0.59/0.60	c restart after 401 decisions
0.59/0.61	c nbDecision=500 #constraints=355
0.79/0.85	c restart after 801 decisions
0.89/0.93	c nbDecision=1000 #constraints=644
1.29/1.40	c nbDecision=1500 #constraints=1005
1.39/1.44	c restart after 1601 decisions
1.59/1.65	c nbDecision=2000 #constraints=1229
1.99/2.06	c nbDecision=2500 #constraints=1729
2.69/2.79	c nbDecision=3000 #constraints=2210
2.89/2.98	c restart after 3201 decisions
3.39/3.43	c nbDecision=3500 #constraints=2563
4.69/4.75	c nbDecision=4000 #constraints=3001
6.29/6.36	c nbDecision=4500 #constraints=3433
8.19/8.21	c nbDecision=5000 #constraints=3854
10.69/10.72	c nbDecision=5500 #constraints=4298
13.09/13.15	c nbDecision=6000 #constraints=4740
15.49/15.52	c restart after 6401 decisions
15.49/15.55	c nbDecision=6500 #constraints=5108
18.88/18.96	c nbDecision=7000 #constraints=5461
22.68/22.73	c nbDecision=7500 #constraints=5824
27.59/27.61	c nbDecision=8000 #constraints=6225
32.98/33.06	c nbDecision=8500 #constraints=6650
38.08/38.10	c nbDecision=9000 #constraints=7107
43.28/43.32	c nbDecision=9500 #constraints=7563
49.08/49.12	c nbDecision=10000 #constraints=8019
55.67/55.79	c nbDecision=10500 #constraints=8464
62.87/62.94	c nbDecision=11000 #constraints=8917
69.37/69.41	c nbDecision=11500 #constraints=9372
74.86/74.97	c nbDecision=12000 #constraints=9839
81.16/81.27	c nbDecision=12500 #constraints=10311
85.87/85.94	c restart after 12801 decisions
86.37/86.40	c nbDecision=13000 #constraints=10655
87.76/87.86	c nbDecision=13500 #constraints=11153
89.57/89.68	c nbDecision=14000 #constraints=11655
92.16/92.24	c nbDecision=14500 #constraints=12155
94.97/95.04	c nbDecision=15000 #constraints=12656
97.87/97.91	c nbDecision=15500 #constraints=13148
100.86/100.92	c nbDecision=16000 #constraints=13644
105.66/105.74	c nbDecision=16500 #constraints=14140
111.26/111.34	c nbDecision=17000 #constraints=14639
116.46/116.53	c nbDecision=17500 #constraints=15136
122.75/122.85	c nbDecision=18000 #constraints=15636
130.15/130.29	c nbDecision=18500 #constraints=16129
137.95/138.00	c nbDecision=19000 #constraints=16632
146.64/146.71	c nbDecision=19500 #constraints=17130
155.15/155.29	c nbDecision=20000 #constraints=17622
163.44/163.54	c nbDecision=20500 #constraints=18120
172.74/172.84	c nbDecision=21000 #constraints=18621
182.14/182.21	c nbDecision=21500 #constraints=19115
191.14/191.29	c nbDecision=22000 #constraints=19603
199.54/199.68	c nbDecision=22500 #constraints=20088
207.83/207.99	c nbDecision=23000 #constraints=20575
220.03/220.16	c nbDecision=23500 #constraints=21070
238.53/238.63	c nbDecision=24000 #constraints=21565
253.12/253.20	c nbDecision=24500 #constraints=22064
271.31/271.46	c nbDecision=25000 #constraints=22561
288.01/288.14	c nbDecision=25500 #constraints=23052
291.11/291.27	c restart after 25601 decisions
292.41/292.56	c nbDecision=26000 #constraints=23336
293.21/293.31	c nbDecision=26500 #constraints=23822
294.50/294.64	c nbDecision=27000 #constraints=24293
295.40/295.56	c nbDecision=27500 #constraints=24787
296.40/296.55	c nbDecision=28000 #constraints=25282
297.50/297.63	c nbDecision=28500 #constraints=25772
298.61/298.76	c nbDecision=29000 #constraints=26267
299.80/299.97	c nbDecision=29500 #constraints=26755
301.10/301.27	c nbDecision=30000 #constraints=27252
302.50/302.69	c nbDecision=30500 #constraints=27749
304.11/304.21	c nbDecision=31000 #constraints=28245
305.70/305.88	c nbDecision=31500 #constraints=28741
307.70/307.84	c nbDecision=32000 #constraints=29236
309.60/309.79	c nbDecision=32500 #constraints=29734
311.80/311.92	c nbDecision=33000 #constraints=30234
313.90/314.09	c nbDecision=33500 #constraints=30733
316.40/316.56	c nbDecision=34000 #constraints=31234
318.80/318.99	c nbDecision=34500 #constraints=31733
323.40/323.59	c nbDecision=35000 #constraints=32174
327.99/328.18	c nbDecision=35500 #constraints=32640
332.79/332.91	c nbDecision=36000 #constraints=33095
336.59/336.73	c nbDecision=36500 #constraints=33560
340.59/340.71	c nbDecision=37000 #constraints=34055
345.79/345.92	c nbDecision=37500 #constraints=34527
351.59/351.72	c nbDecision=38000 #constraints=35000
355.19/355.33	c nbDecision=38500 #constraints=35500
362.78/362.93	c nbDecision=39000 #constraints=35979
369.39/369.54	c nbDecision=39500 #constraints=36469
375.08/375.25	c nbDecision=40000 #constraints=36952
379.08/379.28	c nbDecision=40500 #constraints=37441
388.78/388.96	c nbDecision=41000 #constraints=37905
400.38/400.52	c nbDecision=41500 #constraints=38368
408.07/408.28	c nbDecision=42000 #constraints=38847
412.47/412.64	c nbDecision=42500 #constraints=39340
418.87/419.00	c nbDecision=43000 #constraints=39831
435.26/435.46	c nbDecision=43500 #constraints=40287
439.96/440.17	c nbDecision=44000 #constraints=40777
445.07/445.25	c nbDecision=44500 #constraints=41274
450.46/450.65	c nbDecision=45000 #constraints=41772
458.66/458.89	c nbDecision=45500 #constraints=42249
464.76/464.95	c nbDecision=46000 #constraints=42724
479.25/479.45	c nbDecision=46500 #constraints=43205
484.75/484.98	c nbDecision=47000 #constraints=43702
495.25/495.45	c nbDecision=47500 #constraints=44177
509.24/509.49	c nbDecision=48000 #constraints=44663
532.54/532.75	c nbDecision=48500 #constraints=45150
539.14/539.36	c nbDecision=49000 #constraints=45633
562.63/562.83	c nbDecision=49500 #constraints=46112
577.82/578.09	c nbDecision=50000 #constraints=46587
597.32/597.52	c nbDecision=50500 #constraints=47058
614.61/614.87	c nbDecision=51000 #constraints=47554
618.21/618.42	c restart after 51201 decisions
624.21/624.42	c nbDecision=51500 #constraints=47889
655.40/655.68	c nbDecision=52000 #constraints=48332
670.80/671.06	c nbDecision=52500 #constraints=48801
682.60/682.88	c nbDecision=53000 #constraints=49293
690.29/690.50	c nbDecision=53500 #constraints=49788
698.29/698.52	c nbDecision=54000 #constraints=50282
727.58/727.83	c nbDecision=54500 #constraints=50764
739.08/739.32	c nbDecision=55000 #constraints=51256
764.67/764.97	c nbDecision=55500 #constraints=51717
803.16/803.45	c nbDecision=56000 #constraints=52198
839.85/840.14	c nbDecision=56500 #constraints=52675
888.54/888.86	c nbDecision=57000 #constraints=53148
912.02/912.35	c nbDecision=57500 #constraints=53644
945.62/945.92	c nbDecision=58000 #constraints=54137
958.71/959.08	c nbDecision=58500 #constraints=54633
974.11/974.43	c nbDecision=59000 #constraints=55126
986.50/986.87	c nbDecision=59500 #constraints=55623
996.90/997.21	c nbDecision=60000 #constraints=56123
1007.70/1008.06	c nbDecision=60500 #constraints=56623
1018.60/1018.94	c nbDecision=61000 #constraints=57123
1029.99/1030.37	c nbDecision=61500 #constraints=57623
1042.29/1042.62	c nbDecision=62000 #constraints=58121
1054.49/1054.90	c nbDecision=62500 #constraints=58619
1080.08/1080.43	c nbDecision=63000 #constraints=59104
1109.97/1110.31	c nbDecision=63500 #constraints=59595
1148.26/1148.62	c nbDecision=64000 #constraints=60076
1202.54/1202.93	c nbDecision=64500 #constraints=60566
1229.34/1229.72	c nbDecision=65000 #constraints=61038
1282.92/1283.38	c nbDecision=65500 #constraints=61530
1338.40/1338.81	c nbDecision=66000 #constraints=62019
1379.19/1379.68	c nbDecision=66500 #constraints=62495
1398.69/1399.19	c nbDecision=67000 #constraints=62983
1420.38/1420.84	c nbDecision=67500 #constraints=63479
1480.36/1480.87	c nbDecision=68000 #constraints=63969
1532.15/1532.68	c nbDecision=68500 #constraints=64447
1569.03/1569.59	c nbDecision=69000 #constraints=64939
1595.73/1596.26	c nbDecision=69500 #constraints=65406
1620.12/1620.60	c nbDecision=70000 #constraints=65904
1638.72/1639.23	c nbDecision=70500 #constraints=66403
1654.51/1655.09	c nbDecision=71000 #constraints=66901
1670.01/1670.55	c nbDecision=71500 #constraints=67394
1688.01/1688.57	c nbDecision=72000 #constraints=67890
1705.00/1705.58	c nbDecision=72500 #constraints=68389
1744.09/1744.62	c nbDecision=73000 #constraints=68872
1800.08/1800.60	Received signal 15
1800.18/1800.76	
1800.18/1800.76	s UNKNOWN
1800.18/1800.76	
1800.18/1800.76	c user time= 1799.55 s
1800.18/1800.76	c system time= 0.701893 s
1800.18/1800.76	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/node71/watcher-362790-1176848546 -o ROOT/results/node71/solver-362790-1176848546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362790-1176848546/instance-362790-1176848546.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.98 0.99 3/64 18113
/proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=1620 CPUtime=0
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160843947 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 405 168 126 317 0 84 0

[startup+0.094632 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18113
/proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=3132 CPUtime=0.08
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 575 0 0 0 8 0 0 0 18 0 1 0 160843947 3207168 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 783 557 131 317 0 462 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3132

[startup+0.101631 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18113
/proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=3268 CPUtime=0.09
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 604 0 0 0 9 0 0 0 18 0 1 0 160843947 3346432 586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 817 586 131 317 0 496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3268

[startup+0.301659 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18113
/proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=6840 CPUtime=0.29
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 1424 0 0 0 29 0 0 0 19 0 1 0 160843947 7004160 1406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 1710 1406 137 317 0 1389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6840

[startup+0.701713 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18113
/proc/meminfo: memFree=1797384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=8796 CPUtime=0.69
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 1952 0 0 0 68 1 0 0 22 0 1 0 160843947 9007104 1934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 2199 1934 170 317 0 1878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8796

[startup+1.50182 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1789056/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=12728 CPUtime=1.49
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 2931 0 0 0 148 1 0 0 25 0 1 0 160843947 13033472 2913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 3182 2913 170 317 0 2861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12728

[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1784384/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=16960 CPUtime=3.09
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 3982 0 0 0 308 1 0 0 25 0 1 0 160843947 17367040 3964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530463 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 4240 3964 170 317 0 3919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16960

[startup+6.30148 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1777792/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=21996 CPUtime=6.29
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 5249 0 0 0 626 3 0 0 25 0 1 0 160843947 22523904 5231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 5499 5231 170 317 0 5178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21996

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1770432/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=29200 CPUtime=12.68
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 6965 0 0 0 1264 4 0 0 25 0 1 0 160843947 29900800 6947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 7300 6947 170 317 0 6979 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29200

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1762048/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=38348 CPUtime=25.48
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 8940 0 0 0 2542 6 0 0 25 0 1 0 160843947 39268352 8922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 9587 8922 170 317 0 9266 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38348

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1751936/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=47828 CPUtime=51.08
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 11494 0 0 0 5098 10 0 0 25 0 1 0 160843947 48975872 11476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 11957 11476 170 317 0 11636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47828

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1713920/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=87300 CPUtime=102.26
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 21004 0 0 0 10211 15 0 0 25 0 1 0 160843947 89395200 20928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 21825 20928 170 317 0 21504 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 87300

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1683712/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=116936 CPUtime=162.24
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 28701 0 0 0 16204 20 0 0 25 0 1 0 160843947 119742464 28510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 29234 28510 170 317 0 28913 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 116936

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1657792/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=150820 CPUtime=222.23
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 36978 0 0 0 22197 26 0 0 25 0 1 0 160843947 154439680 34906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 37705 34906 170 317 0 37384 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150820

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1644992/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=162624 CPUtime=282.21
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 40338 0 0 0 28192 29 0 0 25 0 1 0 160843947 166526976 38134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604205 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 40656 38134 170 317 0 40335 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 162624

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1605376/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=203328 CPUtime=342.19
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 50445 0 0 0 34185 34 0 0 25 0 1 0 160843947 208207872 47981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 50832 47981 170 317 0 50511 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 203328

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1581120/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=228528 CPUtime=402.18
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 56519 0 0 0 40180 38 0 0 25 0 1 0 160843947 234012672 54055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 57132 54055 170 317 0 56811 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 228528

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1564544/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=245452 CPUtime=462.15
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 60937 0 0 0 46175 40 0 0 25 0 1 0 160843947 251342848 58143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 61363 58143 170 317 0 61042 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 245452

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1549184/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=261616 CPUtime=522.14
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 64805 0 0 0 52172 42 0 0 25 0 1 0 160843947 267894784 62011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 65404 62011 170 317 0 65083 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 261616

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1535104/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=276784 CPUtime=582.13
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 68329 0 0 0 58168 45 0 0 25 0 1 0 160843947 283426816 65502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 69196 65502 170 317 0 68875 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 276784

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1519872/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=292316 CPUtime=642.11
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 72136 0 0 0 64164 47 0 0 25 0 1 0 160843947 299331584 69276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 73079 69276 170 317 0 72758 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 292316


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1478656/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=330348 CPUtime=882.04
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 82457 0 0 0 88151 53 0 0 25 0 1 0 160843947 338276352 79564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 82587 79564 170 317 0 82266 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 330348

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1465920/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=345880 CPUtime=942.02
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 85669 0 0 0 94147 55 0 0 25 0 1 0 160843947 354181120 82776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 86470 82776 170 317 0 86149 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 345880

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1455104/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=361524 CPUtime=1002
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 89231 0 0 0 100143 57 0 0 25 0 1 0 160843947 370200576 85428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 90381 85428 170 317 0 90060 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 361524

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18114
/proc/meminfo: memFree=1446528/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=370524 CPUtime=1061.99
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 91434 0 0 0 106141 58 0 0 25 0 1 0 160843947 379416576 87598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 92631 87598 170 317 0 92310 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 370524

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1436160/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=384112 CPUtime=1121.97
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 93987 0 0 0 112138 59 0 0 25 0 1 0 160843947 393330688 90151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 96028 90151 170 317 0 95707 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 384112

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1429312/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=390480 CPUtime=1181.95
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 95706 0 0 0 118135 60 0 0 25 0 1 0 160843947 399851520 91870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 97620 91870 170 317 0 97299 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 390480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1421184/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=400536 CPUtime=1241.93
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 97735 0 0 0 124132 61 0 0 25 0 1 0 160843947 410148864 93899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 100134 93899 170 317 0 99813 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 400536

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1413952/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=407176 CPUtime=1301.92
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 99519 0 0 0 130129 63 0 0 25 0 1 0 160843947 416948224 95683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 101794 95683 170 317 0 101473 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 407176

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1406336/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=414152 CPUtime=1361.9
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 101434 0 0 0 136126 64 0 0 25 0 1 0 160843947 424091648 97598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 103538 97598 170 317 0 103217 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 414152

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1400064/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=419788 CPUtime=1421.88
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 102980 0 0 0 142124 64 0 0 25 0 1 0 160843947 429862912 99144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 104947 99144 170 317 0 104626 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 419788

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1393408/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=425932 CPUtime=1481.86
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 104659 0 0 0 148121 65 0 0 25 0 1 0 160843947 436154368 100823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 106483 100823 170 317 0 106162 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 425932

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1386368/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=432152 CPUtime=1541.84
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 106429 0 0 0 154118 66 0 0 25 0 1 0 160843947 442523648 102560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 108038 102560 170 317 0 107717 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 432152

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1379712/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=439324 CPUtime=1601.83
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 108194 0 0 0 160116 67 0 0 25 0 1 0 160843947 449867776 104227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 109831 104227 170 317 0 109510 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 439324

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1372928/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=447404 CPUtime=1661.81
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 110363 0 0 0 166113 68 0 0 25 0 1 0 160843947 458141696 105911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 111851 105911 170 317 0 111530 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 447404

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1366400/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=453372 CPUtime=1721.79
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 112019 0 0 0 172111 68 0 0 25 0 1 0 160843947 464252928 107567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 113343 107567 170 317 0 113022 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 453372

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1360128/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=458884 CPUtime=1781.78
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 113555 0 0 0 178108 70 0 0 25 0 1 0 160843947 469897216 109103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 114721 109103 170 317 0 114400 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 458884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1357952/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=460700 CPUtime=1800.08
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194304 114085 0 0 0 179938 70 0 0 25 0 1 0 160843947 471756800 109633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 115175 109633 170 317 0 114854 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 460700

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18116
/proc/meminfo: memFree=1357952/2055920 swapFree=4184232/4192956
[pid=18113] ppid=18111 vsize=0 CPUtime=1800.27
/proc/18113/stat : 18113 (oree) R 18111 18113 17243 0 -1 4194308 114107 0 0 0 179955 72 0 0 25 0 1 0 160843947 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18113/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.33
CPU user time (s): 1799.56
CPU system time (s): 0.771882
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 460700

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

runsolver used 1.27381 second user time and 3.66544 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue Apr 17 22:22:26 UTC 2007

IDJOB= 362790
IDBENCH= 1646
IDSOLVER= 172
FILE ID= node71/362790-1176848546

PBS_JOBID= 4590177

Free space on /tmp= 66501 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ba85c504e75c36f184b41f40c4eddd0f

RANDOM SEED= 667707865

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1797792 kB
Buffers:         19976 kB
Cached:         174384 kB
SwapCached:       2772 kB
Active:          55640 kB
Inactive:       148484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797792 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          15788 kB
Slab:            39944 kB
Committed_AS:  2502448 kB
PageTables:       1448 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= 66501 MiB

End job on node71 on Tue Apr 17 22:52:29 UTC 2007