Trace number 363616

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 alphaSAT (TO)2741 1800.19 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM9b4418c5c34f37121cd9ad7732df64ff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1120
Best CPU time to get the best result obtained on this benchmark8.64668
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=89 #constraints=29 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.04/0.08	c restart after 401 decisions
0.10/0.11	c nbDecision=500 #constraints=203
0.19/0.22	c restart after 801 decisions
0.19/0.27	c nbDecision=1000 #constraints=414
0.49/0.54	c nbDecision=1500 #constraints=688
0.59/0.60	c restart after 1601 decisions
0.69/0.74	c nbDecision=1878 #constraints=858
0.69/0.74	c linear search for optimum
0.69/0.74	o 3792
0.69/0.75	c nbDecision=1882 #constraints=862
0.69/0.75	o 3542
0.69/0.75	c nbDecision=1895 #constraints=872
0.69/0.75	o 3533
0.69/0.75	c nbDecision=1899 #constraints=876
0.69/0.75	o 3283
0.69/0.79	c nbDecision=1953 #constraints=917
0.69/0.79	o 3208
0.79/0.81	c nbDecision=2000 #constraints=948
0.89/0.97	c nbDecision=2234 #constraints=1095
0.89/0.97	o 3128
0.99/1.01	c nbDecision=2286 #constraints=1134
0.99/1.01	o 3053
1.09/1.18	c nbDecision=2500 #constraints=1272
1.59/1.64	c nbDecision=3000 #constraints=1579
1.79/1.87	c restart after 3201 decisions
2.19/2.22	c nbDecision=3500 #constraints=1851
2.89/2.96	c nbDecision=4000 #constraints=2137
3.89/3.98	c nbDecision=4500 #constraints=2446
5.19/5.21	c nbDecision=5000 #constraints=2759
6.79/6.87	c nbDecision=5500 #constraints=3099
8.79/8.85	c nbDecision=6000 #constraints=3439
10.28/10.32	c restart after 6401 decisions
10.58/10.66	c nbDecision=6500 #constraints=3699
12.69/12.74	c nbDecision=7000 #constraints=4001
15.19/15.21	c nbDecision=7500 #constraints=4296
17.79/17.80	c nbDecision=8000 #constraints=4586
20.38/20.43	c nbDecision=8500 #constraints=4857
23.38/23.44	c nbDecision=9000 #constraints=5140
26.38/26.44	c nbDecision=9500 #constraints=5459
29.69/29.72	c nbDecision=10000 #constraints=5770
34.68/34.77	c nbDecision=10500 #constraints=6099
39.78/39.85	c nbDecision=11000 #constraints=6426
45.18/45.22	c nbDecision=11500 #constraints=6744
50.88/50.92	c nbDecision=12000 #constraints=7066
57.68/57.77	c nbDecision=12500 #constraints=7397
62.27/62.30	c restart after 12801 decisions
64.47/64.50	c nbDecision=13000 #constraints=7689
70.18/70.29	c nbDecision=13500 #constraints=7974
76.17/76.27	c nbDecision=14000 #constraints=8280
82.57/82.66	c nbDecision=14500 #constraints=8559
89.37/89.41	c nbDecision=15000 #constraints=8851
95.86/95.92	c nbDecision=15500 #constraints=9127
102.67/102.70	c nbDecision=16000 #constraints=9425
109.06/109.13	c nbDecision=16500 #constraints=9731
115.76/115.89	c nbDecision=17000 #constraints=10041
124.46/124.58	c nbDecision=17500 #constraints=10338
132.95/133.05	c nbDecision=18000 #constraints=10633
142.05/142.14	c nbDecision=18500 #constraints=10939
151.76/151.85	c nbDecision=19000 #constraints=11252
160.65/160.79	c nbDecision=19500 #constraints=11527
170.04/170.19	c nbDecision=20000 #constraints=11812
179.74/179.83	c nbDecision=20500 #constraints=12089
188.54/188.69	c nbDecision=21000 #constraints=12412
197.94/198.02	c nbDecision=21500 #constraints=12706
208.34/208.43	c nbDecision=22000 #constraints=13008
224.13/224.21	c nbDecision=22500 #constraints=13347
238.82/238.95	c nbDecision=23000 #constraints=13668
251.43/251.56	c nbDecision=23500 #constraints=13956
264.12/264.29	c nbDecision=24000 #constraints=14262
277.61/277.72	c nbDecision=24500 #constraints=14576
292.11/292.21	c nbDecision=25000 #constraints=14891
309.11/309.21	c nbDecision=25500 #constraints=15225
312.51/312.61	c restart after 25601 decisions
321.70/321.86	c nbDecision=26000 #constraints=15495
335.70/335.88	c nbDecision=26500 #constraints=15804
349.10/349.26	c nbDecision=27000 #constraints=16098
360.49/360.68	c nbDecision=27500 #constraints=16386
372.10/372.23	c nbDecision=28000 #constraints=16652
383.19/383.37	c nbDecision=28500 #constraints=16967
395.79/395.97	c nbDecision=29000 #constraints=17235
407.78/407.95	c nbDecision=29500 #constraints=17512
420.28/420.40	c nbDecision=30000 #constraints=17800
433.97/434.11	c nbDecision=30500 #constraints=18092
450.47/450.68	c nbDecision=31000 #constraints=18397
466.97/467.14	c nbDecision=31500 #constraints=18702
481.26/481.42	c nbDecision=32000 #constraints=18985
495.66/495.89	c nbDecision=32500 #constraints=19275
508.26/508.45	c nbDecision=33000 #constraints=19563
523.55/523.73	c nbDecision=33500 #constraints=19863
537.85/538.07	c nbDecision=34000 #constraints=20134
552.05/552.21	c nbDecision=34500 #constraints=20421
566.84/567.09	c nbDecision=35000 #constraints=20711
584.64/584.83	c nbDecision=35500 #constraints=21001
602.53/602.71	c nbDecision=36000 #constraints=21303
617.53/617.79	c nbDecision=36500 #constraints=21577
634.03/634.20	c nbDecision=37000 #constraints=21879
648.92/649.14	c nbDecision=37500 #constraints=22161
663.21/663.48	c nbDecision=38000 #constraints=22439
663.31/663.53	c nbDecision=38004 #constraints=22439
663.31/663.53	o 2981
678.11/678.39	c nbDecision=38500 #constraints=22728
694.91/695.14	c nbDecision=39000 #constraints=23020
710.60/710.86	c nbDecision=39500 #constraints=23321
711.30/711.52	c nbDecision=39518 #constraints=23327
711.30/711.52	o 2908
712.40/712.60	c nbDecision=39541 #constraints=23341
712.40/712.60	o 2822
732.90/733.10	c nbDecision=40000 #constraints=23622
753.79/754.06	c nbDecision=40500 #constraints=23913
772.09/772.32	c nbDecision=41000 #constraints=24213
789.69/789.94	c nbDecision=41500 #constraints=24484
808.08/808.31	c nbDecision=42000 #constraints=24767
827.17/827.42	c nbDecision=42500 #constraints=25057
848.77/849.01	c nbDecision=43000 #constraints=25345
873.97/874.28	c nbDecision=43500 #constraints=25656
898.15/898.48	c nbDecision=44000 #constraints=25951
922.14/922.42	c nbDecision=44500 #constraints=26232
944.04/944.34	c nbDecision=45000 #constraints=26513
965.54/965.83	c nbDecision=45500 #constraints=26791
987.03/987.33	c nbDecision=46000 #constraints=27061
1010.33/1010.69	c nbDecision=46500 #constraints=27361
1037.02/1037.39	c nbDecision=47000 #constraints=27667
1064.72/1065.10	c nbDecision=47500 #constraints=27981
1090.20/1090.53	c nbDecision=48000 #constraints=28259
1113.90/1114.27	c nbDecision=48500 #constraints=28531
1138.60/1138.92	c nbDecision=49000 #constraints=28795
1161.09/1161.47	c nbDecision=49500 #constraints=29056
1185.68/1186.07	c nbDecision=50000 #constraints=29321
1211.47/1211.84	c nbDecision=50500 #constraints=29639
1240.47/1240.85	c nbDecision=51000 #constraints=29949
1250.37/1250.76	c restart after 51201 decisions
1265.46/1265.89	c nbDecision=51500 #constraints=30190
1293.85/1294.27	c nbDecision=52000 #constraints=30494
1324.24/1324.68	c nbDecision=52500 #constraints=30774
1353.93/1354.34	c nbDecision=53000 #constraints=31073
1380.20/1380.63	c nbDecision=53500 #constraints=31351
1407.45/1407.93	c nbDecision=54000 #constraints=31639
1429.82/1430.39	c nbDecision=54500 #constraints=31903
1457.01/1457.52	c nbDecision=55000 #constraints=32176
1485.50/1486.01	c nbDecision=55500 #constraints=32476
1516.99/1517.59	c nbDecision=56000 #constraints=32805
1547.78/1548.39	c nbDecision=56500 #constraints=33121
1576.97/1577.58	c nbDecision=57000 #constraints=33428
1603.07/1603.68	c nbDecision=57500 #constraints=33730
1630.26/1630.82	c nbDecision=58000 #constraints=34024
1654.56/1655.10	c nbDecision=58500 #constraints=34317
1682.25/1682.80	c nbDecision=59000 #constraints=34600
1710.95/1711.54	c nbDecision=59500 #constraints=34885
1738.44/1739.09	c nbDecision=60000 #constraints=35152
1765.93/1766.60	c nbDecision=60500 #constraints=35414
1788.82/1789.40	c nbDecision=60928 #constraints=35673
1788.82/1789.40	o 2816
1793.22/1793.86	c nbDecision=61000 #constraints=35717
1797.52/1798.13	c nbDecision=61061 #constraints=35756
1797.52/1798.13	o 2741
1800.03/1800.60	Received signal 15
1800.13/1800.74	
1800.13/1800.74	s SATISFIABLE
1800.13/1800.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.13/1800.74	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54
1800.13/1800.74	v -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 x81
1800.13/1800.74	v x82 x83 x84 x85 -x86 x87 -x88 -x89
1800.13/1800.74	
1800.13/1800.74	c user time= 1799.77 s
1800.13/1800.74	c system time= 0.402938 s
1800.13/1800.74	c wall clock time=1800.74

Verifier Data (download as text)

OK	2741

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-363616-1176853083 -o ROOT/results/node21/solver-363616-1176853083 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363616-1176853083/instance-363616-1176853083.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.93 0.99 0.99 3/77 6600
/proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=1468 CPUtime=0
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 133225639 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 367 169 139 317 0 46 0

[startup+0.0418099 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6600
/proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=1596 CPUtime=0.04
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 229 0 0 0 4 0 0 0 18 0 1 0 133225639 1634304 211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 399 211 139 317 0 78 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1596

[startup+0.101816 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6600
/proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=1856 CPUtime=0.1
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 290 0 0 0 10 0 0 0 18 0 1 0 133225639 1900544 272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 464 272 139 317 0 143 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1856

[startup+0.301838 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6600
/proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=2512 CPUtime=0.29
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 446 0 0 0 29 0 0 0 19 0 1 0 133225639 2572288 428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272617 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 628 428 139 317 0 307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2512

[startup+0.701882 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 6600
/proc/meminfo: memFree=1782840/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=3448 CPUtime=0.69
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 688 0 0 0 69 0 0 0 23 0 1 0 133225639 3530752 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 862 670 139 317 0 541 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3448

[startup+1.50197 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 6601
/proc/meminfo: memFree=1779888/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=5436 CPUtime=1.49
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 1192 0 0 0 149 0 0 0 25 0 1 0 133225639 5566464 1174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 1359 1174 170 317 0 1038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5436

[startup+3.10114 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 6601
/proc/meminfo: memFree=1777904/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=7176 CPUtime=3.09
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 1636 0 0 0 309 0 0 0 25 0 1 0 133225639 7348224 1618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 1794 1618 170 317 0 1473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7176

[startup+6.30249 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 6601
/proc/meminfo: memFree=1775152/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=9640 CPUtime=6.29
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 2180 0 0 0 628 1 0 0 25 0 1 0 133225639 9871360 2162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 2410 2162 170 317 0 2089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9640

[startup+12.7012 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 6603
/proc/meminfo: memFree=1772272/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=12032 CPUtime=12.69
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 2822 0 0 0 1267 2 0 0 25 0 1 0 133225639 12320768 2804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 3008 2804 170 317 0 2687 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12032

[startup+25.5016 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 6603
/proc/meminfo: memFree=1768240/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=16732 CPUtime=25.48
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 3816 0 0 0 2546 2 0 0 25 0 1 0 133225639 17133568 3798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 4183 3798 170 317 0 3862 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16732

[startup+51.1014 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 6603
/proc/meminfo: memFree=1763952/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=20984 CPUtime=51.08
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 4890 0 0 0 5104 4 0 0 25 0 1 0 133225639 21487616 4872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 5246 4872 170 317 0 4925 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20984

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 6603
/proc/meminfo: memFree=1757616/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=27636 CPUtime=102.27
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 6505 0 0 0 10221 6 0 0 25 0 1 0 133225639 28299264 6430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 6909 6430 170 317 0 6588 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27636

[startup+162.302 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 6603
/proc/meminfo: memFree=1751728/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=34572 CPUtime=162.25
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 7968 0 0 0 16218 7 0 0 25 0 1 0 133225639 35401728 7893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 8643 7893 170 317 0 8322 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34572

[startup+222.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 6603
/proc/meminfo: memFree=1747184/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=38836 CPUtime=222.23
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 9084 0 0 0 22215 8 0 0 25 0 1 0 133225639 39768064 9009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 9709 9009 170 317 0 9388 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38836

[startup+282.302 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 6603
/proc/meminfo: memFree=1743664/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=41996 CPUtime=282.22
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 9959 0 0 0 28212 10 0 0 25 0 1 0 133225639 43003904 9884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 10499 9884 170 317 0 10178 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 41996

[startup+342.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/78 6603
/proc/meminfo: memFree=1740592/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=44772 CPUtime=342.2
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 10731 0 0 0 34209 11 0 0 25 0 1 0 133225639 45846528 10656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 11193 10656 170 317 0 10872 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44772

[startup+402.302 s]
/proc/loadavg: 1.10 1.05 1.00 2/78 6603
/proc/meminfo: memFree=1736752/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=49544 CPUtime=402.18
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 11864 0 0 0 40206 12 0 0 25 0 1 0 133225639 50733056 11610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 12386 11610 170 317 0 12065 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49544

[startup+462.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/78 6603
/proc/meminfo: memFree=1733552/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=53636 CPUtime=462.17
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 12920 0 0 0 46203 14 0 0 25 0 1 0 133225639 54923264 12402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 13409 12402 170 317 0 13088 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 53636

[startup+522.302 s]
/proc/loadavg: 1.12 1.07 1.01 2/78 6603
/proc/meminfo: memFree=1730416/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=58576 CPUtime=522.15
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 14080 0 0 0 52200 15 0 0 25 0 1 0 133225639 59981824 13232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 14644 13232 170 317 0 14323 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 58576

[startup+582.301 s]
/proc/loadavg: 1.14 1.08 1.01 2/78 6603
/proc/meminfo: memFree=1727344/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=62096 CPUtime=582.14
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 15016 0 0 0 58197 17 0 0 25 0 1 0 133225639 63586304 13937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 15524 13937 170 317 0 15203 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 62096

[startup+642.302 s]
/proc/loadavg: 1.10 1.08 1.01 2/78 6603
/proc/meminfo: memFree=1724592/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=64736 CPUtime=642.13
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 15729 0 0 0 64195 18 0 0 25 0 1 0 133225639 66289664 14650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 16184 14650 170 317 0 15863 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 64736


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 6603
/proc/meminfo: memFree=1714928/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=74016 CPUtime=882.06
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 18320 0 0 0 88183 23 0 0 25 0 1 0 133225639 75792384 17076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 18504 17076 170 317 0 18183 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 74016

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6603
/proc/meminfo: memFree=1713008/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=75712 CPUtime=942.04
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 18787 0 0 0 94180 24 0 0 25 0 1 0 133225639 77529088 17543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 18928 17543 170 317 0 18607 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 75712

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6603
/proc/meminfo: memFree=1711024/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=77956 CPUtime=1002.02
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 19421 0 0 0 100177 25 0 0 25 0 1 0 133225639 79826944 18045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 19489 18045 170 317 0 19168 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 77956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6603
/proc/meminfo: memFree=1709232/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=79524 CPUtime=1062.02
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 19907 0 0 0 106175 27 0 0 25 0 1 0 133225639 81432576 18498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 19881 18498 170 317 0 19560 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 79524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6603
/proc/meminfo: memFree=1707312/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=81100 CPUtime=1121.99
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 20369 0 0 0 112172 27 0 0 25 0 1 0 133225639 83046400 18960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 20275 18960 170 317 0 19954 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 81100

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6603
/proc/meminfo: memFree=1705456/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=83116 CPUtime=1181.98
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 20845 0 0 0 118170 28 0 0 25 0 1 0 133225639 85110784 19436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 20779 19436 170 317 0 20458 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 83116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6603
/proc/meminfo: memFree=1703536/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=84804 CPUtime=1241.97
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 21334 0 0 0 124168 29 0 0 25 0 1 0 133225639 86839296 19892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 21201 19892 170 317 0 20880 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 84804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6603
/proc/meminfo: memFree=1701936/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=86288 CPUtime=1301.96
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 21732 0 0 0 130166 30 0 0 25 0 1 0 133225639 88358912 20290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 21572 20290 170 317 0 21251 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 86288

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6603
/proc/meminfo: memFree=1700464/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=87468 CPUtime=1361.94
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22118 0 0 0 136163 31 0 0 25 0 1 0 133225639 89567232 20676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 21867 20676 170 317 0 21546 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 87468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 6775
/proc/meminfo: memFree=1697464/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=88904 CPUtime=1421.84
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22533 0 0 0 142150 34 0 0 25 0 1 0 133225639 91037696 21091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 22226 21091 170 317 0 21905 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 88904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1696944/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=90200 CPUtime=1481.8
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 22943 0 0 0 148145 35 0 0 25 0 1 0 133225639 92364800 21501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 22550 21501 170 317 0 22229 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 90200

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1694448/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=93456 CPUtime=1541.79
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 23792 0 0 0 154143 36 0 0 25 0 1 0 133225639 95698944 22091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 23364 22091 170 317 0 23043 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 93456

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1693552/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=95144 CPUtime=1601.77
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 24291 0 0 0 160140 37 0 0 25 0 1 0 133225639 97427456 22362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 23786 22362 170 317 0 23465 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 95144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1691760/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=97220 CPUtime=1661.76
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 24834 0 0 0 166138 38 0 0 25 0 1 0 133225639 99553280 22807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 24305 22807 170 317 0 23984 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 97220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1690352/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=98588 CPUtime=1721.74
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25223 0 0 0 172135 39 0 0 25 0 1 0 133225639 100954112 23196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 24647 23196 170 317 0 24326 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 98588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1688688/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=100020 CPUtime=1781.73
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25630 0 0 0 178133 40 0 0 25 0 1 0 133225639 102420480 23603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 25005 23603 170 317 0 24684 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 100020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1688176/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=100412 CPUtime=1800.03
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25756 0 0 0 179963 40 0 0 25 0 1 0 133225639 102821888 23729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 25103 23729 170 317 0 24782 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 100412

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6801
/proc/meminfo: memFree=1688176/2055920 swapFree=4157744/4192956
[pid=6600] ppid=6598 vsize=100412 CPUtime=1800.13
/proc/6600/stat : 6600 (oree) R 6598 6600 6215 0 -1 4194304 25757 0 0 0 179973 40 0 0 25 0 1 0 133225639 102821888 23730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6600/statm: 25103 23730 170 317 0 24782 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 100412

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.19
CPU user time (s): 1799.77
CPU system time (s): 0.418936
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 100412

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

runsolver used 2.11168 second user time and 4.44632 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue Apr 17 23:38:03 UTC 2007

IDJOB= 363616
IDBENCH= 1868
IDSOLVER= 172
FILE ID= node21/363616-1176853083

PBS_JOBID= 4590232

Free space on /tmp= 66445 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9b4418c5c34f37121cd9ad7732df64ff

RANDOM SEED= 772439255

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1783312 kB
Buffers:         36176 kB
Cached:         159684 kB
SwapCached:      14328 kB
Active:          94252 kB
Inactive:       136176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783312 kB
SwapTotal:     4192956 kB
SwapFree:      4157744 kB
Dirty:            1328 kB
Writeback:           0 kB
Mapped:          34828 kB
Slab:            27732 kB
Committed_AS:  1002760 kB
PageTables:       1796 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= 66445 MiB

End job on node21 on Wed Apr 18 00:08:06 UTC 2007