Trace number 362776

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.18 1800.67

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-stair.opb
MD5SUM98b9ab286036da69f2015d2ff2a12818
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 benchmark18.3192
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
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 constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
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 524317
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 524930
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.23	c ...done
0.19/0.23	c #vars=11454 #constraints=572 hasObjective=yes
0.19/0.27	c res. mode=mod
0.19/0.27	c VSIDS like heuristics
0.19/0.27	c complete search running
0.39/0.45	c restart after 401 decisions
0.39/0.49	c nbDecision=500 #constraints=589
0.59/0.69	c restart after 801 decisions
0.69/0.77	c nbDecision=1000 #constraints=638
1.49/1.51	c nbDecision=1500 #constraints=819
1.79/1.88	c restart after 1601 decisions
2.09/2.19	c nbDecision=2000 #constraints=967
3.29/3.38	c nbDecision=2500 #constraints=1257
4.49/4.51	c nbDecision=3000 #constraints=1642
4.88/4.97	c restart after 3201 decisions
5.08/5.17	c nbDecision=3500 #constraints=1864
6.29/6.39	c nbDecision=4000 #constraints=2191
6.98/7.01	c nbDecision=4500 #constraints=2327
8.19/8.28	c nbDecision=5000 #constraints=2595
10.29/10.37	c nbDecision=5500 #constraints=2982
12.79/12.90	c nbDecision=6000 #constraints=3436
14.79/14.81	c restart after 6401 decisions
14.89/14.95	c nbDecision=6500 #constraints=3789
16.09/16.11	c nbDecision=7000 #constraints=3917
17.09/17.10	c nbDecision=7500 #constraints=4194
19.58/19.67	c nbDecision=8000 #constraints=4595
26.58/26.64	c nbDecision=8500 #constraints=5092
34.27/34.31	c nbDecision=9000 #constraints=5586
42.17/42.27	c nbDecision=9500 #constraints=6041
51.07/51.12	c nbDecision=10000 #constraints=6512
60.67/60.72	c nbDecision=10500 #constraints=6977
71.07/71.15	c nbDecision=11000 #constraints=7430
83.17/83.27	c nbDecision=11500 #constraints=7924
95.46/95.51	c nbDecision=12000 #constraints=8386
104.06/104.11	c nbDecision=12500 #constraints=8811
107.35/107.43	c restart after 12801 decisions
108.36/108.41	c nbDecision=13000 #constraints=9121
117.76/117.85	c nbDecision=13500 #constraints=9336
120.45/120.53	c nbDecision=14000 #constraints=9602
124.35/124.44	c nbDecision=14500 #constraints=10027
127.56/127.61	c nbDecision=15000 #constraints=10477
130.86/130.92	c nbDecision=15500 #constraints=10927
134.35/134.45	c nbDecision=16000 #constraints=11365
138.05/138.18	c nbDecision=16500 #constraints=11802
142.25/142.33	c nbDecision=17000 #constraints=12259
146.55/146.65	c nbDecision=17500 #constraints=12706
151.24/151.35	c nbDecision=18000 #constraints=13171
156.25/156.32	c nbDecision=18500 #constraints=13614
161.65/161.77	c nbDecision=19000 #constraints=14064
167.65/167.76	c nbDecision=19500 #constraints=14532
173.74/173.83	c nbDecision=20000 #constraints=14987
180.54/180.66	c nbDecision=20500 #constraints=15443
187.54/187.60	c nbDecision=21000 #constraints=15906
194.84/194.90	c nbDecision=21500 #constraints=16371
202.43/202.51	c nbDecision=22000 #constraints=16831
210.44/210.58	c nbDecision=22500 #constraints=17311
216.73/216.86	c nbDecision=23000 #constraints=17730
237.32/237.45	c nbDecision=23500 #constraints=18002
262.92/263.02	c nbDecision=24000 #constraints=18376
287.71/287.83	c nbDecision=24500 #constraints=18760
315.91/316.04	c nbDecision=25000 #constraints=19171
341.80/341.97	c nbDecision=25500 #constraints=19569
347.70/347.84	c restart after 25601 decisions
354.40/354.54	c nbDecision=26000 #constraints=19752
367.29/367.44	c nbDecision=26500 #constraints=20109
376.29/376.41	c nbDecision=27000 #constraints=20558
385.78/385.97	c nbDecision=27500 #constraints=21018
395.88/396.06	c nbDecision=28000 #constraints=21483
406.38/406.55	c nbDecision=28500 #constraints=21944
416.57/416.75	c nbDecision=29000 #constraints=22386
427.38/427.59	c nbDecision=29500 #constraints=22837
439.37/439.58	c nbDecision=30000 #constraints=23291
450.96/451.11	c nbDecision=30500 #constraints=23740
466.46/466.65	c nbDecision=31000 #constraints=24197
478.36/478.52	c nbDecision=31500 #constraints=24473
501.76/501.93	c nbDecision=32000 #constraints=24867
525.85/526.01	c nbDecision=32500 #constraints=25337
553.04/553.26	c nbDecision=33000 #constraints=25806
581.73/581.90	c nbDecision=33500 #constraints=26285
610.02/610.21	c nbDecision=34000 #constraints=26749
626.32/626.51	c nbDecision=34500 #constraints=27186
639.01/639.27	c nbDecision=35000 #constraints=27639
651.41/651.60	c nbDecision=35500 #constraints=28090
665.31/665.51	c nbDecision=36000 #constraints=28538
678.31/678.55	c nbDecision=36500 #constraints=28989
692.50/692.71	c nbDecision=37000 #constraints=29432
705.90/706.15	c nbDecision=37500 #constraints=29887
717.89/718.19	c nbDecision=38000 #constraints=30346
730.38/730.67	c nbDecision=38500 #constraints=30796
743.49/743.75	c nbDecision=39000 #constraints=31256
756.78/757.09	c nbDecision=39500 #constraints=31729
771.27/771.50	c nbDecision=40000 #constraints=32185
786.27/786.59	c nbDecision=40500 #constraints=32646
801.97/802.22	c nbDecision=41000 #constraints=33109
818.07/818.40	c nbDecision=41500 #constraints=33580
834.56/834.81	c nbDecision=42000 #constraints=34053
864.95/865.26	c nbDecision=42500 #constraints=34511
888.85/889.13	c nbDecision=43000 #constraints=34955
914.44/914.72	c nbDecision=43500 #constraints=35379
942.53/942.84	c nbDecision=44000 #constraints=35786
973.52/973.87	c nbDecision=44500 #constraints=36235
1003.51/1003.83	c nbDecision=45000 #constraints=36621
1041.50/1041.86	c nbDecision=45500 #constraints=37007
1061.20/1061.57	c nbDecision=46000 #constraints=37237
1111.18/1111.56	c nbDecision=46500 #constraints=37607
1141.68/1142.04	c nbDecision=47000 #constraints=38041
1173.37/1173.75	c nbDecision=47500 #constraints=38484
1210.36/1210.72	c nbDecision=48000 #constraints=38936
1243.85/1244.26	c nbDecision=48500 #constraints=39401
1277.24/1277.69	c nbDecision=49000 #constraints=39856
1311.13/1311.50	c nbDecision=49500 #constraints=40316
1346.12/1346.53	c nbDecision=50000 #constraints=40789
1384.81/1385.29	c nbDecision=50500 #constraints=41200
1427.60/1428.02	c nbDecision=51000 #constraints=41602
1448.10/1448.56	c restart after 51201 decisions
1452.70/1453.14	c nbDecision=51500 #constraints=41821
1495.58/1496.09	c nbDecision=52000 #constraints=42120
1513.98/1514.45	c nbDecision=52500 #constraints=42342
1550.77/1551.26	c nbDecision=53000 #constraints=42705
1625.85/1626.33	c nbDecision=53500 #constraints=43115
1700.53/1701.00	c nbDecision=54000 #constraints=43536
1772.90/1773.40	c nbDecision=54500 #constraints=43956
1800.00/1800.50	Received signal 15
1800.00/1800.60	
1800.00/1800.60	s UNKNOWN
1800.00/1800.60	
1800.00/1800.60	c user time= 1799.5 s
1800.00/1800.60	c system time= 0.613906 s
1800.00/1800.60	c wall clock time=1800.6

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/node61/watcher-362776-1176848340 -o ROOT/results/node61/solver-362776-1176848340 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362776-1176848340/instance-362776-1176848340.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.95 0.95 3/64 12174
/proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=1468 CPUtime=0
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 96797628 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 367 164 131 317 0 46 0

[startup+0.0779409 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12174
/proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=2684 CPUtime=0.07
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 490 0 0 0 7 0 0 0 18 0 1 0 96797628 2748416 472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 671 472 131 317 0 350 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2684

[startup+0.101942 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12174
/proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=3216 CPUtime=0.1
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 603 0 0 0 10 0 0 0 18 0 1 0 96797628 3293184 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 804 585 131 317 0 483 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3216

[startup+0.301961 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12174
/proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=8376 CPUtime=0.29
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 1887 0 0 0 29 0 0 0 19 0 1 0 96797628 8577024 1869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 2094 1869 139 317 0 1773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8376

[startup+0.701999 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 12174
/proc/meminfo: memFree=1802936/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=8640 CPUtime=0.69
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 1958 0 0 0 69 0 0 0 22 0 1 0 96797628 8847360 1940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 2160 1940 139 317 0 1839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8640

[startup+1.50107 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 12175
/proc/meminfo: memFree=1795120/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=10468 CPUtime=1.49
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 2450 0 0 0 149 0 0 0 25 0 1 0 96797628 10719232 2432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 2617 2432 170 317 0 2296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10468

[startup+3.10123 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 12175
/proc/meminfo: memFree=1792304/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=14656 CPUtime=3.09
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 3498 0 0 0 308 1 0 0 25 0 1 0 96797628 15007744 3480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 3664 3480 170 317 0 3343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14656

[startup+6.30153 s]
/proc/loadavg: 0.92 0.95 0.95 2/65 12175
/proc/meminfo: memFree=1782576/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=23592 CPUtime=6.29
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 5720 0 0 0 627 2 0 0 25 0 1 0 96797628 24158208 5702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 5898 5702 170 317 0 5577 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23592

[startup+12.7011 s]
/proc/loadavg: 0.93 0.95 0.95 2/65 12175
/proc/meminfo: memFree=1771384/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=34816 CPUtime=12.69
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 8339 0 0 0 1265 4 0 0 25 0 1 0 96797628 35651584 8321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 8704 8321 170 317 0 8383 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34816

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.95 2/65 12175
/proc/meminfo: memFree=1757176/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=48032 CPUtime=25.48
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 11601 0 0 0 2542 6 0 0 25 0 1 0 96797628 49184768 11583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 12008 11583 170 317 0 11687 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48032

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.95 2/65 12175
/proc/meminfo: memFree=1742840/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=63340 CPUtime=51.07
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 15194 0 0 0 5098 9 0 0 25 0 1 0 96797628 64860160 15176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 15835 15176 170 317 0 15514 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63340

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.95 2/65 12175
/proc/meminfo: memFree=1722168/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=84332 CPUtime=102.27
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 20350 0 0 0 10214 13 0 0 25 0 1 0 96797628 86355968 20275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 21083 20275 170 317 0 20762 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84332

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12175
/proc/meminfo: memFree=1681336/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=128220 CPUtime=162.24
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 30602 0 0 0 16205 19 0 0 25 0 1 0 96797628 131297280 30527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 32055 30527 170 317 0 31734 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 128220

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12175
/proc/meminfo: memFree=1654392/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=153868 CPUtime=222.23
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 37346 0 0 0 22200 23 0 0 25 0 1 0 96797628 157560832 37158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 38467 37158 170 317 0 38146 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 153868

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12175
/proc/meminfo: memFree=1646136/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=163668 CPUtime=282.22
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 39694 0 0 0 28197 25 0 0 25 0 1 0 96797628 167596032 39242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 40917 39242 170 317 0 40596 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 163668

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12175
/proc/meminfo: memFree=1637112/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=177260 CPUtime=342.2
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 42642 0 0 0 34193 27 0 0 25 0 1 0 96797628 181514240 41464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 44315 41464 170 317 0 43994 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 177260

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12175
/proc/meminfo: memFree=1623928/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=190136 CPUtime=402.18
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 46118 0 0 0 40189 29 0 0 25 0 1 0 96797628 194699264 44808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 47534 44808 170 317 0 47213 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 190136

[startup+462.302 s]
/proc/loadavg: 1.03 0.99 0.96 2/65 12175
/proc/meminfo: memFree=1607672/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=212372 CPUtime=462.16
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 51554 0 0 0 46185 31 0 0 25 0 1 0 96797628 217468928 48825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 53093 48825 170 317 0 52772 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 212372

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.96 2/65 12175
/proc/meminfo: memFree=1599864/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=219688 CPUtime=522.14
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 53536 0 0 0 52182 32 0 0 25 0 1 0 96797628 224960512 50774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 54922 50774 170 317 0 54601 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 219688

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12175
/proc/meminfo: memFree=1592504/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=225988 CPUtime=582.13
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 55395 0 0 0 58180 33 0 0 25 0 1 0 96797628 231411712 52600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 56497 52600 170 317 0 56176 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 225988

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1581176/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=236720 CPUtime=642.11
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 58353 0 0 0 64175 36 0 0 25 0 1 0 96797628 242401280 55393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 59180 55393 170 317 0 58859 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 236720


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1526904/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=288500 CPUtime=882.04
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 72634 0 0 0 88159 45 0 0 25 0 1 0 96797628 295424000 68953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 72125 68953 170 317 0 71804 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 288500

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1518712/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=299520 CPUtime=942.03
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 75553 0 0 0 94156 47 0 0 25 0 1 0 96797628 306708480 70994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 74880 70994 170 317 0 74559 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 299520

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1511288/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=309664 CPUtime=1002.01
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 78163 0 0 0 100153 48 0 0 25 0 1 0 96797628 317095936 72818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 77416 72818 170 317 0 77095 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 309664

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1506488/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=314240 CPUtime=1062
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 79416 0 0 0 106151 49 0 0 25 0 1 0 96797628 321781760 74038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 78560 74038 170 317 0 78239 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 314240

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1503672/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=316612 CPUtime=1121.99
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 80101 0 0 0 112149 50 0 0 25 0 1 0 96797628 324210688 74723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 79153 74723 170 317 0 78832 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 316612

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1499064/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=321216 CPUtime=1181.97
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 81388 0 0 0 118146 51 0 0 25 0 1 0 96797628 328925184 75880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 80304 75880 170 317 0 79983 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 321216

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1494328/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=325308 CPUtime=1241.95
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 82585 0 0 0 124143 52 0 0 25 0 1 0 96797628 333115392 77044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 81327 77044 170 317 0 81006 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 325308

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1489272/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=330432 CPUtime=1301.94
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 84028 0 0 0 130141 53 0 0 25 0 1 0 96797628 338362368 78291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 82608 78291 170 317 0 82287 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 330432

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1483128/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=339912 CPUtime=1361.92
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 86383 0 0 0 136138 54 0 0 25 0 1 0 96797628 348069888 79801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 84978 79801 170 317 0 84657 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 339912

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1478776/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=345580 CPUtime=1421.9
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 87941 0 0 0 142135 55 0 0 25 0 1 0 96797628 353873920 80904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 86395 80904 170 317 0 86074 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 345580

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1475192/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=348812 CPUtime=1481.88
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 88844 0 0 0 148132 56 0 0 25 0 1 0 96797628 357183488 81807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 87203 81807 170 317 0 86882 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 348812

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1470712/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=353884 CPUtime=1541.87
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 90129 0 0 0 154129 58 0 0 25 0 1 0 96797628 362377216 82862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 88471 82862 170 317 0 88150 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 353884

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1468344/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=356240 CPUtime=1601.86
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 90760 0 0 0 160127 59 0 0 25 0 1 0 96797628 364789760 83493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 89060 83493 170 317 0 88739 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 356240

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1465400/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=358860 CPUtime=1661.83
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 91508 0 0 0 166124 59 0 0 25 0 1 0 96797628 367472640 84241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 89715 84241 170 317 0 89394 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 358860

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1462584/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=361212 CPUtime=1721.82
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 92201 0 0 0 172122 60 0 0 25 0 1 0 96797628 369881088 84934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 90303 84934 170 317 0 89982 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 361212

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1459640/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=366656 CPUtime=1781.81
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93572 0 0 0 178120 61 0 0 25 0 1 0 96797628 375455744 85655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 91664 85655 170 317 0 91343 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 366656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 12177
/proc/meminfo: memFree=1458744/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=367308 CPUtime=1800
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93797 0 0 0 179939 61 0 0 25 0 1 0 96797628 376123392 85880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 91827 85880 170 317 0 91506 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 367308

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 12178
/proc/meminfo: memFree=1458736/2055920 swapFree=4181928/4192956
[pid=12174] ppid=12172 vsize=365504 CPUtime=1800.11
/proc/12174/stat : 12174 (oree) R 12172 12174 11876 0 -1 4194304 93813 0 0 0 179950 61 0 0 25 0 1 0 96797628 374276096 85593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266195 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12174/statm: 91376 85593 186 317 0 91055 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 365504

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.18
CPU user time (s): 1799.51
CPU system time (s): 0.667898
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 367308

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

runsolver used 1.36879 second user time and 3.57246 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Apr 17 22:19:00 UTC 2007

IDJOB= 362776
IDBENCH= 1638
IDSOLVER= 172
FILE ID= node61/362776-1176848340

PBS_JOBID= 4590191

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  98b9ab286036da69f2015d2ff2a12818

RANDOM SEED= 444966442

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1803408 kB
Buffers:         20160 kB
Cached:         191220 kB
SwapCached:       5336 kB
Active:         105516 kB
Inactive:       117880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803408 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:          15284 kB
Slab:            15228 kB
Committed_AS:   779388 kB
PageTables:       1388 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= 66509 MiB

End job on node61 on Tue Apr 17 22:49:03 UTC 2007