Trace number 41536

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
PBS 4.1L? (TO) 1800.73 1800.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark2.65859
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
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	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb ......
0.00	c done parsing opb.
0.00	o 3010
0.00	o 2493
0.01	o 2424
0.01	o 2416
0.01	o 2405
0.01	o 1946
0.01	o 1939
0.03	o 1935
0.33	o 1929
0.35	o 1918
0.35	o 1909
1.58	o 1906
1.62	o 1896
1.76	o 1889
1.78	o 1884
1.78	o 1883
1.79	o 1864
1.80	o 1863
1.88	o 1856
1.93	o 1847
2.01	o 1846
2.11	o 1836
2.25	o 1831
2.58	o 1828
2.88	o 1820
3.08	o 1818
3.13	o 1751
3.13	o 1741
3.16	o 1739
3.69	o 1729
3.69	o 1723
3.94	o 1715
5.15	o 1707
6.21	o 1706
8.65	o 1703
8.76	o 1682
10.76	o 1680
18.81	o 1673
31.88	o 1659
64.04	o 1651
157.40	o 1643
161.66	o 1639
164.02	o 1632
394.29	o 1623
550.81	o 1615
552.10	o 1603
553.93	o 1595
570.91	o 1575

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-41536-1149368573 -o ROOT/results/node16/solver-41536-1149368573 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 2746
/proc/meminfo: memFree=1407392/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=1400 CPUtime=0
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 202520141 1433600 133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536989 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 350 133 100 232 0 115 0

[startup+9.99999 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1398264/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=11356 CPUtime=9.99
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 2550 0 0 0 994 5 0 0 25 0 1 0 202520141 11628544 2382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 2839 2382 108 232 0 2604 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11356

[startup+20.0044 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1393224/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=20856 CPUtime=20
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 4003 0 0 0 1991 9 0 0 25 0 1 0 202520141 21356544 3642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 5214 3642 108 232 0 4979 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 20856

[startup+30.0089 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1389768/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=21288 CPUtime=30
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 4906 0 0 0 2988 12 0 0 25 0 1 0 202520141 21798912 4545 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 5322 4545 108 232 0 5087 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21288

[startup+40.0133 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1387272/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=37952 CPUtime=40
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 5533 0 0 0 3986 14 0 0 25 0 1 0 202520141 38862848 5172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 9488 5172 108 232 0 9253 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 37952

[startup+50.0187 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1385288/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=38092 CPUtime=50.01
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6053 0 0 0 4985 16 0 0 25 0 1 0 202520141 39006208 5692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 9523 5692 108 232 0 9288 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 38092

[startup+60.0232 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1383176/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=38512 CPUtime=60
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6594 0 0 0 5983 17 0 0 25 0 1 0 202520141 39436288 6233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 9628 6233 108 232 0 9393 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 38512

[startup+70.0276 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1381832/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=38672 CPUtime=70.02
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 6921 0 0 0 6982 20 0 0 25 0 1 0 202520141 39600128 6560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 9668 6560 108 232 0 9433 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 38672

[startup+80.0321 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1380616/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=40340 CPUtime=80.01
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 7612 0 0 0 7979 22 0 0 25 0 1 0 202520141 41308160 6866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10085 6866 108 232 0 9850 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 40340

[startup+90.0365 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1379144/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=40776 CPUtime=90.02
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 7994 0 0 0 8978 24 0 0 25 0 1 0 202520141 41754624 7248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10194 7248 108 232 0 9959 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 40776

[startup+100.041 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1377672/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=40936 CPUtime=100.02
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 8360 0 0 0 9977 25 0 0 25 0 1 0 202520141 41918464 7614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10234 7614 108 232 0 9999 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 40936

[startup+110.046 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1375752/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=41080 CPUtime=110.03
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 8827 0 0 0 10976 27 0 0 25 0 1 0 202520141 42065920 8081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10270 8081 108 232 0 10035 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 41080

[startup+120.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1375048/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=41240 CPUtime=120.03
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9003 0 0 0 11975 28 0 0 25 0 1 0 202520141 42229760 8257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10310 8257 108 232 0 10075 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 41240

[startup+130.054 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1373640/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=41384 CPUtime=130.03
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9353 0 0 0 12974 29 0 0 25 0 1 0 202520141 42377216 8607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10346 8607 108 232 0 10111 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 41384

[startup+140.059 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1371976/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=41528 CPUtime=140.04
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 9774 0 0 0 13973 31 0 0 25 0 1 0 202520141 42524672 9028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10382 9028 108 232 0 10147 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 41528

[startup+150.063 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1370568/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=41672 CPUtime=150.04
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10124 0 0 0 14972 32 0 0 25 0 1 0 202520141 42672128 9378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10418 9378 108 232 0 10183 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 41672

[startup+160.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1369544/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=42152 CPUtime=160.05
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10380 0 0 0 15971 34 0 0 25 0 1 0 202520141 43163648 9634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10538 9634 108 232 0 10303 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 42152

[startup+170.072 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1368648/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=42588 CPUtime=170.05
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10605 0 0 0 16969 36 0 0 25 0 1 0 202520141 43610112 9859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10647 9859 108 232 0 10412 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 42588

[startup+180.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1368392/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=42728 CPUtime=180.05
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10666 0 0 0 17968 37 0 0 25 0 1 0 202520141 43753472 9920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10682 9920 108 232 0 10447 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 42728

[startup+190.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1367624/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=42868 CPUtime=190.06
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 10856 0 0 0 18967 39 0 0 25 0 1 0 202520141 43896832 10110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10717 10110 108 232 0 10482 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 42868

[startup+200.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1366792/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=43172 CPUtime=200.06
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 11062 0 0 0 19966 40 0 0 25 0 1 0 202520141 44208128 10316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 10793 10316 108 232 0 10558 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 43172

[startup+210.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2746
/proc/meminfo: memFree=1365704/2055920 swapFree=4181468/4192956

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

/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26107 0 0 0 178001 160 0 0 25 0 1 0 202520141 102588416 23055 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25046 23055 108 232 0 24811 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 100184

[startup+1782.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1782.62
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26125 0 0 0 178102 160 0 0 25 0 1 0 202520141 102723584 23073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23073 108 232 0 24844 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (Kb) 100316

[startup+1783.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1783.62
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26126 0 0 0 178202 160 0 0 25 0 1 0 202520141 102723584 23074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23074 108 232 0 24844 0
Current children cumulated CPU time (s) 1783.62
Current children cumulated vsize (Kb) 100316

[startup+1784.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1784.63
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26127 0 0 0 178303 160 0 0 25 0 1 0 202520141 102723584 23075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23075 108 232 0 24844 0
Current children cumulated CPU time (s) 1784.63
Current children cumulated vsize (Kb) 100316

[startup+1785.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1785.63
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26127 0 0 0 178403 160 0 0 25 0 1 0 202520141 102723584 23075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23075 108 232 0 24844 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (Kb) 100316

[startup+1786.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1786.64
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26128 0 0 0 178504 160 0 0 25 0 1 0 202520141 102723584 23076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23076 108 232 0 24844 0
Current children cumulated CPU time (s) 1786.64
Current children cumulated vsize (Kb) 100316

[startup+1787.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1787.64
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26129 0 0 0 178604 160 0 0 25 0 1 0 202520141 102723584 23077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23077 108 232 0 24844 0
Current children cumulated CPU time (s) 1787.64
Current children cumulated vsize (Kb) 100316

[startup+1788.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1788.65
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26132 0 0 0 178705 160 0 0 25 0 1 0 202520141 102723584 23080 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23080 108 232 0 24844 0
Current children cumulated CPU time (s) 1788.65
Current children cumulated vsize (Kb) 100316

[startup+1789.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315400/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1789.65
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26134 0 0 0 178805 160 0 0 25 0 1 0 202520141 102723584 23082 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564171 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23082 108 232 0 24844 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (Kb) 100316

[startup+1790.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315336/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1790.66
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26140 0 0 0 178905 161 0 0 25 0 1 0 202520141 102723584 23088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23088 108 232 0 24844 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 100316

[startup+1791.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315336/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100316 CPUtime=1791.66
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26142 0 0 0 179005 161 0 0 25 0 1 0 202520141 102723584 23090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25079 23090 108 232 0 24844 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (Kb) 100316

[startup+1792.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1792.67
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26163 0 0 0 179106 161 0 0 25 0 1 0 202520141 102858752 23111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23111 108 232 0 24877 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 100448

[startup+1793.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1793.67
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26164 0 0 0 179206 161 0 0 25 0 1 0 202520141 102858752 23112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23112 108 232 0 24877 0
Current children cumulated CPU time (s) 1793.67
Current children cumulated vsize (Kb) 100448

[startup+1794.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1794.68
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26166 0 0 0 179307 161 0 0 25 0 1 0 202520141 102858752 23114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23114 108 232 0 24877 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 100448

[startup+1795.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315272/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1795.68
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26167 0 0 0 179407 161 0 0 25 0 1 0 202520141 102858752 23115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23115 108 232 0 24877 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (Kb) 100448

[startup+1796.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1796.69
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26168 0 0 0 179508 161 0 0 25 0 1 0 202520141 102858752 23116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23116 108 232 0 24877 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 100448

[startup+1797.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1797.69
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26169 0 0 0 179608 161 0 0 25 0 1 0 202520141 102858752 23117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23117 108 232 0 24877 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (Kb) 100448

[startup+1798.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1798.69
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26169 0 0 0 179708 161 0 0 25 0 1 0 202520141 102858752 23117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23117 108 232 0 24877 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 100448

[startup+1799.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1799.7
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26170 0 0 0 179809 161 0 0 25 0 1 0 202520141 102858752 23118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23118 108 232 0 24877 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 100448

[startup+1800.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1800.7
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26171 0 0 0 179909 161 0 0 25 0 1 0 202520141 102858752 23119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23119 108 232 0 24877 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 100448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2748
/proc/meminfo: memFree=1315208/2055920 swapFree=4181468/4192956
[pid=2746] ppid=2744 vsize=100448 CPUtime=1800.71
/proc/2746/stat : 2746 (PBS4L) R 2744 2746 2700 0 -1 4194304 26171 0 0 0 179910 161 0 0 25 0 1 0 202520141 102858752 23119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2746/statm: 25112 23119 108 232 0 24877 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 100448

Sending SIGTERM to -2746
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.73
CPU user time (s): 1799.1
CPU system time (s): 1.63075
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (Kb): 100448
The end

Launcher Data (download as text)

Begin job on node16 on Sat Jun  3 21:02:53 UTC 2006


FILE ID= 41536-1149368573

PBS_JOBID= 311984

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-41536-1149368573 -o ROOT/results/node16/solver-41536-1149368573 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41536-1149368573/instance-41536-1149368573.opb 970326071

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  303eaeab4b7ccd67c7fab31d13d20bc2

RANDOM SEED= 970326071


/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.231
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.231
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:       1407600 kB
Buffers:         24860 kB
Cached:         551572 kB
SwapCached:       2860 kB
Active:         366280 kB
Inactive:       218464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1407600 kB
SwapTotal:     4192956 kB
SwapFree:      4181468 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            49648 kB
Committed_AS:   298624 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node16 on Sat Jun  3 21:32:54 UTC 2006