Trace number 363224

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.25 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb
MD5SUMe2f15e37dec17456fb4044387114eb48
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-98107
Best CPU time to get the best result obtained on this benchmark47.8667
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -98107
Optimality of the best value was proved YES
Number of variables6000
Total number of constraints2171
Number of constraints which are clauses222
Number of constraints which are cardinality constraints (but not clauses)1914
Number of constraints which are nor clauses,nor cardinality constraints35
Minimum length of a constraint2
Maximum length of a constraint5998
Number of terms in the objective function 5995
Biggest coefficient in the objective function 3684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527319
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 25616
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 527319
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.04/0.07	c ...done
0.04/0.07	c #vars=6000 #constraints=2295 hasObjective=yes
0.09/0.13	c res. mode=mod
0.09/0.13	c VSIDS like heuristics
0.09/0.13	c complete search running
0.09/0.15	c restart after 401 decisions
0.09/0.15	c nbDecision=500 #constraints=2295
0.09/0.17	c restart after 801 decisions
0.09/0.18	c nbDecision=1000 #constraints=2295
6.09/6.11	c nbDecision=1500 #constraints=2565
8.29/8.36	c restart after 1601 decisions
8.39/8.43	c nbDecision=2000 #constraints=2667
18.69/18.74	c nbDecision=2500 #constraints=3137
29.69/29.72	c nbDecision=3000 #constraints=3637
34.08/34.18	c restart after 3201 decisions
34.48/34.52	c nbDecision=3500 #constraints=3839
42.78/42.85	c nbDecision=4000 #constraints=4209
53.88/53.96	c nbDecision=4500 #constraints=4706
65.08/65.15	c nbDecision=5000 #constraints=5202
76.37/76.48	c nbDecision=5500 #constraints=5699
87.87/87.93	c nbDecision=6000 #constraints=6196
97.17/97.24	c restart after 6401 decisions
98.47/98.59	c nbDecision=6500 #constraints=6596
103.36/103.47	c nbDecision=7000 #constraints=6765
115.06/115.20	c nbDecision=7500 #constraints=7262
126.95/127.04	c nbDecision=8000 #constraints=7757
138.75/138.84	c nbDecision=8500 #constraints=8253
150.56/150.69	c nbDecision=9000 #constraints=8740
162.75/162.88	c nbDecision=9500 #constraints=9239
174.85/174.93	c nbDecision=10000 #constraints=9739
186.54/186.62	c nbDecision=10500 #constraints=10239
198.44/198.57	c nbDecision=11000 #constraints=10736
210.64/210.71	c nbDecision=11500 #constraints=11235
222.73/222.88	c nbDecision=12000 #constraints=11730
235.13/235.24	c nbDecision=12500 #constraints=12228
242.53/242.70	c restart after 12801 decisions
246.53/246.63	c nbDecision=13000 #constraints=12528
254.53/254.66	c nbDecision=13500 #constraints=12789
267.02/267.18	c nbDecision=14000 #constraints=13289
279.52/279.60	c nbDecision=14500 #constraints=13785
292.01/292.12	c nbDecision=15000 #constraints=14279
304.52/304.70	c nbDecision=15500 #constraints=14775
317.21/317.31	c nbDecision=16000 #constraints=15266
329.90/330.05	c nbDecision=16500 #constraints=15766
342.60/342.79	c nbDecision=17000 #constraints=16265
355.59/355.74	c nbDecision=17500 #constraints=16761
368.79/368.90	c nbDecision=18000 #constraints=17257
381.89/382.07	c nbDecision=18500 #constraints=17755
395.08/395.25	c nbDecision=19000 #constraints=18251
408.48/408.65	c nbDecision=19500 #constraints=18750
421.78/421.95	c nbDecision=20000 #constraints=19247
435.07/435.28	c nbDecision=20500 #constraints=19742
448.47/448.68	c nbDecision=21000 #constraints=20238
461.77/461.93	c nbDecision=21500 #constraints=20728
475.57/475.77	c nbDecision=22000 #constraints=21227
488.56/488.72	c nbDecision=22500 #constraints=21727
502.26/502.45	c nbDecision=23000 #constraints=22224
516.25/516.41	c nbDecision=23500 #constraints=22721
530.25/530.46	c nbDecision=24000 #constraints=23218
544.25/544.47	c nbDecision=24500 #constraints=23714
558.44/558.63	c nbDecision=25000 #constraints=24214
572.64/572.81	c nbDecision=25500 #constraints=24710
575.44/575.68	c restart after 25601 decisions
586.94/587.10	c nbDecision=26000 #constraints=24811
600.73/600.90	c nbDecision=26500 #constraints=25273
614.83/615.08	c nbDecision=27000 #constraints=25769
629.22/629.40	c nbDecision=27500 #constraints=26260
643.22/643.40	c nbDecision=28000 #constraints=26759
657.31/657.50	c nbDecision=28500 #constraints=27256
671.61/671.89	c nbDecision=29000 #constraints=27755
686.40/686.65	c nbDecision=29500 #constraints=28252
701.30/701.51	c nbDecision=30000 #constraints=28748
716.19/716.42	c nbDecision=30500 #constraints=29245
731.20/731.41	c nbDecision=31000 #constraints=29743
746.19/746.40	c nbDecision=31500 #constraints=30241
761.19/761.41	c nbDecision=32000 #constraints=30737
776.08/776.36	c nbDecision=32500 #constraints=31232
790.98/791.29	c nbDecision=33000 #constraints=31726
806.08/806.31	c nbDecision=33500 #constraints=32214
821.57/821.81	c nbDecision=34000 #constraints=32710
837.37/837.66	c nbDecision=34500 #constraints=33207
853.37/853.68	c nbDecision=35000 #constraints=33704
869.25/869.53	c nbDecision=35500 #constraints=34202
885.06/885.34	c nbDecision=36000 #constraints=34699
900.95/901.29	c nbDecision=36500 #constraints=35195
916.75/917.04	c nbDecision=37000 #constraints=35690
932.34/932.62	c nbDecision=37500 #constraints=36181
948.54/948.81	c nbDecision=38000 #constraints=36678
964.93/965.22	c nbDecision=38500 #constraints=37174
981.53/981.82	c nbDecision=39000 #constraints=37672
998.03/998.34	c nbDecision=39500 #constraints=38167
1014.62/1014.95	c nbDecision=40000 #constraints=38667
1031.12/1031.49	c nbDecision=40500 #constraints=39163
1047.60/1047.97	c nbDecision=41000 #constraints=39657
1064.11/1064.41	c nbDecision=41500 #constraints=40153
1080.70/1081.02	c nbDecision=42000 #constraints=40643
1097.30/1097.63	c nbDecision=42500 #constraints=41140
1114.09/1114.43	c nbDecision=43000 #constraints=41635
1131.49/1131.90	c nbDecision=43500 #constraints=42132
1148.78/1149.18	c nbDecision=44000 #constraints=42629
1166.08/1166.50	c nbDecision=44500 #constraints=43127
1183.47/1183.87	c nbDecision=45000 #constraints=43625
1200.77/1201.17	c nbDecision=45500 #constraints=44121
1217.96/1218.37	c nbDecision=46000 #constraints=44616
1235.06/1235.47	c nbDecision=46500 #constraints=45108
1252.25/1252.63	c nbDecision=47000 #constraints=45604
1270.25/1270.66	c nbDecision=47500 #constraints=46100
1288.44/1288.81	c nbDecision=48000 #constraints=46598
1306.44/1306.82	c nbDecision=48500 #constraints=47094
1324.53/1324.97	c nbDecision=49000 #constraints=47594
1342.53/1342.97	c nbDecision=49500 #constraints=48089
1360.63/1361.02	c nbDecision=50000 #constraints=48584
1378.52/1378.99	c nbDecision=50500 #constraints=49079
1396.21/1396.62	c nbDecision=51000 #constraints=49573
1403.22/1403.66	c restart after 51201 decisions
1424.31/1424.79	c nbDecision=51500 #constraints=49775
1441.41/1441.87	c nbDecision=52000 #constraints=50137
1460.40/1460.87	c nbDecision=52500 #constraints=50634
1479.20/1479.64	c nbDecision=53000 #constraints=51131
1497.99/1498.47	c nbDecision=53500 #constraints=51629
1516.88/1517.35	c nbDecision=54000 #constraints=52127
1535.68/1536.15	c nbDecision=54500 #constraints=52623
1554.28/1554.79	c nbDecision=55000 #constraints=53118
1572.87/1573.36	c nbDecision=55500 #constraints=53610
1591.36/1591.86	c nbDecision=56000 #constraints=54107
1610.45/1610.96	c nbDecision=56500 #constraints=54601
1630.25/1630.76	c nbDecision=57000 #constraints=55100
1649.95/1650.44	c nbDecision=57500 #constraints=55596
1669.64/1670.10	c nbDecision=58000 #constraints=56095
1689.23/1689.74	c nbDecision=58500 #constraints=56591
1708.84/1709.35	c nbDecision=59000 #constraints=57086
1728.32/1728.82	c nbDecision=59500 #constraints=57581
1747.82/1748.34	c nbDecision=60000 #constraints=58073
1768.32/1768.87	c nbDecision=60500 #constraints=58570
1788.81/1789.30	c nbDecision=61000 #constraints=59066
1800.01/1800.50	Received signal 15
1800.01/1800.53	
1800.01/1800.53	s UNKNOWN
1800.01/1800.53	
1800.01/1800.53	c user time= 1798.45 s
1800.01/1800.53	c system time= 1.60675 s
1800.01/1800.53	c wall clock time=1800.54

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/node62/watcher-363224-1176850994 -o ROOT/results/node62/solver-363224-1176850994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363224-1176850994/instance-363224-1176850994.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.90 3/64 6080
/proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1468 CPUtime=0
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 3675357 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 367 161 126 317 0 46 0

[startup+0.0472131 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 6080
/proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=2148 CPUtime=0.04
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 315 0 0 0 4 0 0 0 18 0 1 0 3675357 2199552 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 537 298 131 317 0 216 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2148

[startup+0.101218 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 6080
/proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=3344 CPUtime=0.09
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 3675357 3424256 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 836 598 137 317 0 515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3344

[startup+0.301242 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 6080
/proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=3760 CPUtime=0.29
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 3675357 3850240 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 940 684 139 317 0 619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760

[startup+0.701288 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 6080
/proc/meminfo: memFree=1830400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=4028 CPUtime=0.69
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 792 0 0 0 69 0 0 0 22 0 1 0 3675357 4124672 774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 1007 774 139 317 0 686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4028

[startup+1.50138 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 6081
/proc/meminfo: memFree=1827448/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=4828 CPUtime=1.49
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 975 0 0 0 149 0 0 0 25 0 1 0 3675357 4943872 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 1207 957 139 317 0 886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4828

[startup+3.10157 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 6081
/proc/meminfo: memFree=1826232/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=6668 CPUtime=3.09
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 1447 0 0 0 309 0 0 0 25 0 1 0 3675357 6828032 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 1667 1429 139 317 0 1346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6668

[startup+6.30194 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 6081
/proc/meminfo: memFree=1823224/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=10040 CPUtime=6.29
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 2279 0 0 0 628 1 0 0 25 0 1 0 3675357 10280960 2261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 2510 2261 139 317 0 2189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10040

[startup+12.7017 s]
/proc/loadavg: 0.93 0.96 0.91 2/65 6081
/proc/meminfo: memFree=1815480/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=16520 CPUtime=12.68
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 3926 0 0 0 1267 1 0 0 25 0 1 0 3675357 16916480 3908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 4130 3908 139 317 0 3809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16520

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 6081
/proc/meminfo: memFree=1802816/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=29780 CPUtime=25.48
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 7021 0 0 0 2545 3 0 0 25 0 1 0 3675357 30494720 7003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 7445 7003 139 317 0 7124 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29780

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 6081
/proc/meminfo: memFree=1778240/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=56116 CPUtime=51.07
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 13226 0 0 0 5101 6 0 0 25 0 1 0 3675357 57462784 13208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 14029 13208 170 317 0 13708 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56116

[startup+102.304 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 6081
/proc/meminfo: memFree=1730624/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=106092 CPUtime=102.27
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 25005 0 0 0 10215 12 0 0 25 0 1 0 3675357 108638208 24987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 26523 24987 170 317 0 26202 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106092

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1684544/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=148464 CPUtime=162.24
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 36673 0 0 0 16205 19 0 0 25 0 1 0 3675357 152027136 36597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 37116 36597 170 317 0 36795 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 148464

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1624000/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=219772 CPUtime=222.23
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 51652 0 0 0 22196 27 0 0 25 0 1 0 3675357 225046528 51576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 54943 51576 170 317 0 54622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 219772

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1583616/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=256880 CPUtime=282.22
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 61830 0 0 0 28190 32 0 0 25 0 1 0 3675357 263045120 61754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 64220 61754 170 317 0 63899 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 256880

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1538752/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=296848 CPUtime=342.2
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 72930 0 0 0 34183 37 0 0 25 0 1 0 3675357 303972352 72854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 74212 72854 170 317 0 73891 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 296848

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1496768/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=336072 CPUtime=402.18
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 83621 0 0 0 40177 41 0 0 25 0 1 0 3675357 344137728 83430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 84018 83430 170 317 0 83697 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 336072

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1438272/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=430632 CPUtime=462.17
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 105453 0 0 0 46165 52 0 0 25 0 1 0 3675357 440967168 97903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 107658 97903 170 317 0 107337 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 430632

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1396160/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=467564 CPUtime=522.15
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 116075 0 0 0 52158 57 0 0 25 0 1 0 3675357 478785536 108525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 116891 108525 170 317 0 116570 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 467564

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1359488/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=499468 CPUtime=582.14
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 125088 0 0 0 58151 63 0 0 25 0 1 0 3675357 511455232 117505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 124867 117505 170 317 0 124546 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 499468

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1321792/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=532076 CPUtime=642.12
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 134609 0 0 0 64145 67 0 0 25 0 1 0 3675357 544845824 126927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 133019 126927 170 317 0 132698 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 532076


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1116800/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=811500 CPUtime=942.04
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 207905 0 0 0 94105 99 0 0 25 0 1 0 3675357 830976000 178122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 202875 178122 170 317 0 202554 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 811500

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1079616/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=842124 CPUtime=1002.02
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 217165 0 0 0 100098 104 0 0 25 0 1 0 3675357 862334976 187349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 210531 187349 170 317 0 210210 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 842124

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1044544/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=872720 CPUtime=1062.01
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 226003 0 0 0 106091 110 0 0 25 0 1 0 3675357 893665280 196187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 218180 196187 170 317 0 217859 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 872720

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=1007872/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=903368 CPUtime=1121.99
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 235275 0 0 0 112085 114 0 0 25 0 1 0 3675357 925048832 205264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 225842 205264 170 317 0 225521 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 903368

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=974080/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=932444 CPUtime=1181.97
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 243756 0 0 0 118079 118 0 0 25 0 1 0 3675357 954822656 213745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 233111 213745 170 317 0 232790 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 932444

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=939904/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=961628 CPUtime=1241.95
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 252248 0 0 0 124072 123 0 0 25 0 1 0 3675357 984707072 222237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 240407 222237 170 317 0 240086 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 961628

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=905024/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=989784 CPUtime=1301.95
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 260880 0 0 0 130067 128 0 0 25 0 1 0 3675357 1013538816 230869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 247446 230869 170 317 0 247125 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 989784

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=872576/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1017980 CPUtime=1361.92
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 269115 0 0 0 136060 132 0 0 25 0 1 0 3675357 1042411520 239039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 254495 239039 170 317 0 254174 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1017980

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=849536/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1037472 CPUtime=1421.92
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 274794 0 0 0 142056 136 0 0 25 0 1 0 3675357 1062371328 244718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 259368 244718 170 317 0 259047 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1037472

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=820736/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1061708 CPUtime=1481.89
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 282046 0 0 0 148049 140 0 0 25 0 1 0 3675357 1087188992 251970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550067 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 265427 251971 170 317 0 265106 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1061708

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=788864/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1088872 CPUtime=1541.87
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 290016 0 0 0 154043 144 0 0 25 0 1 0 3675357 1115004928 259875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 272218 259875 170 317 0 271897 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1088872

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=757248/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1116128 CPUtime=1601.86
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 298030 0 0 0 160038 148 0 0 25 0 1 0 3675357 1142915072 267824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 279032 267824 170 317 0 278711 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1116128

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=726400/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1141808 CPUtime=1661.84
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 305661 0 0 0 166033 151 0 0 25 0 1 0 3675357 1169211392 275455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 285452 275455 170 317 0 285131 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1141808

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=696064/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1167712 CPUtime=1721.83
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 313302 0 0 0 172028 155 0 0 25 0 1 0 3675357 1195737088 283096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 291928 283096 170 317 0 291607 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1167712

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=665920/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1192716 CPUtime=1781.81
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 320763 0 0 0 178022 159 0 0 25 0 1 0 3675357 1221341184 290557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 298179 290557 170 317 0 297858 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1192716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6081
/proc/meminfo: memFree=656640/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=1200132 CPUtime=1800.01
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194304 323028 0 0 0 179841 160 0 0 25 0 1 0 3675357 1228935168 292822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 300033 292822 170 317 0 299712 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1200132

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: 0.99 0.97 0.91 2/66 6082
/proc/meminfo: memFree=990392/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=0 CPUtime=1800.11
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194308 323048 0 0 0 179845 166 0 0 25 0 1 0 3675357 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 6082
/proc/meminfo: memFree=990392/2055920 swapFree=4192956/4192956
[pid=6080] ppid=6078 vsize=0 CPUtime=1800.21
/proc/6080/stat : 6080 (oree) R 6078 6080 5780 0 -1 4194308 323048 0 0 0 179845 176 0 0 25 0 1 0 3675357 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6080/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.25
CPU user time (s): 1798.46
CPU system time (s): 1.79073
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1200132

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

runsolver used 1.20982 second user time and 3.72343 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue Apr 17 23:03:14 UTC 2007

IDJOB= 363224
IDBENCH= 1760
IDSOLVER= 172
FILE ID= node62/363224-1176850994

PBS_JOBID= 4590234

Free space on /tmp= 66518 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e2f15e37dec17456fb4044387114eb48

RANDOM SEED= 388039406

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1830808 kB
Buffers:         23572 kB
Cached:         145612 kB
SwapCached:          0 kB
Active:          76012 kB
Inactive:       108636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1830808 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1544 kB
Writeback:           0 kB
Mapped:          25580 kB
Slab:            26452 kB
Committed_AS:    55912 kB
PageTables:       1460 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= 66518 MiB

End job on node62 on Tue Apr 17 23:33:16 UTC 2007